🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Crazy that in 2025 half the internet gets toasted by a null pointer error How's that "illegal states unrepresentable" thing going?

継続まつり

なぜかさっぱり流行らなかった codo notation というのがあって…… cs.kent.ac.uk/people/staff/d…

coeffect強かった

線形型あればcoeffect実装できる感じ、確かに

夢では「これ両方見ないといけないのに同時刻帯で部屋別れてるー」ってうなされてたような気がする

「algebraic effect が用いられたプログラムは突入しうるすべての世界線を infinitary かつ parameterised な演算子によって記述した項だと考えられる」みたいな怪しい話をしていたため、それに影響されている可能性がある

Windymelt(@関数型まつり)(めるくん)🚀❤️‍🔥 『googleのソフトウェアエンジニアリング』からの引用です

被覆制御による場の推定 左図の各エージェントがその地点の値を取得し，右図で取得値をもとに場を推定しています．

ぽりぽり𝐶𝑎𝑢𝑠𝑡𝑖𝑐𝑠

テックブログに投稿しました。 "AIだけで新アルゴリズムによる正規表現ライブラリを作ってみた" : ift.tt/mEH3hR5

今年のSIGPLAN PL Software AwardはLEAN！