Stefan Marr
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@elisagboix.bsky.social
Researcher, professor of Computer Science at Vrije Universiteit Brussel, Belgium
@pelenitsyn.top
Postdoc at Purdue. PhD in CS. Programming languages and compilers. Julia, Haskell.
@toni.mattis.berlin
🧑💻 Researching AI in Software Engineering @ HPI | 📷 Photography | 🍔 Cooking | 🌱 Gardening | 🎲 Board Games
@plrg-bristol.bsky.social
This is the account of the Programming Languages Research Group at the University of Bristol. https://plrg-bristol.github.io/
@jbrichau.bsky.social
Software Engineer - PhD in Computer Science - Smalltalk developer - IoT enthousiast
@microkerneldude.bsky.social
Physicist by training, computer engineer by passion Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation FACM FIEEE FTSE FRSN ML
@pypyproject.bsky.social
The developers of the PyPy project: a fast, compliant, open source Python interpreter. https://pypy.org/ https://github.com/pypy/pypy
@programming-conf.bsky.social
Official website: https://2025.programming-conference.org/
@guidosalva.bsky.social
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
@citostyle.bsky.social
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
@alexwarth.bsky.social
Principal Investigator at @inkandswitch.com Formerly at Alan Kay's research groups (YCR/HARC, CDG, VPRI), and Google Creator of OMeta, co-creator of ohmjs.org
@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
@cfbolz.bsky.social
PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading. they/them
@antocuni.bsky.social
SPy creator, HPy founder, PyPy core dev, PyScript core dev, doing Python, compilers and WASM stuff at @anacondainc.bsky.social Also on: - github.com/antocuni - https://mastodon.social/@antocuni - https://twitter.com/antocuni
@joshsunshine.bsky.social
Assistant Professor at Carnegie Mellon. I help people understand the software they create.
@maryxek.bsky.social
Research Associate at The University of Manchester and member of the #TornadoVM team.
@hauswirth.bsky.social
Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
@vollmerm.bsky.social
Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
@simonjthompson.bsky.social
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
@peterzhu.ca
Senior Developer at Shopify. Ruby core committer. Photography geek. Mastodon: @peterzhu2118@ruby.social Instagram: @peterzhu.photos
@sbrunthaler.bsky.social
Language-based security is the continuation of compiler construction by other means. PLs, pretty much all things compilers. (Just a blackboard from systems programming 101. Is it tacky? 100pct yes; but then again, did you *really* come for nice pictures?)
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@forkjoin.bsky.social
Assistant professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@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/
@gfixme.bsky.social
gfixme : (▷ X -> X) -> X Lecturer. Category Theory, Semantics and Type Theory.
@mikepapadim.bsky.social
Research Fellow at the University of Manchester working on compilers, ML and open-source software. Part of the #TornadoVM team.
@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
@eljenso.bsky.social
@gillesduboscq.bsky.social
@codefrau.bsky.social
I design and implement interactive and collaborative systems: Co-founder of Croquet.io • Chief Architect Multisynq.io • Creator of Squeak.JS.org • Formerly at Alan Kay’s groups (VPRI.org, CDG Labs, YCR HARC) • Dr (EngD) • German living in Los Angeles 🏳️🌈
@pragtob.bsky.social
Likes people. Teamplayer, Open Source Enthusiast, Software Developer, Benchmarker, TDDer, Speaker. Elixir, Ruby, JavaScript. Loves green.