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/
Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
Artist
https://martinj.art
https://mjambon.com
Go Enthusiast | FP Lover | AI Skeptic
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.
"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
Senior at UMass Lowell | CS and Math | Programming languages, formal verification, and systems
Computer scientist, OCaml programmer, Coq/Rocq hacker
Markup Language for Recipes and Tools http://cooklang.org/
⚠️I’m on the job market for 2026!⚠️
PL researcher thinking about the future of distributed systems
> PhD from UIUC
> Postdoc at SDU
> Cohost of the Type Theory Forall podcast
> dplyukhin.github.io
https://winpuc.de > https://civitate.net > https://scietas.cc > https://sorgen.cafe > https://knast.world
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
Actually Human. Indie Game Curator, Artist, & Essayist
(He/Him) 🚫No AI
https://wanderbot.carrd.co/
Software 🦀➕🐪 • Philosophy 🧐 • Maths 🧮
Having the moment of anagnorisis as a developer
Literally a fool
Creator of Balatro ( @playbalatro.com )
Business/Media: balatro@playstack.com
Blog: localthunk.com
Direct contact: localthunk.contact@gmail.com
🇨🇦
mostly not here, but there: https://hci.social/@chrisamaphone
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/
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
(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
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
1st Workshop on Software Engineering for Functional Programming (SE4FP)
In 2025, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io/2025/
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP.
ETAPS 2026: April 11 - 16, Turin, Italy
https://etaps.org/
The home of all things in the terminal.
https://terminaltrove.com/
match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
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.
Mom, foodie, traveller, computer scientist
Steam, The Ultimate Online Game Platform.
For support: http://help.steampowered.com/en/
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://simonreilich.github.io/
PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferris
Professor of counseling psychology at UMASS Boston, psychotherapist, painter, transnational, public health, environmentalist and climate justice activist. Writing and building an art studio next to the ocean. Personal account, not institutional.
Former game dev now working as a Rust developer in finance.
Love functional programming and making terrible games in my free time!
check out ballionaire! : https://store.steampowered.com/app/2667120/Ballionaire/
my itch page : https://newobject.itch.io/
press/inquiries : ballionaire [at] proton [dot] me
seattle, wa
♫⃠
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/
Teilzeitchaot, Minecraft Building
https://red-pixl.github.io/
Teacher Educator & Researcher, Associate Professor of Social Studies Education UMass Boston; Boston Public Schools parent; Author of http://bit.ly/teachjustice; Editor of http://bit.ly/ss_te. Dorchester, Boston
http://www.christophercmartell.com
Loves programming and making stuff
https://www.coopcoding.org/
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
Vem fazer parte da nossa História construindo o teu Futuro!
Faculdade de Ciências da Universidade de Lisboa.
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/ ]
The next generation Web and mobile framework.
Guy who makes stuff sometimes
Co-Host of the Waveform Podcast
YouTube.com/davidimel
Davidimel.com
Prints: Davidimel.darkroom.com
Old:
Senior Reporter at Android Authority, Systems Engineer at Intel
I skeet about new stuff but also old stuff
Living the island life on Canada's west coast.
Interested in programming, security, photography, and anything adjacent
Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
I want to bring back waterfall methodologies and the development of monolithic servers.
Blog: https://rm4n0s.github.io/
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/
hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
🛠️ - Web developer by day
🥞 - Game developer by night
🧙🏻♂️ - (badly) solving coding puzzles
🌎 - ecsodikas.eu
Building software
Working on
shoutbox.net - reliable email delivery without the cost
github.com/tluyben
Socially leftist, fiscal liberal.
Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
nerd | software engineer | gaymer 🏳️🌈 | anime connoisseur | language enthusiast 🇫🇷🇮🇹
neovim btw
Doctorant en informatique au LIP6 | 🏳️🌈 | Rock prog et Kylie Minogue
26yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
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
“Decent solutions provider.” He/him.
https://soap.coffee/~lthms
🔑proofs⚙️dances🔥bodies⭐️dreams
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Software architect. Multi-platform developer. Committed to become a FP alchemist #Scala #Elixir #Rust. Passionate lifelong learner
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 is launching on 14 APRIL!
Buy now on Steam: https://bit.ly/48qJhxH
Publicação online com ensaios, críticas e crónicas. Uma ponte entre o mundo académico e a sociedade civil. www.revistaminerva.pt
PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
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 Stephenson from ctrl-alt-rees. Retrocomputing & whatnot. https://youtube.com/ctrlaltrees
He / him
Business Time: rees@ctrl-alt-rees.com 🧦
Welcome to a calmer internet.
→ 🔗 http://zen-browser.app
→ 💚 http://zen-browser.app/donate
→ 📦 http://github.com/zen-browser
Senior Research Scientist at Google DeepMind. I ∈ Optimization ∩ Machine Learning. Fan of IronMaiden🤘.Here to discuss research 🤓
🎮 Indie Game Developer at Sleeping Robot Games
✨ Wishlist Smokin Potions on Steam now!
https://linktr.ee/SleepingRobotGames
I'm the loco one in this gang!
Doing cool Ocaml code at Ahrefs 🐫
#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
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
Not a HPC Guru, but I play one on social media
phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
The Atari STE is quite a capable games machine, you know.
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
We advance science and technology to benefit humanity.
http://microsoft.com/research
The latest news about Steam Deck and Steam Deck OLED, the powerful handheld gaming PCs from the team at Valve.
CS PhD student @ Drexel University. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
Extinct, chicken sized feathered dinosaur. Host on TWiR.
thisweekinretro.com
Podcast and Youtube Show! Hosted by Chris from 005 AGIMA, Jason from The Retro Adventurers and Dave. Edited by Duncan Styles.
