×
You are not logged in
Bluesky Follows
Stefan Marr
Follows by @stefan-marr.de
julien-lange.bsky.social
Registered:1 Oct 2025 08:36
Follow date:12 Jan 2026 12:03
eightbitraptor.bsky.social
Registered:25 Nov 2024 21:40
Follow date:26 Sep 2025 22:06
Ruby core committer. Builds Keyboards. MiniDisc, Fountain Pen and Void Linux enthusiast. Drinks too much coffee.
日本語を勉強しています。でもまだ上手じゃないです。助けてください！😅
The Amelia Project
Registered:7 Aug 2023 07:18
Follow date:20 Aug 2025 23:48
An international fiction podcast about a secret agency that fakes its clients’ deaths and helps them reappear with a brand new identity! Find us wherever you listen to podcasts! https://ameliapodcast.com
Volker Stolz
Registered:31 May 2024 16:32
Follow date:2 May 2025 19:15
Unprofessional takes on CompSci and other things. Card-carrying member of @informatik. Sub-tooter at https://fediscience.org/@selab...
https://λ.foldr.org/~vs/ […]
🌉 bridged from ⁂ https://mastodon.social/@fm_vo... follow @ap.brid.gy to interact
Davide Ancona
Registered:22 Apr 2025 20:13
Follow date:22 Apr 2025 23:15
University of Genova, Italy
Elisa Gonzalez Boix
Registered:31 Mar 2025 10:21
Follow date:31 Mar 2025 13:25
Researcher, professor of Computer Science at Vrije Universiteit Brussel, Belgium
Einar Broch Johnsen
Registered:27 Feb 2025 14:56
Follow date:15 Mar 2025 13:51
Prof CS University of Oslo
https://ebjohnsen.org
Artem Pelenitsyn
Registered:26 Nov 2024 01:41
Follow date:15 Mar 2025 13:51
Postdoc at Purdue ON ACADEMIC JOB MARKET for 2026. PhD in CS. Interests: programming languages and compilers, types. Languages: Haskell, Julia.
Toni
Registered:14 Mar 2025 20:41
Follow date:14 Mar 2025 21:27
🧑💻 Researching AI in Software Engineering @ HPI | 📷 Photography | 🍔 Cooking | 🌱 Gardening | 🎲 Board Games
PLRG :: Bristol
Registered:14 Mar 2025 02:40
Follow date:14 Mar 2025 09:21
This is the account of the Programming Languages Research Group at the University of Bristol.
https://plrg-bristol.github.io...
Norbert Hartl
Registered:4 Oct 2023 21:18
Follow date:6 Mar 2025 21:00
Learning not to code
Johan Brichau
Registered:27 Nov 2024 16:45
Follow date:5 Mar 2025 19:00
Software Engineer - PhD in Computer Science - Smalltalk developer - IoT enthousiast
Gernot Heiser
Registered:2 Mar 2025 03:56
Follow date:2 Mar 2025 09:25
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
The PyPy Project
Registered:6 Feb 2025 11:04
Follow date:7 Feb 2025 08:52
The developers of the PyPy project: a fast, compliant, open source Python interpreter.
https://pypy.org/
https://github.com/pypy/pypy
‹Programming› 2025
Registered:16 Jan 2025 19:27
Follow date:23 Jan 2025 15:20
Official website: https://2025.programming-confe...
Guido Salvaneschi
Registered:19 Jan 2025 11:42
Follow date:19 Jan 2025 12:57
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Jürgen Cito
Registered:14 Jan 2025 16:40
Follow date:15 Jan 2025 16:26
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
Alex Warth
Registered:20 Dec 2024 10:25
Follow date:15 Jan 2025 10:40
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
Tower
Registered:26 Nov 2024 22:10
Follow date:13 Jan 2025 19:26
The best Git client for Mac & Windows
Download free trial 👉 www.git-tower.com
Alexander Bandukwala
Registered:1 Jul 2023 17:59
Follow date:8 Jan 2025 15:06
💻 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
CF Bolz-Tereick
Registered:18 Nov 2024 06:02
Follow date:4 Jan 2025 16:18
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
Antonio Cuni
Registered:23 Dec 2024 10:20
Follow date:4 Jan 2025 16:18
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/@antoc...
- https://twitter.com/antocuni
mflatt.bsky.social
Registered:7 Dec 2024 20:28
Follow date:8 Dec 2024 10:00
Josh Sunshine
Registered:6 Dec 2024 15:04
Follow date:6 Dec 2024 17:11
Assistant Professor at Carnegie Mellon. I help people understand the software they create.
ccadar.bsky.social
Registered:28 Nov 2024 07:33
Follow date:30 Nov 2024 10:16
Mary Xekalaki
Registered:29 Nov 2024 10:19
Follow date:29 Nov 2024 10:36
Research Associate at The University of Manchester and member of the #TornadoVM team.
Matthias Hauswirth
Registered:22 Nov 2024 21:27
Follow date:28 Nov 2024 18:20
Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
Alexandra Silva
Registered:2 Apr 2024 15:36
Follow date:27 Nov 2024 19:10
Mom, foodie, traveller, computer scientist
Michael Vollmer
Registered:23 Nov 2024 12:17
Follow date:27 Nov 2024 00:18
Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Simon Thompson
Registered:26 Nov 2024 20:49
Follow date:26 Nov 2024 23:27
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
Javier Pimás
Registered:26 Nov 2024 01:47
Follow date:26 Nov 2024 07:34
VM hacker. Objects all the way down.
https://pimas.ar
Peter Zhu
Registered:25 Nov 2024 20:24
Follow date:25 Nov 2024 22:07
Staff Developer at Figma.
Ruby core committer.
Photography geek.
Mastodon: @peterzhu2118@ruby.social
Instagram: @peterzhu.photos
stefan brunthaler
Registered:25 Nov 2024 21:07
Follow date:25 Nov 2024 22:01
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?)
Michael Coblenz
Registered:20 Nov 2024 20:37
Follow date:25 Nov 2024 09:17
Assistant Prof. at UC San Diego. Helping people write better software.
Tiago Cogumbreiro
Registered:23 Nov 2024 17:25
Follow date:25 Nov 2024 06:09
Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/fai... #ocaml #rocq
haoranxu510.bsky.social
Registered:24 Nov 2024 21:26
Follow date:24 Nov 2024 22:28
jhemann.bsky.social
Registered:12 Nov 2024 00:43
Follow date:24 Nov 2024 05:28
Aws Albarghouthi
Registered:23 May 2023 14:45
Follow date:24 Nov 2024 05:27
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws...
Ross Tate
Registered:14 Nov 2023 18:51
Follow date:23 Nov 2024 20:28
Programming Languages Researcher and Consultant
Mae Milano
Registered:28 May 2023 20:05
Follow date:23 Nov 2024 20:28
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Edwin Brady
Registered:17 Nov 2024 12:05
Follow date:23 Nov 2024 20:27
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...
https://www.lambda-miners.org....
SIGPLAN
Registered:23 Nov 2024 19:27
Follow date:23 Nov 2024 20:26
The ACM Special Interest Group on Programming Languages.
Marco Paviotti
Registered:22 Nov 2024 17:36
Follow date:22 Nov 2024 21:42
gfixme : (▷ X -> X) -> X
Lecturer. Category Theory, Semantics and Type Theory.
Michalis Papadimitriou
Registered:18 Nov 2024 14:19
Follow date:20 Nov 2024 21:37
Research Fellow at the University of Manchester working on compilers, ML and open-source software. Part of the #TornadoVM team.
Ilya Sergey
Registered:20 Nov 2024 17:32
Follow date:20 Nov 2024 18:01
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Jens
Registered:18 Sep 2023 20:45
Follow date:20 Nov 2024 15:44
Gilles Duboscq
Registered:18 Oct 2024 07:25
Follow date:20 Nov 2024 15:43