Coding on an e-ink monitor
How often does Python allocate?
The answer is "very often"
I spent 181 minutes waiting for the Zig compiler this week
TLDR; The Zig compiler takes about 1 minute and 30 seconds to compile debug builds of Bun. Zig's language server doesn't do basic things like type-checking, so often have to run the compiler to see if my code works.
Flappy Bird Implemented in Typescript types
The ultimate type-level trickery
How to Actually Write C
How to actually write non-trivial programs in C
Write your own Zod
Write your own Zod from scratch
When Zig is safer and faster than Rust
There are endless debates online about Rust vs. Zig, this post explores a side of the argument I don't think is mentioned enough.
Hacking Go to give it sum types
I want sum types, so let's eschew all idiomatic Go code and best practices to hack the language and add them
The Worst Word in the English Language
ffmpeg.guide
An IDE/GUI for ffmpeg commands
Reading Notes — The Dragon Book
Slaying the dragon
Unlocking type-safety superpowers in Typescript with nominal and refinement types
"Foundations of Game Engine Development, Volume 1: Mathematics"
Functional Programming's Influence on Mainstream Programming
Just how much of mainstream programming has been influenced by FP?
Reading Notes — Types and Programming Languages
A surprisingly fun read on type systems and programming languages
Premature Abstraction is the Root of All Evil
Rambling about abstractions
tyty
TLDR; I'm making a Typescript type-checker in Rust. Right now it supports a smaller subset of the type-system and exists as a fun side-project, but the end goal is a compilation tool we can use to make Typescript compilation go brrrr...
Taking a break from SICP
Go Generics and Static Dispatch
Interfaces rely on slow dynamic-dispatch, but generics could open the door to performance boosts with the ability to leverage the cache-friendliness of static dispatch