記事

eshiho’s Blog - Segment Tree elliptic shiho さんによるセグメント木の数学的な説明。
うさぎ小屋 - アセンブリ言語で lifegame を書いた kimiyuki さんによる記事。
hikalium/nv hikalium さんの書いた nv 言語のコンパイラ。川合さんの Essen の仕様に基づいている(wikiより) Plan9 についての記述など、wiki から参考になりそうなものがありそう。
driftctl の紹介記事 IaC 化されていない AWS リソースの追跡を行うツール
Ruby on Rails 学習ロードマップスクール系の雰囲気が若干あるが、僕はこの記事は良い記事だと思う。かなり初心者向けのロードマップ。
Fuchsia development guide Google Nest Hub にも組み込まれている OS、Fuchsia の開発ガイド。フクシャと読むらしい。
LLVM tutorial Kaleidoscope という LLVM のチュートリアル。Kaleidoscope は万華鏡という意味。
コンピュータサイエンスをより幅広い子どもたちへ STEAM は STEM に Art を加えたもの。Science, Technology, Engineering, Mathematics, Art の 5 つ。記事を読む限りかなり女性のソフトウェアエンジニア育成に力をいれていると感じた。すごい。
Haskell で型レベルの CPU を定義して C Compiler を動かそうとする話大阪の大学の LT で発表された。ELVM を利用して型レベル CPU を作成したがメモリ不足だった(ELVM に最適化の余地がある)
pokemium/Worldwide GameBoy Color Emulator. Go 製で ebiten を使っているみたい。
containers/youki Rust 製のコンテナランタイム。
TFHE Fast Fully Homomorphic Encryption over the Torus 完全準同型暗号
セキュリティキャンプ 2020 資料置き場 nindanaoto さんの資料が置いてある。

todo!

記事を読んで、これやりたいなと思ったアイデア集。実際に手を動かしてできるのはごく一部だけど面白そうという気持ちをメモっておくのが大事。

基本的なデータ構造に数学的な説明をつける。ここは Coq で証明するところが近そう。この前の IPSJ PRO で確か計算量周りの証明を行っていた研究があったのでそのへんと合わせると数学的構造がある側面でバグってないことの保証に加えて計算量の保証もできそうで実用的な話になる。(証明つきコードの実現)
アセンブリで lifegame を書く(befunge 実装もあったので esolang でもやってみたい) そもそも lifegame ってどのくらいシンプルなんだろうか
driftctl を使ってみる。記事がハンズオンになっていたのでやってみる。まだ発展途上のようなので、go 製だし OSS コントリビュートチャンスかも
Fuchsia で遊ぶ。機能追加にチャレンジして内部構造を学びたい。mold でリンクするのもよさそう。
Kaleidoscope をする。LLVM フロントエンドは簡単に書いたことがあるがバックエンドはまだ触ったことがない。Inkwell を使うのもいいかも参考になるかも: Inkwell を使って Rust で LLVM をやっていく
読んでみたいコード: pokemium/Worldwide, containers/youki
暗号は研究でもやる予定なので、nindanaoto さんのシリーズを読んでいきたい。