Ben Schofield
benjscho.bsky.social
Ben Schofield
@benjscho.bsky.social
Software dev at AWS, working on DSQL

Learning more about distributed systems, formal methods, living well. Trying to write software that doesn’t get me paged
TIL (thanks to this paper) that common 64-bit systems are only using 48-bits of that to actually address memory. Still leaving a cool 256TB max addressable size
December 14, 2025 at 5:44 AM
Zig’s fun, I like the explicit error handling and fast compile times. I struggled a bit getting some of the simpler things set up, like reading from a file, mainly because the documentation is lacking in examples for the latest version
December 1, 2025 at 9:20 PM
This blog post from Marc Bowes might help with understanding pricing: marc-bowes.com/dsql-how-to-...
Aurora DSQL: How to spend a dollar
marc-bowes.com
June 3, 2025 at 3:29 AM
By taking the time to encode some safety property in the type system, you save yourself time and pain down the line in explaining how to use it or preventing misuse
January 12, 2025 at 4:56 PM
This is why I’m particularly excited for cargo scripts to be stabilized into Cargo. This is just a single file, it doesn’t really need to be a crate
December 23, 2024 at 3:53 PM
Rust is a surprisingly great scripting language. While I could fiddle around with bash, awk or see to get something working, without tests it would be more brittle. Rust makes it easy to create a really handy micro utility without spending a lot of time
December 23, 2024 at 3:52 PM
Very nice! I haven’t heard of madsim before, will take a look.

I love working with sim tests, would be very frustrating to do this kind of thing without.
December 20, 2024 at 10:20 PM
Looks interesting! I’m curious what you’re using for your deterministic sim testing, is it turmoil or something else?
December 20, 2024 at 10:12 PM
There’s some great quotes in there

“The most successful users adopt a relaxed, sporty attitude”
December 20, 2024 at 3:01 PM
I’m also really enjoying The Hitchhikers Guide to Logical Verification. It’s dragging up memories of trying to do type inference with Haskell.
December 20, 2024 at 3:00 PM