zackoverflow

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

“Bimonthly” is a terrible word.

An IDE/GUI for ffmpeg commands

Slaying the dragon

TLDR; I came across Typescript’s lesser known symbols to fix a problem in our codebase, but then realized it could be extended to unlock even stronger type-safety guarantees

I’ve recently decided to re-embark on a journey to becoming adept at WebGPU and graphics programming in general. I’ve experimented with OpenGL, creating my own text editor, but I still feel like I need to patch up some holes in my mathematical knowledge.

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

A surprisingly fun read on type systems and programming languages

Rambling about abstractions

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

At almost 500 pages in, I’ve completed about half of the wizard book (chapters 1-3) and I’ve decided to take a break from reading it.

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