Michael Mroz
Ostensibly a software engineer specializing in correctness-critical systems, but I think of myself more as a logician and translator. Writer of Haskell. Into abstraction and extensibility. Cat and type theory enthusiast. Recreational skier and photog.
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@kmett.ai
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
@hausofdecline.bsky.social
Hank of Decline Patreon - http://patreon.com/hausofdecline Store - https://hausofdecline.bigcartel.com/
@gergely.pragmaticengineer.com
Writing The Pragmatic Engineer (@pragmaticengineer.com), the #1 technology newsletter on Substack. Author of The Software Engineer's Guidebook (engguidebook.com). Formerly at Uber, Skype, Skyscanner. More at pragmaticengineer.com
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@tsoding.bsky.social
Recreational Programming: - http://twitch.tv/tsoding - https://www.youtube.com/@Tsoding - https://www.youtube.com/@TsodingDaily ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀
@chiroptical.dev
PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Erlang programmer. Occasional content creator youtube.com/chiroptical twitch.tv/chiroptical. Fencing enjoyer.
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app
@atproto.com
Social networking technology created by Bluesky. Developer-focused account. Follow @bsky.app for general announcements! Bluesky API docs: docs.bsky.app AT Protocol specs: atproto.com
@renoviana.dev
🇧🇷 | Baiano perdido no DF | Software Engineer | All photos taken by me 📷 | renoviana.com 🐦 @avesbrasil.bsky.social 📚 @livro.bsky.social
@xkcd.com
@category-theory.bsky.social
Maths, AI, old Toyota Trucks, old Swiss watches, no gi jiujitsu and submission grappling, boxing, etc.
@taliaringer.bsky.social
@category-fury.bsky.social
I have a PhD in maths. I don't know what any of this shit is and I'm fucking scared.