@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@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
@obsidian.md
The free and flexible app for your private thoughts. For help and deeper discussions, join our community: http://obsidian.md/community
@myke.social
Podcaster and Co-Founder at @Relay.fm, Creative Director and Co-Founder at @CortexBrand.com.
@codereport.bsky.social
Research Scientist NVIDIA • YouTube Content Creator • Host of ADSP, ArrayCast, Tacit Talk, The R4 Running Podcast • Organizer of PLVM Meetup
@simonmar.bsky.social
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
@martin.kleppmann.com
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
@jfbastien.com
Distinguished engineer Woven by Toyota—Compiler engineer—security enforcer—C++ standards committee language evolution chair—WebAssembly co-instigator 🔗 https://jfbastien.com 🔗 https://tlbh.it 📍 東京、日本
@djsnm.extwitter.link
⚠️ MIRROR OF twitter.com/DJSnM ⚠️ If you own the original account and want to claim this, please contact @twttr-mirrors.bsky.social
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@asbradbury.org
Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
@chandlerc.blog
Software, performance, optimization, programming languages, security, open source, #CarbonLang lead, #LLVM, #Clang, C++. 🏳️🌈 http://pronoun.is/he or http://pronoun.is/they
@llvmweekly.org
A weekly email newsletter on developments in LLVM, Clang and related projects. Curated by @asbradbury.org
@charity.wtf
cofounder/CTO @honeycombio, co-author of Observability Engineering and Database Reliability Engineering. I test in production and so do you. 🐝🏳️🌈🦄
@matt.godbolt.org
Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights. he/him
@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
@johncutle.fish
I like the beautiful mess of product development.| newsletter: https://cutlefish.substack.com
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org