Fake CAPTCHA image spelling "unit propagation". Generated with Wolfram Alpha.
The Blog of Bob Rubbens
Thursday, December 04, 2025 Data during my PhD: dmenu Helpers
Monday, November 24, 2025 Moving from ReStructuredText and Docutils to Markdown and Pandoc
Friday, November 14, 2025 I Half Switched to OpenSUSE
Tuesday, November 11, 2025 I'm not switching to OpenSUSE
Sunday, November 02, 2025 How to Really Implement Java Exceptions Using an Effect System
Saturday, October 25, 2025 Hoare Triple: Notation Evolution
Tuesday, October 21, 2025 DnD Recommendation: MargoMods Sunless Citadel Companion
Sunday, October 19, 2025 AI Skepticism Link Collection #2
Thursday, October 09, 2025 ChatGPT Gaslighted Me: a Poem
Sunday, October 05, 2025 Investigating Erdős Problem #307 with Genetic Programming
Wednesday, October 01, 2025 Please Link to your RSS Feed
Tuesday, September 30, 2025 Starred LaTeX Commands Suck
Monday, September 29, 2025 Trying Helix: the Good, the Bad, and the Ugly
Wednesday, September 03, 2025 Photo Management Recommendations
Sunday, August 31, 2025 How Many 14-digit Numbers are Sensible Timestamps?
Wednesday, August 13, 2025 AI Skepticism Link Collection
Wednesday, July 23, 2025 Data during my PhD: the git repository
Sunday, June 08, 2025 CReduce, meet VerCors
Thursday, May 29, 2025 "Artifact" vs. "Artefact"
Friday, May 23, 2025 Asking ChatGPT for a Slanted Math Operator
Thursday, January 16, 2025 Amazon Research Awards LaTeX template
Tuesday, December 10, 2024 Trying out an old netbook for fun
Thursday, November 28, 2024 Centering two wide code listings in LaTeX
Sunday, November 24, 2024 Restricting sourcehut builds to a specific branch


Generated with BYOB. License: CC-BY-SA. This page is designed to last.

[This site is part of the UT webring]