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

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

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

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

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

どこまでもズボラなgit aliasたちを極める

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

組木パズルをA*と焼きなまし法でプログラムを書いて自作した

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

git rebase -iで分岐元を自動指定するには--keep-baseで良い

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

投影幾何学的代数PGAによる3次元計算が楽で面白い

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

ようやく理解した米田の補題とHom関手

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

[訂正あり] 秒単位で衝突するファイル名をミリ秒単位に改善すると、1000倍安全になる

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

奈良時代のボドゲ「かりうち」のソルバー

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

B+木を実装してデータベースとRustのRefCellに詳しくなる

最も近い分数を探す表 ― 29%は「3人に1人」ではなく「7人に2人」 

昔のブログとメインページ

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

ペンシルパズルを自作して、唯一解判定ソルバーをSugar CSPソルバで作る

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

zshでミスってCtrl-Cをして、空っぽになった入力を取り戻す

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

ショートカットでコマンドを入力すると、どんな環境でもそこそこ便利になる

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

壊れた卓上IHを自分で修理する

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

教養動画における本当に何もわかってない道化の存在について

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

仮想DOMの差分更新を簡単に実装する

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

Vueっぽいものを実装してComputedの仕組みを探る

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

三目並べをランダムに指したときの先手の勝利確率は?

『Ray Tracing in One Weekend』をやった

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

コンベアで計算する『Infinite Turtles』でBrainfuckインタプリタを実装した

Rustで「低レイヤを知りたい人のためのCコンパイラ作成入門」を少しやる

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

ISUCON12予選突破した。 :old_noto_innocent: 

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

自動化コンベアでチューリング完全を目指す『Infinite Turtles』の紹介

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

タグ「puzzle」

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

組木パズルをA*と焼きなまし法でプログラムを書いて自作した

ペンシルパズルを自作して、唯一解判定ソルバーをSugar CSPソルバで作る