John Murray
@johns.codes
Software engineer @ antithesis
Always trying to talk about nix or rust...
Blog: Johns.codes
Always trying to talk about nix or rust...
Blog: Johns.codes
Reposted by John Murray
Takin a rip from this and blowing the fattest clouds
October 8, 2025 at 12:00 AM
Takin a rip from this and blowing the fattest clouds
Reposted by John Murray
Reposted by John Murray
Developer Voices by @krisajenkins.bsky.social is one of our favorite podcasts at AntithesisHQ and he's just given our office metal band a name.
While you wait for their first album to drop, perhaps you'd like to watch his interview with Will Wilson? Links below.
While you wait for their first album to drop, perhaps you'd like to watch his interview with Will Wilson? Links below.
September 11, 2025 at 4:26 PM
Developer Voices by @krisajenkins.bsky.social is one of our favorite podcasts at AntithesisHQ and he's just given our office metal band a name.
While you wait for their first album to drop, perhaps you'd like to watch his interview with Will Wilson? Links below.
While you wait for their first album to drop, perhaps you'd like to watch his interview with Will Wilson? Links below.
Reposted by John Murray
How do you test software, if you want to be *really* thorough about it? To answer that question this week we're going as far back as the 8-Bit Nintendo, as far down as the CPU, and nearly as far up and away as Mars. Will Wilson joins me to explore how far you can push testing…
youtu.be/_xJ4maWhSNU
youtu.be/_xJ4maWhSNU
From Unit Tests to Whole Universe Tests (with Will Wilson)
YouTube video by Developer Voices
youtu.be
September 10, 2025 at 3:40 PM
How do you test software, if you want to be *really* thorough about it? To answer that question this week we're going as far back as the 8-Bit Nintendo, as far down as the CPU, and nearly as far up and away as Mars. Will Wilson joins me to explore how far you can push testing…
youtu.be/_xJ4maWhSNU
youtu.be/_xJ4maWhSNU
Reposted by John Murray
i constantly think about this post
September 3, 2025 at 3:15 AM
i constantly think about this post
Reposted by John Murray
Snort laughed at work
August 28, 2025 at 3:28 PM
Snort laughed at work
Reposted by John Murray
Remember how our platform plays #Nintendo games in its spare time?
That's our #fuzzer learning to bomb-jump in #Metroid. Will wrote the story in a real labor of love. Link in first comment.
Happy Friday!
antithesis.com/blog/2025/me...
That's our #fuzzer learning to bomb-jump in #Metroid. Will wrote the story in a real labor of love. Link in first comment.
Happy Friday!
antithesis.com/blog/2025/me...
August 22, 2025 at 1:21 PM
Remember how our platform plays #Nintendo games in its spare time?
That's our #fuzzer learning to bomb-jump in #Metroid. Will wrote the story in a real labor of love. Link in first comment.
Happy Friday!
antithesis.com/blog/2025/me...
That's our #fuzzer learning to bomb-jump in #Metroid. Will wrote the story in a real labor of love. Link in first comment.
Happy Friday!
antithesis.com/blog/2025/me...
Reposted by John Murray
If there were a single lesson I'd drill into new software engineers it'd be this:
You can be technically right and politically and systemically dead wrong.
You can be technically right and politically and systemically dead wrong.
August 17, 2025 at 11:52 PM
If there were a single lesson I'd drill into new software engineers it'd be this:
You can be technically right and politically and systemically dead wrong.
You can be technically right and politically and systemically dead wrong.
One of my favorite uses of llms so far has been migrating config.
I wanted to play around with hyprland after using i3 for a long time. I pointed the LLM at my nixos config for i3 and it migrated everything without issue
I wanted to play around with hyprland after using i3 for a long time. I pointed the LLM at my nixos config for i3 and it migrated everything without issue
August 18, 2025 at 12:35 PM
One of my favorite uses of llms so far has been migrating config.
I wanted to play around with hyprland after using i3 for a long time. I pointed the LLM at my nixos config for i3 and it migrated everything without issue
I wanted to play around with hyprland after using i3 for a long time. I pointed the LLM at my nixos config for i3 and it migrated everything without issue
Reposted by John Murray
It’s 2050 and a teen girl is torrenting a .tar.gz file of all the consciousnesses of all the tech bros who uploaded themselves into the cloud in a bid for immortality and modding them into The Sims 4
August 14, 2025 at 4:24 PM
It’s 2050 and a teen girl is torrenting a .tar.gz file of all the consciousnesses of all the tech bros who uploaded themselves into the cloud in a bid for immortality and modding them into The Sims 4
Reposted by John Murray
Welcome to Antithesis: a Gold sponsor of #rustconf25! Support from sponsors like Antithesis helps the Rust Foundation put on an amazing event for the #rustlang community.
Learn more about Antithesis @ antithesis.com/industries/d... & get ready to see them at #rustconf 🎉
Learn more about Antithesis @ antithesis.com/industries/d... & get ready to see them at #rustconf 🎉
August 6, 2025 at 6:26 PM
Welcome to Antithesis: a Gold sponsor of #rustconf25! Support from sponsors like Antithesis helps the Rust Foundation put on an amazing event for the #rustlang community.
Learn more about Antithesis @ antithesis.com/industries/d... & get ready to see them at #rustconf 🎉
Learn more about Antithesis @ antithesis.com/industries/d... & get ready to see them at #rustconf 🎉
Reposted by John Murray
Sure, sex is cool, but, have you ever refactored your NixOS config?
July 30, 2025 at 7:02 PM
Sure, sex is cool, but, have you ever refactored your NixOS config?
Reposted by John Murray
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
Hear the full story, told by the FDB founders, on the first episode of Antithesis's new BugBash podcast.
#databs
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...
podcasts.apple.com
July 25, 2025 at 5:52 PM
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
Hear the full story, told by the FDB founders, on the first episode of Antithesis's new BugBash podcast.
#databs
Reposted by John Murray
this summer, before you drink a glass of water, ask yourself: does claude need it more?
July 20, 2025 at 11:42 PM
this summer, before you drink a glass of water, ask yourself: does claude need it more?
Reposted by John Murray
KNOWING COMPUTER SHIT:
pros: being able to figure out some silly bullshit issue and cobble a fix together
cons: [crying, screaming, throwing up, etc]
pros: being able to figure out some silly bullshit issue and cobble a fix together
cons: [crying, screaming, throwing up, etc]
July 3, 2025 at 12:59 PM
KNOWING COMPUTER SHIT:
pros: being able to figure out some silly bullshit issue and cobble a fix together
cons: [crying, screaming, throwing up, etc]
pros: being able to figure out some silly bullshit issue and cobble a fix together
cons: [crying, screaming, throwing up, etc]
Reposted by John Murray
this is how i feel about unsafe Rust code that takes a reference to the deref of a raw pointer
June 26, 2025 at 10:21 PM
this is how i feel about unsafe Rust code that takes a reference to the deref of a raw pointer
Reposted by John Murray
🚀 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-...
It visualizes nemesis workloads like:
⚡ Attrition
🌐 Network Splits
⏳ Induced Latencies
Check it out here 👉 github.com/PierreZ/fdb-...
April 28, 2025 at 2:56 PM
🚀 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-...
It visualizes nemesis workloads like:
⚡ Attrition
🌐 Network Splits
⏳ Induced Latencies
Check it out here 👉 github.com/PierreZ/fdb-...
Reposted by John Murray
New blogpost published! "So, You Want to Learn More About Deterministic Simulation Testing?"
So, You Want to Learn More About Deterministic Simulation Testing?
A curated collection of resources about deterministic simulation testing for distributed systems.
pierrezemb.fr
April 11, 2025 at 2:51 PM
New blogpost published! "So, You Want to Learn More About Deterministic Simulation Testing?"
Reposted by John Murray
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.
7yr old watching over my shoulder: what's an 'update'? wait, i know! it's when you make something better!
me: ....... not necessarily.
March 10, 2025 at 6:27 PM
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.
7yr old watching over my shoulder: what's an 'update'? wait, i know! it's when you make something better!
me: ....... not necessarily.
Reposted by John Murray
tigerbeetle.com/blog/2025-02...
On our introduction of generative end-to-end testing of the TigerBeetle database.
On our introduction of generative end-to-end testing of the TigerBeetle database.
A Descent Into the Vᴏ̈ʀᴛᴇx | TigerBeetle Blog
Insights, updates, and technical deep dives on building a high-performance financial transactions database.
tigerbeetle.com
February 13, 2025 at 12:29 PM
tigerbeetle.com/blog/2025-02...
On our introduction of generative end-to-end testing of the TigerBeetle database.
On our introduction of generative end-to-end testing of the TigerBeetle database.
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
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
Skip, the reactive framework
Makes your backend reactive so you can ship better features faster.
skiplabs.io
February 13, 2025 at 3:52 AM
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
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
Reposted by John Murray
WILLEM DAFOE: what skills do you have?
ME: I am pretty good at getting people to like me
WILLEM DAFRIEND: I agree
ME: I am pretty good at getting people to like me
WILLEM DAFRIEND: I agree
February 4, 2025 at 12:13 AM
WILLEM DAFOE: what skills do you have?
ME: I am pretty good at getting people to like me
WILLEM DAFRIEND: I agree
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
I gave the logs to chatgpt for a hail mary
"There’s a lot going on in the log"
you're telling me buddy
February 4, 2025 at 1:55 AM
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
I gave the logs to chatgpt for a hail mary
"There’s a lot going on in the log"
you're telling me buddy
Reposted by John Murray
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!
From a technical perspective, it’s probably our most ambitious project yet. We’re about 800 PRs deep!
January 29, 2025 at 5:18 PM
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!
From a technical perspective, it’s probably our most ambitious project yet. We’re about 800 PRs deep!
Reposted by John Murray
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
I will be at #bugbash in Washington next April 🐛
https://buff.ly/3Wz9ENm
January 29, 2025 at 9:14 AM
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
I will be at #bugbash in Washington next April 🐛
https://buff.ly/3Wz9ENm