Posts on Lars Husted Vadgaard

Natural Deduction in Haskell Using the Curry-Howard Correspondence

Sat, 30 May 2026 00:00:00 +0000

Brief writeup on how to utilize the Curry-Howard correspondence to check natural deduction proofs encoded in Haskell at compile-time. {{< happy-kaomoji >}}

RIP: My Lovely Game Boy Camera

Fri, 22 May 2026 00:00:00 +0000

The Game Boy Camera is such an interesting piece of technology. That’s why it breaks my heart to announce that my unit is DEAD.. sort of. {{< sad-kaomoji >}}

Sequent: A Fitch-Style First-Order Logic Proof Language

Thu, 21 May 2026 00:00:00 +0000

A walkthrough of my small proof language and web app for teaching Fitch-style natural deduction, with custom rules, proof rendering, and clickable diagnostics.

The Best Keyboard for Everything

Wed, 20 May 2026 00:00:00 +0000

A quick showcase of my OLKB Planck Rev. 7, along with the switches and keycaps I’ve equipped it with.

The Best QMK Layout for Programming

Tue, 19 May 2026 00:00:00 +0000

A tour through the compact QMK keyboard layout I use across my Planck, Corne, and Ergodox, including the reasoning behind this specific arrangement.

Hello World!

Mon, 18 May 2026 00:00:00 +0000

Welcome to the new version of my homepage!!1 (╯✧▽✧)╯

No good reason for a redesign; the old version of my homepage simply got boring after a while, so I decided to spice things up.

I might write sporadic posts about different things that I find cool.

you've reached the end of the post
husted out ~ (｡･･｡)