Unit Propagation - The Blog of Bob Rubbens

Tuesday, December 16, 2025 Practice Guide for computer

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] ⇒