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コンパイラーを動かしたい場合はどうすればいいでしょうか?

続きを読む

最強の数学文書システムを作りたい

数学の文書を書いてWebで公開したい時にはどうするのが良いでしょうか。私がこれまでにやってきたのは、

です。

しかし、PDFという形式はあまりWebには適しません。一方、Markdownでは数学の文書を書くうえで足りないものが多すぎます(定理環境や相互参照など)。

LaTeXは数学の文書を書くための語彙が豊富なので、LaTeXで原稿を書いて何らかの方法でHTMLに変換できると良さそうです。そのためのシステムを作りたいです。

続きを読む