Read More »
Software Engineer @ Google
Customizing my shell: From bash to zsh to fish
When I am coding, I use the terminal a lot. For around one year now, I have settled for the fish shell. In this post, I want to explain how I got there, why I am very happy with fish, and how I have configured it.
Adding full-text search to a static site (= no backend needed)
I recently added a search feature to this blog. But the blog is still a static site, a bunch of files, without any sort of backend API or third party API. This post explains how I achieved that!
Caddy web server: Why use it? How to use it?
I am a big fan of the Caddy web server because of its automatic HTTPS & nice config file format. In this post, I'll explain why & how I use Caddy, and explain config options that make Caddy even better for me.
Latest “Today I Learned” Snippets
JSON5: JSON with comments (and more!)
jq: Analyzing JSON data on the command line
Get Total Directory Size via Command Line
See all TILs
Recently Updated Documents
Improving one's coding skills: Best Practices & Resources
In this document, I present my favorite best practices & resources on improving one's coding skills.
My OS setup
I use both macOS & Windows. This is a collection of how my systems are configured & which programs I have installed. Useful when setting up a new machine from scratch.
Resources: Learning web languages the modern way
Programming languages that are used for web development have changed significantly over the latest years. This means that there exist many old guides that teach outdated knowledge. This document is an attempt to collect resources that teach the respective language the "modern" way.