Post

Antithesis
@antithesis.com

On today's episode of the Bug Bash podcast, Jesse Jiryu Davis (@emptysqua.re), Senior Staff Research Engineer at MongoDB, joins Carl Sverre (@f0a.org) to talk about MongoDB's journey with formal verification – and his own.

youtu.beReplication Before Raft: 15 Years of Correctness at MongoDBAI makes writing code faster, but shouldn’t it make software better, too? Today, Jesse Jiryu Davis, Senior Staff Research Engineer at MongoDB joins Carl Sverre to discuss why the time saved by AI…

1 repost0 likes

Antithesis
@antithesis.com

He shares what it was like to build a custom replication protocol using TLA+, how he realized you can work in TLA+ without a PhD, and what formal methods might look like in a rapidly-approaching future.

youtu.beReplication Before Raft: 15 Years of Correctness at MongoDBAI makes writing code faster, but shouldn’t it make software better, too? Today, Jesse Jiryu Davis, Senior Staff Research Engineer at MongoDB joins Carl Sverre to discuss why the time saved by AI…