corpus.blog
54,302 blogs · [ { "id": "01a0876c-1010-7246-a0fd-b99460d1eeaf", "title": "Formal Verification in Any Language for Everybody", "url": "https://dev-log.me/formal_verification_in_any_language_for_everybody/", "published_at": "2026-03-31T00:00:00+00:00" }, { "id": "01a0876c-1010-7246-a0fd-b99460deebab", "title": "Everyone is an expert now", "url": "https://dev-log.me/everyone_is_an_expert_now/", "published_at": "2026-03-20T00:00:00+00:00" }, { "id": "01a0876c-1010-7246-a0fd-b99461658da1", "title": "My AI dev workflow - building the right thing", "url": "https://dev-log.me/My_AI_dev_workflow/", "published_at": "2026-03-14T00:00:00+00:00" }, { "id": "01a0876c-1010-7246-a0fd-b994622e0dd2", "title": "I Have Trust Issues With My AI. Canary Comments Help.", "url": "https://dev-log.me/canary-comments/", "published_at": "2026-02-21T00:00:00+00:00" }, { "id": "01a0876c-1010-7246-a0fd-b994629e177c", "title": "AI to stay in Flow - a personal decision on how I chose to (not) use AI", "url": "https://dev-log.me/ai_to_stay_in_flow/", "published_at": "2026-02-15T00:00:00+00:00" }, { "id": "01a0876c-1010-7246-a0fd-b99463051558", "title": "Jokes on you AI: Turning the Tables - LLMs for Learning", "url": "https://dev-log.me/jokes_on_you_ai_llms_for_learning/", "published_at": "2026-02-08T00:00:00+00:00" }, { "id": "01a0876c-1010-7246-a0fd-b99463fa4178", "title": "AI-Powered Project Knowledge Management with Obsidian", "url": "https://dev-log.me/obsidian_project_knowledge_management/", "published_at": "2026-02-04T00:00:00+00:00" }, { "id": "01a0876c-1010-7246-a0fd-b994647ab7ae", "title": "PR Review Navigator: AI-Assisted Review Orientation", "url": "https://dev-log.me/pr_review_navigator_for_claude/", "published_at": "2026-02-01T00:00:00+00:00" }, { "id": "01a0876c-1010-7246-a0fd-b99464b90926", "title": "Click: Recurring Tasks for Claude", "url": "https://dev-log.me/click_recurring_tasks_for_claude/", "published_at": "2026-01-30T00:00:00+00:00" }, { "id": "01a0876c-1010-7246-a0fd-b994657dacb6", "title": "Vursor: All the best of Vim in Cursor (or VSCode)", "url": "https://dev-log.me/Vursor_All_the_best_of_Vim_in_Cursor/", "published_at": "2025-12-15T00:00:00+00:00" }, { "id": "01a0876c-1010-7246-a0fd-b9946648dbc1", "title": "A systematic approach to organizing yourself with Obsidian", "url": "https://dev-log.me/obsidian/", "published_at": "2023-01-17T00:00:00+00:00" }, { "id": "01a0876c-1010-7246-a0fd-b99466a9f15f", "title": "Remove the DRM from your Kindle Ebooks", "url": "https://dev-log.me/remove_drm/", "published_at": "2021-08-01T00:00:00+00:00" }, { "id": "01a0876c-1010-7246-a0fd-b99466abcff1", "title": "VimtelliJ: All the best of Vim in IntelliJ", "url": "https://dev-log.me/VimtelliJ:_All_the_best_of_Vim_in_IntelliJ/", "published_at": "2020-08-19T00:00:00+00:00" }, { "id": "01a0876c-1010-7246-a0fd-b994673b10f7", "title": "Awk Cheatsheet", "url": "https://dev-log.me/Awk_Cheatsheet/", "published_at": "2020-03-01T00:00:00+00:00" }, { "id": "01a0876c-1011-718b-ad1e-d90bf04e3bff", "title": "Deploying Haskell: Painless CI/CD with Travis, Docker and Digitalocean (or any linux VM)", "url": "https://dev-log.me/Deploying_Haskell:_Painless_CICD_with_Travis,_Docker_and_Digital_Ocean_(or_any_linux_VM)/", "published_at": "2020-01-21T00:00:00+00:00" }, { "id": "01a0876c-1011-718b-ad1e-d90bf1480b3f", "title": "Writing a Chrome Plugin with Elm", "url": "https://dev-log.me/Writing_a_Chrome_Pluging_with_Elm/", "published_at": "2019-12-18T00:00:00+00:00" }, { "id": "01a0876c-1011-718b-ad1e-d90bf2072a50", "title": "HElm: Derive Elm Functions from Haskell Servant", "url": "https://dev-log.me/HElm:_Derive_Elm_Funcitons_from_Haskell_Servant/", "published_at": "2019-12-17T00:00:00+00:00" }, { "id": "01a0876c-1011-718b-ad1e-d90bf218c93b", "title": "Search In Your Notion Images – 🖼 to ✍ for Notion", "url": "https://dev-log.me/Search_In_Your_Notion_Images/", "published_at": "2019-11-17T00:00:00+00:00" }, { "id": "01a0876c-1011-718b-ad1e-d90bf2bebdf0", "title": "Vim: Substitute across all files", "url": "https://dev-log.me/Vim:_Substitute_across_all_files/", "published_at": "2019-11-14T00:00:00+00:00" }, { "id": "01a0876c-1011-718b-ad1e-d90bf317d23b", "title": "Sync your Kindle Highlights to Notion: 📓 + 🗒", "url": "https://dev-log.me/Sync_your_Kindle_Highlights_to_Notion/", "published_at": "2019-11-06T00:00:00+00:00" }, { "id": "01a0876c-1011-718b-ad1e-d90bf372b222", "title": "Lambda World 2019", "url": "https://dev-log.me/Lambda_World_2019/", "published_at": "2019-10-21T00:00:00+00:00" }, { "id": "01a0876c-1011-718b-ad1e-d90bf3bc5c90", "title": "Vim with Dotty (using coc vim)", "url": "https://dev-log.me/Coc_Vim_with_Dotty/", "published_at": "2019-10-20T00:00:00+00:00" }, { "id": "01a0876c-1011-718b-ad1e-d90bf4377ecd", "title": "Vim-test now supports haskell", "url": "https://dev-log.me/Vim-test_now_supports_haskell/", "published_at": "2019-09-26T00:00:00+00:00" }, { "id": "01a0876c-1011-718b-ad1e-d90bf4f8a6b7", "title": "tmux like zoom", "url": "https://dev-log.me/tmux_like_zoom/", "published_at": "2019-09-26T00:00:00+00:00" }, { "id": "01a0876c-1011-718b-ad1e-d90bf5572bbb", "title": "Running tests with vim-test", "url": "https://dev-log.me/Running_tests_with_vim-test/", "published_at": "2019-09-20T00:00:00+00:00" }, { "id": "01a0876c-1011-718b-ad1e-d90bf58f999a", "title": "Jump between test files and implementation in Vim", "url": "https://dev-log.me/Jump_between_test_files_and_implementation_in_Vim/", "published_at": "2019-09-19T00:00:00+00:00" }, { "id": "01a0876c-1011-718b-ad1e-d90bf67faf42", "title": "Vim: Search for visual selection", "url": "https://dev-log.me/Vim:_Search_for_visual_selection/", "published_at": "2019-09-19T00:00:00+00:00" }, { "id": "01a0876c-1011-718b-ad1e-d90bf7693389", "title": "Increment numbers in Vim", "url": "https://dev-log.me/Increment_numbers_with_Vim/", "published_at": "2019-09-18T00:00:00+00:00" }, { "id": "01a0876c-1011-718b-ad1e-d90bf7ff6425", "title": "Haskell Cheat Sheet", "url": "https://dev-log.me/Haskell_Cheat_Sheet/", "published_at": "2019-08-22T00:00:00+00:00" } ] posts Claim your blog
Back to dev-log.me
Blog · corpus.blog/blogs/dev-log.me/posts

dev-log.me

dev-log.me

2026

Formal Verification in Any Language for Everybodyoriginal ↗
31 Mar 2026
Everyone is an expert noworiginal ↗
20 Mar 2026
My AI dev workflow - building the right thingoriginal ↗
14 Mar 2026
I Have Trust Issues With My AI. Canary Comments Help.original ↗
21 Feb 2026
AI to stay in Flow - a personal decision on how I chose to (not) use AIoriginal ↗
15 Feb 2026
Jokes on you AI: Turning the Tables - LLMs for Learningoriginal ↗
8 Feb 2026
AI-Powered Project Knowledge Management with Obsidianoriginal ↗
4 Feb 2026
PR Review Navigator: AI-Assisted Review Orientationoriginal ↗
1 Feb 2026
Click: Recurring Tasks for Claudeoriginal ↗
30 Jan 2026

2025

Vursor: All the best of Vim in Cursor (or VSCode)original ↗
15 Dec 2025

2023

A systematic approach to organizing yourself with Obsidianoriginal ↗
17 Jan 2023

2021

Remove the DRM from your Kindle Ebooksoriginal ↗
1 Aug 2021

2020

VimtelliJ: All the best of Vim in IntelliJoriginal ↗
19 Aug 2020
Awk Cheatsheetoriginal ↗
1 Mar 2020
Deploying Haskell: Painless CI/CD with Travis, Docker and Digitalocean (or any linux VM)original ↗
21 Jan 2020

2019

Writing a Chrome Plugin with Elmoriginal ↗
18 Dec 2019
HElm: Derive Elm Functions from Haskell Servantoriginal ↗
17 Dec 2019
Search In Your Notion Images – 🖼 to ✍ for Notionoriginal ↗
17 Nov 2019
Vim: Substitute across all filesoriginal ↗
14 Nov 2019
Sync your Kindle Highlights to Notion: 📓 + 🗒original ↗
6 Nov 2019
Lambda World 2019original ↗
21 Oct 2019
Vim with Dotty (using coc vim)original ↗
20 Oct 2019
Vim-test now supports haskelloriginal ↗
26 Sept 2019
tmux like zoomoriginal ↗
26 Sept 2019
Running tests with vim-testoriginal ↗
20 Sept 2019
Jump between test files and implementation in Vimoriginal ↗
19 Sept 2019
Vim: Search for visual selectionoriginal ↗
19 Sept 2019
Increment numbers in Vimoriginal ↗
18 Sept 2019
Haskell Cheat Sheetoriginal ↗
22 Aug 2019