🤖robot.villas
PostsTagsStatsStatusAbout

© 2025 - 2026 Nat Welch. All rights reserved.

← All bots

Antithesis blog

@antithesis_blog@robot.villas

Software reliability, distributed systems, deterministic simulation, and autonomous testing from the Antithesis engineering blog.

Source: https://antithesis.com/blog/rss.xml

Homepage: https://antithesis.com

Follow from your server

Enter the server your account is on. You'll finish following there.

or
Or search your app for@antithesis_blog@robot.villas

Don't have an account? Find a server at joinmastodon.org

Posts
62
Followers
0
Following
0

Posts

  • Testing Datadog's Next-Generation Event Platform Intake with Antithesis #SoftwareEngineering #Testing #DistributedSystems

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400777

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400777

    Don't have an account? Find a server at joinmastodon.org

    Sep 29, 2026

  • Why we taught agents to break distributed safety properties #SoftwareEngineering #DistributedSystems #Testing

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400786

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400786

    Don't have an account? Find a server at joinmastodon.org

    Sep 25, 2026

  • Free log storage with a time machine #Software #Testing #Reliability

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400795

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400795

    Don't have an account? Find a server at joinmastodon.org

    Sep 24, 2026

  • Ways research teams fail #SoftwareEngineering #Research #Teamwork

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400804

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400804

    Don't have an account? Find a server at joinmastodon.org

    Aug 18, 2026

  • Breaking the WAL #SoftwareEngineering #DistributedSystems #Databases

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400812

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400812

    Don't have an account? Find a server at joinmastodon.org

    Aug 12, 2026

  • Finding bugs in Raft implementations #SoftwareEngineering #DistributedSystems #Testing

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400821

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400821

    Don't have an account? Find a server at joinmastodon.org

    Jul 27, 2026

  • Bug Bash is coming to Europe! #Software #Testing #Reliability

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400830

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400830

    Don't have an account? Find a server at joinmastodon.org

    Jul 21, 2026

  • My quest to see all of Tetris #Gaming #Software #Testing

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400839

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400839

    Don't have an account? Find a server at joinmastodon.org

    Jul 2, 2026

  • When did the bug start? #Software #Testing #Reliability

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400847

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400847

    Don't have an account? Find a server at joinmastodon.org

    May 11, 2026

  • Antithesis report: Tigris Data #SoftwareEngineering #Reliability #Data

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400856

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400856

    Don't have an account? Find a server at joinmastodon.org

    Apr 21, 2026

  • What are skiplists good for? #DataStructures #Algorithms #ComputerScience

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400867

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400867

    Don't have an account? Find a server at joinmastodon.org

    Apr 16, 2026

  • Keeping the cloud afloat with deterministic simulation testing #CloudComputing #SoftwareTesting #DistributedSystems

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400874

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400874

    Don't have an account? Find a server at joinmastodon.org

    Apr 9, 2026

  • Antithesis skills for agents #Software #AI #Testing

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400884

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400884

    Don't have an account? Find a server at joinmastodon.org

    Mar 25, 2026

  • Hypothesis, Antithesis, synthesis #Software #Testing #Reliability

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400894

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400894

    Don't have an account? Find a server at joinmastodon.org

    Mar 24, 2026

  • A declarative restoration #Software #Testing #Reliability

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400904

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400904

    Don't have an account? Find a server at joinmastodon.org

    Mar 18, 2026

  • A fighting retreat #SoftwareEngineering #DistributedSystems #Testing

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400914

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400914

    Don't have an account? Find a server at joinmastodon.org

    Mar 6, 2026

  • Formal methods for the unsafe side of the Force #SoftwareEngineering #RustLang #FormalMethods

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400922

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400922

    Don't have an account? Find a server at joinmastodon.org

    Feb 26, 2026

  • Catching a caching bug at Readyset #SoftwareEngineering #DistributedSystems #Testing

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400932

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400932

    Don't have an account? Find a server at joinmastodon.org

    Feb 19, 2026

  • How we interfaced single-threaded C++ with multi-threaded Rust #Rust #Cpp #SoftwareEngineering

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400942

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400942

    Don't have an account? Find a server at joinmastodon.org

    Jan 29, 2026

  • When your customer leads your Series A #Startup #Business #VentureCapital

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400953

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400953

    Don't have an account? Find a server at joinmastodon.org

    Dec 3, 2025

  • Antithesis launches Kubernetes support #Kubernetes #CloudNative #DevOps

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400964

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400964

    Don't have an account? Find a server at joinmastodon.org

    Nov 5, 2025

  • They don't even have eyes #AI #MachineLearning #SoftwareEngineering

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400971

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400971

    Don't have an account? Find a server at joinmastodon.org

    Oct 31, 2025

  • Antithesis and the open source community #OpenSource #Community #Software

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400981

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400981

    Don't have an account? Find a server at joinmastodon.org

    Oct 16, 2025

  • Did you get lucky or unlucky? #SoftwareEngineering #Reliability #Testing

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400989

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400989

    Don't have an account? Find a server at joinmastodon.org

    Oct 15, 2025

  • Obscure feature + obscure feature + obscure feature = bug #SoftwareEngineering #Testing #DistributedSystems

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400999

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400999

    Don't have an account? Find a server at joinmastodon.org

    Sep 19, 2025

  • Optimizing our way through Metroid #Software #Testing #Gaming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401009

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401009

    Don't have an account? Find a server at joinmastodon.org

    Aug 22, 2025

  • What does AI testing done right look like? #AI #Testing #SoftwareEngineering

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401019

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401019

    Don't have an account? Find a server at joinmastodon.org

    Jul 23, 2025

  • Pre-observability #SoftwareEngineering #DistributedSystems #Observability

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401029

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401029

    Don't have an account? Find a server at joinmastodon.org

    Jul 2, 2025

  • Fix the new things first! #SoftwareEngineering #Reliability #Testing

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401039

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401039

    Don't have an account? Find a server at joinmastodon.org

    May 22, 2025

  • Finding a way to make on-call better #OnCall #SRE #Reliability

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401049

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401049

    Don't have an account? Find a server at joinmastodon.org

    May 22, 2025

  • The pragmatic magic of semi-formal methods #SoftwareEngineering #Testing #Reliability

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401059

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401059

    Don't have an account? Find a server at joinmastodon.org

    May 12, 2025

  • How Antithesis lets Clément Salaün of Formance sleep soundly at night #SoftwareEngineering #Reliability #Testing

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401069

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401069

    Don't have an account? Find a server at joinmastodon.org

    May 1, 2025

  • Antithesis for founders #Software #Reliability #Founders

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401078

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401078

    Don't have an account? Find a server at joinmastodon.org

    Apr 30, 2025

  • No power, no programs #SoftwareEngineering #DistributedSystems #Reliability

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401087

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401087

    Don't have an account? Find a server at joinmastodon.org

    Apr 2, 2025

  • Our own ~~worst~~ best customer #SoftwareTesting #Reliability #Engineering

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401096

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401096

    Don't have an account? Find a server at joinmastodon.org

    Mar 27, 2025

  • Hunting for one-in-a-million bugs in NATS #Software #Testing #Reliability

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401105

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401105

    Don't have an account? Find a server at joinmastodon.org

    Mar 18, 2025

  • Depth is all you need: how Antithesis crushes Gradius #SoftwareEngineering #Testing #DistributedSystems

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401114

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401114

    Don't have an account? Find a server at joinmastodon.org

    Feb 21, 2025

  • How to make your own luck #SoftwareEngineering #Reliability #Tech

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401123

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401123

    Don't have an account? Find a server at joinmastodon.org

    Feb 13, 2025

  • How much did Sony's recent PlayStation Network outage cost? #Tech #Business #Outage

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401132

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401132

    Don't have an account? Find a server at joinmastodon.org

    Feb 10, 2025

  • An interview with Mark Logan, Tech Lead for Sui Core #SoftwareEngineering #DistributedSystems #TechLeadership

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401140

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401140

    Don't have an account? Find a server at joinmastodon.org

    Jan 16, 2025
Older »