Build website (automatic)

jamesroutley · Dec 28, 2024 · 6e17a95 · 6e17a95
1 parent 31f9c77
commit 6e17a95
Show file tree

Hide file tree

Showing 13 changed files with 414 additions and 124 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -36,7 +36,7 @@ <h1>News</h1>
 
 
       <li>
-        <a href="posts/minimal-self-hosted-exercise-tracker.html">Show HN: Minimal, self-hosted exercise tracker</a> (github.com)
+        <a href="posts/how-to-create-html-zip-png-polyglot-files.html">How to Create HTML/ZIP/PNG Polyglot Files</a> (gildas-lormeau.github.io)
       </li>
 
 
@@ -45,77 +45,77 @@ <h1>News</h1>
 
 
       <li>
-        <a href="posts/breaking-the-mirror-a-look-at-apple-s-new-iphone-remote-control-feature-video.html">Breaking the Mirror – A Look at Apple&#39;s New iPhone Remote Control Feature [video]</a> (media.ccc.de)
+        <a href="posts/minimal-self-hosted-exercise-tracker.html">Show HN: Minimal, self-hosted exercise tracker</a> (github.com)
       </li>
 
 
 
 
 
+
       <li>
-        <a href="http://tinylogger.com/max/hovToqSvttqcClbR">I Listened to The Greatest Albums Of All Time</a> (tinylogger.com)
+        <a href="posts/demystifying-common-microcontroller-debug-protocols-video.html">Demystifying Common Microcontroller Debug Protocols [video]</a> (media.ccc.de)
       </li>
 
 
 
 
 
 
-
       <li>
-        <a href="posts/divestos-rom-shuts-after-ten-years.html">DivestOS ROM shuts after ten years</a> (divestos.org)
+        <a href="posts/breaking-the-mirror-a-look-at-apple-s-new-iphone-remote-control-feature-video.html">Breaking the Mirror – A Look at Apple&#39;s New iPhone Remote Control Feature [video]</a> (media.ccc.de)
       </li>
 
 
 
 
 
       <li>
-        <a href="https://www.plasticlist.org/report">Plasticlist Report – Data on plastic chemicals in Bay Area foods</a> (www.plasticlist.org)
+        <a href="http://tinylogger.com/max/hovToqSvttqcClbR">I Listened to The Greatest Albums Of All Time</a> (tinylogger.com)
       </li>
 
 
 
 
 
 
-
       <li>
-        <a href="posts/25-hopes-for-2025.html">25 hopes for 2025</a> (olu.online)
+        <a href="https://www.plasticlist.org/report">Plasticlist Report – Data on plastic chemicals in Bay Area foods</a> (www.plasticlist.org)
       </li>
 
 
 
 
 
 
+
       <li>
-        <a href="posts/tsmc-s-arizona-plant-to-start-making-advanced-chips.html">TSMC&#39;s Arizona Plant to Start Making Advanced Chips</a> (spectrum.ieee.org)
+        <a href="posts/25-hopes-for-2025.html">25 hopes for 2025</a> (olu.online)
       </li>
 
 
 
 
 
+
       <li>
-        <a href="https://doodledreams.cc">Show HN: I made a web app to bring children&#39;s drawings to life</a> (doodledreams.cc)
+        <a href="posts/tsmc-s-arizona-plant-to-start-making-advanced-chips.html">TSMC&#39;s Arizona Plant to Start Making Advanced Chips</a> (spectrum.ieee.org)
       </li>
 
 
 
 
 
-
-
       <li>
-        <a href="posts/they-have-not-been-trained-for-this.html">They have not been trained for this</a> (www.ccc.de)
+        <a href="https://doodledreams.cc">Show HN: I made a web app to bring children&#39;s drawings to life</a> (doodledreams.cc)
       </li>
 
 
 
 
 
 
+
       <li>
         <a href="posts/vw-breach-exposes-location-of-800k-electric-vehicles.html">VW breach exposes location of 800k electric vehicles</a> (cyberinsider.com)
       </li>
@@ -124,16 +124,16 @@ <h1>News</h1>
 
 
 
+
       <li>
-        <a href="https://tidyfirst.substack.com/p/complain-and-propose">Complain and Propose (2014)</a> (tidyfirst.substack.com)
+        <a href="posts/cable-cutting-tanker-seized-by-finland-was-loaded-with-spying-equipment.html">Cable-cutting tanker seized by Finland &#39;was loaded with spying equipment&#39;</a> (www.lloydslist.com)
       </li>
 
 
 
 
 
 
-
       <li>
         <a href="posts/scale-model-of-boeing-777-300er-made-from-manila-folders.html">Scale Model of Boeing 777-300ER, Made from Manila Folders</a> (www.lucaiaconistewart.com)
       </li>
@@ -188,26 +188,26 @@ <h1>News</h1>
 
 
       <li>
-        <a href="https://ghostty.org/">Ghostty 1.0</a> (ghostty.org)
+        <a href="https://vrklovespaper.substack.com/p/software-for-stationery-lovers">Software for stationery lovers</a> (vrklovespaper.substack.com)
       </li>
 
 
 
 
 
 
+
       <li>
-        <a href="https://vrklovespaper.substack.com/p/software-for-stationery-lovers">Software for stationery lovers</a> (vrklovespaper.substack.com)
+        <a href="posts/should-more-of-us-be-moving-to-live-near-friends.html">Should more of us be moving to live near friends?</a> (www.architecturaldigest.com)
       </li>
 
 
 
 
 
 
-
       <li>
-        <a href="posts/should-more-of-us-be-moving-to-live-near-friends.html">Should more of us be moving to live near friends?</a> (www.architecturaldigest.com)
+        <a href="posts/lffs-simplicity-vs-efficiency.html">LFFS: Simplicity vs Efficiency</a> (bytes.zone)
       </li>
 
 
@@ -216,7 +216,7 @@ <h1>News</h1>
 
 
       <li>
-        <a href="posts/lffs-simplicity-vs-efficiency.html">LFFS: Simplicity vs Efficiency</a> (bytes.zone)
+        <a href="posts/that-s-not-an-abstraction-that-s-just-a-layer-of-indirection.html">That&#39;s Not an Abstraction, That&#39;s Just a Layer of Indirection</a> (fhur.me)
       </li>
 
 

diff --git a/docs/log.txt b/docs/log.txt
@@ -1,44 +1,40 @@
-2024/12/28 04:19:23 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
-2024/12/28 04:19:23 Fetched posts from https://highgrowthengineering.substack.com/feed, took 39.926495ms
-2024/12/28 04:19:23 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
-2024/12/28 04:19:23 Fetched posts from https://mikehudack.substack.com/feed, took 39.916246ms
-2024/12/28 04:19:23 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
-2024/12/28 04:19:23 Fetched posts from https://themargins.substack.com/feed.xml, took 58.136401ms
-2024/12/28 04:19:23 Fetched posts from https://www.slowernews.com/rss.xml, took 57.766393ms
-2024/12/28 04:19:23 Fetched posts from https://macwright.com/rss.xml, took 80.425009ms
-2024/12/28 04:19:23 Fetched posts from https://www.benkuhn.net/index.xml, took 115.228867ms
-2024/12/28 04:19:23 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 139.691381ms
-2024/12/28 04:19:23 Fetched posts from https://jvns.ca/atom.xml, took 193.446827ms
-2024/12/28 04:19:23 Fetched posts from https://scattered-thoughts.net/rss.xml, took 223.448542ms
-2024/12/28 04:19:23 Fetched posts from https://twobithistory.org/feed.xml, took 283.728034ms
-2024/12/28 04:19:23 Fetched posts from https://danluu.com/atom.xml, took 300.83538ms
-2024/12/28 04:19:23 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 342.49825ms
-2024/12/28 04:19:23 Fetched posts from https://joy.recurse.com/feed.atom, took 390.291884ms
-2024/12/28 04:19:23 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 394.493827ms
-2024/12/28 04:19:24 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 579.303093ms
-2024/12/28 04:19:24 Fetched posts from https://blog.veitheller.de/feed.rss, took 1.077622094s
-2024/12/28 04:19:25 Fetched posts from https://commoncog.com/blog/rss/, took 1.443370125s
-2024/12/28 04:19:25 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 1.499851001s
-2024/12/28 04:19:25 Fetched posts from http://tonsky.me/blog/atom.xml, took 1.655236411s
-2024/12/28 04:19:26 Content still empty after HTML reader: http://tinylogger.com/max/hovToqSvttqcClbR
-2024/12/28 04:19:26 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
-2024/12/28 04:19:26 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
-2024/12/28 04:19:27 Content still empty after HTML reader: https://www.plasticlist.org/report
-2024/12/28 04:19:27 Fetched posts from https://gochugarugirl.com/feed/, took 3.540223498s
-2024/12/28 04:19:27 Content still empty after HTML reader: https://doodledreams.cc
-2024/12/28 04:19:28 Content still empty after HTML reader: https://tidyfirst.substack.com/p/complain-and-propose
-2024/12/28 04:19:28 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
-2024/12/28 04:19:29 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 5.966280466s
-2024/12/28 04:19:30 Content still empty after HTML reader: https://ghostty.org/
-2024/12/28 04:19:30 Fetched posts from https://hnrss.org/frontpage?points=50, took 7.16034946s
-2024/12/28 04:19:53 error parsing https://rachelbythebay.com/w/atom.xml: Get "https://rachelbythebay.com/w/atom.xml": dial tcp 216.218.228.215:443: i/o timeout
-2024/12/28 04:19:53 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.020274513s
-2024/12/28 04:19:53 Skipping writing post, no content: http://tinylogger.com/max/hovToqSvttqcClbR
-2024/12/28 04:19:53 Skipping writing post, no content: https://www.plasticlist.org/report
-2024/12/28 04:19:53 Skipping writing post, no content: https://doodledreams.cc
-2024/12/28 04:19:53 Skipping writing post, no content: https://tidyfirst.substack.com/p/complain-and-propose
-2024/12/28 04:19:53 Skipping writing post, no content: https://ghostty.org/
-2024/12/28 04:19:53 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
-2024/12/28 04:19:53 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
-2024/12/28 04:19:53 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
-2024/12/28 04:19:53 Templated 38 posts, took 4.98596ms
+2024/12/28 05:15:06 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
+2024/12/28 05:15:06 Fetched posts from https://mikehudack.substack.com/feed, took 42.776778ms
+2024/12/28 05:15:06 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
+2024/12/28 05:15:06 Fetched posts from https://highgrowthengineering.substack.com/feed, took 44.084852ms
+2024/12/28 05:15:06 Fetched posts from https://www.slowernews.com/rss.xml, took 99.864553ms
+2024/12/28 05:15:06 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
+2024/12/28 05:15:06 Fetched posts from https://themargins.substack.com/feed.xml, took 103.971664ms
+2024/12/28 05:15:06 Fetched posts from https://macwright.com/rss.xml, took 105.16961ms
+2024/12/28 05:15:06 Fetched posts from https://www.benkuhn.net/index.xml, took 129.812424ms
+2024/12/28 05:15:06 Fetched posts from https://jvns.ca/atom.xml, took 151.120382ms
+2024/12/28 05:15:06 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 165.189941ms
+2024/12/28 05:15:06 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 210.129639ms
+2024/12/28 05:15:06 Fetched posts from https://twobithistory.org/feed.xml, took 216.149685ms
+2024/12/28 05:15:06 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 297.016061ms
+2024/12/28 05:15:06 Fetched posts from https://danluu.com/atom.xml, took 299.962681ms
+2024/12/28 05:15:06 Fetched posts from https://joy.recurse.com/feed.atom, took 325.910763ms
+2024/12/28 05:15:06 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 419.860323ms
+2024/12/28 05:15:06 Fetched posts from https://scattered-thoughts.net/rss.xml, took 421.986926ms
+2024/12/28 05:15:07 Fetched posts from https://blog.veitheller.de/feed.rss, took 549.431669ms
+2024/12/28 05:15:07 Fetched posts from http://tonsky.me/blog/atom.xml, took 984.838033ms
+2024/12/28 05:15:07 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 985.946736ms
+2024/12/28 05:15:08 Content still empty after HTML reader: https://www.plasticlist.org/report
+2024/12/28 05:15:08 Fetched posts from https://commoncog.com/blog/rss/, took 1.959912662s
+2024/12/28 05:15:08 Content still empty after HTML reader: https://doodledreams.cc
+2024/12/28 05:15:08 Content still empty after HTML reader: http://tinylogger.com/max/hovToqSvttqcClbR
+2024/12/28 05:15:09 Fetched posts from https://gochugarugirl.com/feed/, took 2.7504551s
+2024/12/28 05:15:09 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
+2024/12/28 05:15:09 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
+2024/12/28 05:15:10 Fetched posts from https://hnrss.org/frontpage?points=50, took 3.624694291s
+2024/12/28 05:15:10 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
+2024/12/28 05:15:10 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 4.241944739s
+2024/12/28 05:15:36 error parsing https://rachelbythebay.com/w/atom.xml: Get "https://rachelbythebay.com/w/atom.xml": dial tcp 216.218.228.215:443: i/o timeout
+2024/12/28 05:15:36 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.021402584s
+2024/12/28 05:15:36 Skipping writing post, no content: http://tinylogger.com/max/hovToqSvttqcClbR
+2024/12/28 05:15:36 Skipping writing post, no content: https://www.plasticlist.org/report
+2024/12/28 05:15:36 Skipping writing post, no content: https://doodledreams.cc
+2024/12/28 05:15:36 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
+2024/12/28 05:15:36 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
+2024/12/28 05:15:36 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
+2024/12/28 05:15:36 Templated 38 posts, took 5.566337ms
diff --git a/docs/posts/25-hopes-for-2025.html b/docs/posts/25-hopes-for-2025.html
@@ -85,7 +85,7 @@ <h1>25 hopes for 2025</h1>
 <li>I want to be confident cooking more meals.</li>
 </ol>
 <p>I hope you&#39;re having a wonderful day, and have a great year. What are you hoping for?</p>
-<p>Last updated 8 hours, 22 minutes ago</p>
+<p>Last updated 9 hours, 18 minutes ago</p>
 <hr/>
 <p>If you liked this post, please <a href="https://olu.online/contact">message, email, or follow me online</a>, check out my <a href="https://notes.olu.online">work in progress</a>, <strong>share this post</strong> or subscribe to my posts by <a href="https://olu.online/feed">RSS</a>!</p>
 

diff --git a/docs/posts/bad-research-idea-false-statements-in-e-graphs.html b/docs/posts/bad-research-idea-false-statements-in-e-graphs.html
@@ -23,7 +23,7 @@ <h1>bad research idea: false statements in e-graphs</h1>
     <td>
         <p dir="auto">OK after much squinting at the progression of rewrite rules... I think I have found an example of where the logic goes wrong.</p>
 <p dir="auto">Can you spot the error?</p>
-<a target="_blank" rel="noopener noreferrer" href="https://private-user-images.githubusercontent.com/1186124/398305556-c3b64a4a-2e74-4180-9a4a-dfbbd6224b77.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzNTk4NjgsIm5iZiI6MTczNTM1OTU2OCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyOCUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjhUMDQxOTI4WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9NThlYzEwZGJmMGI3MjNjNDQzN2FiZTg1MjZmZjUzMGM2MDQ3N2VlNjFiN2I2OWM0MWE4NmI1ZWQ0NGFjODE5MyZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.4c_WLvz6oHv9ageIvTvBgRYpd8f04TwL7FDbEcXJ3EM"><img width="1324" alt="Screenshot 2024-12-23 at 10 06 52 PM" src="https://private-user-images.githubusercontent.com/1186124/398305556-c3b64a4a-2e74-4180-9a4a-dfbbd6224b77.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzNTk4NjgsIm5iZiI6MTczNTM1OTU2OCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyOCUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjhUMDQxOTI4WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9NThlYzEwZGJmMGI3MjNjNDQzN2FiZTg1MjZmZjUzMGM2MDQ3N2VlNjFiN2I2OWM0MWE4NmI1ZWQ0NGFjODE5MyZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.4c_WLvz6oHv9ageIvTvBgRYpd8f04TwL7FDbEcXJ3EM"/></a>
+<a target="_blank" rel="noopener noreferrer" href="https://private-user-images.githubusercontent.com/1186124/398305556-c3b64a4a-2e74-4180-9a4a-dfbbd6224b77.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzNjMyMTAsIm5iZiI6MTczNTM2MjkxMCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyOCUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjhUMDUxNTEwWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9ZTVjMmY2NTg3M2QyOWMxZGIyMjQ3ZTg3OWM3OTAxYzI0NmQ3NjYzNjI5Y2NjZGZkNGEyYWE0YTAzOTQ0OWJmZSZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.Dgr6AcHsSd_NgIsI0gHGwgi2AYy83LcVE8mqgH2ouk4"><img width="1324" alt="Screenshot 2024-12-23 at 10 06 52 PM" src="https://private-user-images.githubusercontent.com/1186124/398305556-c3b64a4a-2e74-4180-9a4a-dfbbd6224b77.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzNjMyMTAsIm5iZiI6MTczNTM2MjkxMCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyOCUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjhUMDUxNTEwWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9ZTVjMmY2NTg3M2QyOWMxZGIyMjQ3ZTg3OWM3OTAxYzI0NmQ3NjYzNjI5Y2NjZGZkNGEyYWE0YTAzOTQ0OWJmZSZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.Dgr6AcHsSd_NgIsI0gHGwgi2AYy83LcVE8mqgH2ouk4"/></a>
 <p dir="auto">The issue here is that the empty int list <code>TupleInt.EMPTY</code> is unified with <code>TupleInt(0, partial(lambda i, self, j: Int.if_(j == self.length(), i, self[j])), 101, TupleInt.empty)</code> aka <code>TupleInt(0, lambda j: Int.if_(j == 0, 101, TupleInt.EMPTY[j])))</code></p>
 <p dir="auto">Now let&#39;s say we do a naive index the empty list like <code>TupleInt.EMPTY[0]</code>. We could say this incorrect, or how we can represent it is that it unifies with <code>Int.NEVER</code>. But it can show up in the e-graph, because in <code>if_</code> conditionals, the false branch can end up doing indexing that is not allowed. So we want it to not mess things up.</p>
 <p dir="auto">And in this case then, it will evaluate to <code>(lambda j: Int.if_(j == 0, 101, TupleInt.EMPTY[j])))(0)</code> which is <code>Int.if_(0 == 0, 101, TupleInt.EMPTY[0]))</code> which is <code>101</code>... So then what we get is that <code>101</code> is unified with <code>Int.NEVER</code> which... isn&#39;t good! Is really bad! Because it means all numbers can be unified together basically, i.e. false is true whatever.</p>

diff --git a/.../posts/breaking-the-mirror-a-look-at-apple-s-new-iphone-remote-control-feature-video.html b/.../posts/breaking-the-mirror-a-look-at-apple-s-new-iphone-remote-control-feature-video.html
@@ -29,8 +29,7 @@ <h1>Breaking the Mirror – A Look at Apple&#39;s New iPhone Remote Control Feat
 
 </p>
 
-<p><a href="https://media.ccc.de/c/38c3/Day%201" rel="tag">Day 1</a>
-<a href="https://media.ccc.de/c/38c3/2024" rel="tag">2024</a>
+<p><a href="https://media.ccc.de/c/38c3/Stage%20YELL" rel="tag">Stage YELL</a>
 Playlists:
 <a href="https://media.ccc.de/v/38c3-breaking-the-mirror-a-look-at-apple-s-new-iphone-remote-control-feature/playlist">&#39;38c3&#39; videos starting here</a>
 /