Akshay Shah

YouTube video by South Bay Systems ChatGPT Ain’t Got $%@& On Me! The Future of Automated Database Tuning

Recording for those who missed the talk:
www.youtube.com/watch?v=Xdg3...

I had a great time talking to Ben and Will from Antithesis on the BugBash podcast about software testing and validation at AWS.

In this wide-ranging hour we talk deterministic simulation testing, fuzzing, formal methods, the history and future of testing, and much more.

YouTube video by Antithesis Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS

Especially loved the conversation about AI-assisted coding (starting at 38:00)! The best tests really are executable specifications.

youtu.be/UGdMf7tC25Y?...

YouTube video by Antithesis Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS

Ever wonder where deterministic simulation testing came from? On Episode 2 of the Bug Bash podcast, hear @marcbrooker.bsky.social talk to Will and Ben about how AWS achieves their legendary reliability.

youtu.be/UGdMf7tC25Y

open.spotify.com/show/5GtS7mZjc…

podcasts.apple.com/us/podcast/the���

/whisper builders...

Sparks big Ned Ludd feels

Ah well, it was worth trying!

This release bundles an MCP server into gopls!

(Mostly) Deterministic Simulation Testing in Go How we used WASM and some Go runtime modifications to run deterministic simulation tests against FrostDB

@brancz.com @asubiotto.com Are any Polar Signals engineers passing through San Francisco this fall? I'm looking for some speakers for a local meetup, and www.polarsignals.com/blog/posts/2... would make for a fantastic talk.

If the hosts offered the author(s) the chance to join the discussion, do you think they'd take it? Feels like an nice publicity boost for the work and a chance to prepare for higher-stakes presentations or talks.

Home screen zero? Bold, I love it.

The BugBash Podcast Technology Podcast · Updated Semiweekly · The BugBash podcast is a lively look at all aspects of software reliability, by enthusiasts, for everyone. Each episode brings leading engineers and research...

Available on your platform of choice:

podcasts.apple.com/us/podcast/t...

open.spotify.com/episode/3YLd...

youtube.com/playlist?list=

The BugBash Podcast Technology Podcast · Updated Semiweekly · The BugBash podcast is a lively look at all aspects of software reliability, by enthusiasts, for everyone. Each episode brings leading engineers and research...

Today, FoundationDB is critical infra at Snowflake, Deepseek, Apple, and many other companies. But it started with some guys in a garage, building a demo with plywood and light bulbs...

Hear the full story, told by the FDB founders, on the first episode of Antithesis's new BugBash podcast.

#databs

Can’t get better than Antithesis and Jepsen together!

Maybe the peeing-in-bottles regime and the accurate ETAs are both downstream of surveillance and data collection that competitors haven’t yet matched?

This is great! It’s a little wild that one of the other Vitess co-creators and Planetscale founders is doing effectively the same thing at Supabase.

Isn't that true of every Hetzner offering?

Interesting! I didn’t follow the final section (“Misleading”) - isn’t is valuable for the client system to know that all attempts to send a given message got ECONNREFUSED, so it’s safe to retry even if the request is not idempotent? Or is the argument that retrying like this is bad in general?

Uber invented Apache Hudi and uses it extensively. They’re very aware of Snowflake-style systems 😉

YouTube video by Antithesis Controlled Concurrency Testing for JVM Programs by Rohan Padhye | DC Systems 006

Here’s the author giving a talk on it: youtu.be/AX6Pqz8gSYY?...

Envoy has a similar mechanism for running out of process filters:

www.envoyproxy.io/docs/envoy/l...

ClickStack: A High-Performance OSS Observability Stack on ClickHouse We're delighted to announce ClickStack: the open-source observability stack built on ClickHouse - logs, metrics, traces, and session replay in one blazing-fast, developer-friendly platform.

🚨 BSL incoming! 🚨

There’s no way that ClickHouse will keep letting competitors build on open source ClickHouse.

clickhouse.com/blog/clickst...

Hatching Twitter: A True Story of Money, Power, Friendship, and Betrayal A True Story of Money, Power, Friendship, and Betrayal

Hatching Twitter was a great read. On to Character Limit!

bookshop.org/p/books/hatc...

From the announcement video, it sounds like DuckLake supports multi-table transactions.

My left eye twitches just reading this 😅

This would be a very interesting addition to CockroachDB. The last time I used it, it was hard to get decent performance without explicitly specifying table interleaving in the DDL.

Also a super common mistake in Go, unfortunately.

Can’t get over how much engineering effort went into Confluent’s Freight offering, only for it to be sold at a price point that’s still unfathomably enormous for high-volume workloads. The whole thing was just nuked from orbit by the innovator’s dilemma.

Huh - TIL that Motherduck isn’t actually the company behind DuckDB.

I didn't follow CockroachDB's relicensing closely. Naively, it seems like there's a business here: fork the 22.x releases the moment they're Apache 2 and start a company providing ongoing patches and enterprise support.