Dev Log

How I formally verified grocery suggestions with Lean 4 and used Differential Random Testing to bridge it to Haskell production code

AI sounds like an expert, even if not.

My personal workflow with coding agents, the hard work is not gone, it moved to writing the requirements.

A minimal comment convention that makes it obvious when the AI agent stopped following instructions

How I use AI to enter flow state instead of replacing it - and why I choose to do the hard parts myself

Flip the script: let AI write the plan, I code, and the LLM sorts through my mess.

How I use AI to keep always-up-to-date project summaries with zero manual integration work, turning previously cumbersome knowledge management into effortless capture

A skill that helps humans get oriented in pull requests, because reviewing is still your job

A distributed system for AI-assisted recurring tasks across your machine, with TTL so nothing runs forever

Port your Vim muscle memory to Cursor and feel at home again

How I set up a system to capture, organize, prioritize and execute all the work I am doing and to ensure I don’t forget anything I need to do and to keep as few things as possible in my head

An easy way to convert books from your kindle amazon library to any format with calibre.

Get the best of Vim right into IntelliJ

Notes about using awk

Easy continuous integration and delivery for Haskell, with Travis, Docker and Digitalocean

How to write a Chrome / Firefox Plugin with Elm Lang

How to generate Elm Functions from a Haskell Servant Api Backend

Make your notion images text searchable like evernote does

Substitute across all files in a project in Vim

Synchronize from the kindle to notion.

A summary of Lambda World 2019

Dotty comes with its own language server and does not run with coc vim out of the box.

I really like the zoom feature of tmux.

With this commit vim-test now allows for running test in Haskell with Stack and HSpec.

Having the test results in-line in the quickfix list (:h quickfix) can be really helpful, as it allows fast test feedback and easy…

The command is awesome in Vim, as it let's you search for the word currently under the cursor as in: star keystrokes: But unfortunately if…

One thing I was still missing a little bit after switching from IntelliJ to Vim was being able to quickly switch between the file I am…

Today I learned about a great command to increase numbers in Vim!

Basics Infix style Data Types Type constructor Data constructor newtype just a efficient wrapper around single value if then else pattern…