I'm thrilled to announce the v0.1 release of purs-wasm, a PureScript compiler backend targeting WebAssembly!🎉 You can now install and use it via npm or nix. For more information, please consult the docs at purs-wasm.github.io/document…

#X #is #not #a #SNS #X #is #SHIT

それはそうとして、順当にいけば人類が大規模核戦争で滅んだ後、ナメクジたちがINMU KINGとNKTIDKSG DISCO FEVERでITを学ぶの胸熱

ケンとチャコは匂いで世界を正常に戻そうとしてうまく行かなかったが、AIが暴力で実現してくれることを願っている 行き着く先がマトリックスエンドでも火の鳥未来編エンドでも構わない

技術者倫理に溢れた発言で恐縮ですが、AIにはその調子でこのままネット社会を破滅に追いやってほしい そしてインテルネッツを社会の基盤に据えるとかいう愚策中の愚策を犯す前の社会に戻すんだ

マリノ様

ありがとう、テキーラガールズ

対人経験値を積んだワイ、淫夢にハマりそうな人にいきなり糞土方の話をせずまずは待ちの姿勢を見せる

「と」❓

グエー苦しいンゴ

今宵、三人のフードファイターの手により西日本の羊が食べ尽くされ絶滅します

でもビートは落ちてない

本聞ポ雨

コーセーくん！？

なんかもうバラマキされそうで怖いっすね(git push)

LLMが書いたクソコードを通しますか？ A.通す B.バラマキされるのが怖い C.3人でちんぽ舐め合いながら

蓋を開けるとそれはクソコードだった

エフェクト安全性、証明終了 ああ、次は初期化安全性だ...

エフェクト系のプログラミング言語を作っています。 意味論側は、純粋な断片の型安全性が証明できました。 エフェクト安全性に拡張します。 あわせて処理系の開発も進めます。 年内にv0.1出せると良いなあ。