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

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

This blog post from Marc Bowes might help with understanding pricing: marc-bowes.com/dsql-how-to-...

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

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

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

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.

Looks interesting! I’m curious what you’re using for your deterministic sim testing, is it turmoil or something else?

There’s some great quotes in there

“The most successful users adopt a relaxed, sporty attitude”

I’m also really enjoying The Hitchhikers Guide to Logical Verification. It’s dragging up memories of trying to do type inference with Haskell.