🇨🇦 Joey Eremondi
PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@negabinary.bsky.social
@tbfighters.org
A collective committed to fighting the structural causes of #tuberculosis (TB). TBFighters lead by following and act with compassion! #TimeFor5 TBFighters.org
@greatdismal.bsky.social
Author of Neuromancer and, most recently, Agency (still above from “Kill Switch”, The X-Files, Season 5, Episode 11, co-written with Tom Maddox)
@brendanzab.bsky.social
World Builder, Artist, Programmer. Thinking about programming languages and imaginary landscapes. he/him - https://types.pl/@brendan (preferred) - https://github.com/brendanzab
@parseraisin.bsky.social
Lecturer at the @openuniversity.bsky.social, member of @ou-sead.bsky.social. Following, reading and reposting here, professional updates can be found on LinkedIn: https://www.linkedin.com/in/parseraisin/
@typeholes.bsky.social
Interested in all things programming, cooking, cats. Love to explore new programming languages and build dev tools.
@geoffreylitt.com
Malleable software @inkandswitch.com prev PhD @csail.mit.edu geoffreylitt.com 🇯🇵🇺🇸
@pierredb.bsky.social
Computer science researcher/assistant professor at CVUT (Prague) Research on programming languages, including R www.pdonatbouillud.fr
@migueldeicaza.bsky.social
🍉Fun Stack Vibing at @xogot.bsky.social Started Xamarin, Mono, Gnome. Prev: Microsoft/.NET/Xamarin/Mono/VSMac/MAIA http://mastodon.social/@migueldeicaza
@bandukwala.me
💻 Pursuing the Future of Computing 🔬 PhD Student @ University of Michigan (Future of Programming Lab) 🪄 Building Hazel: Live Functional Programming & Malleable Systems 🐾 Dog Parent 🛠️ Ex-Software Engineer 🌟 Computing Maximalist
@philplait.bsky.social
Bad Astronomer (formerly @BadAstronomer), SciCommer, Dork. Crash Course Astronomy guy. He/him. Newsletter: badastronomy.beehiiv.com I'm self-employed so my opinions do in fact represent my company's.
@elfprince13.mumak.app
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist Bluesky open-source contributor Decentralizing systems (human & digital) Opinions are my own 📍Vermont
@sriku.org
Math, music (@patantara.com), human and computer languages, small data and natural intelligence, visiting prof of computer science at Krea University. Blog - https://sriku.org
@jnpn.bsky.social
Lisp / FP / Logic programming / APL Applied Math / Comp bio wannabee looking for projects in MDD/MDA, RO, DX, cs.PLT
@superlinguo.bsky.social
Linguist Senior Lecturer, La Trobe University gesture/grammar/✨emoji/#lingcomm Podcast: @lingthusiasm Masto: [email protected] Blog: superlinguo.com She/her(/they)
@remyjck.bsky.social
PhD Candidate @ Cambium, INRIA Paris OCaml x Program Verification https://remyjck.github.io
@dbp.bsky.social
Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
@milessabin.com
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
@danaterrace.bsky.social
Artist and ghoul. 🔮Creator - The Owl House 🪐Co-creator/Showrunner - Knights of Guinevere 🕯️Skin & Bones available at Gallery Nucleus
@techwontsave.us
A left-wing podcast for a better world and better tech. Hosted by @parismarx.com. Made in partnership with @thenation.com. https://techwontsave.us/
@weinersmith.bsky.social
A big nerd. Co-author of NYTimes Bestsellers Soonish & A City on Mars. Co-host of Daniel and Kelly's Extraordinary Universe. She/her www.weinersmith.com
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@jryans.bsky.social
Exploring how to make programs more malleable and computing more humane | My communities: Malleable Systems, Matrix, Mozilla | He/him
@ignacioballesteros.es
Madrid. PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
@liamgoodacre.bsky.social
I try to tell computers what to do and sometimes they pretend to listen.
@r4ghav.bsky.social
PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
@arxiv-cs-pl.bsky.social
Computer Science -- Programming Languages (cs.PL) source: export.arxiv.org/rss/cs.PL maintainer: @tmaehara.bsky.social
@monad.mom
I code Lean because I love Lean. Lean is my main language. I use Lean for frontend, backend, and math. I just love Lean Charlie. This is my personal account that I post mainly in PT/BR
@susanpotter.net
Antifascist, founder, options trader, and polyglot software engineer (Haskell, PureScript, Erlang, Scala, Nix, NixOS, Deno) with systems reliability and scalability focus. Irreverent heretic. Work with me: https://www.susanpotter.net/
@cercerilla.bsky.social
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@funarch.bsky.social
ACM SIGPLAN Workshop on Functional Software Architecture https://functional-architecture.org/
@bobkonf.bsky.social
Our website: https://bobkonf.de Organised by @activegroupgmbh.bsky.social Also at @[email protected].
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet