Following

@jelv.is

emma zhou @emmz.bsky.social director of BCI research at science corp! formerly a software engineer at neuralink and medium. multiclassing: https://bsky.app/profile/neurocat.bsky.social 🐈‍⬛🪴🧠💻✨
Stephen Judkins @stephenjudkins.bsky.social Skull astronaut
Niall Murphy @niallm.bsky.social Entrepreneur-in-residence. Speaking in personal capacity. Author/instigator SRE books, Reliable Machine Learning, History of the Irish Internet. Photography at http://www.edge-cases.photos
Jared Pechaček @vandroidhelsing.bsky.social It's pronounced PECK-a-check. Artist, Crawford Award-winning writer of THE WEST PASSAGE, third thing now and then. He/him. Seattle. https://linktr.ee/jpechacek repped by Jennifer Azantian. Preorder WHERE FIRE REIGNS, out February 2027 from Tor!
Fred Hebert @ferd.ca Principal SRE @ honeycomb.io, Tech Book Author, Resilience in Software Foundation board member, Erlang Ecosystem Foundation co-founder, Resilience Engineering fan. SRE-not-sorry. blog: https://ferd.ca notes: https://ferd.ca/notes/
Weird Spy Satellite @weirdsatellite.bsky.social Weird Spy Satellite Imagery. A speculative surveillance bot by @samplereality.bsky.social. Posts self-destruct for security reasons.
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
jade @jade.fyi mostly on mastodon https://hachyderm.io/@leftpaddotpy webbed site: https://jade.fyi
Ana Hevesi @anthrocypher.bsky.social Dev tools as culture accelerators. Collaborative computing shenanigans.  Principal, Uploop.dev. Ex Stack Overflow, early Node.js
Christopher Genovese @crgenovese.bsky.social Professor of Statistics & Data Science at Carnegie Mellon; high-dimensional inference and computation. Book "Probability Explained" nearing completion. Whitewater and Wilderness Paddler; Haskell, Clojure, and FP Enthusiast; and Emacs. Opinions my own.
Daniel McLaury @danielmclaury.bsky.social
depths of wikipedia @depthsofwikipedia.bsky.social hi i'm @annierau.bsky.social i love wikipedia! dm submissions if you want :-)
Mat Fournier @mat4nier.bsky.social Geotech Engineer turned sw dev. http://M.A.Sc. Geological Engineering, Masters Data Science @UBC FP/Rust:
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Oskar Wickström @wickstrom.tech Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. Blog at wickstrom.tech, work at antithesis.com
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
skyking @jkachmar.com sounding rockets & bad computer programming formerly Groq, WeWork, NASA Wallops, among others
Max @bernsteinbear.com Baking bread and compilers are kinda similar if you think about it @tekknolagi elsewhere bernsteinbear.com
Mark Gritter @markgritter.bsky.social Math and startup geek. Software Engineer at Thirdlaw. Ex-Postman, Ex-HashiCorp, ex-Tintri. he/him
Cat Hicks @grimalkina.bsky.social Author of The Psychology of Software Teams: https://www.drcathicks.com/#book she/her 🏳️‍🌈 Catharsis: https://catharsisinsight.com/ Host at: https://www.changetechnically.fyi/
@terrorjack.bsky.social @terrorjack.bsky.social
Chris Penner @chrispenner.ca FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
Charlie Jane "Lessons in Magic and Disaster" Anders 🏳️‍⚧ @charliejane.bsky.social Author of Lessons in Magic and Disaster about a woman who teaches her mother how to do magic — and uncovers a queer scandal hidden in a 300 year old book. Writing Star Trek: Zero Point for IDW Comics.
Salar Rahmanian @salarrahmanian.bsky.social Scala / Java / Python Engineer based in San Francisco Bay Area. Interests in NixOS, Functional Programming , Haskell, Swift Lang, ML/AI & Distributed Systems. My blog: https://www.softinio.com
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
htmx.org / CEO of Java Pants @htmx.org i have no idea what i'm doing
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey. 🐦: http://twitter.com/joomy 🕸️: http://joomy.korkutblech.com
Ink & Switch @inkandswitch.com An independent research lab exploring the future of tools for thought. We envision a new computer that amplifies human intelligence. A system that helps you think more clearly, collaborate more effectively, and is available anywhere and anytime.
Mondo Mascots @mondomascots.bsky.social I explore my adopted home of Japan, looking for fun and weird mascots (and other costumed characters).
Nick Harkaway @nickharkaway.com Author. Also husband, dad, clothing-repairer, dog-walker. Decreasingly rigorous on social media. Taking a break for the summer. Contact Patrick Walsh @ PEW Literary in London or email me. www.linktr.ee/harkaway He/him
Dan P @copumpkin.bsky.social Wannabe figure skater ⛸️ I’ve been known to dabble in security, Haskell, Nix, Agda, and other nerdy computer things
@andreymokhov.bsky.social @andreymokhov.bsky.social
Qian Li @qianli.dev Co-founder @dbos.dev • Stanford CS PhD Co-organizer @southbaysystems.xyz Working on 🐘 Database + Systems + AI Amateur bird watcher 🦉 Personal site: qianli.dev She/her.
Thomas Marsh @thomasmarsh.bsky.social FP, formal methods, urban planning
vivshaw @vivsha.ws silicon whisperer, machine enlightener, word rotator https://vivsha.ws / https://zettel.vivsha.ws / https://keybase.io/vivshaw
Hazel Weakly @hazelweakly.me I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking. hachyderm.io/@hazelweakly
Pavel @spavel.bsky.social Raised gifted; non-practicing. If your reply doesn't have alt text, I won't see it. 🌐 productpicnic.beehiiv.com 💼 UX Design 🟦 Sick of rectangles 🧑 he/him
John Allspaw @allspaw.bsky.social Cofounder, @AdaptiveCLabs, “the NTSB of Tech” bringing Resilience Engineering to industry. he/him. Won’t speak on all-male panels, and #blacklivesmatter.
Eugene Vinitsky 🍒 @eugenevinitsky.bsky.social Anti-cynic. Towards a weirder future. Reinforcement Learning, Autonomous Vehicles, transportation systems, the works. Asst. Prof at NYU. Founding research scientist at Percepta. https://emerge-lab.github.io https://www.admonymous.co/eugenevinitsky
Barry @chiroptical.dev PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Drumming and fencing enjoyer.
Andrew Boardman @myshoggoth.bsky.social I love music, stories, infrastructure, logistics, technology, and building community. Based in SE Portland, Oregon. Senior Director of Engineering at Well.co, FP enthusiast. All opinions are mine and not my employer's.
Cyrus Omar in NYC @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Flora.pm @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. https://flora.pm
@vijaychidambaram.bsky.social @vijaychidambaram.bsky.social
Monoid Mary @argumatronic.bsky.social just a solarpunk hillbilly living in the gasoline crack of history i get my glory in the desert rain
Rebecca @rlmark.bsky.social Reader of poems, Ada Developers Academy alumna, amateur potter. Eternal learner @unison-lang.org Opinions are my own. Pronouns = she/her.
Ian Duncan @iankduncan.com I used to be smart, now I just try hard. Haskell enthusiast Me, https://iankduncan.com Maker, https://wireform.systems/ Engineering at Mercury, formerly Forge, CircleCI, others
Shaenon K. Garrity @shaenon.bsky.social Cartoonist and skiffy writer. 2022 Inkpot winner. Narbonic, Skin Horse, Willowweep Manor, Steam. Repped by Brent Taylor. https://www.patreon.com/c/Shaenon
Edwin Brady @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/
Poorly Drawn Lines @poorlydrawnlines.bsky.social Comics by Reza Farazmand (official account!)
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake - GLaDOS https://welltypedwit.ch
R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c. rntz.net 🐘 @rntz@recurse.social 🐦 @arntzenius Attempting to use bsky more now that people are showing up.
Matt Wraith @wraith.net
Paul Chiusano @pchiusano.bsky.social Working on @unison-lang.org
Jon Bois @jonbois.bsky.social jon https://www.patreon.com/c/SecretBase https://www.youtube.com/SecretBaseSBN
Matt Teichman @bufordrat.bsky.social I write software for librarians, teach functional programming, and produce the Elucidations podcast. https://elucidations.vercel.app
Alex Hidalgo @alex-hidalgo.com I'm back! | Field CTO at Nobl9 | Author of The SLO Book. | "SRE's Raconteur" | I like dogs more than people.
Anthony Cowley @acowley.bsky.social Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
gabby @fullmoon.id Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter I'm a midwife to the hidden beauty in everything she/her 🏳️‍⚧️ coworkers DNI https://linktr.ee/gabriella439 💖 @ember.pet
Ruth Malan @ruthmalan.bsky.social Systems. Design. she/her
Hillel is on Social Media Break @hillelwayne.com Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com Newsletter: https://buttondown.email/hillelwayne/
Lilja Draws Girls @yuurei-lilja.bsky.social Pencil drawings of girls and cats, with a tint of horror. Also retro-computing and everything in between, I guess? Looking tech-stuff only? Try @lambdagarden.org
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible Working on a book on topos theory
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Andres Löh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder. Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Teemu Roos @teemuroos.bsky.social Your friendly neighborhood AI Professor, University of Helsinki • Lead Instructor of the Elements of AI online course • AI, machine learning, education, science comms • geek, runner, foodie #MLsky #dataBS
Haskell programming language @haskell.org Committed to a welcoming, vibrant & ﬂourishing #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
John Cutler @johncutle.fish I like the beautiful mess of product development.| newsletter: https://cutlefish.substack.com
Avi Press @avi.press Founder of Scarf (https://scarf.sh) Board @ Haskell Foundation Startups and open source analytics
jesse يسّى ישי @tov.bsky.social californian in london. mcmillanist–georgist. likes: type systems, banjo music, soup. dislikes: just-so stories, autocracy, cake
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://raintown.org
Caroline Lemieux @cestlemieux.bsky.social now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
Nintendo .DS_Store @slim.bsky.social Pidgin algebraist, baseball influencer https://slim.computer
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
Yvonne Lam @yvonnezlam.bsky.social I play with books, cats, food, yarn, and dirt, not all at the same time. Software engineer. Society of People Interested in Boring Things. She/her, cis.
arachnocapitalist @arachno.capital a short, sturdy creature, fond of drink and industry
Han Seoul-Oh @laughinghan.com Let’s build tools to augment the mind, not consume it. Creator of http://MathQuill.com Now working on some programming language and structured editor ideas. https://github.com/laughinghan
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Bartosz Milewski @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
Functional, Valid Wooof. @ruijief.bsky.social Just a happy doggo. Fan of asiago cheese.
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
Talia Ringer @taliaringer.bsky.social
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Joe Cutler @alphaconvert.bsky.social cutler.pl
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods.
Gergely Orosz @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
Steve Jones @sjfloat.bsky.social Types, Principles, Creation, Humanity Scala's been paying the bills. I respectfully disagree.
shachaf @shachaf.net
Kristopher Micinski @krismicinski.bsky.social kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Sridhar Ramesh @radishharmers.bsky.social Born Samuel Langhorne Clemens in rural Missouri. Adopted the pen name "Sridhar Ramesh" from riverboat slang.
Lorin Hochstein @norootcause.surfingcomplexity.com Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
andrew blinn @disconcision.com https://andrewblinn.com abstractJuiceFactory