死ぬまでにやりたいことリスト
OS自作
- UEFIブートローダ
- ファイルシステム
- ハイパーバイザ
- コンテナランタイム
- init / サービスマネージャ
- シェル
PL自作
- FPL自作
- 証明支援系
- SATソルバ
- SMTソルバ
- 型推論器
- Smalltalk
- ML自作
- 全言語でlisp自作
- ビジュアルlisp
- Forth自作
- Prolog自作
- 自作schemeを何十年も開発
- GC自作
- JIT自作
- 正規表現エンジン自作
16bitCPU自作
- FPGA実機化
- RISC-V実装
- テープアウト
- 自作キーボード
- ロジックアナライザ
グラボ自作
- シェーダコンパイラ
- パストレーサ
- ラスタライザ
- コーデック
自宅サーバ運用
- FIRE
- TCP/IPスタック
- DNSリゾルバ
- TLS 1.3
- QUIC / HTTP3
- Raft
- 分散KVS
- ダークウェブに公開
- Kademlia DHT
- BitTorrentクライアント
- オニオンルーティング
- 真性のはてなブックマークの設計・運営
コンパイラのセルフホスティング
- 自作言語で書いた自作OSを自作CPUで動かす
テキストエディタ自作
- 端末エミュレータ自作
- フォントラスタライザ自作
- フォント自作
- 日本語IME自作
3DSまでの歴代エミュレータ
アルゴリズムの可視化
wine再実装
改造windows
libc再実装
c言語再実装
cmake再実装
git再実装
uiエンジン自作
- ブラウザエンジン自作
- Waylandコンポジタ自作
ツールチェイン
- リンカ自作
- デバッガ自作
- アセンブラ自作
- 逆アセンブラ自作
- プロファイラ自作
- パッケージマネージャ自作
DB自作
圧縮実装
組版エンジン再実装
極める
- アセンブリ
- C
- Rust
- Haskell
- OCaml
- Scheme
- Go
- Agda
- Lean4
- Zig
- Verilog
起業(仕事を続ける場合は一人親方やりたいので)