週刊ブックマーク 7/12 - 7/18

記事

todo!

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

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