関数型言語ちゃんとやったことないけど気になってきた まっつんさんのリレー記事あることだし、なんか入門がてらリレー書いてみようかな…
なんか上着にバリエーション欲しいな
ちょっと無理があった
農業言語、カイコン
攻略本にしては勉強度が高すぎるかもしれない本… リーダブルコード --より良いコードを書くためのシンプルで実践的なテクニック
Google Search
作った関数を使う時に、中身の処理を気にしなくていいように書けると良いらしい
Coq、発音がおちんちんだからという理由で名前変えられてて笑った おちんちん定理証明エンジニア
Coqしかそういうの触ったことない （オット！　今はRocqだったかな……フフ……）
シャワって大学行くナリ
Nostr の住人、数年間潜伏後にクワトロバジーナに変身 - 2人に影響か