Build website (automatic)

jamesroutley · Dec 26, 2024 · 8faf7fb · 8faf7fb
1 parent 9e9ef97
commit 8faf7fb
Show file tree

Hide file tree

Showing 8 changed files with 493 additions and 503 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -35,6 +35,15 @@ <h1>News</h1>
 
 
 
+      <li>
+        <a href="posts/siyuan-privacy-first-self-hosted-personal-knowledge-management-software.html">Siyuan: Privacy-first, self-hosted personal knowledge management software</a> (github.com)
+      </li>
+
+
+
+
+
+
       <li>
         <a href="posts/egui-an-immediate-mode-gui-written-in-rust.html">Egui – An immediate mode GUI written in Rust</a> (www.egui.rs)
       </li>
@@ -52,18 +61,18 @@ <h1>News</h1>
 
 
 
-
       <li>
-        <a href="posts/server-sent-events-sse-are-underrated.html">Server-Sent Events (SSE) Are Underrated</a> (igorstechnoclub.com)
+        <a href="https://radiosocial.de/@hennichodernich/113714518196988714">Installing OpenWRT on an Unsupported Router</a> (radiosocial.de)
       </li>
 
 
 
 
 
 
+
       <li>
-        <a href="posts/i-thought-i-found-a-bug.html">I Thought I Found a Bug</a> (www.os2museum.com)
+        <a href="posts/server-sent-events-sse-are-underrated.html">Server-Sent Events (SSE) Are Underrated</a> (igorstechnoclub.com)
       </li>
 
 
@@ -72,7 +81,7 @@ <h1>News</h1>
 
 
       <li>
-        <a href="posts/into-cps-never-to-return.html">Into CPS, Never to Return</a> (bernsteinbear.com)
+        <a href="posts/i-thought-i-found-a-bug.html">I Thought I Found a Bug</a> (www.os2museum.com)
       </li>
 
 
@@ -81,7 +90,7 @@ <h1>News</h1>
 
 
       <li>
-        <a href="posts/portspoof-emulate-a-valid-service-on-all-65535-tcp-ports.html">Portspoof: Emulate a valid service on all 65535 TCP ports</a> (github.com)
+        <a href="posts/into-cps-never-to-return.html">Into CPS, Never to Return</a> (bernsteinbear.com)
       </li>
 
 
@@ -90,7 +99,7 @@ <h1>News</h1>
 
 
       <li>
-        <a href="posts/f-a-proof-oriented-general-purpose-programming-language.html">F*: A proof oriented general purpose programming language</a> (fstar-lang.org)
+        <a href="posts/portspoof-emulate-a-valid-service-on-all-65535-tcp-ports.html">Portspoof: Emulate a valid service on all 65535 TCP ports</a> (github.com)
       </li>
 
 
@@ -99,7 +108,7 @@ <h1>News</h1>
 
 
       <li>
-        <a href="posts/ruby-3-4-0.html">Ruby 3.4.0</a> (www.ruby-lang.org)
+        <a href="posts/f-a-proof-oriented-general-purpose-programming-language.html">F*: A proof oriented general purpose programming language</a> (fstar-lang.org)
       </li>
 
 
@@ -214,15 +223,6 @@ <h1>News</h1>
 
 
 
-      <li>
-        <a href="https://supersnowflakemaker.com">Show HN: Super Snowflake Maker</a> (supersnowflakemaker.com)
-      </li>
-
-
-
-
-
-
 
       <li>
         <a href="posts/feel-don-t-think.html">Feel, don&#39;t think</a> (ntietz.com)

diff --git a/docs/log.txt b/docs/log.txt
@@ -1,39 +1,39 @@
-2024/12/26 07:15:29 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
-2024/12/26 07:15:29 Fetched posts from https://themargins.substack.com/feed.xml, took 38.155997ms
-2024/12/26 07:15:29 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
-2024/12/26 07:15:29 Fetched posts from https://mikehudack.substack.com/feed, took 41.479149ms
-2024/12/26 07:15:29 Fetched posts from https://www.slowernews.com/rss.xml, took 45.407856ms
-2024/12/26 07:15:29 Fetched posts from https://www.benkuhn.net/index.xml, took 73.998358ms
-2024/12/26 07:15:29 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
-2024/12/26 07:15:29 Fetched posts from https://highgrowthengineering.substack.com/feed, took 93.764323ms
-2024/12/26 07:15:29 Fetched posts from https://macwright.com/rss.xml, took 95.730839ms
-2024/12/26 07:15:29 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 95.554196ms
-2024/12/26 07:15:29 Fetched posts from https://jvns.ca/atom.xml, took 150.034913ms
-2024/12/26 07:15:29 Fetched posts from https://joy.recurse.com/feed.atom, took 172.945859ms
-2024/12/26 07:15:29 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 212.136972ms
-2024/12/26 07:15:29 Fetched posts from https://twobithistory.org/feed.xml, took 215.16871ms
-2024/12/26 07:15:29 Fetched posts from https://danluu.com/atom.xml, took 267.309233ms
-2024/12/26 07:15:29 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 308.926523ms
-2024/12/26 07:15:29 Fetched posts from https://scattered-thoughts.net/rss.xml, took 373.937709ms
-2024/12/26 07:15:29 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 442.02597ms
-2024/12/26 07:15:29 Fetched posts from https://blog.veitheller.de/feed.rss, took 537.977121ms
-2024/12/26 07:15:30 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 922.703662ms
-2024/12/26 07:15:30 Fetched posts from http://tonsky.me/blog/atom.xml, took 981.266847ms
-2024/12/26 07:15:30 Fetched posts from https://commoncog.com/blog/rss/, took 1.789221434s
-2024/12/26 07:15:31 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
-2024/12/26 07:15:31 Fetched posts from https://gochugarugirl.com/feed/, took 2.617985073s
-2024/12/26 07:15:32 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
-2024/12/26 07:15:32 Content still empty after HTML reader: https://www.youtube.com/watch?v=IQqtsm-bBRU
-2024/12/26 07:15:32 Content still empty after HTML reader: https://papermatch.mitanshu.tech/
-2024/12/26 07:15:33 Get "https://www.fixbrowser.org/": tls: failed to verify certificate: x509: certificate signed by unknown authority
-2024/12/26 07:15:33 Content still empty after HTML reader: https://supersnowflakemaker.com
-2024/12/26 07:15:33 Fetched posts from https://hnrss.org/frontpage?points=50, took 4.87372551s
-2024/12/26 07:15:34 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 5.178262839s
-2024/12/26 07:15:59 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/26 07:15:59 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.004300053s
-2024/12/26 07:15:59 Skipping writing post, no content: https://www.youtube.com/watch?v=IQqtsm-bBRU
-2024/12/26 07:15:59 Skipping writing post, no content: https://papermatch.mitanshu.tech/
-2024/12/26 07:15:59 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
-2024/12/26 07:15:59 Skipping writing post, no content: https://supersnowflakemaker.com
-2024/12/26 07:15:59 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
-2024/12/26 07:15:59 Templated 41 posts, took 5.731331ms
+2024/12/26 08:20:53 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
+2024/12/26 08:20:53 Fetched posts from https://themargins.substack.com/feed.xml, took 65.072738ms
+2024/12/26 08:20:53 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
+2024/12/26 08:20:53 Fetched posts from https://mikehudack.substack.com/feed, took 65.012949ms
+2024/12/26 08:20:54 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
+2024/12/26 08:20:54 Fetched posts from https://highgrowthengineering.substack.com/feed, took 105.781939ms
+2024/12/26 08:20:54 Fetched posts from https://macwright.com/rss.xml, took 132.446425ms
+2024/12/26 08:20:54 Fetched posts from https://www.slowernews.com/rss.xml, took 165.240842ms
+2024/12/26 08:20:54 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 187.944772ms
+2024/12/26 08:20:54 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 191.98473ms
+2024/12/26 08:20:54 Fetched posts from https://twobithistory.org/feed.xml, took 217.105106ms
+2024/12/26 08:20:54 Fetched posts from https://jvns.ca/atom.xml, took 262.169464ms
+2024/12/26 08:20:54 Fetched posts from https://danluu.com/atom.xml, took 297.440226ms
+2024/12/26 08:20:54 Fetched posts from https://www.benkuhn.net/index.xml, took 347.475781ms
+2024/12/26 08:20:54 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 350.936541ms
+2024/12/26 08:20:54 Fetched posts from https://joy.recurse.com/feed.atom, took 385.034727ms
+2024/12/26 08:20:54 Fetched posts from https://scattered-thoughts.net/rss.xml, took 397.648017ms
+2024/12/26 08:20:54 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 659.207105ms
+2024/12/26 08:20:54 Fetched posts from https://blog.veitheller.de/feed.rss, took 809.227715ms
+2024/12/26 08:20:54 Fetched posts from http://tonsky.me/blog/atom.xml, took 1.037667223s
+2024/12/26 08:20:55 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 1.127120201s
+2024/12/26 08:20:55 Fetched posts from https://commoncog.com/blog/rss/, took 1.784453101s
+2024/12/26 08:20:56 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
+2024/12/26 08:20:56 Content still empty after HTML reader: https://radiosocial.de/@hennichodernich/113714518196988714
+2024/12/26 08:20:57 Fetched posts from https://gochugarugirl.com/feed/, took 3.18053747s
+2024/12/26 08:20:57 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
+2024/12/26 08:20:58 Content still empty after HTML reader: https://www.youtube.com/watch?v=IQqtsm-bBRU
+2024/12/26 08:20:58 Content still empty after HTML reader: https://papermatch.mitanshu.tech/
+2024/12/26 08:20:59 Get "https://www.fixbrowser.org/": tls: failed to verify certificate: x509: certificate signed by unknown authority
+2024/12/26 08:20:59 Fetched posts from https://hnrss.org/frontpage?points=50, took 6.080291593s
+2024/12/26 08:21:00 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 6.467862437s
+2024/12/26 08:21:23 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/26 08:21:23 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.003141953s
+2024/12/26 08:21:23 Skipping writing post, no content: https://radiosocial.de/@hennichodernich/113714518196988714
+2024/12/26 08:21:23 Skipping writing post, no content: https://www.youtube.com/watch?v=IQqtsm-bBRU
+2024/12/26 08:21:23 Skipping writing post, no content: https://papermatch.mitanshu.tech/
+2024/12/26 08:21:23 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
+2024/12/26 08:21:23 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
+2024/12/26 08:21:23 Templated 41 posts, took 5.747545ms
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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUxOTc2MzEsIm5iZiI6MTczNTE5NzMzMSwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNiUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjZUMDcxNTMxWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MGQyZjkwNTVkZWUyZWVhYjhkZDkxNTBjNTE0MmU3MmQzMTZjMTRhNWI0NTg4ZTliZTZlZDRmODgzODg2NzY2YSZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.fVWvImBDMCY5UvNzTLfGAVnb5lUs50XEAjED2BTkIbk"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUxOTc2MzEsIm5iZiI6MTczNTE5NzMzMSwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNiUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjZUMDcxNTMxWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MGQyZjkwNTVkZWUyZWVhYjhkZDkxNTBjNTE0MmU3MmQzMTZjMTRhNWI0NTg4ZTliZTZlZDRmODgzODg2NzY2YSZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.fVWvImBDMCY5UvNzTLfGAVnb5lUs50XEAjED2BTkIbk"/></a>
+<a target="_blank" rel="noopener noreferrer" href="https://private-user-images.githubusercontent.com/1186124/398305556-c3b64a4a-2e74-4180-9a4a-dfbbd6224b77.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUyMDE1NTcsIm5iZiI6MTczNTIwMTI1NywicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNiUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjZUMDgyMDU3WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MDUxNGI0N2E5MjkxNzkxMzA0ZDY3NTA3MTYzMTMyZGIxZThhYmRlNjhiNmM2ZjRiZGY3YWIwN2ZkODc2ODVjZCZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.wjXmvya-Z1wP1QtrCwoljZCbc8-LJ9ST6ihJxJZEl4c"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUyMDE1NTcsIm5iZiI6MTczNTIwMTI1NywicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNiUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjZUMDgyMDU3WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MDUxNGI0N2E5MjkxNzkxMzA0ZDY3NTA3MTYzMTMyZGIxZThhYmRlNjhiNmM2ZjRiZGY3YWIwN2ZkODc2ODVjZCZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.wjXmvya-Z1wP1QtrCwoljZCbc8-LJ9ST6ihJxJZEl4c"/></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>