Abhinav Gyawali
Compiler Engineer @ Feldera
Interested in PL, Compilers, Databases and a whole lotta things that I don’t know about yet!
https://abhizer.com
@brown.edu
Official Bluesky feed for Brown University. A leading research university distinct for its student-centered learning and deep sense of purpose.
@madelonhulsebos.bsky.social
Faculty at CWI & ELLIS Amsterdam https://trl-lab.github.io. Previously at UC Berkeley and the University of Amsterdam. Research on neural models for tabular data; table representation learning 💫. https://www.madelonhulsebos.com
@lookitup.baby
Kubernetes SIG Security co-chair, container escape artist, aurora chaser, goose in the mainframe. Minneapolis. They/them. Stay punk 🏴 MSP feed info here: https://bsky.app/profile/lookitup.baby/post/3lapkhevr222w
@julianhyde.bsky.social
On a mission to tame data. (Ex-Google, always ASF, working on something new.)
@gergely.pragmaticengineer.com
Writing The Pragmatic Engineer (@pragmaticengineer.com), the #1 technology newsletter on Substack. Author of The Software Engineer's Guidebook (engguidebook.com). Formerly at Uber, Skype, Skyscanner. More at pragmaticengineer.com
@qianli.dev
Co-founder @dbos.dev • Stanford CS PhD Co-organizer @southbaysystems.xyz Working on 🐘 Database + Systems + AI Amateur bird watcher 🦉 Personal site: qianli.dev She/her.
@duckdb.org
DuckDB is an analytical in-process SQL database management system. "DuckDB" and the DuckDB logo are registered trademarks of the DuckDB Foundation.
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
@csdatcmu.bsky.social
The Computer Science Department's mission has remained steadfast: to lead in computer science research and education that has real-world impact — to push the frontiers of the field and produce the next generations leaders.
@simonsinstitute.bsky.social
The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
@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
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@stein.ke
Computer science, math, machine learning, (differential) privacy Researcher at Google DeepMind Kiwi🇳🇿 in California🇺🇸 http://stein.ke/
@tsoding.bsky.social
Recreational Programming: - http://twitch.tv/tsoding - https://www.youtube.com/@Tsoding - https://www.youtube.com/@TsodingDaily ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀
@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.
@proofnerd.bsky.social
cryptography and pretty proofs | PL-curious | assistant professor @ VU Amsterdam soechsner.de
@scsatcmu.bsky.social
The School of Computer Science at Carnegie Mellon University is one of the world's premier institutions for CS and robotics research and education. We build useful stuff that works!
@steveklabnik.com
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes. Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
@gautamkamath.com
Assistant Prof of CS at the University of Waterloo, Faculty and Canada CIFAR AI Chair at the Vector Institute. Joining NYU Courant in September 2025. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning. http://www.gautamkamath.com
@arxiv-cs-pl.bsky.social
Computer Science -- Programming Languages (cs.PL) source: export.arxiv.org/rss/cs.PL maintainer: @tmaehara.bsky.social
@convex.dev
The reactive database for app developers. Sign up: https://convex.dev Discord: https://convex.dev/community
@jamescowling.dev
@convex.dev co-founder/CTO. Dropbox storage designer. Distributed systems researcher at MIT. Bad motorcycle mechanic. Database shill.
@focs2025.bsky.social
Official account for the 2025 IEEE Symposium on Foundations of Computer Science (FOCS), to be held in Sydney, Australia, Dec 14-17, 2025.
@bcantrill.bsky.social
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
@lina.yt
Hello everyone, Asahi Lina here! I'm a developer VTuber! ▶️ lina.yt/magic EN/日本語｜she/her｜🎨 #AsahiLinArt My gf: @cyan.yt 🩵｜We are @thgirls.yt Model x.com/NananoNanase Design x.com/shiranui_illust PFP @merryhime.bsky.social 📨 lina@lina.yt
@jmiers230.bsky.social
Assistant Law Prof @AkronLaw | Computer Scientist | 1A 💬 and tech scholar | meme docent 🧙🏼♀️ Prev: Google, Twitter (no, not X), Chamber of Progress jmiers@uakron.edu
@joeyeremondi.bsky.social
PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@daveandersen.bsky.social
Computer Science Professor, CMU; co-founder and CTO, Enriched Ag Energy-efficient computing, a dash of security, and a pinch of databases. Also on Mastodon (https://hachyderm.io/@dave_andersen ) signal: dga.48 he/him
@shadaj.me
PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com More at https://shadaj.me!
@aoc.bsky.social
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com
@anakli.bsky.social
Assistant Professor in Computer Science @ETHZurich. I work on computer systems. https://anakli.inf.ethz.ch/
@matei-zaharia.bsky.social
CTO at Databricks and CS professor at UC Berkeley. https://people.eecs.berkeley.edu/~matei/
@martin.kleppmann.com
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
@fmbck.bsky.social
Programming Language Researcher at the Australian National University
@alvincheung.bsky.social
@jay.bsky.team
CEO of Bluesky, steward of AT Protocol. Let’s build a federated republic, starting with this server. 🌱 🪴 🌳
@erata.bsky.social
PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
@zgerd.bsky.social
@divyaswor.bsky.social
Full stack developer. Dad jokes. Remote work is the future. OPEN TO COLLABORATE. I am not that active anywhere, but you can still check out my profiles. https://www.divyaswormakai.com Most of the posts are jokes.
@harrisongoldste.in
(he/him) Postdoc at the University of Maryland I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI. Currently on the academic job market, looking for tenure-track positions! https://harrisongoldste.in
@jkxosound.com
Product & Engineering @ Striim (streaming sql, change data capture), creator/host @ What's New in Data pod, music @ jkxo
@ned.sh
Data science, AI/ML, analytics, visualisation. Naarm/Melbourne @thoughtworks, #dataBS, #Python, #NLP, #DuckDB, & assorted whimsical miscellania
@nicoritschel.com
Building @sidequery.dev Director of Engineering atm.com nicoritschel.com
@abhi9u.bsky.social
NetBSD Dev | Python Internals, AI, compilers, databases, & performance engineering | https://blog.codingconfessions.com/