Essentials of programming with coding agents.

What does come next?

DRY, thesis, rm -rf and code style

Analyzing code, beauty and questions

Addiction, using LLMs to migrate old codebases and locales

Typst, atomic design, wireguard and server migration

Reflecting on error handling, nixOS, server admin and Data Oriented Design

This post explores a type-safe way to model complex, location dependent permissions.

Playing around with compiling expressions to WASM.

Some talks, that I think every software developer should watch.

Starting to build a lexer for my language.

Just some things, I have learned in the past 12 years of software development.

Just a few words about writing.

This post explores how to work and interact with the language.

This post lays down a rationale for choosing Rust as the implementation language for my toy compiler and sets up the project.

My overarching goal for 2024 is implementing a small, simple programming language, that compiles to WASM. This post is a reflection on how I got here and how I plan to do it.

Things to know when switching from linux to macOS.

This post just contains some setup code for Codemirror 6.

Based on the previous post about monoids, this post explores the same things in Haskell.

This post goes on a journey to try to motivate using semigroups and monoids in the real world.

Using checked exceptions in Java has always been a pain, especially since the release of Java 8. However, there are other ways of handling errors.