Lightnews — Scholar-powered news

Antithesis.com @antithesis.com · 5h

And it's podcast day too! Here's @claresudbery.bsky.social talking about rigor in software engineering, test driven development, and how you should explain race conditions to your kids. Full episodes below.

A distributed systems reliability glossary

Antithesis.com @antithesis.com · 6h

New mascot day! Here's @akshayshah.org introducing our new mascot to a packed audience at @leaddev.com NYC. We're very sorry about what happened to the old mascot.

Antithesis.com @antithesis.com · 2d

New York friends & reliability nerds! We'll be at #LeadDevNewYork and #StaffPlusNewYork this week, hosted by @leaddev.com

Akshay Shah will be trotting out our new unofficial mascot, come say hi!

Antithesis.com @antithesis.com · 5d

Kyle was on our podcast to talk about working on:
antithesis.com/resources/re...

A list of key concepts for building and testing reliable distributed systems, with basic definitions and deep references.

antithesis.com

Antithesis.com @antithesis.com · 5d

Full episode: youtu.be/2xh4kuRa_Rc

Every map is wrong, but we made one anyway

Antithesis.com @antithesis.com · 5d

Come for the database poetry, stay for the pineapple shirt. Or is it the other way round?

Kyle Kingsbury was on our podcast a few weeks ago with some hot takes on databases -- because what else are you gonna do on the weekend if not listen to a podcast about how databases break?

Full ep below.

2

Antithesis.com @antithesis.com · 6d

This is kicking off in 45 minutes! Take the vibes out of your engineering - LLMs might be non-deterministic, but that doesn't mean you have to let them introduce uncertainty into your code.

The New Stack @thenewstack.io · 7d

⏰ TOMORROW! ⏰ Join experts from @antithesis.com to learn how to move beyond AI-code generation's "partial wins" to achieve true engineering productivity. It's time to rethink your workflows and tooling to integrate AI seamlessly.

Register ➡️ bit.ly/Antithesis-A...

Coding, engineering, vibing, agenting.

Antithesis.com @antithesis.com · 7d

Our take on this here. Possibly it's hot?

www.linkedin.com/pulse/coding...

Simon Willison just coined the term “vibe-engineering” – using LLMs to help write production code. He might have a point – we know a lot of experienced, responsible developers who do this.

www.linkedin.com

Antithesis.com @antithesis.com · 7d

Vibe-engineering anyone?

Simon Willison, @simonwillison.net here, just coined the term “vibe-engineering” – using LLMs to help write production code.

I feel like vibe coding is pretty well established now as covering the fast, loose and irresponsible way of building software with AI—entirely prompt-driven, and with no attention paid to …

Antithesis.com @antithesis.com · 7d

Here's his original post, there are probably enough quotes here for you to follow. simonwillison.net/2025/Oct/7/v...

Vibe engineering

simonwillison.net

Antithesis.com @antithesis.com · 8d

luma.com/s4orzid3

DC Systems 011 · Luma

https://dcsystems.wtf/ DC Systems is an independent tech talk series focused on systems programming here in DC and the broader DMV area. We're focused on high…

luma.com

Antithesis.com @antithesis.com · 8d

We're a week out from #DCSystems 011, and for the first time ever, we're in danger of running out of space. Force us to close registrations by signing up below!

Tuesday October 14th.

Speakers:
Jacopo Tagliabue from @bauplan.bsky.social
and
Matt Butrovich from Apple

thenewstack.io/webinar/how-...

Antithesis.com @antithesis.com · 9d

How To Stop AI From Slowing Developers Down

AI code tools aren’t boosting dev productivity as promised. Join our webinar to learn how to remove bottlenecks and truly accelerate engineering output.

thenewstack.io

Antithesis.com @antithesis.com · 9d

Will Wilson, @akshayshah.org and @chrispirillo.bsky.social will take an honest, multi-faceted -- and entertaining -- look at the thorniest issue in tech this Thursday at 1:30 ET.

Registration link below.

The New Stack @thenewstack.io · 11d

AI has promised efficiency, but delivered patchy gains. On Oct 9, learn how to re-think your tooling and practices to make AI work for your engineering teams. Register for this free webinar with @antithesis.com ➡️ bit.ly/Antithesis-A...

2 2 2

Antithesis.com @antithesis.com · 13d

cseweb.ucsd.edu/~mcoblenz/as...

cseweb.ucsd.edu

Antithesis.com @antithesis.com · 13d

"On average, each property-based test finds about 50 times as many [bugs] as the average unit test."

From "An Empirical Evaluation of Property-Based Testing in Python" by Savitha Ravi and @mcoblenz.bsky.social at UCSD

Link below.

Fixing five "two-year" bugs per day

Antithesis.com @antithesis.com · 14d

Youtube: youtu.be/HopSrbw0f4U
Spotify: open.spotify.com/episode/60tB...
Apple podcasts: podcasts.apple.com/us/podcast/f...

Antithesis.com @antithesis.com · 14d

He's also smart, blunt, and funny on camera, and this episode was a ton of fun! "Corruption all the way down" is a great line, but it isn't even the best one he came up with on this episode.

Links below.

Antithesis.com @antithesis.com · 14d

It's podcast day!

@joran.tigerbeetle.com is one of the very few people/companies out there who might be more fanatical about reliability than we are, and he's built @tigerbeetle.com accordingly.

2 1 5

Antithesis.com @antithesis.com · 15d

So we're proud to be sponsors of this year's Data Streaming Summit #DSS with StreamNative.

See you at the happy hour tonight!

Antithesis.com @antithesis.com · 15d

Data streaming platforms are the jet engines of the internet. They make the whole thing go, they make the whole thing fast, and the reliability and correctness requirements are virtually in a class of their own.

Antithesis.com @antithesis.com · 15d

There's a guidance component that directs the system's exploration. We call it AI if we have to, but we could also call it plain old ML + algos.

How to succeed in software testing without really trying - Lawrie Green

Antithesis.com @antithesis.com · 16d

Full talk here: youtu.be/024c8OwR4JM

Antithesis.com @antithesis.com · 16d

Hello San Francisco! We're at the Data Streaming Summit #DSS today and tomorrow with StreamNative and a who's who of the data streaming industry.

Lawrie and Connor take the stage at 3:45 tomorrow, here's Lawrie at BugBash, on the power of randomness in testing. Full video in the comments.