He’s in his own class ^-^

Posy makes for a good reference (and the music (e.g. on spotify) is really good background for tasks) youtu.be/RTB5XhjbgZA

Although in woodworking you can measure once and cut zero times if you realize that your whole plan is shot and nothing’s going to fit

just like programming!

I know a tool you could use to check that!

Typst learned this lesson! We use it with heavy caching in the compiler to make incremental updates fast so documents update as you type

Oops, I wrote this from memory and forgot the 1/2 cup of vegetable oil to add to the liquids!

Quotes around “family” because family recipes almost universally come from a standard cooking book at some point and then lose that context over generations of family gatherings and word of mouth sharing

Oh my gosh. Thanks for sharing, the drama is great

I found the Par language recently which has a really cool recursive type structure that seems designed to verify totality (but still has an “unfounded” escape hatch they’re trying to remove)

faiface.github.io/par-lang/typ...

Yeah, Zig chooses different points on the low-level ergonomics vs safety curve than Rust, but both have super respectable designs for their niches. Rust’s safe/unsafe distinction is much better suited to formal verification, but Zig is going to be lighter weight and compile faster for many uses

Very proud to have gotten github.com/typst/typst/... merged so we can write `if x is … {}` in Typst. A very unfortunate forced error in Rust