Antithesis's Avatar

Antithesis

@antithesis.com

bug nerds πŸ› 🐞 🐜 You hate testing. You'll love us. https://antithesis.com/

134
Followers
63
Following
222
Posts
19.11.2024
Joined
Posts Following

Latest posts by Antithesis @antithesis.com

D'oh, thanks!

11.03.2026 17:00 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
576 - Using LLMs at Oxide / RFD / Oxide

Mentioned in the episode: rfd.shared.oxide.computer/rfd/0576
Further reading: oxide-and-friends.transistor.fm/episodes/eng...

11.03.2026 15:37 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
From Scale to Rigor: An Engineering Journey at Meta and Oxide Spotify video

Youtube: YouTube - - YouTube
Spotify: open.spotify.com/episode/0knR...
Apple podcasts: podcasts.apple.com/us/podcast/f...

11.03.2026 15:37 πŸ‘ 0 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0
Post image

It's always great to chat with other folks who deal with all the ways that atoms and bits interact. @sunshowers.io ​and @oxide.computer have thought longer and harder about these problems than most, here they are in conversation with our infrastructure lead, Justin Moore.

11.03.2026 15:37 πŸ‘ 21 πŸ” 3 πŸ’¬ 1 πŸ“Œ 0

@jepsen.mastodon.jepsen.io.ap.brid.gy

10.03.2026 16:52 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Bug Bash 2026

antithesis.com/bugbash/conf...

10.03.2026 16:50 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

First up, Kyle Kingsbury of Jepsen is going to be giving a seminar called Paranormal forms: checking transaction safety with predicates.

Get your tickets below - seminar seats, especially, are limited!

10.03.2026 16:50 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Post image

Last year some attendees asked if we could make BugBash more interactive, so we've added a pre-conference seminar day -- a chance to join in-depth discussions with leading experts in formal methods, distributed systems, and software testing.

10.03.2026 16:50 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

DC Systems tonight! Come for the tech talks, or come for the beer, or just come see 30-40 of your closest friends!

10.03.2026 16:39 πŸ‘ 2 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Post image

Also, maybe we can turn into something else?

x.com/SmalltimeJon...

09.03.2026 16:39 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
A fighting retreat We're all turning into crabs, but we can choose how fast we do so.

antithesis.com/blog/2026/ca...

09.03.2026 16:39 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

This weird little tech company we love is going to get bigger and become more like all the other tech companies we fled to come work here, but here's how we're thinking about this process.

Link below.

09.03.2026 16:37 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Just as you can manage customer/revenue/headcount growth, we think you can manage culture growth too -- and this is maybe more important, since we're all spending so much of our waking lives doing this thing.

09.03.2026 16:37 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Post image

As a startup, you grow or die, and this applies to company culture as well as all the charts that should go up and to the right.

09.03.2026 16:37 πŸ‘ 1 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0
Post image

Also, compulsory: x.com/smalltimejon...

09.03.2026 15:23 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
A fighting retreat We're all turning into crabs, but we can choose how fast we do so.

antithesis.com/blog/2026/ca...

09.03.2026 15:23 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

And this is maybe more important, since we're all spending 10, 11, 12 hours a day just doing this thing.

This weird little tech company we love is going to get bigger and become more like all the other tech companies we fled to come work here, but here's how we're thinking about this process.

09.03.2026 15:23 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Bug Bash 2026

antithesis.com/bugbash/conf...

06.03.2026 18:48 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Video thumbnail

Late-breaking news: one more, international keynote speaker at BugBash! By special request, @bugarela.bsky.social of Informal Systems will be coming to talk about executable specs.

Get your tickets below!

06.03.2026 18:46 πŸ‘ 2 πŸ” 1 πŸ’¬ 1 πŸ“Œ 2
Escaping the Spaghetti: How to Test Untestable Codebases
Escaping the Spaghetti: How to Test Untestable Codebases YouTube video by Antithesis

Yes, AI will fix everything (TM), but it's people like Lewis who'll have to tell it how.

Youtube: youtu.be/UyZYbCdwoGE
Spotify: open.spotify.com/episode/2IjI...
Apple: open.spotify.com/episode/2IjI...

04.03.2026 22:55 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

That other guy isn't the only one on a podcast today.

The latest episode of the BugBash podcast features Lewis Campbell on one of our (OK, my) favorite topics: legacy code. You do know your bank still runs on COBOL, right? And your insurance company? And probably the nuclear stockpile too.

04.03.2026 22:55 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Preview
He Thinks AI Code May Break Everything - EP 59 Will Wilson Or why AI slop in a plane is a very bad thing

Clickbait headline much?

www.corememory.com/p/he-thinks-...

04.03.2026 16:35 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

Will Wilson joined @ashleevance.bsky.social in the Core Memory studio this week to talk about the history of software testing, debugging, and, of course AI.

We love how Ashlee has a laptop in the studio but actually runs the interview off a paper printout.

04.03.2026 16:35 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Yes. The big firms especially are staffed with managers for managers.

04.03.2026 16:32 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
The Consensus

If you're a senior developer working on any kind of distributed system, it's well worth your time and money. The intro offer might still be running.

theconsensus.dev
notes.eatonphil.com/2026-02-25-i...

02.03.2026 18:29 πŸ‘ 5 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

So we were super excited to see @eatonphil.bsky.social launch @theconsensus.bsky.social last week. We've been fans of Phil's forever -- for his integrity as much as his insight -- and we're certain we're not the only ones who'll find it useful.

02.03.2026 18:29 πŸ‘ 4 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

We can poll our contacts, but you can only call in so many favors, and the data returned is patchy. The LLMs have largely killed Stack Overflow, and even before that, you had to trawl and triangulate for answers.

02.03.2026 18:29 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

We - like many other technical teams - are hungry for the market for trusted, neutral, technical advice, but it's hard to find. The big analyst firms aren't sufficiently forward-thinking, and their publications are rarely detailed enough, geared towards managers rather than practitioners.

02.03.2026 18:29 πŸ‘ 13 πŸ” 2 πŸ’¬ 2 πŸ“Œ 0
Preview
How we interfaced single-threaded C++ with multi-threaded Rust And lived to tell the tale.

Part 1: antithesis.com/blog/2026/ru...

26.02.2026 16:08 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
Formal methods for the unsafe side of the Force How we formally verified thread safety for our C++/Rust interface.

antithesis.com/blog/2026/ru...

26.02.2026 16:04 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0