professional Haskeller

I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.

The Open Source Programming Office (OSPO) of Modus Create (https://moduscreate.com/). Improving the craft of software engineering. Web: https://www.tweag.io/ GitHub: https://github.com/tweag/ Discord: https://discord.com/invite/7yg5GxzvDJ

情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証． 国立情報学研究所，総合研究大学院大学，株式会社イミロン，他 https://group-mmm.org/~ichiro/

Committed to a welcoming, vibrant & flourishing #Haskell community! Here we talk about community updates, software engineering and the joy of programming. Find us on https://haskell.org and https://blog.haskell.org

I like Haskell

Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.

Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader

I like to build things. Helping companies adopt #Nix and #NixOS at https://numtide.com

Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app