Unit Propagation - The Blog of Bob Rubbens

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