Archive - Burning the Midnight Coffee

Implementing Logic Programming

I just think it's neat!

Jun 13 •

May 2025

Tagged Pointers for Memory Safety

Seriously, the performance hit is not that bad, why not?

May 1 •

March 2025

Implementing Generic Types in C

There are various ways, but some are better than others.

Mar 16 •

January 2025

Object-Oriented Brain Rot

Is a square a subclass of rectangle or a rectangle a subclass of square?

Jan 31 •

November 2024

Borrow Checking from Scratch

Let us try to make a C-like language memory safe.

Nov 17, 2024 •

July 2024

Avoid Null Objects for Error Handling

They have their uses, but can easily lead to a mess if used naively.

Jul 27, 2024 •

June 2024

Tracing Garbage Collection for Arenas

Tracing GC is to Arenas what jelly is to peanut butter.

Jun 24, 2024 •

March 2024

Implementing scoped defer in C

Existing library implementations aren't quite what I want.

Mar 9, 2024 •

Memory Unsafety is an Attitude Problem

No amount of technical improvements can make up for jagoffs.

Mar 3, 2024 •

February 2024

Implementing Generators (yield) in C

The end result works better than you might expect.

Feb 19, 2024 •

Faults, Errors and Failures

You can't handle errors directly. It's complicated.

Feb 13, 2024 •

December 2023

How to store types after Semantic Analysis

There are many approaches with no clear "best way".

Dec 17, 2023 •

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts