ぴくすふぁんく

0x1Bさいのwebえんじにゃ💻
型システムとか論理とか抽象数学と楽器演奏がすき 🎹🎸🥁🎷
あとドライブも好き🚗(ND 35th乗り)

[いぬくん @fluffydog_bow]

朝起きたら，ポスドク先の先生からもらった予想が AI + Lean で自動証明されてて感動．

通知がスマホに届いていた．

[ぴくすふぁんく @pxfnc]

ふとケロロ軍曹を思い出して、他のキャラの等級なんだっけと調べようとしたら今年映画やるらしい。

え！？今年！？？？2026年にケロロ軍曹の映画やるのマ！！！？

[ぴくすふぁんく @pxfnc]

グロタンディークについて色々知りたくなってきた

[Abhishek B R @abhitwt]

Every company’s AI workflow rn be like 😭💀

[José Valim @josevalim]

Elixir v1.20 released! Now officially a gradually typed language: Elixir type checks every single line of code, finding bugs and dead code, without developer overhead (no typing signatures) and extremely low false positives rate. Plus a faster compiler! Links and reports below.

[Tomoya TENDO @end_tt]

非対称な6剛体カレイドサイクルのスケーリングをともなったテセレーション

[megumish(めぐみっしゅ) @megumish_unsafe]

SSH接続が途中切断された時、`Ctrl+C` も `Ctrl+D` も効かないから、いつもターミナルごと𝓚𝓲𝓵𝓵してたんだけど、今更 `~.` と言うSSHエスケープシーケンスで強制終了できることを知った
`~?` で他のコマンドも見れる

[ぴくすふぁんく @pxfnc]

コードの重複ではなく意図が重複するのが良くないみたいな話をする事があったりした

[佐久間ちゃん @2_wykipedia]

A「好きな数を思い浮かべて」
B「(超限順序数ωでいいや)」
A「2にそれを足して」
B「(2+ω=ω)」
A「2倍して」
B「(ω·2)」
A「最初に思い浮かべた数の2倍を引いて」
B「ordinal left subtractionでOK？」
A「何!? 知らんけど多分OK」
B「(ω·2-ω·2=0)」
A「4になったでしょ！」
B「0になった」
A「えっ」

[ぴくすふぁんく @pxfnc]

いぶきがぼたんに話しかけるときにちょっと声が明るいのが可愛い

[ぴくすふぁんく @pxfnc]

ジンクグリーンのロードスターは泥はねて車が汚れてもむしろそれがカッコ良いみたいな感じになりそうだから良さげ

[ぴくすふぁんく @pxfnc]

Haskellやったら圏論わかるか→いいえ
Haskellやったら圏論に興味を持つか→はい

[Masaki Haga @silasolla]

地道に良いものを作ろうとしている組織やエンジニアが，そういうポジショントークに振り回される必要はない．むしろ，代替し難い価値を生み出していることに誇りを持って良いと思う．

[ぴくすふぁんく @pxfnc]

亜寺渓谷に向かってるなう

[ぴくすふぁんく @pxfnc]

@Takumikun_GR86 動き始めているわけなので、キープするだけでどんどん車は加速していきます。ある地点から回転数も上がるので(耳と体感で分かるようになる) その時にはエンジンとミッションは回転が合ってるのでそのままペダルを離しちゃって良いです！

斜面に応じて1.5〜3.0秒ほどが目安かなと！

[ぴくすふぁんく @pxfnc]

@Takumikun_GR86 「キープ」が出来るようになるとエンストはなくなりますよ！

ガクガクするのは繋ぎすぎ(クラッチペダルを上げすぎ)な時が多いかと思います。エンストの恐怖からクラッチペダルから足を離したくなってしまったりとか…

発進時は車が動き出したタイムングでキープです！(続く

[ぴくすふぁんく @pxfnc]

今日は上高地行ってきたよ

ほんま綺麗だった。初夏の晴天に行けてよかった☀️

[ぴくすふぁんく @pxfnc]

すわーこ

[ぴくすふぁんく @pxfnc]

寝るゾス

[ぴくすふぁんく @pxfnc]

夜光虫綺麗だなぁとか思いながら動画見てるなう

ところでさー、ブルーライトをペカペカ光らせてる我ら夜更かしピープルたちも実質夜光虫じゃね