Lightnews — Scholar-powered news

Antithesis.com @antithesis.com · 15h

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 · 1d

⏰ 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...

1

Antithesis.com @antithesis.com · 1d

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

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

Coding, engineering, vibing, agenting.

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 · 1d

Vibe-engineering anyone?

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

1

Antithesis.com @antithesis.com · 1d

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

Vibe engineering

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 …

simonwillison.net

Antithesis.com @antithesis.com · 2d

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 · 2d

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

1

Antithesis.com @antithesis.com · 3d

thenewstack.io/webinar/how-...

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 · 3d

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 · 5d

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 · 7d

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

cseweb.ucsd.edu

Antithesis.com @antithesis.com · 7d

"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.

1

Antithesis.com @antithesis.com · 8d

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

Fixing five "two-year" bugs per day

YouTube video by Antithesis

youtu.be

Antithesis.com @antithesis.com · 8d

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 · 8d

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 · 9d

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 · 9d

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.

1

Antithesis.com @antithesis.com · 9d

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.

1

Antithesis.com @antithesis.com · 10d

Full talk here: youtu.be/024c8OwR4JM

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

YouTube video by Antithesis

youtu.be

Antithesis.com @antithesis.com · 10d

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.

1

Antithesis.com @antithesis.com · 14d

Full post: www.cncf.io/blog/2025/09...

Autonomous Testing of etcd’s Robustness

As a critical component of many production systems, including Kubernetes, the etcd project’s first priority is reliability. Ensuring consistency and data safety requires our project contributors to…

www.cncf.io

Antithesis.com @antithesis.com · 14d

Code is infrastructure, and we're incredibly proud that the @cncf.bsky.social relies on Antithesis to ensure that the cloud is built on solid foundations.

Link below.

1

Antithesis.com @antithesis.com · 15d

luma.com/peds0h28

Nix/NixOS DMV Meetup · Luma

A meetup for all the Nix/NixOS fans in the area! For this first installment, we'll have a Q&A — use the venue's AV system to get help with your problems on a…

luma.com

Antithesis.com @antithesis.com · 15d

We ⚙️ Nix beyond reason, so we're hosting a Nix/NixOS meetup at the office tomorrow!

Come hang out with enthusiasts and experts. There'll be a big screen with an open mic Q&A -- work through problems together, meet the community, or just come and speak only in declarative statements!

Link below.

1

Antithesis.com @antithesis.com · 16d

We like to think we make the world around us less dangerous, not more, but we get where they're coming from.

Antithesis.com @antithesis.com · 16d

And later on, over on the other social platform...

1

Antithesis.com @antithesis.com · 16d

Our team was in Toulouse yesterday, working with Amaru to help the @cardanofoundation.bsky.social community build a more reliable blockchain.

1 1