いつもお世話になっているSMTソルバーの処理を知る

簡単なSMT&SATソルバーを書いて4x4数独を解く

git reset —hardは事故を免れないので、git switchで代替する

ブランチの移動にgit reset --hardをやめてgit switchの組み合わせを使おう

自己流の1文字2文字3文字のgit aliasたち。「fom！ac！gp！pr！」

組木パズルを自作して3Dプリンタで印刷して遊ぶ

git rebase -i --keep-base mainをすると楽に歴史操作できる。

行列とかクォータニオンとか3次元平面とか全部一緒くたにあつかえるすごいヤツ

圏論の基本と米田の補題がどう嬉しいのか。証明は書いてありません。

訂正しました。誕生日のパラドックスを考えると1000倍の安全性は手に入らない気がするが…？

ショートカットが強すぎる気がしたので、モンテカルロ法のソルバーを書いた。

Rustで簡単なデータベースを書く

自作ペンパの作成補助ツールを書いた

うっかりキャンセルしたコマンドを再入力できるようにzshを設定する。

iterm2のショートカットで頻出単語を入力する

IHのスイッチが壊れたので、自分ではんだ付けして直す。

何もわかっていな人が与える安心感と質問することについて。

仮想DOMの簡単な実装を行いました。差分をみて必要なDOMの更新だけ取り出します。

VueのComputedのやや魔法っぽい、依存関係の自動導出についての仕組みを、簡単な実装で解説しました。

まったくもってランダムに三目並べを行うときに先手はどれくらい有利か

ベルトコンベアでbrainfuckを計算する様子

ISUCON12予選突破できた。そのまとめ。

steamのゲームの紹介。ベルトコンベアでいろんな問題を解く。

Notionからnextjsでブログを生成する