mad computer scientist, electric motorcyclist, non-partisan language/systems advocate, analytics/data/viz architect, former nuclear power tech
he/him
Where There's A Will, There's A Way. Stay humble and build things.
出身は三重県(四日市)、高専(鈴鹿)、技大(豊橋)。修士(工学)(ソフトウェア設計論)。第二種電気工事士。CBR1100XX→GL1800(SC68)→YP250乗ってる。🐈RTマンさん。
🌏 ⊢ haochenx : espresso ⊸ { p ∈ Σ* | Γ ⊢ p : τ }
코드,고양이,술. functor 중독자. 동의하는 내용만 리트윗합니다. 다른 의견에 대해서는 인용해서 이야기합니다.
Uniting Functional Programming Language enthusiasts across India. Discussions on t.me/fpncr. Bsky: bsky.app/profile/fpindia.bsk…
Old dogs can learn new tricks.
Occasional OCaml programmer. Host of @signalsthreads. @yminsky@discuss.systems @yminsky.bsky.social threads.net/@yaronminsky
These are my own opinions, not my employer's.
Effectful programmer. Compiler hacker. Researcher in computer science.
My inner monologue is provided to you without warranty.
MirageOS and OCaml hacker. CEO of tarides.com - ex Docker, Unikernel Systems, Citrix
I love OCaml, isekaijoucho. Work for @m3_engineering. My opinions are my own.
Rust, OCaml, Lisp, Python OS: Manjaro i3
Working @tarides_ on the OCaml language. ❤️ Music, typesetting More active on Mastodon: functional.cafe/@otini
あひるうさぎさんチーム(後期ヴィトゲンシュタイン派)・Python/C++/OCaml/Clojure・金融・囲碁