ボカコレルーキーほぼ hyperflip みたいな感じですごい（そんなことはない）
あすたーいずむ
npub15glt...k87e
違和感を噛み潰さない
「人生ってやりたいことありすぎ！」になりたい
キラキラの
Quartz をいじっていたけど何をどう全世界に公開するかなにも考えていないことを思い出した
大衆化
ルビィちゃん雅楽って YouTube で150 万再生されてるんだ
軽快でイイネ
放送✴︎ - 重音テト- YouTube
うみゃみーが伝説を作り続けている
coalgebra アツすぎるかもしれない
懐古厨も納得！
なんだかまた嫌な夢を見たなあ
あべぴょん懐かしい
SEALDs
はあ
この前の解散の通称、ローランド解散で落ち着いたの？
ローランド解散 - Wikipedia
ローランド解散 - Wikipedia
ニコニコの実績非表示にする方法ないの……
踊るしかない
うーむ
autoformalization 界隈を見ているともうちょっとでいい感じのものが出てきそうな気はする（いい感じって言いすぎ）
数学論文をインプットすると AI が自動で証明支援系のコードを生成してコンパイルを通す、みたいな世界観って、結構近い未来に来てもおかしくないと思うのだけど、どうなのかな