<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">

  <title>Unit Propagation</title>
  <link rel="self" href="https://bobrubbens.nl/page/blog/feed.xml"/>
  <updated>2026-03-03T09:00:00+01:00</updated>
  <author>
    <name>Bob Rubbens</name>
  </author>
  <id>https://bobrubbens.nl/</id>

  

    
    <entry>
      <title>Manually archiving Reddit posts with pandoc</title>
      <link href="https://bobrubbens.nl//post/manually-archiving-reddit-with-pandoc"/>
      <id>tag:bobrubbens.nl,2026-03-03:0f0a3692-5b32-45bb-acb6-c61f570768e7</id>
      <published>2026-03-03T09:00:00+01:00</published>
      <updated>2026-03-03T09:00:00+01:00</updated>
    </entry>
  
    
    <entry>
      <title>Data during my PhD: data structure</title>
      <link href="https://bobrubbens.nl//post/data-during-phd-data-structure"/>
      <id>tag:bobrubbens.nl,2026-02-18:8bc045fe-f51e-49c2-97e9-9356fdfe2b43</id>
      <published>2026-02-18T17:12:07+01:00</published>
      <updated>2026-02-18T17:12:07+01:00</updated>
    </entry>
  
    
    <entry>
      <title>Speeding up HTML generation by 2000%</title>
      <link href="https://bobrubbens.nl//post/speeding-up-html-generation-2000"/>
      <id>tag:bobrubbens.nl,2026-02-13:a3e56c9a-051e-4b0d-baac-ba0a7930d972</id>
      <published>2026-02-13T23:33:32+01:00</published>
      <updated>2026-02-13T23:33:32+01:00</updated>
    </entry>
  
    
    <entry>
      <title>WordPress export to Markdown</title>
      <link href="https://bobrubbens.nl//post/wordpress-export-to-md"/>
      <id>tag:bobrubbens.nl,2026-01-23:b106d383-1bd3-4b3c-8e46-fb3b0a7accc4</id>
      <published>2026-01-23T18:51:51+01:00</published>
      <updated>2026-01-23T18:51:51+01:00</updated>
    </entry>
  
    
    <entry>
      <title>Sesamstraat random episode picker</title>
      <link href="https://bobrubbens.nl//post/sesamstraat"/>
      <id>tag:bobrubbens.nl,2026-01-19:001aed9e-acc7-463f-aed9-8c7e0353f00b</id>
      <published>2026-01-19T16:01:34+01:00</published>
      <updated>2026-01-19T16:01:34+01:00</updated>
    </entry>
  
    
    <entry>
      <title>My opinion on run time vs. run-time vs. runtime</title>
      <link href="https://bobrubbens.nl//post/my-opinion-on-spelling-runtime"/>
      <id>tag:bobrubbens.nl,2026-01-14:dfb1a93a-fdb0-47a7-819c-80959c29ba1b</id>
      <published>2026-01-14T11:14:41+02:00</published>
      <updated>2026-01-14T11:14:41+02:00</updated>
    </entry>
  
    
    <entry>
      <title>Sneaking metadata into mako templates</title>
      <link href="https://bobrubbens.nl//post/sneaking-metadata-into-mako-templates"/>
      <id>tag:bobrubbens.nl,2026-01-05:e57ca47b-d83f-4c97-9d29-70123f5c7b4f</id>
      <published>2026-01-05T12:39:31+01:00</published>
      <updated>2026-01-05T12:39:31+01:00</updated>
    </entry>
  
    
    <entry>
      <title>Books of 2025</title>
      <link href="https://bobrubbens.nl//post/books-of-2025"/>
      <id>tag:bobrubbens.nl,2025-12-28:74bdd77d-fdde-45b3-8626-a6d5ee3d1ae7</id>
      <published>2025-12-28T14:04:57+01:00</published>
      <updated>2025-12-28T14:04:57+01:00</updated>
    </entry>
  
    
    <entry>
      <title>Practice guide for computer</title>
      <link href="https://bobrubbens.nl//post/practice-guide-for-computer"/>
      <id>tag:bobrubbens.nl,2025-12-16:f04d1ae3-09cd-44a0-999d-75ab669a36e6</id>
      <published>2025-12-16T20:32:16+01:00</published>
      <updated>2025-12-16T20:32:16+01:00</updated>
    </entry>
  
    
    <entry>
      <title>Data during my PhD: dmenu helpers</title>
      <link href="https://bobrubbens.nl//post/dmenu-helpers"/>
      <id>tag:bobrubbens.nl,2025-12-04:fc4d991a-a772-4a5a-bc06-18865b3ba518</id>
      <published>2025-12-04T09:07:52+01:00</published>
      <updated>2025-12-04T09:07:52+01:00</updated>
    </entry>
  
    
    <entry>
      <title>Moving from reStructuredText and docutils to Markdown and pandoc</title>
      <link href="https://bobrubbens.nl//post/from-rst-docutils-to-md-pandoc"/>
      <id>tag:bobrubbens.nl,2025-11-24:ca83e5b7-3a9a-41f9-947c-53b31b8f295c</id>
      <published>2025-11-24T10:55:15+01:00</published>
      <updated>2025-11-24T10:55:15+01:00</updated>
    </entry>
  
    
    <entry>
      <title>I half switched to OpenSUSE</title>
      <link href="https://bobrubbens.nl//post/half-switched-to-opensuse"/>
      <id>tag:bobrubbens.nl,2025-11-14:19ea9932-e972-495e-abfa-c5de27d33174</id>
      <published>2025-11-14T08:21:31+01:00</published>
      <updated>2025-11-14T08:21:31+01:00</updated>
    </entry>
  
    
    <entry>
      <title>I'm not switching to OpenSUSE</title>
      <link href="https://bobrubbens.nl//post/not-switching-to-opensuse"/>
      <id>tag:bobrubbens.nl,2025-11-11:bf49b67c-34d1-41fe-a7e3-196dba36067d</id>
      <published>2025-11-11T09:04:29+01:00</published>
      <updated>2025-11-11T09:04:29+01:00</updated>
    </entry>
  
    
    <entry>
      <title>How to really implement Java exceptions using an effect system</title>
      <link href="https://bobrubbens.nl//post/java-exceptions-using-effects"/>
      <id>tag:bobrubbens.nl,2025-11-02:f4a4bbf1-47b7-4738-a647-ab21ead21467</id>
      <published>2025-11-02T21:33:33+01:00</published>
      <updated>2025-11-02T21:33:33+01:00</updated>
    </entry>
  
    
    <entry>
      <title>Hoare triple: notation evolution</title>
      <link href="https://bobrubbens.nl//post/hoare-triple-notation-evolution"/>
      <id>tag:bobrubbens.nl,2025-10-25:fdd2b0c7-84a6-4187-98a4-638f4a1c8d60</id>
      <published>2025-10-25T23:27:30+02:00</published>
      <updated>2025-10-25T23:27:30+02:00</updated>
    </entry>
  
    
    <entry>
      <title>DnD recommendation: MargoMods Sunless Citadel companion</title>
      <link href="https://bobrubbens.nl//post/dnd-recommendation-margomods-sc-companion"/>
      <id>tag:bobrubbens.nl,2025-10-21:90861a8e-a883-47a2-92d2-b4d1f5fa4f5a</id>
      <published>2025-10-21T22:55:29+02:00</published>
      <updated>2025-10-21T22:55:29+02:00</updated>
    </entry>
  
    
    <entry>
      <title>AI skepticism link collection #2</title>
      <link href="https://bobrubbens.nl//post/ai-skepticism-2"/>
      <id>tag:bobrubbens.nl,2025-10-19:1fdc8d48-4eee-4087-836d-ba03cfc936c3</id>
      <published>2025-10-19T10:44:32+02:00</published>
      <updated>2025-10-19T10:44:32+02:00</updated>
    </entry>
  
    
    <entry>
      <title>ChatGPT gaslighted me: a poem</title>
      <link href="https://bobrubbens.nl//post/chatgpt-gaslighted-me-a-poem"/>
      <id>tag:bobrubbens.nl,2025-10-09:5b39d2f0-a0cd-4db7-a375-e25c257cebdb</id>
      <published>2025-10-09T09:23:03+02:00</published>
      <updated>2025-10-09T09:23:03+02:00</updated>
    </entry>
  
    
    <entry>
      <title>Investigating Erdős problem #307 with genetic programming</title>
      <link href="https://bobrubbens.nl//post/investigating-ep-307-with-genetic-programming"/>
      <id>tag:bobrubbens.nl,2025-10-05:f7162567-2e48-44bc-b8e1-8c0ea5a4dfa3</id>
      <published>2025-10-05T20:36:40+02:00</published>
      <updated>2025-10-05T20:36:40+02:00</updated>
    </entry>
  
    
    <entry>
      <title>Please link to your RSS feed</title>
      <link href="https://bobrubbens.nl//post/please-link-to-your-rss"/>
      <id>tag:bobrubbens.nl,2025-10-01:e6d79ae8-20c5-406e-a4d5-d7bf71449806</id>
      <published>2025-10-01T22:58:44+02:00</published>
      <updated>2025-10-01T22:58:44+02:00</updated>
    </entry>
  
    
    <entry>
      <title>Starred LaTeX commands suck</title>
      <link href="https://bobrubbens.nl//post/starred-latex-commands-suck"/>
      <id>tag:bobrubbens.nl,2025-09-30:99772390-5b08-46d3-91c5-9a66be3f4090</id>
      <published>2025-09-30T21:05:00+02:00</published>
      <updated>2025-09-30T21:05:00+02:00</updated>
    </entry>
  
    
    <entry>
      <title>Trying Helix: the good, the bad, and the ugly</title>
      <link href="https://bobrubbens.nl//post/trying-helix-the-good-the-bad-the-ugly"/>
      <id>tag:bobrubbens.nl,2025-09-29:b4ad2dca-3140-4b0e-a48d-117c5ae74f83</id>
      <published>2025-09-29T16:14:00+02:00</published>
      <updated>2025-09-30T20:39:00+02:00</updated>
    </entry>
  
    
    <entry>
      <title>Photo management recommendations</title>
      <link href="https://bobrubbens.nl//post/photo-management-recommendations"/>
      <id>tag:bobrubbens.nl,2025-09-03:ca63638e-3167-42f3-ac7d-97135d8065ee</id>
      <published>2025-09-03T09:25:25+01:00</published>
      <updated>2025-09-03T09:25:25+01:00</updated>
    </entry>
  
    
    <entry>
      <title>How many 14-digit numbers are sensible timestamps?</title>
      <link href="https://bobrubbens.nl//post/sensible-timestamps"/>
      <id>tag:bobrubbens.nl,2025-08-31:0c0b0b84-d0f3-4a4a-bbeb-d3735acb9a10</id>
      <published>2025-08-31T22:07:24+01:00</published>
      <updated>2025-08-31T22:07:24+01:00</updated>
    </entry>
  
    
    <entry>
      <title>AI skepticism link collection</title>
      <link href="https://bobrubbens.nl//post/ai-skepticism"/>
      <id>tag:bobrubbens.nl,2025-08-13:c839433e-b87c-402f-8ebc-6b38610370c4</id>
      <published>2025-08-13T19:23:31+01:00</published>
      <updated>2025-08-13T19:23:31+01:00</updated>
    </entry>
  
    
    <entry>
      <title>Data during my PhD: the git repository</title>
      <link href="https://bobrubbens.nl//post/data-during-phd-git-repo"/>
      <id>tag:bobrubbens.nl,2025-07-23:f219734d-11da-4c02-97ce-f858241c2ded</id>
      <published>2025-07-23T12:50:12+01:00</published>
      <updated>2025-07-23T12:50:12+01:00</updated>
    </entry>
  
    
    <entry>
      <title>Asking ChatGPT for a slanted math operator</title>
      <link href="https://bobrubbens.nl//post/asking-chatgpt-for-a-slanted-math-operator"/>
      <id>tag:bobrubbens.nl,2025-05-23:7b9701e9-4047-480a-a783-a76f3c339a1e</id>
      <published>2025-05-23T12:59:00+01:00</published>
      <updated>2025-06-23T21:20:00+01:00</updated>
    </entry>
  
    
    <entry>
      <title>CReduce, meet VerCors</title>
      <link href="https://bobrubbens.nl//post/creduce-meet-vercors"/>
      <id>tag:bobrubbens.nl,2025-06-08:897c9801-1270-4a2f-83f3-4231a9845c01</id>
      <published>2025-06-08T22:14:40+01:00</published>
      <updated>2025-06-08T22:14:40+01:00</updated>
    </entry>
  
    
    <entry>
      <title>"Artifact" vs. "artefact"</title>
      <link href="https://bobrubbens.nl//post/artifact-vs-artefact"/>
      <id>tag:bobrubbens.nl,2025-05-29:22ca50ea-402d-4e9e-b7f3-23a90568d2a6</id>
      <published>2025-05-29T11:25:19+01:00</published>
      <updated>2025-05-29T11:25:19+01:00</updated>
    </entry>
  
    
    <entry>
      <title>Amazon research awards LaTeX template</title>
      <link href="https://bobrubbens.nl//post/amazon-research-awards-template"/>
      <id>tag:bobrubbens.nl,2025-01-16:f4365ac8-2269-4439-9cf2-789d48865cbd</id>
      <published>2025-01-16T10:34:56+01:00</published>
      <updated>2025-01-16T10:34:56+01:00</updated>
    </entry>
  
    
    <entry>
      <title>Trying out an old netbook for fun</title>
      <link href="https://bobrubbens.nl//post/trying-out-an-old-netbook-for-fun"/>
      <id>tag:bobrubbens.nl,2024-12-10:3e998b42-d9d3-4af5-bba9-1df38193dce5</id>
      <published>2024-12-10T11:26:04+01:00</published>
      <updated>2024-12-10T11:26:04+01:00</updated>
    </entry>
  
    
    <entry>
      <title>Centering two wide code listings in LaTeX</title>
      <link href="https://bobrubbens.nl//post/centering-two-wide-code-listings"/>
      <id>tag:bobrubbens.nl,2024-11-28:3900ec49-1843-4417-9e08-34fd7883b912</id>
      <published>2024-11-28T12:00:00+01:00</published>
      <updated>2024-11-28T12:00:00+01:00</updated>
    </entry>
  
    
    <entry>
      <title>Restricting sourcehut builds to a specific branch</title>
      <link href="https://bobrubbens.nl//post/restricting-ci-to-branch-on-sourcehut"/>
      <id>tag:bobrubbens.nl,2024-11-24:c924bbc1-90c4-4671-9344-d5bfbac2b4b1</id>
      <published>2024-11-24T12:11:00+01:00</published>
      <updated>2024-11-24T12:11:30+01:00</updated>
    </entry>
  

</feed>


