edwintorok.eurosky.social @edwintorok.eurosky.social 
Janus Troelsen @januuus.bsky.social jeg har boet 6 år i cdmx
Carlos Baquero @xmal.bsky.social Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023)
Web: https://cbaquero.github.io/web/
@julien-lange.bsky.social @julien-lange.bsky.social 
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
Martin Jambon @mjambon.bsky.social Artist
https://martinj.art
https://mjambon.com
Ali Rousta @alirus.bsky.social Go Enthusiast | FP Lover | AI Skeptic- 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.
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes et à Theorems As A Service
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Rodolphe Lepigre @rlepigre.bsky.social Computer scientist, OCaml programmer, Coq/Rocq hacker
Cooklang (Alexey) @cooklang.bsky.social Markup Language for Recipes and Tools http://cooklang.org/
Dan Plyukhin @dplyukhin.bsky.social dplyukhin.github.io
winpuc @winpuc.bsky.social https://winpuc.de > https://civitate.net > https://scietas.cc > https://sorgen.cafe > https://knast.world- T @thumbquat.bsky.social @thumbquat.bsky.social
Trese Brothers Games | Strategy RPGs @tresebrothers.bsky.social Indie game devs going 10+ years strong. We make deep, highly-replayable RPGs.
Our latest, Cyber Knights: Flashpoint is on Steam!! Squad tactics heist RPG: https://s.team/a/1021210/
View all our games at: https://TreseBrothers.com
Wander @wanderbot.bsky.social Actually Human. Indie Game Curator, Artist, & Essayist
(He/Him) 🚫No AI
https://wanderbot.carrd.co/
Nate @smith.fo Software 🦀➕🐪 • Philosophy 🧐 • Maths 🧮
Having the moment of anagnorisis as a developer
localthunk @localthunk.com Literally a fool
Creator of Balatro ( @playbalatro.com )
Business/Media: balatro@playstack.com
Blog: localthunk.com
Direct contact: localthunk.contact@gmail.com
🇨🇦
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Formal Land @formalland.bsky.social Formal verification for everyday-life applications
We use math to ensure your code has no vulnerabilities
For Rust, Solidity, zk circuits. We use Rocq.
https://formal.land/
Davanum Srinivas (@dims) @dims.dev
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
Harry Goldstein @harrisongoldste.in (he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
SE4FP Workshop @se4fp.github.io 2nd Workshop on Software Engineering for Functional Programming (SE4FP)
In 2026, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io
ETAPS conferences @etapsconf.bsky.social ETAPS International Joint Conferences On Theory & Practice Of Software. The ETAPS conferences are ESOP, FoSSaCS, iFS, and TACAS.
ETAPS 2027: April 10–15, Copenhagen, Denmark
https://etaps.org
Terminal Trove @terminaltrove.bsky.social The home of all things in the terminal.
https://terminaltrove.com/
David @david2am.bsky.social match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
Kritoke @kritoke.bsky.social IT Professional, fan of lesser known programming languages and some functional ones. Currently obsessed with making projects in Crystal Language. Have dabbled with Elixir, Golang, Powershell, Haskell, Ruby, among others.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
@mflatt.bsky.social @mflatt.bsky.social 
Steam @steampowered.com Steam, The Ultimate Online Game Platform.
For support: http://help.steampowered.com/en/
Simon @sreilich.de Student, theoretical computer science and functional programming enthusiast, OCamk enjoyer, NixOS
Early student in CS at Technische Universität München
Other interests: Physics, Accordion, Judo and Design
https://about.sreilich.de
patrick @patrick.sirref.org PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferris
bacigalupe @bacigalupe.bsky.social Professor of counseling psychology at UMASS Boston, psychotherapist, painter, transnational, public health, environmentalist and climate justice activist. Personal account, not institutional.
Jack Matusiewicz @boogalooh.bsky.social Former game dev now working as a Rust developer in finance.
Love functional programming and making terrible games in my free time!
newobject @newobject.bsky.social check out ballionaire! : https://store.steampowered.com/app/2667120/Ballionaire/
my itch page : https://newobject.itch.io/
press/inquiries : ballionaire [at] proton [dot] me
i 🧡 cavernous death metal
seattle, wa
BlueSCSI Ultra @bluescsi.com BlueSCSI is an open source, open hardware, and open design SCSI solution for vintage computers. It’s designed to replace a SCSI hard drive inside of your vintage computer or device, but it can also do so much more!
https://bluescsi.com/
Simon // RedPixl @redpixl.de Teilzeitchaot, Minecraft Building
https://red-pixl.github.io/
Christopher Martell @chrismartell.bsky.social Teacher Educator & Researcher, Associate Professor of Social Studies Education UMass Boston; Boston Public Schools parent; Dorchester, Boston
Find my books here: https://linktr.ee/chrismartell
http://www.christophercmartell.com
CoopCoding @coopcoding.bsky.social Loves programming and making stuff
https://www.coopcoding.org/
@phamki.bsky.social @phamki.bsky.social 
Instituto Superior Técnico @istecnico.bsky.social Instituto Superior TÉCNICO is the largest school of Architecture, Engineering, Science and Technology in Portugal, involving a community of 12000+ people on campus 🏛️🇵🇹
tecnico.ulisboa.pt 
CIÊNCIAS ULisboa @cienciasulisboa.bsky.social Vem fazer parte da nossa História construindo o teu Futuro!
Faculdade de Ciências da Universidade de Lisboa.
David Imel @davidimel.pixelfed.social.ap.brid.gy A page for my pictures. Host of the Waveform Podcast Occasional video maker at http://YouTube.com/davidimel Previous: Systems Engineer at Intel
[bridged from https://pixelfed.social/Davidimel on the fediverse by https://fed.brid.gy/ ]
Ocsigen @ocsigen.org The next generation Web and mobile framework.
David Imel @davidimel.com Guy who makes stuff sometimes
Co-Host of the Waveform Podcast
Temp Senior reviewer @Verge
YouTube.com/davidimel
Davidimel.com
Prints: Davidimel.darkroom.com
Old:
Senior Reporter at Android Authority, Systems Engineer at Intel
Marques Brownlee @mkbhd.com Video maker
cube @c-cube.bsky.social 
Tim Lavoie @fractaldragon.net Living the island life on Canada's west coast.
Interested in programming, security, photography, and anything adjacent
HGiraud @hgiraud.bsky.social 
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social- M @mighdoll.bsky.social @mighdoll.bsky.social
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Manos Ragiadakos @rm4n0s.bsky.social I want to bring back waterfall methodologies and the development of monolithic servers.
Blog: https://rm4n0s.github.io/
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/
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Weißstreifen @weissstreifen.eu 🛠️ - Web developer by day
🥞 - Game developer by night
🧙🏻♂️ - (badly) solving coding puzzles
🌎 - weissstreifen.eu
100% AI free
Tycho @tycho.blue Building software
Working on
shoutbox.net - reliable email delivery without the cost
github.com/tluyben
Ty Overby @tyoverby.com Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
Matt Teichman @bufordrat.bsky.social I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
Kirei Kotomine @novnod.dev nerd | software engineer | gaymer 🏳️🌈 | anime connoisseur | language enthusiast 🇫🇷🇮🇹
neovim btw
Informaticien spé philo 🐫 @cyranhoe.bsky.social Doctorant en informatique au LIP6 | 🏳️🌈 | Rock prog et Kylie Minogue
Eduardo Rafael @eduardorfs.com 27yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
Nitrokey @nitrokey.bsky.social Secure your digital life with Open Source. Made in Germany. With strong community focus. For secure authentication, data encryption, and key management.
Impressum: https://www.nitrokey.com/de/impressum
Thomas Letan @lthms.soap.coffee “Decent solutions provider.” He/him.
https://soap.coffee/~lthms
Freek Wiedijk @freekwiedijk.bsky.social 🔑proofs⚙️dances🔥bodies⭐️dreams
Tim McGilchrist @tsmc.purely-functional.com OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Pietro Loffredi @pitloffredi.bsky.social Software architect. Multi-platform developer. Committed to become a FP alchemist #Scala #Elixir #Rust. Passionate lifelong learner
Dome Keeper - MULTIPLAYER OUT NOW! 🥳 @domekeeper.bsky.social Follow the official Dome Keeper Blue Sky for the latest news and discussions about this innovative roguelike mining action game. Available now on Steam and GOG.
Multiplayer & The Lost Keepers DLC out now!
Buy now on Steam: https://bit.ly/48qJhxH
Revista Minerva Universitária @revistaminervauniv.bsky.social Publicação online com ensaios, críticas e crónicas. Uma ponte entre o mundo académico e a sociedade civil. www.revistaminerva.pt
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Adrian's Digital Basement @adriansdigitalbasement.com Hello everyone! I'm Adrian Black, a retro computer YouTuber who fixes stuff from Portland, Oregon.
Main: youtube.com/@adriansdigitalbasement
Second: youtube.com/@adriansdigitalbasement2
Extras: youtube.com/@adriansdigitalbasementextras
Rees @ctrl-alt-rees.com Rees Stephenson from ctrl-alt-rees. Retrocomputing & whatnot. https://youtube.com/ctrlaltrees
He / him
Business Time: rees@ctrl-alt-rees.com 🧦
Fab @fabienco.bsky.social 
Zen @zen-browser.app Welcome to a calmer internet.
→ 🔗 http://zen-browser.app
→ 💚 http://zen-browser.app/donate
→ 📦 http://github.com/zen-browser
Hossein Mobahi @thegradient.bsky.social Senior Research Scientist at Google DeepMind. I ∈ Optimization ∩ Machine Learning. Fan of IronMaiden🤘.Here to discuss research 🤓
Bronsky @bronskydev.bsky.social 🎮 Indie Game Developer at Sleeping Robot Games
✨ Wishlist Smokin Potions on Steam now!
https://linktr.ee/SleepingRobotGames
Pedro Lisboa @pedrolisboa.bsky.social I'm the loco one in this gang!
Doing cool Ocaml code at Ahrefs 🐫
Richard Horne @richrap3d.bsky.social #3DPrinting #RepRap #RetroGaming #Arcade & #OpenSource hardware developer, Electronics engineer, innovator & salesman, Director of Heber Ltd. Author of 3D Printing for Dummies book.
Based in the UK
SteamDeckHQ @steamdeckhq.com The Unofficial Steam Deck Game Performance Review and News website. If you're looking for a place dedicated to #SteamDeck developments and games, look no further!
https://steamdeckhq.com
HPC Guru @hpcguru.bsky.social Not a HPC Guru, but I play one on social media
tijana minić @tijanaminic.bsky.social phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
Jonathan Thomas @atariste.bsky.social The Atari STE is quite a capable games machine, you know.
Hank Green @hankgreen.bsky.social Long Time Internet Guy
Ilya Sergey @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
Gleam Programming Language @gleam.run Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
Steam Deck @steamdeck.com The latest news about Steam Deck and Steam Deck OLED, the powerful handheld gaming PCs from the team at Valve.
Chris Henson @chenson.bsky.social CS PhD student @ Drexel University. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
Velociraptor @davevelociraptor.bsky.social Extinct, chicken sized feathered dinosaur. Host on TWiR.
This Week in Retro @thisweekinretro.bsky.social thisweekinretro.com
Up-to-date news for out-of-date tech. Hosted by Chris from 005 AGIMA, Jason from The Retro Adventurers and Dave. Edited by Duncan Styles.