haochenx

🌏 ⊢ haochenx : espresso ⊸ { p ∈ Σ* | Γ ⊢ p : τ }*

[haochenx @haochenxie]

My emacs starts faster than the OS. That’s fast enough for me.

[haochenx @haochenxie]

🙌 https://t.co/BzWYzEs0CA 🙌

[haochenx @haochenxie]

#orestudy 発表資料です

「OCamlのはじめかた」
https://t.co/yt6R2ZxSYr

ブラウザで OCaml を試すには
https://t.co/jyBZa2mvYt か
https://t.co/IC0RyuAkgc をお使いください!

[haochenx @haochenxie]

そりゃLinux Kernelが形式検証されてない数万行超えのコードベースなのでこういう脆弱性探せば何個でも出てくるでしょう

[vx-underground @vxunderground]

CVE-2026-31431 a/k/a CopyFail

> Linux LPE
> Description sounds like AI slop
> Exploit is legit
> Impacts every Linux kernel from 2017 - Now
> Proof-of-concept released
> It's Wednesday?

https://t.co/FXgjWW7lOV

[OCaml.jp @ocamljp]

この度、OCaml Meeting 2026 in Tokyo を開催することとなりました🎉
実に 13 年ぶりの開催となり、スタッフもワクワクしています！

2026/08/22(土) 開催予定です🗓️
どなたでも大歓迎ですので、ぜひ皆様ご参加ください🙇

詳細・お申し込みはこちらから → https://t.co/aeopEZkVdJ #OCamlMeeting

[haochenx @haochenxie]

https://t.co/xqI3zq5RSw

[haochenx @haochenxie]

@ankkala The only (?) tricky part is about how to deal with nontermination..

[haochenx @haochenxie]

@runaway_vol Until one discovers Rocq….

[cursed_connectors @cursedconnector]

Do you have a spare moment to talk about our lord saviour, microfluidic d-type?

[関数型まつり @fp_matsuri]

関数型まつり2026 にプロポーザルが投稿されました！
「Modular Explicits へのご招待〜OCaml 5.5から使える Modular Explicits の何がおいしいの?〜」 / Haochen Kotoi-Xieさん （@haochenxie）
https://t.co/WdnQ4dPtgI
#fp_matsuri

[関数型まつり @fp_matsuri]

関数型まつり2026 にプロポーザルが投稿されました！
「真にどこでも動く言語OCaml〜クラウドだろうがモバイルだろうがベアメタルだろうが関数型で書きたいんだ〜」 / Haochen Kotoi-Xieさん （@haochenxie）
https://t.co/DiRAtIeB4j
#fp_matsuri

[haochenx @haochenxie]

「compilation」のカタカナが「コンパイレーション」じゃなくて「コンピレーション」なんだ.... ｶﾀｶﾅｴｲｺﾞﾑｽﾞｶｼ

[きゃれっと @mt_caret]

OCaml Meetupの再度開催を東京でやろうという企画をOCaml日本語Slackで進めています。興味がある方は是非Slackの確認あるいはご連絡ください！

[haochenx @haochenxie]

ややこしいエッジケースがたくさんある制度は形式検証しましょう

[破綻国家研究所 @InsHatanCountry]

運転免許証+マイナカードの制度上のバグを発見して
実際に悔しい思いをしたので
全政党の関係者、特に国会議員さんに見ていただきたいと思い忘備録を書きました

【忘備録】運転免許証一体型マイカードを期間内で早めに更新したら免許紛失扱いになった話｜破綻国家研究所
https://t.co/4tdcoJTfjy

[haochenx @haochenxie]

Strongly typed schematic

[haochenx @haochenxie]

型チェックしないからよ

[べーた（骨折） @betaEncoder]

人はなぜ

[haochenx @haochenxie]

横内先生「プログラム意味論」輪読会 #4 has been published! https://t.co/c6ZCkjgIOY

[haochenx @haochenxie]

横内先生「プログラム意味論」輪読会 #3 has been published! https://t.co/HBelGKa6o0