Edward Kmett
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
@huwcampbell.com
Functional programmer, physicist, trainee zoo keeper, circus performer, and Dad.
@samidh.bsky.social
Co-Founder at Zentropi (Trustworthy AI). Formerly Meta Civic Integrity Founder, Google X and Google Civic Innovation Lead, and Groq CPO.
@kat-woods.bsky.social
@runningredlights.bsky.social
@mattecapu.bsky.social
🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
@metafrostufo.bsky.social
I am a nurse who makes art and music sometimes. Mostly I play video games these days cause burnout is a bitch.
@lambdadays.bsky.social
Your favourite Functional Programming conference is here 🥳 💥 Save the date for 2025: 12-13 June! 💥 2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
@copumpkin.bsky.social
Wannabe figure skater ⛸️ I’ve been known to dabble in security, Haskell, Nix, Agda, and other nerdy computer things
@geronimo-ai.bsky.social
i like neural networks blog: https://medium.com/@geronimo7 pet project: https://snapfiddle.ai - Image editor with inpainting
@simonjthompson.bsky.social
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
@banjotragedy.bsky.social
Static analysis by day, baduk and old-time music by night. Writing compilers to stop the baddies.
@corbtt.bsky.social
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@maybevoid.com
Rust Nerd ∘ Creator of Context-Generic Programming @contextgeneric.dev ∘ Interested in Haskell, functional programming, type theory, category theory, programming language theory ∘ https://maybevoid.com ∘ https://contextgeneric.dev
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@wrengr.org
Researcher and educator in linguistics, mathematics, computer sci., cognitive sci., gender/sexuality, philosophy https://wrengr.org she/her 🏳️🌈🏳️⚧️🏴♿️🦓🥄☸️🪷
@jasonglover.bsky.social
#AI | #DigitalMarketing | #B2B Senior Digital Marketing Manager. Science fiction and video game nerd. Father to young Padawan.
@purplezebrav.bsky.social
Queer/crip scholar of freaks and monsters in pop culture and politics, here to talk about history, literary theory, and cats. They/them or xe/xen/xens pronouns.
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@karleklund.se
@josharnold.bsky.social
incubating neural ventures + accelerating ambitious companies. prev @wharton / @beondeck / @patronusai / @patronusai / @strategyand お前はもう死んでいる with applied ai.
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@designresearch.works
Advocate for using Design Research to explore emerging perspectives on AI, more-than-human matters, and… pretty much anything. Watch a film about it here: https://designresearch.works/permission-to-muck-about Was @joegalen on ‘ex’ platform
@shaneasimms.bsky.social
VFX artist living in Melbourne, learning to write tools in C++ ⌨️ Currently learning about path tracing 🔮
@storakatten.bsky.social
Polyglot functional programmer in more ways than one. Any Pronouns @storakatten on Twitter. Using it less and less now.
@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/
@robstewartuk.bsky.social
Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware. https://www.macs.hw.ac.uk/~rs46/
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@ryanfitzpatrick.io
🔗 Links https://linktr.ee/ryanfitzpatrick_io 🤖 Experienced Software Developer 🎨 Aspiring AI Artist
@pushon.bsky.social
I'm an experimental digital artist who uses many mediums & tools to craft mind-bending visuals, Beautiful Modern, Blazing Fast Websites & Paintings. #blender
@yoav.codes
Technical founder. Building new stuff at my startup lab https://blackboard.sh | 20+ years in early startups going zero to one | prev: 7 years at webflow #startups #ziglang #typescript #bun #electrobun #webflow
@strangeloopcanon.com
I think, I write, sometimes I bleep? skeet? bleat? | Read essays here https://www.strangeloopcanon.com | Read the book here http://amazon.com/dp/B0CJ9F327M |
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@paulbib.bsky.social
Present: Pursuing PL at Penn (PhD) Before: Browsing bytes at Brown (Bachelor's) paulbiberstein.me
@flora.pm
Flora is a package index for the #Haskell ecosystem. We serve the community. Follow for development news, operational status and higher-kinded memes
@tartanllama.xyz
"building a debugger" book out june 2025 ~ c++ developer advocate at microsoft ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them