攻略本にしては勉強度が高すぎるかもしれない本… リーダブルコード --より良いコードを書くためのシンプルで実践的なテクニック
Google Search
作った関数を使う時に、中身の処理を気にしなくていいように書けると良いらしい
Coq、発音がおちんちんだからという理由で名前変えられてて笑った おちんちん定理証明エンジニア
Coqしかそういうの触ったことない （オット！　今はRocqだったかな……フフ……）
シャワって大学行くナリ
Nostr の住人、数年間潜伏後にクワトロバジーナに変身 - 2人に影響か
頭いいなと思ってしまった https://news.mynavi.jp/techplus/article/20251209-3785120/# image
ﾄﾞﾝﾄﾞｺﾄﾞｰﾝ
今日も夜飯食ったらバイトだウオーン
明日も頑張るぞい