56,966 blogs · [ { "id": "01a087e1-5975-716b-b9cf-d9ca22c0f7ca", "title": "Interactive Museums", "url": "https://simonvandevelde.be/posts/Interactive_Museums.html", "published_at": "2026-07-25T19:19:07+00:00" }, { "id": "01a087e1-597e-7331-bab7-e1edb16ab701", "title": "We Should Teach Students To Use Cocaine!", "url": "https://simonvandevelde.be/posts/We_Should_Teach_Students_To_Use_Cocaine!.html", "published_at": "2026-06-26T16:40:32+00:00" }, { "id": "01a087e1-597e-7331-bab7-e1edb1fe4851", "title": "I Bought a Fountain Pen", "url": "https://simonvandevelde.be/posts/I_Bought_a_Fountain_Pen.html", "published_at": "2026-06-01T19:06:10+00:00" }, { "id": "01a087e1-597e-7331-bab7-e1edb2e070c1", "title": "I Made a Game!", "url": "https://simonvandevelde.be/posts/I_Made_a_Game!.html", "published_at": "2026-04-02T19:37:16+00:00" }, { "id": "01a087e1-597e-7331-bab7-e1edb3382e64", "title": "Fixing My Rowing Machine", "url": "https://simonvandevelde.be/posts/Fixing_My_Rowing_Machine.html", "published_at": "2026-03-05T19:40:39+00:00" }, { "id": "01a087e1-597e-7331-bab7-e1edb3e932a6", "title": "Debugging a Logic Circuit in IDP-Z3", "url": "https://simonvandevelde.be/posts/Debugging_a_Logic_Circuit_in_IDP-Z3.html", "published_at": "2025-05-03T14:12:06+00:00" }, { "id": "01a087e1-597e-7331-bab7-e1edb41e4d69", "title": "Layton Puzzle in IDP-Z3", "url": "https://simonvandevelde.be/posts/Layton_Puzzle_in_IDP-Z3.html", "published_at": "2025-04-11T19:18:51+00:00" }, { "id": "01a087e1-597e-7331-bab7-e1edb4416c6c", "title": "Verbal Arithmetic In Rust And Z3", "url": "https://simonvandevelde.be/posts/Verbal_Arithmetic_In_Rust_And_Z3.html", "published_at": "2023-11-12T19:59:14+00:00" }, { "id": "01a087e1-597e-7331-bab7-e1edb4e99992", "title": "Decision Models and ChatGPT", "url": "https://simonvandevelde.be/posts/Decision_Models_and_ChatGPT.html", "published_at": "2023-11-05T20:11:13+00:00" }, { "id": "01a087e1-597f-7219-bf48-c2dbe941e556", "title": "Show cmus and ncspot status in Sway", "url": "https://simonvandevelde.be/posts/Show_cmus_and_ncspot_status_in_Sway.html", "published_at": "2023-01-15T13:57:45+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/simonvandevelde.be/posts