Formal Verification in Any Language for Everybody
How I formally verified grocery suggestions with Lean 4 and used Differential Random Testing to bridge it to Haskell production code
Dev Log
Dev Log
Latest posts
Everyone is an expert now
AI sounds like an expert, even if not. And thanks to that, everyone sounds like an expert, even if not.
My AI dev workflow - building the right thing
My personal workflow with coding agents, the hard work is not gone, it moved to writing the requirements.
I Have Trust Issues With My AI. Canary Comments Help.
A minimal comment convention that makes it obvious when the AI agent stopped following instructions
AI to stay in Flow - a personal decision on how I chose to (not) use AI
How I use AI to enter flow state instead of replacing it - and why I choose to do the hard parts myself
Jokes on you AI: Turning the Tables - LLMs for Learning
Flip the script: let AI write the plan, I code, and the LLM sorts through my mess. A personalized approach to technical learning with Claude Code.
AI-Powered Project Knowledge Management with Obsidian
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
PR Review Navigator: AI-Assisted Review Orientation
A skill that helps humans get oriented in pull requests, because reviewing is still your job
Click: Recurring Tasks for Claude
A distributed system for AI-assisted recurring tasks across your machine, with TTL so nothing runs forever
Vursor: All the best of Vim in Cursor (or VSCode)
Port your Vim muscle memory to Cursor and feel at home again
A systematic approach to organizing yourself with Obsidian
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
Remove the DRM from your Kindle Ebooks
An easy way to convert books from your kindle amazon library to any format with calibre.
VimtelliJ: All the best of Vim in IntelliJ
Get the best of Vim right into IntelliJ
Awk Cheatsheet
Notes about using awk
Deploying Haskell: Painless CI/CD with Travis, Docker and Digitalocean (or any linux VM)
Easy continuous integration and delivery for Haskell, with Travis, Docker and Digitalocean
Writing a Chrome Plugin with Elm
How to write a Chrome / Firefox Plugin with Elm Lang
HElm: Derive Elm Functions from Haskell Servant
How to generate Elm Functions from a Haskell Servant Api Backend
Search In Your Notion Images – 🖼 to ✍ for Notion
Make your notion images text searchable like evernote does
Vim: Substitute across all files
Substitute across all files in a project in Vim
Sync your Kindle Highlights to Notion: 📓 + 🗒
Synchronize from the kindle to notion. Take your clipping highlights and have them as a Notion Page. All of them!
Lambda World 2019
A summary of Lambda World 2019
Vim with Dotty (using coc vim)
Dotty comes with its own language server and does not run with coc vim out of the box. This article shows how you can integrate dotty with Vim.
Vim-test now supports haskell
With this commit vim-test now allows for running test in Haskell with Stack and HSpec. This is pretty neat as it allows to run the whole…
tmux like zoom
I really like the zoom feature of tmux. It allows to jump into any window in detail, if you have multiple split windows open at the same…
Running tests with vim-test
Having the test results in-line in the quickfix list (:h quickfix) can be really helpful, as it allows fast test feedback and easy…
Jump between test files and implementation in Vim
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…
Vim: Search for visual selection
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…
Increment numbers in Vim
Today I learned about a great command to increase numbers in Vim! How to go from here: To here: gif increment to select to the bottom to…
Haskell Cheat Sheet
Basics Infix style Data Types Type constructor Data constructor newtype just a efficient wrapper around single value if then else pattern…