会場からせしめてきた日本酒飲むわ

学会期間中みんなツール開発捗ってる説ない？

学マスなんも追ってないんですが、我らMにはHigh×Jokerが居ますからね？
留年枠ことハルナっちも居ますからね？

JetBrainsのエディタでFFmpegって書いたとき、typo修正が壊れていて無限にFが増殖するバグがある気がします

Pythonよりも人気な言語SATySFi

みんな段々眠くなってきてない？

ここ3日間に聞いた話のうち半分以上は理論屋さんの発表なんだけど、本当についていけない
型推論以上の証明は俺にはわからない

型が違うものを比較するにあたっては「どうやって」比較するのかを明示的に指定すべきという考えはあるかもしれない
レコードの値がすべて一致していることを持って等価とするのか、IDが同じなら等価なのか、==と書かれては分からないと思うときはある

録画サーバー、様々なソフトウェアの役割分担が成し遂げられつつあることによって遅延の発生ポイントが増大しすぎている

Rustのsubprocessで低遅延pipeできるかしら
バッファがどれくらい詰まるかによるのよね

RustのWTransportのシグネチャを見る以上はOpenしたStreamに識別子みたいなものをつけることが出来ないのだけど、これってWebTransportの制約なんだろうか
複数の種類の異なるStreamを開くことを考えたら不便じゃない？

これPCに差し込むのめんどくさいときにスマホに認証パスできたりしないかな
※Passkeyはお呼びでない

ウイダーinゼリーのエネルギー初めて飲んだ気がするけど全然美味しくないぞこれ

雪が舞ってる！

3日目、着替える気力を失う

神社、思ったより遠い

とはいえ駅周辺でできることといえば神社行くくらい…？

今日どうしよっかなぁ 正直ポスターだけ行ければいいみたいなところはある…

Googleがログイン画面変更の通知をし続けていたのがフィッシング対策対策(typoではないです)だったことに気づいたのが今日の収穫でした 早く寝ろ

ワンダー、聴きすぎたし歌いすぎたせいでめちゃくちゃなアレンジをしてメロディーが崩壊してしまう (音楽の素養がない)