Hi, my name is Isak 👋 I sometimes write some stuff, but I mostly don't. This is a collection of the posts I've written the few times I do write things.
Posts
-
A better ls in a 100 lines of Rust
December 04, 2023Don't you just hate how boring `ls` is? I mean, it just spits out the names of files and folders on a line, one after the other. Come on, it's not 1987 anymore. Let's try to make our own version, using Rust!
-
Introduction to Rust
December 01, 2022Why has Rust been voted the most beloved programming language – seven years in a row, ever since it got released? What's the hype about? Read along to get a glimpse of Rust, without having to read boring documentation. We'll introduce Rust, bit-by-bit, by writing a simple CLI program that parses a list of HTTP requests and executes them.
-
Dependent types and Idris
December 09, 2020Often when we write code we have a clear idea in our minds of how to write the code, but when we actually write it, the compiler steps in and points out a few things for us. In statically-typed programming languages, we can get a lot of help from the compiler. One especially nice feature is compile-time checked exhaustive pattern-matching. What if we could take this a bit further?
-
Letting functions in
December 05, 2020When writing view-logic, there's always tons of stuff that needs to be processed in some small way. Either texts that need to be translated, numbers that need a thousand-separator, etc. Oftentimes, these things can clutter up the code and make it harder to understand what really is going on. Let functions help you out, locally!