John Murray

Sure, sex is cool, but, have you ever refactored your NixOS config?

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

this summer, before you drink a glass of water, ask yourself: does claude need it more?

KNOWING COMPUTER SHIT:
pros: being able to figure out some silly bullshit issue and cobble a fix together

cons: [crying, screaming, throwing up, etc]

screenshot of dril tweet: “i put years of hard work into getting my torture degree at torture college & now everyones like “oh tortures bad”,”its ineffective” fuck off”

this is how i feel about unsafe Rust code that takes a reference to the deref of a raw pointer

🚀 Had some fun hacking together a new TUI (with @ratatui_rs) to dig into the #FoundationDB #simulation framework!

It visualizes nemesis workloads like:
⚡ Attrition
🌐 Network Splits
⏳ Induced Latencies

Check it out here 👉 github.com/PierreZ/fdb-...

So, You Want to Learn More About Deterministic Simulation Testing? A curated collection of resources about deterministic simulation testing for distributed systems.

New blogpost published! "So, You Want to Learn More About Deterministic Simulation Testing?"

me: *running brew update*

7yr old watching over my shoulder: what's an 'update'? wait, i know! it's when you make something better!

me: ....... not necessarily.

A Descent Into the Vᴏ̈ʀᴛᴇx | TigerBeetle Blog Insights, updates, and technical deep dives on building a high-performance financial transactions database.

tigerbeetle.com/blog/2025-02...

On our introduction of generative end-to-end testing of the TigerBeetle database.

At the end of the day, if you have pure deterministic code, you can make a lot of simplifying assumptions on when you need to compute stuff since you can easily cache anything.

GitHub - salsa-rs/salsa: A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system. A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system. - salsa-rs/salsa

While not reactive I've had a lot of fun using github.com/salsa-rs/sal... for a side project.

This mostly lets you write "lazy" code and you can just assume only the things that need to be computed will be (aka caching "for free")

Introducing our reactive Notebook: the paradigm devs deserve. Can we build better DX with a change in perspective?

At my job we have a fully reactive coding environment antithesis.com/blog/noteboo...

Its an absolute joy to work in do make UIs since you see the UI change as you type.

Though I've come across some very strange edge cases when working on the internals that don't spark joy... (its still dope)

Skip, the reactive framework Makes your backend reactive so you can ship better features faster.

skiplabs.io seems to be gaining some traction today.

I think these "reactive" environments are incredibly fun when they work well but can lead to some gnarly bugs when they don't

As the DX improves I could see this become the standard way to make an app going forward

WILLEM DAFOE: what skills do you have?

ME: I am pretty good at getting people to like me

WILLEM DAFRIEND: I agree

Doing the classic "try to get nvidia drivers work well on linux", caused a crash.

I gave the logs to chatgpt for a hail mary

"There’s a lot going on in the log"

you're telling me buddy

We’re building a new static type checker for Python, from scratch, in Rust.

From a technical perspective, it’s probably our most ambitious project yet. We’re about 800 PRs deep!

Wow, a conference with a totally insane speaker list on my birthday? Thanks 🤩

I will be at #bugbash in Washington next April 🐛

https://buff.ly/3Wz9ENm

The repo is private while i work on it. Hopefully can share it in a few months!

Screenshot of vscode showing a small portion of nix type checker

I've been cooking up something that could be pretty sweet for #nix

I've used some of github.com/oxalica/nil as a base to start a hopefully decently usable nix type checker.

I only have small subset of the lang supported right now so will probably hit some road block, but good for now!

Where are the #nixos Stan's at....