Sudha
Hacking on OCaml stuff at Tarides.
Previously - Research Engineer at IIT Madras, Tech at Northern Arc Capital, Undergrad at SSNCE. Interests - open source software, test cricket, books, ARR music, functional programming.
@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
@xvw.lol
Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages). Editor team at Tarides.
@travisbrown.dev
Software developer living in Berlin https://travisbrown.dev for contact info
@captnemo.in
@nemo@tatooine.club on the fediverse. Bridged to @nemo.tatooine.club.ap.brid.gy which you can follow here on Bluesky. This is a placeholder account - I don't check it often, and use this exclusively for photos of our pets (Wiki & Coco).
@yeahitshume.bsky.social
Shitposter- perpetually depressed - bad jokes - love anime/manga
@pepsiwithastraw.bsky.social
31. She/Her. Flower witch. Psychology. Brand/People management. DM if you need ECPs or an abortion friend in Chennai - no questions asked.
@neilhimself.neilgaiman.com
Makes things up. Writes them down. Dreams about growing up but not yet.
@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/
@radishharmers.bsky.social
Born Samuel Langhorne Clemens in rural Missouri. Adopted the pen name "Sridhar Ramesh" from riverboat slang.
@lucidillusions.in
Mad (ex) Scientist (Ph.D in Nanotech) IIT Bombay ~ Camera and Beyond ~ Perversely Subversive and Absurd ~ I love Books, Bowie and the Beatles. 📍 Bombay, India Check my 📸 Feed~~ https://ko-fi.com/lucidillusions || https://lucidillusions.darkroom.com
@xkcd.com