TypeHoles
Interested in all things programming, cooking, cats.
Love to explore new programming languages and build dev tools.
@poorvagarg.bsky.social
Working on Probabilistic Programming Languages https://web.cs.ucla.edu/~poorvagarg/
@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/
@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
@dangrossmanseattle.bsky.social
@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
@nikolajbjorner.bsky.social
@simonjthompson.bsky.social
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
@reifyreflect.bsky.social
@r4ghav.bsky.social
PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
@codyroux.bsky.social
Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
@jordancostello.bsky.social
@savannah.dev
Building for builders. Python Core Developer, maintaining the JIT + argparse. Python DevEx lead @ Snowflake. Jupyter Foundation Governing Board. Loves containers, compilers, open source software + cats. Brat. savannah.dev github.com/savannahostrowski
@jaredforsyth.com
trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site
@jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
@profkinyon.bsky.social
Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Also hanging out at Mathstodon.
@joeyeremondi.bsky.social
PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@stefgotbooted.bsky.social
Still a #PyramidTruther. Irish. Resident Bluesky fact checker. Spaghetti simp. Mascarpone Marxist. 🔪 🔪 🔪
@mariana057.bsky.social
I’m not a comedian, but I joke a lot. I steal the good jokes. Bad jokes are mine. Resist. NO DMS.
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@tracketpacer.bsky.social
🚀rockit network engineer 🪢 professional wire gremlin 👩🏼💻ethernet fangirl 🛜 weird use cases & silly tech! 💌 [email protected] 🌎 tracketpacer.com
@david.sancho.dev
Software engineer at @ahrefs building open source tools with Reason and OCaml — styled-ppx / server-reason-react / reason-react / Reason / Melange
@bandukwala.me
💻 Pursuing the Future of Computing 🔬 PhD Student @ University of Michigan (Future of Programming Lab) 🪄 Building Hazel: Live Functional Programming & Malleable Systems 🐾 Dog Parent 🛠️ Ex-Software Engineer 🌟 Computing Maximalist
@kha.functional.cafe.ap.brid.gy
makes Lean at Lean FRO Munich, Germany [bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]
@jnarboux.bsky.social
Researcher in Computer Science, IRIF, Université Paris Cité. Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@purefunctor.me
purescript @ oxfordabstracts.com core team @ purescript.org organiser @ functional.org.ph I work on web, compilers, and type systems using FP 🇵🇭 he/him
@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/
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
@tsnobip.bsky.social
@rescript-lang.org contributor. Fond of geopolitics, space exploration, functional programming, typefaces and music. I know it's a bit eclectic :)
@hypirion.com
Norwegian algorist & functional programmer at Kodemaker, death/doom/avant-garde metalhead, sci-fi reader, angry feminist and duck fan 🦆 hypirion.com
@typescript-eslint.io
The tooling which enables you to use TypeScript and ESLint together https://typescript-eslint.io/
@jeroenvanwissen.nl
25 years in Tech | Engineering Manager | Tech Lead | Senior JavaScript Developer | NodeJS | React | Grumpy Bearded Nerd | Photographer | Home Brewer | Crossfit
@yoavbls.dev
🎀 Creator of "pretty-ts-errors" and new stuff soon, I came from twitter to see what's going on here yoavbls.dev
@codemelted.com
A software engineer that enjoys STEM fields, amateur photography, the outdoors, and nerd culture just attempting to make sense of this world. 🔥 https://codemelted.com (CodeMelted | PWA)
@ric-m12.bsky.social
Building products for the web 🛠💻 currently at @playtomic I share thoughts and learnings on software development, product design, and UX/UI
@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