I am delighted to announce the new, updated, learntla.com! This new TLA+ guide took six months of work and is almost 40,000 words long, and I already have a million ideas on what to add next. Suitable for both beginning learners and advanced users alike!
We’re announcing a major update to Lightstep’s observability platform. With Change Intelligence, the insights previously restricted to observability experts are now accessible to every developer, operator, and SRE. Read more 👇
bit.ly/3rnjpfi
Every microservices dev needs a world-class tracing system in order to feel confident about prod... and yet most don't have access to one.
My colleagues and I want to fix that, and so we couldn't be more excited to announce LightStep Tracing: lightstep.com/blog/long-live…
November is here, and that means a massive shift is coming. And by "massive" I am of course referring to the redefinition of the kilogram unit of mass that the world has been building up to for more than 100 years. Let me explain:
Japan left their changing room spotless after last night’s heartbreaking last minute defeat to Belgium.
They also left a note saying “Thank-you” in Russian.
Class act. 👏🇯🇵
A programmer walks into a bar and orders 1.000000119 root beers. The bartender says, "I'm gonna have to charge you extra; that's a root beer float". And the programmer says, "Well in that case make it a double".
I'm going to write a bot that blocks everyone talking about Bitcoin, then searches people they follow for people talking about Bitcoin and blocks them, and so on.
That's right, I'm creating a block chain.
"Theory is when you know something, but it doesn’t work. Practice is when something works, but you don’t know why. Programmers combine theory and practice: Nothing works and they don’t know why." - Unknown
4K Followers 5 FollowingStanford CS prof., author of "A Philosophy of Software Design", co-inventor of Raft consensus algorithm and log-structured file systems, creator of Tcl/Tk.
1.4M Followers 1K FollowingBuilding @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.
298K Followers 1K FollowingLed a couple of Stripe's most successful products from early days. Prev Twitter, Google, Yahoo. Now advising & teaching. Tweets useful for some—not for everyone
93K Followers 424 FollowingI run Terraformation, and I was once the CEO of Reddit. Both are very interesting challenges.
Views are mine alone, but also yours if I do my job right.
2K Followers 85 FollowingProfessor @IllinoisCDS. Co-lead @just_infras. Podcast Host @csimmigrant. Music DJ @WEFTradio. Sometimes Joker. Sometimes Seriouser.
9K Followers 1K FollowingCTO of @InfluxDB (YC W13), founder of NYC Machine Learning, series editor for Addison Wesley's Data & Analytics, author of Service Oriented Design with Ruby.
1.6M Followers 2K FollowingProfessor of Neurobiology and Ophthalmology at Stanford Medicine • Host of Huberman Lab • Focused on science and health research and public education
1.1M Followers 2K FollowingFlaneur: probability (philosophy), probability (mathematics), probability (real life),Phoenician wine, deadlifts & dead languages. Greco-Levantine.Canaan. #RWRI
146K Followers 312 FollowingCo-founder @MavenHQ (a16z, First Round). Co-founder of Seth Godin’s altMBA. Honest insights on how to become a high-performing IC and leader
31K Followers 1 FollowingA guide for growing to senior and beyond in the software industry, by @GergelyOrosz. An Amazon #1 Best Seller. Get the book at https://t.co/z86POb1yWN
22K Followers 305 FollowingChairman of https://t.co/QmWU7IAYiB, @Curriki, former Chairman/CEO of Sun Micro, husband, dad of 4 awesome boys. Love taxpayers, capitalism, personal responsibility.
56K Followers 125 FollowingEmail newsletter sending bite-sized Vim tips, tricks, plugins, and recipes https://t.co/zkibO0Tj9A
Find us now on Bluesky: https://t.co/GS0uYHWbAV
358K Followers 5K FollowingBBC News Analysis Editor, The Media Show, 'The Art of Explanation', 'Communicating...' podcast, squash enthusiast, occasional DJ. Agents: @MiradorMgmt @zcosini
242K Followers 289 FollowingChair, UCSF Dept of Medicine. Career: What happens when a poli sci major becomes an academic physician. Author: "A Giant Leap" (2026). Hubby/Dad/Grandpa/Golfer.
26K Followers 1K FollowingCofounder, @AdaptiveCLabs, “the NTSB of Tech” bringing Resilience Engineering to industry. he/him. Won’t speak on all-male panels, and #blacklivesmatter.
61K Followers 119 FollowingFounded by @MichaelLarabel in 2004, Phoronix is the largest #opensource news, #Linux hardware reviews & Linux PC/server/HPC performance benchmark site.