Ruby core committer. Builds Keyboards. MiniDisc, Fountain Pen and Void Linux enthusiast. Drinks too much coffee.
日本語を勉強しています。でもまだ上手じゃないです。助けてください！😅
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
Unprofessional takes on CompSci and other things. Card-carrying member of @informatik. Sub-tooter at https://fediscience.org/@selabhvl.
https://λ.foldr.org/~vs/ […]
🌉 bridged from ⁂ https://mastodon.social/@fm_volker, follow @ap.brid.gy to interact
University of Genova, Italy
Researcher, professor of Computer Science at Vrije Universiteit Brussel, Belgium
Prof CS University of Oslo
https://ebjohnsen.org
Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia.
🧑💻 Researching AI in Software Engineering @ HPI | 📷 Photography | 🍔 Cooking | 🌱 Gardening | 🎲 Board Games
This is the account of the Programming Languages Research Group at the University of Bristol.
https://plrg-bristol.github.io/
Software Engineer - PhD in Computer Science - Smalltalk developer - IoT enthousiast
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 developers of the PyPy project: a fast, compliant, open source Python interpreter.
https://pypy.org/
https://github.com/pypy/pypy
Official website: https://2026.programming-conference.org/
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
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
The best Git client for Mac & Windows
Download free trial 👉 www.git-tower.com
💻 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
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
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
Assistant Professor at Carnegie Mellon. I help people understand the software they create.
Research Associate at The University of Manchester and member of the #TornadoVM team.
Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
Mom, foodie, traveller, computer scientist
Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
VM hacker. Objects all the way down.
https://pimas.ar
Staff Developer at Figma.
Ruby core committer.
Photography geek.
Mastodon: @peterzhu2118@ruby.social
Instagram: @peterzhu.photos
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?)
Assistant Prof. at UC San Diego. Helping people write better software.
Associate 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
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Programming Languages Researcher and Consultant
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
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/
The ACM Special Interest Group on Programming Languages.
gfixme : (▷ X -> X) -> X
Lecturer. Category Theory, Semantics and Type Theory.
Research Fellow at the University of Manchester working on compilers, ML and open-source software. Part of the #TornadoVM team.
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
https://wien.tomnetworks.com/
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 🏳️🌈
Likes people. Teamplayer, Open Source Enthusiast, Software Developer, Benchmarker, TDDer, Speaker. Elixir, Ruby, JavaScript. Loves green.
Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
https://jpolitz.github.io
Lecturer in Art History and Critical Theory at Glasgow School of Art. PhD.
hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Ruby and Rails hacker working at Shopify, living in Seattle
Physicist turned software developer turned engineering manager. Current: Leading Ruby Infrastructure team at Shopify & Board Member at @rubycentral.org
🌐 https://ufuk.dev
👨💻 https://github.com/paracycle
📍 Nicosia, Cyprus
react at meta
formerly: v8/chrome at google
🌐 recompiled.dev
Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL@AkademieNL.social. I've taken the 🔸10% Pledge (#2542) to donate to effective […]
[bridged from https://agda.club/users/jesper on the fediverse by https://fed.brid.gy/ ]
I make programming languages and interfaces at Victoria University of Wellington
Leading Ruby & Rails Infrastructure at @Shopify 💎& building the future of Ruby & Rails at scale with awesome humans ✨. Night owl 🦉 who codes, games, draws, travels.
Addicted to dread. I fill out tax forms for a living. My passion is laying down for a nap.
Shame on me, shame on me, I'm a tool and nothing more.
Optimizing Ruby JIT. YJIT team at Shopify.
...a dreamer in the wandering boots...
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
🇯🇵🇺🇸
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Computer scientist | Professor at KU Leuven | views are my own
C++ developer specializing in source and binary program analysis and transformation.
Senior Rust Engineer @astratech.ae | Ex - ByteDance, Apple , AQR Capital
♥️ Rust and JavaScript
🇮🇳🦀🕸️
Professor of Computer Science at the University of Texas at Arlington
https://ashraf.aboulnaga.me/
Sr. Principal Engineer at Cloudflare by day, WebAssembly consultant by night.
You might also know me from my work on OSS tools and libraries (JS / Wasm / Rust) or Wasm DevRel at Google Chrome
📝 https://rreverser.com/
📷 https://instagram.com/rreverser
Software Engineer @MetaCell interested in MDE, programming languages and VMs. Musician, I love bycicle one day a year.
This is now a Cyber Resilience Act stan account
(((🏳️🌈🪗🎹🏊🟥🟨🟪)))
Compiler engineer, making the web fast at Google Chrome. Bit twiddler and 💜 WebAssembly. I love snacks and tiny projects. She/her
Working on Project Zero, Big Sleep, and V8 Security. Personal account.
Language and compiler developer at Apple (Swift, Objective-C, C++, C, security mitigations). Queens resident, 49ers fan, strongly leftish.
Software engineer working on WebAssembly tools and specification @Google. he/him. @tlively on GitHub.
Build & scale platform — working on humanoid robotics 🤖
🔗 https://jfbastien.com
🔗 https://tlbh.it
📍 東京、日本
Fastly, formerly Firefox / Mozilla
Wasmburgers, all the way up
extremely dubious of "everything is public" social network
compiler engineer from hell
Software engineer (compilers: WebAssembly, Emscripten, Binaryen). Used to study neural networks. Loves fantasy novels and Agatha Christie. he/they
All opinions here are my own, not my employer's (Google).
More in: http://kripken.github.io/blog/about/
She/her. I contribute to Node.js and V8. I post about museums, food, plants and other stuff too. https://github.com/joyeecheung
