blog.git/posts/what-ive-learned-about-formal-methods.org, branch master Haunt configuration and Org mode sources for http://jakob.space https://git.jakob.space/blog.git/atom?h=master 2024-08-05T20:31:01Z [posts] Addendum addressing the issue Burkhardt Renz pointed out 2024-08-05T20:31:01Z Jakob L. Kreuze zerodaysfordays@sdf.org 2024-08-05T20:31:01Z urn:sha1:2a6edfb9341e510dfdc304772906e696064e08a2 The `org' directory is no longer necessary 2024-07-13T22:11:42Z Jakob L. Kreuze zerodaysfordays@sdf.org 2024-07-13T22:04:05Z urn:sha1:81c4d517735983a5afd6e9dc800257c761598527