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
@aniva.bsky.social
🔗 https://leni.sh, https://pixelfed.social/chrysoberyl 🔧 Researcher in Machine Assisted Theorem Proving in Stanford University Centaur Lab ☯️ Director of NorCal Hakkero Factory No. 1 (I make cosplay props) ❄️ I post both research and cosplay content #pinksky
@v0max.bsky.social
Scientist. Dir. of Usable Security & Privacy at the International Computer Science Institute (icsi.berkeley.edu). Founder, AppCensus (appcensus.io). All opinions are those of his employer(s), and not his own. https://www.guanotronic.com/~serge/
@lucy3.bsky.social
UC Berkeley PhD student. #NLProc, computational social science, cultural analytics, AI fairness. she/her. A free range chicken; previously at Ai2, MSR, Stanford. Incoming assistant prof at Wisconsin CS. https://lucy3.github.io
@anjiliu.bsky.social
Incoming Assistant Professor (Presidential Young Professor, PYP) at the National University of Singapore (NUS). https://liuanji.github.io/
@mniepert.bsky.social
Professor @ University of Stuttgart, Scientific Advisor @ NEC Labs, GraphML, geometric deep learning, ML for Science and Simulations. Formerly @IUBloomington and @uwcse
@jmincho.bsky.social
Incoming assistant professor at JHU CS PhD at UNC | Bloomberg PhD Fellow Prev: Google, Microsoft, Adobe, AI2, SNU https://j-min.io #multimodal #nlp
@jhucompsci.bsky.social
A diverse and collaborative community on the cutting edge of computing and technology within hopkinsengineer.bsky.social at the Johns Hopkins University. cs.jhu.edu • Baltimore, MD
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@wjakob.bsky.social
Associate professor leading EPFL's Realistic Graphics Lab. My research involves inverse graphics, material appearance modeling and physically based rendering
@vollmerm.bsky.social
Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
@unil.bsky.social
Profil officiel de l'Université de Lausanne (Suisse)🇨🇭. "Le savoir vivant". Sept facultés. 17'000 étudiantes et étudiants. 15 programmes de bachelor, 42 programmes de master
@ox.ac.uk
Welcome to our official account 👋 Follow for the latest news, research and updates about life at Oxford.
@dieworkwear.bsky.social
Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter. If you have a style question, search: https://dieworkwear.com/ | https://putthison.com/start-here/
@dominikwinterer.bsky.social
Incoming Lecturer (Assistant Professor) at The University of Manchester 👩🎓👨🎓 Looking for PhD students! Formal Methods Engineering Lab: https://manchester-fme.github.io
@acm.org
The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
@harvard.edu
Official account for Harvard University. Devoted to excellence in teaching, learning, and research, and to developing leaders who make a difference globally.
@sydneycompsci.bsky.social
The official account of the School of Computer Science at the University of Sydney. 🔗 https://www.sydney.edu.au/engineering/schools/school-computer-science.html
@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 📨 [email protected]
@jmiers230.bsky.social
Assistant Law Prof @AkronLaw | Computer Scientist | 1A 💬 and tech scholar | meme docent 🧙🏼♀️ Priors: Google, Twitter (no, not X), Chamber of Progress [email protected]
@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.