Unit Propagation
- 2026-08-23: Subprocess IO in Lua 5.1
- 2026-08-20: Switching to OpenSUSE Leap
- 2026-03-03: Manually archiving Reddit posts with pandoc
- 2026-02-18: Data during my PhD: data structure
- 2026-02-13: Speeding up HTML generation by 2000%
- 2026-01-23: WordPress export to Markdown
- 2026-01-19: Sesamstraat random episode picker
- 2026-01-14: My opinion on run time vs. run-time vs. runtime
- 2026-01-05: Sneaking metadata into mako templates
- 2025-12-28: Books of 2025
- 2025-12-16: Practice guide for computer
- 2025-12-04: Data during my PhD: dmenu helpers
- 2025-11-24: Moving from reStructuredText and docutils to Markdown and pandoc
- 2025-11-14: I half switched to OpenSUSE
- 2025-11-11: I'm not switching to OpenSUSE
- 2025-11-02: How to really implement Java exceptions using an effect system
- 2025-10-25: Hoare triple: notation evolution
- 2025-10-21: DnD recommendation: MargoMods Sunless Citadel companion
- 2025-10-19: AI skepticism link collection #2
- 2025-10-09: ChatGPT gaslighted me: a poem
- 2025-10-05: Investigating Erdős problem #307 with genetic programming
- 2025-10-01: Please link to your RSS feed
- 2025-09-30: Starred LaTeX commands suck
- 2025-09-29: Trying Helix: the good, the bad, and the ugly
- 2025-09-03: Photo management recommendations
- 2025-08-31: How many 14-digit numbers are sensible timestamps?
- 2025-08-13: AI skepticism link collection
- 2025-07-23: Data during my PhD: the git repository
- 2025-05-23: Asking ChatGPT for a slanted math operator
- 2025-06-08: CReduce, meet VerCors
- 2025-05-29: "Artifact" vs. "artefact"
- 2025-01-16: Amazon research awards LaTeX template
- 2024-12-10: Trying out an old netbook for fun
- 2024-11-28: Centering two wide code listings in LaTeX
- 2024-11-24: Restricting sourcehut builds to a specific branch
End of feed.