Vineeth Kashyap
Software Engineer, Programming Languages at Aptos Labs. Working on the Move compiler.
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@chandlerc.blog
Software, performance, optimization, programming languages, security, open source, #CarbonLang lead, #LLVM, #Clang, C++. 🏳️🌈 http://pronoun.is/he or http://pronoun.is/they
@davidrichey.bsky.social
Functional programming, programming languages, developer tools, that kinda stuff
@veselinr.bsky.social
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
@pablogsal.com
I program the programming program that other programmers use to program programs. Python Steering Council and core developer. Python 3.10/3.11 release manager. Deals with black holes and parsers. Attracts linker problems.
@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
@savannah.dev
Building for builders. Python Core Developer, maintaining the JIT + argparse. Python + Notebooks at Snowflake. Jupyter Foundation Governing Board. Loves containers, compilers, open source software + cats. Brat. savannah.dev github.com/savannahostrowski
@saelo.bsky.social
V8 Security technical lead. Previously Project Zero. Phrack author. Personal account.
@danr.bsky.social
TypeScript Product Manager and TC39 rep working on JavaScript standards. Enthusiast of compilers, dev tools, language VMs/runtimes.
@pathofshrines.bsky.social
Language and compiler developer at Apple (Swift, Objective-C, C++, C, security mitigations). Queens resident, 49ers fan, strongly leftish.
@bernsteinbear.com
Baking bread and compilers are kinda similar if you think about it @tekknolagi elsewhere
@deepti.bsky.social
Compiler engineer, making the web fast at Google Chrome. Bit twiddler and 💜 WebAssembly. I love snacks and tiny projects. She/her
@tlively.bsky.social
Software engineer working on WebAssembly tools and specification @Google. he/him. @tlively on GitHub.
@jfbastien.com
Distinguished engineer Woven by Toyota—Compiler engineer—security enforcer—C++ standards committee language evolution chair—WebAssembly co-instigator 🔗 https://jfbastien.com 🔗 https://tlbh.it 📍 東京、日本
@thomaswue.dev
Passionate about compilers & programming languages. GraalVM founder & project lead. VP at Oracle. Expressed opinions are my own. For DM: contact@thomaswue.dev
@evacchi.dev
Programming Language Nerd, PhD in C.S. Staff Research Engineer @ Dylibso — Compilers, WebAssembly, Java, Rust, Go (chicory.dev and wazero.io) — prev: wazero @ Tetrate, RedHat, UniCredit — organizer Papers We Love Milano evacchi.dev
@stuffwithstuff.com
Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/
@sperbsen.bsky.social
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
@pcwalton.bsky.social
Programming languages and graphics person. Rust compiler developer, Firefox hacker, Bevy contributor.
@dcreager.net
Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro. This is a 9 planet family, kids! ♇ 🌐 https://dcreager.net/ 🧭 Massachusetts
@kripken.com
Software engineer. Loves fantasy novels and Agatha Christie. he/they Tech: WebAssembly, Emscripten, Binaryen. All opinions here are my own, not my employer's (Google). More links in: http://kripken.github.io/blog/about/
@joyeecheung.bsky.social
She/her. I contribute to Node.js and V8. I post about museums, food, plants and other stuff too. https://github.com/joyeecheung
@thorstenball.com
Author of interpreterbook.com and compilerbook.com. Working at Sourcegraph. Previously Zed. Programming where the rubber hits the road. Writing Register Spill at: registerspill.thorstenball.com
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@liblit.bsky.social
@zed.earth
Cyber-Social Infrastructure | Digital Policy & Adaptive Governance | Protocols for a New Millennium | Webs of Trust
@andygillku.bsky.social
Principal Engineer, AI Compute, at Rain AI. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@steven.murdoch.is
Professor of Security Engineering; Head of UCL Information Security Research Group @sec.cs.ucl.ac.uk; Director Open Rights Group. 🐘 https://mastodon.social/@sjmurdoch 🐦 @sjmurdoch 🌍 https://murdoch.is/
@roydanroy.bsky.social
Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst. Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
@someshjha.bsky.social
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security. My other interests are Indian classical music, mindfulness, tennis, and pickleball.
@bill-pugh.bsky.social
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications. Active maker, burner, traveler, husband, father.
@alexlew.bsky.social
Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
@azhenley.bsky.social
Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft https://austinhenley.com/
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@aslanix.bsky.social
@josepablocam.bsky.social
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
@malyzajko.bsky.social
Assoc. prof. at Uppsala University, working in programming languages and verification