RSSAmplifier

Blog

Unit Propagation

bobrubbens.nl ↗RSS feed ↗33 posts

Latest posts

Manually archiving Reddit posts with pandoc

Data during my PhD: data structure

Speeding up HTML generation by 2000%

WordPress export to Markdown

Sesamstraat random episode picker

My opinion on run time vs. run-time vs. runtime

Sneaking metadata into mako templates

Books of 2025

Practice guide for computer

Data during my PhD: dmenu helpers

Moving from reStructuredText and docutils to Markdown and pandoc

I half switched to OpenSUSE

I'm not switching to OpenSUSE

How to really implement Java exceptions using an effect system

Hoare triple: notation evolution

DnD recommendation: MargoMods Sunless Citadel companion

AI skepticism link collection #2

ChatGPT gaslighted me: a poem

Investigating Erdős problem #307 with genetic programming

Please link to your RSS feed

Starred LaTeX commands suck

Trying Helix: the good, the bad, and the ugly

Photo management recommendations

How many 14-digit numbers are sensible timestamps?

AI skepticism link collection

Data during my PhD: the git repository

CReduce, meet VerCors

"Artifact" vs. "artefact"

Asking ChatGPT for a slanted math operator

Amazon research awards LaTeX template

Trying out an old netbook for fun

Centering two wide code listings in LaTeX

Restricting sourcehut builds to a specific branch