「日記」カテゴリーアーカイブ

自作SML処理系で 1 + 2 がコンパイルできた

2件の返信

2年ほど前からSML処理系を自作している。それがこの度、「動作するターゲットコード (Lua) を出力する」という重要なマイルストーンに到達したので記念に記事を書いておく。

この処理系については、2018年9月に開催された勉強会「ML Day #2」で進捗報告のLTをしたこともあった。（あれから2年も経ってまだこの段階かよ！）

続きを読む →

技術書典9に「浮動小数点数小話」を出します

コメントを残す

昨日からオンラインで「技術書典9」が始まっています。昨今のアレで今回はオンラインです。だめぽラボでは1年ぶりに技術書典に出展しています。

今回は既刊「Haskellで戦う競技プログラミング」の改訂第2版を出したほか、新刊「浮動小数点数小話」を出します。

続きを読む →

自作キーボードキット（Cassette42）を組み立ててみた

コメントを残す

ダイヤルのついた小型キーボード（マクロパッド）があったらある種のアプリケーションの操作に便利そうだな〜〜と日頃から思っていた（日頃からそういうアプリケーションを使っているというわけではない）。

遊舎工房で物色すると、ロータリーエンコーダーの載ったマクロパッド（のキット）はいくつかあった。

その中から、Casette42というやつを選んで買ってみた。ロータリーエンコーダーが2個あるのでお得感がある。

続きを読む →

Raspberry Pi 4を買った

1件のフィードバック

最近、Raspberry Pi 3を自作HaskellライブラリーのAArch64での動作確認用に使っていた。だが何かとスペックが物足りないので、Raspberry Pi 4の最近新たに出たメモリ8GBモデルに環境を移行することにした。

色々あった結果、ラズパイ本体だけではなくストレージやOS（ディストリ）も変わった：

旧環境

  • Raspberry Pi 3 Model B （メモリ1GB）
  • /: microSD 16GB
  • OS: Ubuntu Server 18.04 LTS 64bit

新環境

  • Raspberry Pi 4 Model B （メモリ8GB）
  • /: USB接続SSD 250GB
  • OS: Ubuntu Server 20.04 LTS 64bit
続きを読む →