自作キーボードを何台も組み立てていると、だんだん気になってくるのがキースイッチのコストである。10個450円とかで買えるとはいえ、1台分だと数千円になってしまう。

ということで、もう使わなくなったキーボードからキースイッチを回収することを考える。

梅コース

一番安いのだとこういう道具がある。ばねの力で吸引力を生み出すタイプで、はんだごてを当てて、溶けた瞬間にポンと吸ってやる。

このタイプは前に触ったことがあるけど、キースイッチの場合はあまりうまくいかなかった。タイミングがシビアなのかな？

ちょっと形式手法ツールAlloyを使ってみたい場面があったのでとりあえずインストールしてみた。昔ちょっとだけ触ったことあるんだけど。

Macだとbrew install alloyで入るので楽。

とりあえずチュートリアルやるか〜と思ったものの：

• 形式手法でデータ構造を記述・検査してみよう：Alloy編 - DeNA Testing Blog

Visualizeすると「全部非表示になりました。Themeを設定してください」みたいなメッセージが表示される。うーん。仕様が変わったのかな。

自作言語の開発中、LLVMが以下のメッセージを吐いて死ぬのを調査したメモ。 ./bin/llvm-dis: error: Invalid instruction with no BB (Producer: 'LLVM12.0.1' Reader: 'LLVM 12.0.1')

このメッセージで検索すると lib/Bitcode/Reader/BitcodeReader.cpp がヒット

    if (!CurBB) {
      I->deleteValue();

LLVMのエラーメッセージはあまり親切でない。Rustの異常な親切さに慣れてきたのでそう思うのかもしれないが。

例えばllvm-disの出したエラーがこれ：

Assertion failed: (InitVal->getType() == getValueType() && "Initializer type must match GlobalVariable type"), function setInitializer, file /Users/yhara/research/llvm-12.0.1.src/lib/IR/Globals.cpp, line 405.

型が違うことはなんとか分かるが、せめて何と何だったのかくらいは教えてくれないとデバッグのしようがない。

LLVMのフルビルドは長い。とても長い。

LLVM、.bcの間違いは.llを見ればわかることが多いんですが(基本的に等価なものだから)、今回は.bcがエラーになって.llがエラーにならないというケースを踏んでいて困っています pic.twitter.com/wplDsO84wu

— yhara (Yutaka HARA) (@yhara) September 30, 2021

こういうことがあったのでbcをデコードするツール(llvm-dis)だけ自前ビルドしたかった。

結論からいうとこれでいけた。

githubのreleasesから.src.zipを取ってきて解凍

メモです。

• JSDocで型を定義してTypeScriptの恩恵を受ける

いいこと聞いた。

BiwaSchemeはTS使ってないけど、JSDocの記法で型を書けばtscで型チェックできるってことか。

• TypeScript: Documentation - JSDocリファレンス
• Use JSDoc: @typedef

発表資料です。

• 定期ミートアップ 第2回 - prog-lang-sys-ja

雑談

• vimの:terminal + |& less -Rが快適

前回のあらすじ

今までいわゆるスニペット系のvimプラグインは使わずに来たのだが、Rustを書くようになって

• Default::default()とタイプするのが面倒
• collect::<Vec<_>>とタイプするのが面倒
• use std::collection::HashMap;とタイプするのが面倒

…のように、スニペットの必要性が分かるようになった。

どのようなプラグインがあるかは以下がとても参考になった。

処理系Slackで定期ミートアップをやろうという話になったので、せっかくだからShiikaについて相談したいことを話してみた。以下は発表資料。

Shiikaとは

• 雑に書ける静的型付け言語がほしい
• 既存の静的言語は「性能」とか「ローレベル」にチューニングされているが、それらを捨ててLL的な方向に振る
• Ruby的な書きやすさ＋静的型チェック
• 動的言語の楽しさとは別に、型からデザインする楽しさというのがある

ALETH42を組み立てた。キー数が少ないのでキーマップ調整に手間取ったけど、まあまあいい感じになってきた。今は自宅で仕事するときに使っている。

Keyboard: ALETH42
Switch: Kailh speed silver (+ rose pink)
Keycap: MDA Pineapple#KEEB_PD #KEEB_PD_R40 pic.twitter.com/Hm31kyejT6

— yhara (Yutaka HARA) (@yhara) April 18, 2021

↑はじめての#KEEB_PD。

発端

もともとは分割キーボードにしか興味がなかったのだが、nillpoさんのKUMOキーボード(この３枚目)を見てrow-staggeredな一体型のよさに目覚めてしまったのだ。とはいえKUMOはもう手に入らないので諦めていたところ、タイミングよくALETH42が登場して、作ってみることにした。