The ultimate type-level trickery

How to actually write non-trivial programs in C

Write your own Zod from scratch

There are endless debates online about Rust vs. Zig, this post explores a side of the argument I don't think is mentioned enough.

I want sum types, so let's eschew all idiomatic Go code and best practices to hack the language and add them

An IDE/GUI for ffmpeg commands

Slaying the dragon

Just how much of mainstream programming has been influenced by FP?

Rambling about abstractions

A surprisingly fun read on type systems and programming languages

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

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

Notes/musings on the third chapter, currently in-progress

Notes on the second chapter

Using Tree-sitter to add syntax highlighting to my personal code editor, Glyph.

Exploring the ways WASM can replace domain-specific languages

Notes on the first chapter

Typescript is an amazing project, but a perplexing open-source blackbox

My own personal text editor built with Rust + OpenGL