家に帰るまでが PPL です、というわけで帰ってきました

ほーん 知らん機能だった 👀 Import From Derivation - Nix Reference Manual https://nix.dev/manual/nix/2.26/language/import-from-derivation

👀 架空のラジコン船「試作装備運用評価試験艇TC01さいかう」を作ってみた
https://www.nicovideo.jp/watch/sm44735127

京都人が降りた！いけるか？

最近ずっと聞いてる　曲気に入ったからアニメも見てみたがアニメは並 👂️ 明日の私に幸あれ https://music.youtube.com/watch?v=_bwck8VdBLo

This account is not set to public on notestock.

This account is not set to public on notestock.

こだまでは快適だった新幹線 Wi-Fi のぞみでは厳しい　乗車客数差か

こだま、終点が名古屋駅なことあるんだ

豊橋駅、改札口出たらマケイン聖地マップどーんだった

私は豊橋市～https://www.swarmapp.com/kakkun61/checkin/67cad2c677ec3a41ec55fbdc 、スパゲッ亭チャオ 本店にいました

もう感度 ASA 100 ではムリだ

またはずれたんだ

豊鉄市内線撮ってみたいけども

6時だともう暗いかなー

今年は ICFP と OOPSLA 共同なんだ

Preferred Networks と神戸大学が開発した MN-Core プロセッサー向けに命令列変形の同値性をチェックするシステムを作ったよという話　下2層のプロセッサー向けだけなので上層に対応するのが今後の課題 #PPL

あかんねむたい

おもしろい話だけど食後の英語で眠たくなってきた……

This account is not set to public on notestock.

This account is not set to public on notestock.

ねんむい

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

全然分からんかった

完全 Elgot モナド #PPL

上と下に数がひとつずつ並んだタイルを横に並べ、上と下で同じ数を作れるかという問題、解けてなかった問題をいくつか解けたよという話 #PPL