Haskell好き

Researcher. ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean

i make cool stuff!!

#1 systemd/Linux fan · web developer in denial · recovering Rust developer · also Haskell, OCaml & C99 nerd

follow @ap.brid.gy if you're on bluesky!

Lover of cosmos; weaver of ken. Here to make friends and exchange ideas.
Most of my time is put into #philosophy and #SemanticWeb / #KnowledgeGraph. My aim is to eventually create a network of ideas.

🌌🌍🏙️♻️🚊🚲 𝐗 ┋ 🧑‍💻 🔑 ​ ​ ​ ┋ 🖌️🎸 ┋ 🧚🧝🦌🐰 🧍 [it > they > *] ​
#searchable #fedi22 : #LibreSoftware #FreeCulture #cypherpunk #veganism #environmentalism #minimalism #VisualArt #ElectricGuitar #science #psychology #history #ScienceFiction #HighFantasy #AgeOfSail #HighlySensitivePerson #nomad #StraightEdge

Providing thought leadership since 1801. OCaml and Haskell programmer. Co-Organiser of FP-SYD.

Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝

I write a lot of #OCaml for the #JavaScript ecosystem!

DMs open; indexed on tootfinder.ch; other keywords: #PLT #Rust #TypeScript #ML #Haskell #FunctionalProgramming