<?xml version="1.0" encoding="UTF-8"?><rss xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:atom="http://www.w3.org/2005/Atom" version="2.0"><channel><title><![CDATA[Dev Log]]></title><description><![CDATA[Dev Log]]></description><link>http://github.com/dylang/node-rss</link><generator>GatsbyJS</generator><lastBuildDate>Tue, 31 Mar 2026 20:14:40 GMT</lastBuildDate><item><title><![CDATA[Formal Verification in Any Language for Everybody]]></title><description><![CDATA[How I formally verified grocery suggestions with Lean 4 and used Differential Random Testing to bridge it to Haskell production code]]></description><link>https://dev-log.me/formal_verification_in_any_language_for_everybody/</link><guid isPermaLink="false">https://dev-log.me/formal_verification_in_any_language_for_everybody/</guid><pubDate>Tue, 31 Mar 2026 00:00:00 GMT</pubDate></item><item><title><![CDATA[Everyone is an expert now]]></title><description><![CDATA[AI sounds like an expert, even if not. And thanks to that, everyone sounds like an expert, even if not.]]></description><link>https://dev-log.me/everyone_is_an_expert_now/</link><guid isPermaLink="false">https://dev-log.me/everyone_is_an_expert_now/</guid><pubDate>Fri, 20 Mar 2026 00:00:00 GMT</pubDate></item><item><title><![CDATA[My AI dev workflow - building the right thing]]></title><description><![CDATA[My personal workflow with coding agents, the hard work is not gone, it moved to writing the requirements.]]></description><link>https://dev-log.me/My_AI_dev_workflow/</link><guid isPermaLink="false">https://dev-log.me/My_AI_dev_workflow/</guid><pubDate>Sat, 14 Mar 2026 00:00:00 GMT</pubDate></item><item><title><![CDATA[I Have Trust Issues With My AI. Canary Comments Help.]]></title><description><![CDATA[A minimal comment convention that makes it obvious when the AI agent stopped following instructions]]></description><link>https://dev-log.me/canary-comments/</link><guid isPermaLink="false">https://dev-log.me/canary-comments/</guid><pubDate>Sat, 21 Feb 2026 00:00:00 GMT</pubDate></item><item><title><![CDATA[AI to stay in Flow - a personal decision on how I chose to (not) use AI]]></title><description><![CDATA[How I use AI to enter flow state instead of replacing it - and why I choose to do the hard parts myself]]></description><link>https://dev-log.me/ai_to_stay_in_flow/</link><guid isPermaLink="false">https://dev-log.me/ai_to_stay_in_flow/</guid><pubDate>Sun, 15 Feb 2026 00:00:00 GMT</pubDate></item><item><title><![CDATA[Jokes on you AI: Turning the Tables - LLMs for Learning]]></title><description><![CDATA[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.]]></description><link>https://dev-log.me/jokes_on_you_ai_llms_for_learning/</link><guid isPermaLink="false">https://dev-log.me/jokes_on_you_ai_llms_for_learning/</guid><pubDate>Sun, 08 Feb 2026 00:00:00 GMT</pubDate></item><item><title><![CDATA[AI-Powered Project Knowledge Management with Obsidian]]></title><description><![CDATA[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]]></description><link>https://dev-log.me/obsidian_project_knowledge_management/</link><guid isPermaLink="false">https://dev-log.me/obsidian_project_knowledge_management/</guid><pubDate>Wed, 04 Feb 2026 00:00:00 GMT</pubDate></item><item><title><![CDATA[PR Review Navigator: AI-Assisted Review Orientation]]></title><description><![CDATA[A skill that helps humans get oriented in pull requests, because reviewing is still your job]]></description><link>https://dev-log.me/pr_review_navigator_for_claude/</link><guid isPermaLink="false">https://dev-log.me/pr_review_navigator_for_claude/</guid><pubDate>Sun, 01 Feb 2026 00:00:00 GMT</pubDate></item><item><title><![CDATA[Click: Recurring Tasks for Claude]]></title><description><![CDATA[A distributed system for AI-assisted recurring tasks across your machine, with TTL so nothing runs forever]]></description><link>https://dev-log.me/click_recurring_tasks_for_claude/</link><guid isPermaLink="false">https://dev-log.me/click_recurring_tasks_for_claude/</guid><pubDate>Fri, 30 Jan 2026 00:00:00 GMT</pubDate></item><item><title><![CDATA[Vursor: All the best of Vim in Cursor (or VSCode)]]></title><description><![CDATA[Port your Vim muscle memory to Cursor and feel at home again]]></description><link>https://dev-log.me/Vursor_All_the_best_of_Vim_in_Cursor/</link><guid isPermaLink="false">https://dev-log.me/Vursor_All_the_best_of_Vim_in_Cursor/</guid><pubDate>Mon, 15 Dec 2025 00:00:00 GMT</pubDate></item><item><title><![CDATA[A systematic approach to organizing yourself with Obsidian]]></title><description><![CDATA[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]]></description><link>https://dev-log.me/obsidian/</link><guid isPermaLink="false">https://dev-log.me/obsidian/</guid><pubDate>Tue, 17 Jan 2023 00:00:00 GMT</pubDate></item><item><title><![CDATA[Remove the DRM from your Kindle Ebooks]]></title><description><![CDATA[An easy way to convert books from your kindle amazon library to any format with calibre.]]></description><link>https://dev-log.me/remove_drm/</link><guid isPermaLink="false">https://dev-log.me/remove_drm/</guid><pubDate>Sun, 01 Aug 2021 00:00:00 GMT</pubDate></item><item><title><![CDATA[VimtelliJ: All the best of Vim in IntelliJ]]></title><description><![CDATA[Get the best of Vim right into IntelliJ]]></description><link>https://dev-log.me/VimtelliJ:_All_the_best_of_Vim_in_IntelliJ/</link><guid isPermaLink="false">https://dev-log.me/VimtelliJ:_All_the_best_of_Vim_in_IntelliJ/</guid><pubDate>Wed, 19 Aug 2020 00:00:00 GMT</pubDate></item><item><title><![CDATA[Awk Cheatsheet]]></title><description><![CDATA[Notes about using awk]]></description><link>https://dev-log.me/Awk_Cheatsheet/</link><guid isPermaLink="false">https://dev-log.me/Awk_Cheatsheet/</guid><pubDate>Sun, 01 Mar 2020 00:00:00 GMT</pubDate></item><item><title><![CDATA[Deploying Haskell: Painless CI/CD with Travis, Docker and Digitalocean (or any linux VM)]]></title><description><![CDATA[Easy continuous integration and delivery for Haskell, with Travis, Docker and Digitalocean]]></description><link>https://dev-log.me/Deploying_Haskell:_Painless_CICD_with_Travis,_Docker_and_Digital_Ocean_(or_any_linux_VM)/</link><guid isPermaLink="false">https://dev-log.me/Deploying_Haskell:_Painless_CICD_with_Travis,_Docker_and_Digital_Ocean_(or_any_linux_VM)/</guid><pubDate>Tue, 21 Jan 2020 00:00:00 GMT</pubDate></item><item><title><![CDATA[Writing a Chrome Plugin with Elm]]></title><description><![CDATA[How to write a Chrome / Firefox Plugin with Elm Lang]]></description><link>https://dev-log.me/Writing_a_Chrome_Pluging_with_Elm/</link><guid isPermaLink="false">https://dev-log.me/Writing_a_Chrome_Pluging_with_Elm/</guid><pubDate>Wed, 18 Dec 2019 00:00:00 GMT</pubDate></item><item><title><![CDATA[HElm: Derive Elm Functions from Haskell Servant]]></title><description><![CDATA[How to generate Elm Functions from a Haskell Servant Api Backend]]></description><link>https://dev-log.me/HElm:_Derive_Elm_Funcitons_from_Haskell_Servant/</link><guid isPermaLink="false">https://dev-log.me/HElm:_Derive_Elm_Funcitons_from_Haskell_Servant/</guid><pubDate>Tue, 17 Dec 2019 00:00:00 GMT</pubDate></item><item><title><![CDATA[Search In Your Notion Images – 🖼 to ✍ for Notion]]></title><description><![CDATA[Make your notion images text searchable like evernote does]]></description><link>https://dev-log.me/Search_In_Your_Notion_Images/</link><guid isPermaLink="false">https://dev-log.me/Search_In_Your_Notion_Images/</guid><pubDate>Sun, 17 Nov 2019 00:00:00 GMT</pubDate></item><item><title><![CDATA[Vim: Substitute across all files]]></title><description><![CDATA[Substitute across all files in a project in Vim]]></description><link>https://dev-log.me/Vim:_Substitute_across_all_files/</link><guid isPermaLink="false">https://dev-log.me/Vim:_Substitute_across_all_files/</guid><pubDate>Thu, 14 Nov 2019 00:00:00 GMT</pubDate></item><item><title><![CDATA[Sync your Kindle Highlights to Notion: 📓 + 🗒]]></title><description><![CDATA[Synchronize from the kindle to notion. Take your clipping highlights and have them as a Notion Page. All of them!]]></description><link>https://dev-log.me/Sync_your_Kindle_Highlights_to_Notion/</link><guid isPermaLink="false">https://dev-log.me/Sync_your_Kindle_Highlights_to_Notion/</guid><pubDate>Wed, 06 Nov 2019 00:00:00 GMT</pubDate></item><item><title><![CDATA[Lambda World 2019]]></title><description><![CDATA[A summary of Lambda World 2019]]></description><link>https://dev-log.me/Lambda_World_2019/</link><guid isPermaLink="false">https://dev-log.me/Lambda_World_2019/</guid><pubDate>Mon, 21 Oct 2019 00:00:00 GMT</pubDate></item><item><title><![CDATA[Vim with Dotty (using coc vim)]]></title><description><![CDATA[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.]]></description><link>https://dev-log.me/Coc_Vim_with_Dotty/</link><guid isPermaLink="false">https://dev-log.me/Coc_Vim_with_Dotty/</guid><pubDate>Sun, 20 Oct 2019 00:00:00 GMT</pubDate></item><item><title><![CDATA[Vim-test now supports haskell]]></title><description><![CDATA[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…]]></description><link>https://dev-log.me/Vim-test_now_supports_haskell/</link><guid isPermaLink="false">https://dev-log.me/Vim-test_now_supports_haskell/</guid><pubDate>Thu, 26 Sep 2019 00:00:00 GMT</pubDate></item><item><title><![CDATA[tmux like zoom]]></title><description><![CDATA[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…]]></description><link>https://dev-log.me/tmux_like_zoom/</link><guid isPermaLink="false">https://dev-log.me/tmux_like_zoom/</guid><pubDate>Thu, 26 Sep 2019 00:00:00 GMT</pubDate></item><item><title><![CDATA[Running tests with vim-test]]></title><description><![CDATA[Having the test results in-line in the quickfix list (:h quickfix) can be really helpful, as it allows fast test feedback and easy…]]></description><link>https://dev-log.me/Running_tests_with_vim-test/</link><guid isPermaLink="false">https://dev-log.me/Running_tests_with_vim-test/</guid><pubDate>Fri, 20 Sep 2019 00:00:00 GMT</pubDate></item><item><title><![CDATA[Jump between test files and implementation in Vim]]></title><description><![CDATA[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…]]></description><link>https://dev-log.me/Jump_between_test_files_and_implementation_in_Vim/</link><guid isPermaLink="false">https://dev-log.me/Jump_between_test_files_and_implementation_in_Vim/</guid><pubDate>Thu, 19 Sep 2019 00:00:00 GMT</pubDate></item><item><title><![CDATA[Vim: Search for visual selection]]></title><description><![CDATA[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…]]></description><link>https://dev-log.me/Vim:_Search_for_visual_selection/</link><guid isPermaLink="false">https://dev-log.me/Vim:_Search_for_visual_selection/</guid><pubDate>Thu, 19 Sep 2019 00:00:00 GMT</pubDate></item><item><title><![CDATA[Increment numbers in Vim]]></title><description><![CDATA[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…]]></description><link>https://dev-log.me/Increment_numbers_with_Vim/</link><guid isPermaLink="false">https://dev-log.me/Increment_numbers_with_Vim/</guid><pubDate>Wed, 18 Sep 2019 00:00:00 GMT</pubDate></item><item><title><![CDATA[Haskell Cheat Sheet]]></title><description><![CDATA[Basics Infix style Data Types Type constructor Data constructor newtype just a efficient wrapper around single value if then else pattern…]]></description><link>https://dev-log.me/Haskell_Cheat_Sheet/</link><guid isPermaLink="false">https://dev-log.me/Haskell_Cheat_Sheet/</guid><pubDate>Thu, 22 Aug 2019 00:00:00 GMT</pubDate></item></channel></rss>