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

Posts

62

Posts

Rolling for our new initiative: Test Composer #SoftwareEngineering #Testing #Reliability
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401149
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401149
Don't have an account? Find a server at joinmastodon.org
Nov 20, 2024
Introducing our reactive Notebook: the paradigm devs deserve. #SoftwareDevelopment #Programming #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401161
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401161
Don't have an account? Find a server at joinmastodon.org
Nov 13, 2024
Your computer can test better than you (and that's a good thing) #SoftwareTesting #Automation #Reliability
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401171
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401171
Don't have an account? Find a server at joinmastodon.org
Nov 5, 2024
Crushing Castlevania with Antithesis #Software #Testing #Gaming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401183
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401183
Don't have an account? Find a server at joinmastodon.org
Sep 20, 2024
We gave $186,000 to 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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401190
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401190
Don't have an account? Find a server at joinmastodon.org
Sep 16, 2024
Debugging in the Multiverse #Software #Testing #Debugging
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401198
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401198
Don't have an account? Find a server at joinmastodon.org
Sep 10, 2024
In the labyrinth of unknown unknowns #SoftwareEngineering #Reliability #Systems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401217
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401217
Don't have an account? Find a server at joinmastodon.org
Aug 20, 2024
Software reliability, part 1: What is property-based testing? #SoftwareEngineering #Testing #Reliability
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401208
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401208
Don't have an account? Find a server at joinmastodon.org
Aug 20, 2024
The Testing Pyramid is upside-down #SoftwareEngineering #Testing #DevOps
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401226
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401226
Don't have an account? Find a server at joinmastodon.org
Aug 6, 2024
At the Mountains of Madness #Software #Testing #DistributedSystems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401234
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401234
Don't have an account? Find a server at joinmastodon.org
Jul 10, 2024
An ounce of prevention is worth a pound of cure #SoftwareEngineering #Reliability #Testing
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401242
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401242
Don't have an account? Find a server at joinmastodon.org
Jun 18, 2024
Solving Zelda with the Antithesis SDK #Software #Testing #Gaming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401250
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401250
Don't have an account? Find a server at joinmastodon.org
Jun 3, 2024
The worst bug we faced at Antithesis #SoftwareEngineering #Reliability #BugHunting
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401258
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401258
Don't have an account? Find a server at joinmastodon.org
May 21, 2024
From zero to first bug #SoftwareEngineering #Testing #Reliability
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401267
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401267
Don't have an account? Find a server at joinmastodon.org
May 9, 2024
Working with Antithesis at MongoDB #Software #Reliability #Testing
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401276
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401276
Don't have an account? Find a server at joinmastodon.org
Apr 22, 2024
How Antithesis finds bugs (with help from the Super Mario Bros.) #SoftwareEngineering #Testing #Reliability
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401284
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401284
Don't have an account? Find a server at joinmastodon.org
Apr 17, 2024
Antithesis announces Artificial General 8-bit Intelligence (AG8I) #AI #AGI #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401292
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401292
Don't have an account? Find a server at joinmastodon.org
Apr 1, 2024
So you think you want to write a deterministic hypervisor? #Software #Systems #Testing
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401300
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401300
Don't have an account? Find a server at joinmastodon.org
Mar 20, 2024
Announcing the Antithesis Open Source Giveaway Program #OpenSource #Giveaway #Community
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401310
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401310
Don't have an account? Find a server at joinmastodon.org
Feb 28, 2024
Testing the Ethereum merge #Software #Ethereum #Testing
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401316
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401316
Don't have an account? Find a server at joinmastodon.org
Feb 13, 2024
Accelerating developers at MongoDB #SoftwareEngineering #DeveloperProductivity #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401328
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401328
Don't have an account? Find a server at joinmastodon.org
Feb 13, 2024
Is something bugging you? #Software #Reliability #Testing
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401337
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22401337
Don't have an account? Find a server at joinmastodon.org
Feb 13, 2024