Haskell界隈の一部で囁かれる都市伝説として、「Haskellで求人を出して集めた優秀な人材にPHPを書かせる」というものがありました。この都市伝説に実体はあるのでしょうか?
続きを読むClutTeXとLunarMLの近況
本の諸々が一段落したので、最近はLaTeX処理自動化ツールClutTeXの開発を進めています。前(2023年11月)に計画を書いて以降の進捗を書きます。
続きを読むMacで試すBinary Hacks Rebooted その1:イントロダクション
去る8月28日に、私が執筆に参加した「Binary Hacks Rebooted」が無事に発売されました。
「Binary Hacks Rebooted」はLinuxを前提に書かれたHackが多いです(特に前半)。しかし、読者の中にはMacを使っているという方も一定数いるのではないかと思います。というか、Macを使っている人にも読んでもらいたいです。
もちろん、Mac上でもDocker, multipass, QEMU等を使ってLinuxを動かせば、本の内容は再現できます。しかし、バイナリアンの気持ちとしては、マシンでネイティブに動いているOSを使ってHackしたいものではないでしょうか。少なくとも私はそうです。(まあMac上でネイティブにLinuxを入れるという手もありますが、それだと機材がMacである必要がないのでは?と私は思ってしまいます。)
また、x86-64 Linuxであれば本の内容がそのまま動くのは当たり前(※)なので、違う環境でどうなるか試行錯誤することによって圧倒的成長💪💪💪が見込まれます。(※と言いつつ、Linuxでもディストロによって、あるいはUbuntuであってもバージョンが違うと無変更で動くかはわからないわけですが。本に載っている実行例はUbuntu 22.04のものが多いと思います。)
というわけで、MacでmacOSを使ってBinary Hacks Rebootedの内容を試したいです。
続きを読むMagic Trackpadの顛末
私はMacのトラックパッドが好きです。トラックパッドをノートパソコン(MacBook)だけではなくデスクトップでも使いたいと考えるのは自然な発想です。そういうユーザー向けに、AppleはMagic Trackpadという製品を販売しています。
2017年ごろの私はMacBook Pro (Late 2013)をメインで使っていましたが、自宅のデスクで使う時に外付けキーボードに加えて外付けトラックパッドがあると便利だと考え、Magic Trackpadを購入しました。
その後、2020年にMac miniを買ってからはMac miniに接続して使うようになりました。
続きを読むLunarML/Standard MLのブートストラップ問題
LunarMLを含む多くのStandard MLコンパイラーはStandard ML自身で記述されています。すでに動くStandard ML処理系があればSMLで書かれたコンパイラーを動かせますが、Standard ML処理系のない新しいプラットフォームでStandard MLコンパイラーを動かしたい場合はどうすればいいでしょうか?
続きを読む「Binary Hacks Rebooted」が出ます
今月(2024年8月)末にオライリージャパンから出る「Binary Hacks Rebooted」という本の執筆に、著者の一人として参加しました。私は主に浮動小数点数周りの記事を執筆しました。
続きを読むXREAL Airを買ってみた
前からXREALの製品が若干気になっていたが、今回廉価モデルのAirが20%オフで売られていたので思わず買ってしまった。
続きを読むLunarML v0.2.0リリースと最近の進捗
LuaやJavaScriptを出力するStandard MLコンパイラー「LunarML」のバージョン0.2.0をリリースしました。
続きを読む最強の数学文書システムを作りたい
数学の文書を書いてWebで公開したい時にはどうするのが良いでしょうか。私がこれまでにやってきたのは、
- LaTeXで書いて、PDFとして公開する(例:https://miz-ar.info/math/continued-fractions.html)
- Markdownで書いて、Pandoc等でHTMLに変換し、MathJaxやKaTeXで数式を表示する(例:「週刊 代数的実数をつくる」)
です。
しかし、PDFという形式はあまりWebには適しません。一方、Markdownでは数学の文書を書くうえで足りないものが多すぎます(定理環境や相互参照など)。
LaTeXは数学の文書を書くための語彙が豊富なので、LaTeXで原稿を書いて何らかの方法でHTMLに変換できると良さそうです。そのためのシステムを作りたいです。
続きを読む虚数の存在/実在についての議論について思うこと
「虚数は存在すると言えるのか」みたいな議論はSNSで定期的に見かけます。なぜこういう議論が発生するのでしょうか。
続きを読む