Writing about code, programming and all things technology. Learn to code and utilize technology to advance your studies, career and income.
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@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/
@bill-pugh.bsky.social
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications. Active maker, burner, traveler, husband, father.
@vineethk.bsky.social
Software Engineer, Programming Languages at Aptos Labs. Working on the Move compiler.
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@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.
@ccanonne.github.io
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@profrejones.bsky.social
Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
@isychev.bsky.social
postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva) https://aisychev.github.io
@liblit.bsky.social
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@mrigger.bsky.social
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
@sholtzen.bsky.social
I like computers. assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
@polyroly.bsky.social
CS PhD student @ UC Santa Barbara, doing program synthesis and verification https://junrui-liu.github.io/
@ranzato.bsky.social
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
@etanter.bsky.social
@veselinr.bsky.social
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
@dangrossmanseattle.bsky.social
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@mlbowers.bsky.social
PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
@borzoo.bsky.social
Associate Professor of Computer Science at Michigan State University
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@jameslarus.bsky.social
Retired EPFL CS professor/dean. Retired Microsoft researcher/manager. Time to do something new….
@schasins.bsky.social
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
@shagag.dev
Software Engineer, handstands, locking in and "staying upwind". https://shagag.dev/
@willybrauner.com
Front-end developer, driven by design. Former lead front-end @ cher-ami.tv. Musician, drummer. Based in Lyon, France. Freelancer ↳ https://willybrauner.com ↳ https://github.com/willybrauner
@yoav.codes
Technical founder. Building new stuff at my startup lab https://blackboard.sh | 20+ years in early startups going zero to one | prev: 7 years at webflow #startups #ziglang #typescript #bun #electrobun #webflow
@astrojaz.bsky.social
Space Sciences grad student at UTSA/SwRI 💫| Purdue ‘22 Planetary Science 🪐| NASA Solar System Ambassador ☄️| Women in STEM 🧑🏻🔬| “We are made of star-stuff. We are a way for the universe to know itself.”- Carl Sagan ✨| I 🩵 Europa https://beacons.ai/astrojaz
@retr0.id
reverse engineering, cryptography, exploits, hardware, file formats, and generally giving computers a hard time Fedi: @[email protected] Macroblog: https://www.da.vidbuchanan.co.uk/blog/
@sarahedo.bsky.social
Opinions my own. https://sarah.dev Sr Director of Engineering @ Google: Core Web, Android, iOS Infrastructure Formerly Vue Core • Frontend Masters teacher • O'Reilly Author • https://www.engmanagement.dev/ https://github.com/sdras
@fullstacktheory.bsky.social
Exploring the evolving world of software development—Frontend, Backend, AI/ML, and Software Design and Philosophy. Thoughts on code, architecture, and the philosophy of building modern systems. Currently at a FAANG. Opinions are my own.
@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
@tsoding.bsky.social
Recreational Programming: - http://twitch.tv/tsoding - https://www.youtube.com/@Tsoding - https://www.youtube.com/@TsodingDaily ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀
@happychoice.bsky.social
Console.WriteLine("Hello, world!"); i make silly youtube vids https://youtube.com/@happychoice98?si=a0UeD9K3hsZVEzHe https://happychoice.straw.page/
@jackiecodes.bsky.social
I make indie video games in Godot, I teach people how to do it, and I make videos about the experience.