過ぎるだけの時間じゃ悔しい
2024-07「見つけた景色、たずさえて」.
Posted on

見つけた景色、たずさえて

ツイートまとめ定期

生活

  • スタートラインに立つためにはどうするのか - Google スライド を読みました
  • 就活振り返り記事を書き進めています...
    • 面接対策時の自己分析についてまとめようとしたら自分がなぜ情報系の道に進んだのかという根源的な問いを言語化する必要があって文量が爆発しています
    • マインドマップの形で書いています。適宜小出しに出来れば良いですが
  • obsidianのメモと記事で内容が重複してしまう問題はメモ側は埋め込み表示すれば良いことに気づきました
  • Deno + Hono jsx試したい

修論をTypstで書き直した

Typstでまとまった文書を書く練習がしたかったのでTeXで書いた修論を移植していました。

  • Typstの執筆体験が良すぎました
    • \mathrm{...} と書いていたところを "..." と書けたり
    • LSがあるので
      • 記号の補完が出来たり
      • フォーマットが効く
      • CSVを文書中で読み込んで表を動的に作れる
        • #let rules = csv("hoge.csv")
        • #table(..., ...rules.map(it => ...))
  • コードをリファクタリングし(ようとし)たりしていました
  • Lean上でE-Graphを用いて証明を探索する? 研究らしい, 気になる
    • https://github.com/marcusrossel/lean-egg
  • TODO: GitHub Actions上でビルドされたPDFの文字が豆腐になってしまう
    • フォントを入れる or 変えれば良さそう

輪読 git自作

同期と隔週で Write yourself a Git! を読み進めることになりgit自作をすることになりました。 記事はPython実装ですがRustで実装していきます。

買った

娯楽

  • 全人類買いましょう。

近影です

[image or embed]

— か (@w4k4.me) Jul 29, 2024 at 22:43

200

  • MyGO!!!!! 6th LIVE「見つけた景色、たずさえて」
    • 友人が体調不良のためTwitter上の初対面の人と連番しました
    • 影色舞はツーステ曲だということに気づきました