John Murray's Avatar

John Murray

@johns.codes

Software engineer @ antithesis Always trying to talk about nix or rust... Blog: Johns.codes

60
Followers
213
Following
10
Posts
19.10.2024
Joined
Posts Following

Latest posts by John Murray @johns.codes

Post image
07.03.2026 17:12 πŸ‘ 200 πŸ” 17 πŸ’¬ 3 πŸ“Œ 1
Preview
DC Systems 014 Β· Luma https://dcsystems.xyz/ DC Systems is an independent tech talk series focused on systems programming here in DC and the broader DMV area. We're focused on high…

DC Systems 14 will be Tuesday, March 10th!

Peter Tong will talk about Optimal Real-Time Locking

John Kastner will talk about Clang’s experimental bounds safety extension.

As always: pizza and beer will be provided.

Please come hear some great talks: luma.com/90ss30d2

24.02.2026 19:59 πŸ‘ 4 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0
Post image

Type-safe, type-unsafe, single-thread, multi-thread, getting Rust and C++ to work together on this project was like using crabs as gears. Michael Gibson and Shuxian Wang brought down the house at #RustUnconf this year with this story, and here it is on our blog. Link below.

29.01.2026 14:31 πŸ‘ 2 πŸ” 1 πŸ’¬ 1 πŸ“Œ 1
Post image

Incredibly excited to talk at Software Should Work!

Isaac has gathered an amazing group of speakers. It should be a great conference!

Buy your tickets! softwareshould.work

27.01.2026 15:13 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

#rustlang hot take: We should rename .unwrap() to .or_panic(). (And .expect() to .or_panic_with().) "Unwrap" is a terrible name for the panicking function, especially since we also have things like .unwrap_or() and .unwrap_or_default() which never panic.

19.11.2025 07:32 πŸ‘ 475 πŸ” 67 πŸ’¬ 36 πŸ“Œ 11
8bitdo GameCube adapter thing on Amazon, looks like a vape

8bitdo GameCube adapter thing on Amazon, looks like a vape

Takin a rip from this and blowing the fattest clouds

08.10.2025 00:00 πŸ‘ 787 πŸ” 152 πŸ’¬ 15 πŸ“Œ 3
Post image
30.09.2025 20:32 πŸ‘ 4878 πŸ” 832 πŸ’¬ 25 πŸ“Œ 16
Post image

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.

11.09.2025 16:26 πŸ‘ 2 πŸ” 1 πŸ’¬ 2 πŸ“Œ 1
From Unit Tests to Whole Universe Tests (with Will Wilson)
From Unit Tests to Whole Universe Tests (with Will Wilson) YouTube video by Developer Voices

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

10.09.2025 15:40 πŸ‘ 13 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0
Post image

i constantly think about this post

03.09.2025 03:14 πŸ‘ 14045 πŸ” 3381 πŸ’¬ 94 πŸ“Œ 89
A Threads post by jlangd reading β€œStraight up, let's get this out right now:
Taylor's not changing her name.
Do NOT call her Taylor Kelce
Do NOT call her Mrs. Kelce.
DO NOT call her Mrs. Travis Kelce.
She. Is. TAYLOR. SWIFT.
She has worked her ASS off to make HER name in show business. Do not belittle her.” with a reply from dril reading β€œshe is changing her name to "jared folgel". it was on the news”

A Threads post by jlangd reading β€œStraight up, let's get this out right now: Taylor's not changing her name. Do NOT call her Taylor Kelce Do NOT call her Mrs. Kelce. DO NOT call her Mrs. Travis Kelce. She. Is. TAYLOR. SWIFT. She has worked her ASS off to make HER name in show business. Do not belittle her.” with a reply from dril reading β€œshe is changing her name to "jared folgel". it was on the news”

Snort laughed at work

28.08.2025 15:28 πŸ‘ 5406 πŸ” 1211 πŸ’¬ 4 πŸ“Œ 27
Video thumbnail

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...

22.08.2025 13:21 πŸ‘ 1 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0

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.

17.08.2025 23:52 πŸ‘ 149 πŸ” 27 πŸ’¬ 5 πŸ“Œ 3

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

18.08.2025 12:35 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

14.08.2025 16:24 πŸ‘ 8473 πŸ” 2395 πŸ’¬ 6 πŸ“Œ 168
Post image

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 πŸŽ‰

06.08.2025 18:26 πŸ‘ 5 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0

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

30.07.2025 19:02 πŸ‘ 56 πŸ” 16 πŸ’¬ 4 πŸ“Œ 2
Preview
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

25.07.2025 17:52 πŸ‘ 7 πŸ” 3 πŸ’¬ 1 πŸ“Œ 0
Post image

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

20.07.2025 23:42 πŸ‘ 241 πŸ” 37 πŸ’¬ 6 πŸ“Œ 2

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

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

03.07.2025 12:59 πŸ‘ 741 πŸ” 208 πŸ’¬ 1 πŸ“Œ 0
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”

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

26.06.2025 22:21 πŸ‘ 142 πŸ” 7 πŸ’¬ 1 πŸ“Œ 0
Post image Post image Post image

πŸš€ 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-...

28.04.2025 14:56 πŸ‘ 2 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Preview
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?"

11.04.2025 14:51 πŸ‘ 5 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0

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.

10.03.2025 18:27 πŸ‘ 45 πŸ” 4 πŸ’¬ 4 πŸ“Œ 0
Preview
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.

13.02.2025 12:29 πŸ‘ 5 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

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.

13.02.2025 03:52 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
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")

13.02.2025 03:52 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Preview
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)

13.02.2025 03:52 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Preview
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

13.02.2025 03:52 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

WILLEM DAFOE: what skills do you have?

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

WILLEM DAFRIEND: I agree

04.02.2025 00:13 πŸ‘ 463 πŸ” 109 πŸ’¬ 5 πŸ“Œ 0