@randyisrandom.bsky.social
Stephen
@sp.degabrielle.name
Cat feeder. London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
I'm Uni :3
@unicouniuni3.bsky.social
Uni, Minuet cat born on March 27, 2020🇯🇵 https://youni.store
Ellyse
@ellyxir.com
Programming languages enthusiast, choir, classical singing, video game creation, retro computers, languages YouTube: https://www.youtube.com/@ellyse7777 PeerTube: https://video.mycrowd.ca/c/learn_together/videos Fedi: https://humanwords.cc/@ellyxir
Erkal
@azizerkalselman.bsky.social
https://erkal.github.io/ interested in mathematics, wants to create aha! moments via interactive visuals and puzzle games
@wolfadex.bsky.social
I like to play games, build things for other people, eat food, and travel. Current author of https://www.elmweekly.nl/
Martin Janiczek
@janiczek.cz
Functional programming / Making a browser game @nuashworld.com / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
Giacomo Cavalieri
@giacomocavalieri.me
I love functional programming and learning new things ✨ Gleam core team member 💕 (he/him)
Evan Czaplicki
@acadia.engineering
Designer of https://elm-lang.org and https://acadia.engineering
Linuxiac
@linuxiac.bsky.social
Latest news from the Linux world and open-source software. Reviews, analyses, tutorials, and more—everything FOSS, all in one place.
SIGPLAN
@sigplan.bsky.social
The ACM Special Interest Group on Programming Languages.
Programming for the Planet
@propl.dev
The 3rd Programming for the Planet (PROPL) workshop will be co-located with PLDI in Boulder, Colorado (in hybrid mode) on 15th June 2026.
Ryan Mac 🙃
@rmac.bsky.social
NYT tech reporter Co-author of Character Limit Signal: rmac.18 ryan.mac@nytimes.com rmac18@protonmail.com https://www.penguinrandomhouse.com/books/737290/character-limit-by-kate-conger-and-ryan-mac/ https://linktr.ee/ryan_mac_
Mark Piper
@mdpiper.bsky.social
Research software engineer, @csdms.bsky.social: earth-surface processes, numerical modeling, FAIR software. https://www.colorado.edu/instaar/mark-piper Also: Ultimate frisbee enthusiast. Bike commuter. Nerd. 🖖
Cambridge Computer Science
@cst.cam.ac.uk
Cambridge University Computer Science & Technology Department (aka the Computer Lab). We built the UK's 1st usable programmable computer, offered the UK's 1st Computer Science degree, created the 1st ever webcam - and continue to advance the field today.
The Rust Foundation
@rustfoundation.org
The Rust Foundation is an independent nonprofit organization dedicated to stewarding the Rust programming language and its global community. rustfoundation.org
Sebastian Graf
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Python Software Foundation
@python.org
The nonprofit organization behind the Python programming language. For help with Python code: http://python.org/about/help/ On Mastodon: @ThePSF@fosstodon.org
OpenForum Europe
@openforumeurope.org
Working to achieve open, competitive EU digital markets #OpenSource #OpenStandards #OpenInnovation openforumeurope.org
Erlang Ecosystem Foundation
@theerlef.bsky.social
We’re a non-profit focused on growing and supporting a diverse community and tech based on the BEAM #erlef https://erlef.org/
Lance Fortnow
@lance.fortnow.com
Complexity Theorist
CompSciOxford
@compscioxford.bsky.social
Department of Computer Science at the University of Oxford, sharing news on our outstanding research across a broad spectrum of computer science #CompSciOxford
Microsoft Threat Intelligence
@threatintel.microsoft.com
We are Microsoft's global network of security experts. Follow for security research and threat intelligence. https://aka.ms/threatintelblog
Microsoft Developer
@developer.microsoft.com
Dive into the biggest news from Microsoft Build and learn how to start building with it today https://blogs.microsoft.com/blog/2026/06/02/microsoft-build-2026-be-yourself-at-work/
Microsoft Research
@msftresearch.bsky.social
We advance science and technology to benefit humanity. http://microsoft.com/research
Edera
@edera.dev
We just want to talk about hardened runtime and stuff. GitHub: github.com/edera-dev YouTube: youtube.com/@edera-dev Website: edera.dev
ReScript
@rescript-lang.org
https://rescript-lang.org/ Ship great products!
Deb Goodkin
@dgoodkin.bsky.social
DogLover/Runner/Cyclist/Hiker/ChowHound/Reader/Always Training for Something/Executive Director of the FreeBSD Foundation.
Paged Out!
@pagedout.bsky.social
Paged Out! is a free magazine about programming, hacking, security hacking, retro computers, modern computers, electronics, demoscene, and other similar topics. Always accepting submissions of one-page articles.
Javi Ibarrondo
@jibarrondo.bsky.social
Researcher at UCLA. PhD. Immunology, HIV. I love science, music, books and friends. Hate lies, authoritarianism and bad people. I block trolls: no debate, no comment.
OPNsense
@opnsense.org
OPNsense is an open source, easy-to-use and easy-to-build FreeBSD-based firewall and routing platform.
Sigma
@superhacker.bsky.social
Security Engineers -> Software Developer Recently, Competitive programming in #Haskell I’m studying English. [My tech Articles(Translated into English by AI)](https://zenn.dev/sigma_tom) [GitHub](https://github.com/RyosukeDTomita)
Stephen
@sp.degabrielle.name
Cat feeder. London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Na'aman Hirschfeld
@nhirschfeld.bsky.social
Co-Founder & CTO @ xberg.io. Document AI and extraction, polyglot Rust cores. Building basemind. Creator of Litestar & Polyfactory. Open source. Opinionated and strongly typed.
Mark Piper
@mdpiper.bsky.social
Research software engineer, @csdms.bsky.social: earth-surface processes, numerical modeling, FAIR software. https://www.colorado.edu/instaar/mark-piper Also: Ultimate frisbee enthusiast. Bike commuter. Nerd. 🖖
FRACT
@fract.online
Context-first microblogging app. Simple PR: If you're tired of algorithm noise and AI spam — try FRACT. Jump in: https://fract.online/ GitHub (OS - AGPL v3.0): https://github.com/boomstrickweb/FRACT
mod_poppo
@mod-poppo.bsky.social
Haskell / Standard ML
wasabi
@wasabi315.bsky.social
:: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml) https://wasabi315.github.io/en/
(Sundara (Vishnu)) (Satish)
@svishnus.bsky.social
PhD student in Parallel PL & Systems @nyucourant.bsky.social CS, Math, & Music @umich.edu ‘25
Roly Perera
@dynamicaspects.org
Making software more open, explorable and self-explanatory https://dynamicaspects.org/research Also: subjectivity, agency, active inference, niche construction, enactivism @plrg-bristol.bsky.social @iccscambridge.bsky.social @f.luid.org
Jimmy Miller
@jimmyhmiller.bsky.social
Compiler engineer and co-host of the feeling of computing podcast https://jimmyhmiller.com https://feelingof.com/episodes/
Kristopher Micinski
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Hila Peleg
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Alcides Fonseca
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Marcel Goethals
@wolkenmachine.bsky.social
In(ter)dependant researcher and toolmaker. Currently inventing programmable ink @inkandswitch.com Living in Paris http://wolkenmachine.nl
tom larkworthy
@larkworthy.bsky.social
Computers and decentralization.
Kartik
@k4rtik.bsky.social
Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering. Chicago