khibino

仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明器、プログラミング言語処理系まわりに興味があります。 型検...

Sakura Onishi

エンジニアみならい

reinforchu

Technical lead of Web app VAPT Cybersecurity researcher(Web, Browser) CVE-2...

NaoAkkr/cocoalix

204504bySE_

「ほもぉほもぉ」しぃの鳴き声が聞こえる。夏真っ盛りだな。Mastodon垢→https://t.co/qrKO34cvL6

Megumi Tomita

Kaede Fujisaki

Christophe Labonne