@marimo.io
An open-source reactive Python notebook: reproducible, git-friendly, execute as scripts, share as apps! GitHub: https://github.com/marimo-team/marimo Discord: https://marimo.io/discord?ref=bsky
@brittanyellich.com
All-end engineer @github.com in #pdx, she/her Will review your code for fun. Not the most technical one in the room. Writing at brittanyellich.com and balancedengineer.com Talking at overcommitted.dev
@sponce1.bsky.social
Website: https://stevenponce.netlify.app/ GitHub: http://github.com/poncest/ LinkedIn: http://linkedin.com/in/stevenponce/
@kylieainslie.bsky.social
Senior Researcher in Infectious Disease Modelling @rivm-nl.bsky.social | Organizer @rladiesamsterdam.bsky.social | Crazy dog lady 🐶 🌈 Personal website: https://kylieainslie.github.io/ LinkedIn: https://www.linkedin.com/in/kylieainslie #rstats #rladies
@elixirjobs.net
The biggest Elixir job board directly on your timeline. 🔗 https://elixirjobs.net
@gleam.run
Support Gleam development on GitHub sponsors! https://github.com/sponsors/lpil
@erlangsolutions.bsky.social
We build transformative solutions for the world’s most ambitious companies. Discover more ➡️ https://www.erlang-solutions.com/
@csaba.bsky.social
Solopreneur, Indie maker, 230K followers on X, 200 side projects ➡️ bskybanner.com ➡️ savetobookmarks.com ➡️ csabakissi.com ➡️ tweethook.com ➡️ folll.io ➡️ sqlzap.com
@peck.phd
🦬🏔️ @cuboulder.info science prof Vis / HCI - Designing data for the public. 📊❤️ PI @informationvisions.bsky.social Previously: Bucknell CS prof, Tufts CS PhD 🔗 https://peck.phd/
@andreagrandi.it
Software Developer at SuperTab - Python, Go mentor at Exercism - 🏳️🌈 🇮🇹 🇪🇺 🤝 🇺🇦
@howard.fm
https://Answer.AI & https://fast.ai founding CEO; previous: hon professor @ UQ; leader of masks4all; founding CEO Enlitic; founding president Kaggle; various other stuff…
@sa.muelcolvin.com
Building Pydantic Logfire - uncomplicated observability for Python. Sequoia Scout.
@lpalmieri.com
Author of zero2prod.com, a book on backend development in Rust, and https://rust-exercises.com. Building pavex.dev, a new Rust web framework. Principal Engineer at Mainmatter. Opinions are my own. He/him. @algo_luca on Twitter.
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@emeryberger.bsky.social
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@tobycmurray.bsky.social
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
@davidjustodavid.bsky.social
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@wicko3.bsky.social
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
@shwestrick.bsky.social
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl) https://cs.nyu.edu/~shw8119/
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems
@guyvdb.bsky.social
🎓 CS Prof at UCLA 🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI https://web.cs.ucla.edu/~guyvdb/
@tagide.com
Professor at UC Irvine, among other things. This is my personal account, not the University’s. I like light and clarity.
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
@malyzajko.bsky.social
Assoc. prof. at Uppsala University, working in programming languages and verification
@manu.sridharan.net
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
@josepablocam.bsky.social
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
@caterinaurban.bsky.social