Blog Index

前々からやりたかったこととして、ブログを/blogにした。ついでにデザインが一新された。記事はだいたい移行された。

SANABIというゲームを遊んだ。マジで話とビジュアルが良く、翻訳が改善されて完璧になったので遊んでほしい。

J-POPを聴こうとし、一定の成果を収めることができた

ぼっち・ざ・ろっくが全て悪く、インディーロックに突っ込んでいってしまった

❤️逆張りオタクなのでRISC-Vが好きだけどRISC-Vのほうは俺のこと嫌ってるらしい

無限の拡張性を誇り素直なロジックが書けるdotfiles manager (110行ぐらい) を書いたよ

2022振り返りで抱負をやったから別記事では上がらんと思ったかマヌケが〜！

あなた今卑下しましたか？それはよくないことです。

え、何した？

式年遷宮 (8ヶ月ぶり)

舐めた受験をしたら普通に落とされた。これからの人生いったいどうなるのか？

zshはプラグインマネージャが乱立していてその管理がつらいという欠点が、fishには既存シェルスクリプトとの互換性がないという欠点がある。好きな地獄を選んでよ

C 言語の `strtol` という関数は一見かなり奇妙なインターフェースをしているが、実際使ってみるとパーサ実装にめちゃくちゃ向いていることがわかる。Rustにもほしいよね。

F#の美しさを真似したい．OCamlの堅牢さも捨てがたい．Rustのフレンドリーさも無視することはできない．

食らえ秘奥義，algebraic effects を (実アプリケーションではまだ使えません……)

もはや何回ブログを作り直したかもわからなくなってきたころ、ふと思い立ったのだ。「そうだ、ブログ作り直そう」

いろいろなことがあった年だった。

自己推薦書書いてたら精神から変な音がするようになった。果たして大学に進学することはできるのか？