I study dark matter, cosmology, and particle physics for a living at UC Berkeley and Lawrence Berkeley National Lab. On the weekends I write explainers about surprising places physics shows up in the natural world.
caragiovanetti.com
Independent I guess these days you'd say content producer, artist, programmer, musician, pokerist. More about me at https://KentBeck.com.
Microsoft Technical Fellow and lead architect of TypeScript. Original designer of C#, Delphi, and Turbo Pascal.
Christian, husband of @hollywebb.bsky.social father, feminist, software engineer, author, Stack Overflow contributor. He/him.
Marginalia on our search for meaning.
🌉 bridged from 🌐 https://themarginalian.org/: https://fed.brid.gy/web/themarginalian.org
Professor, Educator, Researcher and Computer Architect
Webpage: people.inf.ethz.ch/omutlu/
SAFARI Research Group: https://safari.ethz.ch/
Professor a NYU; Chief AI Scientist at Meta.
Researcher in AI, Machine Learning, Robotics, etc.
ACM Turing Award Laureate.
http://yann.lecun.com
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Full Time: Prof @ University of Washington
Intrusion, Inclusion, and Dilution FTW
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q2 2026)
Newsletter: https://buttondown.email/hillelwayne/
Racket is...
* A language-oriented programming project
* a family of programming languages
* a native code compiler and other tools,
* a diverse community 😁
Join us at https://racket.discourse.group/
https://racket-lang.org/
Mathematician, writer, Cornell professor. All cards on the table, face up, all the time. www.stevenstrogatz.com
Math and programming. Lean, JS, Racket. American. Igalian.
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
