Skip to content

Commit

Permalink
Build website (automatic)
Browse files Browse the repository at this point in the history
  • Loading branch information
jamesroutley authored and github-actions[bot] committed Dec 27, 2024
1 parent bac3506 commit e056076
Show file tree
Hide file tree
Showing 12 changed files with 332 additions and 88 deletions.
41 changes: 34 additions & 7 deletions docs/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,15 @@ <h1>News</h1>



<li>
<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)
Expand All @@ -26,6 +35,15 @@ <h1>News</h1>



<li>
<a href="posts/nasa-s-parker-solar-probe-reports-successful-closest-approach-to-sun.html">NASA&#39;s Parker Solar Probe Reports Successful Closest Approach to Sun</a> (blogs.nasa.gov)
</li>






<li>
<a href="posts/they-have-not-been-trained-for-this-ccc-supports-train-hackers.html">They have not been trained for this – CCC supports train hackers</a> (www.ccc.de)
</li>
Expand All @@ -35,6 +53,15 @@ <h1>News</h1>



<li>
<a href="posts/s-korean-crypto-boss-do-kwon-to-be-extradited-to-us.html">S Korean crypto-boss Do Kwon to be extradited to US</a> (www.bbc.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>
Expand Down Expand Up @@ -133,36 +160,36 @@ <h1>News</h1>




<li>
<a href="posts/the-cap-theorem-of-clustering-why-every-algorithm-must-sacrifice-something.html">The CAP theorem of Clustering: Why Every Algorithm Must Sacrifice Something</a> (blog.codingconfessions.com)
<a href="https://ghostty.org/">Ghostty 1.0</a> (ghostty.org)
</li>






<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/lffs-simplicity-vs-efficiency.html">LFFS: Simplicity vs Efficiency</a> (bytes.zone)
</li>







<li>
<a href="posts/lffs-simplicity-vs-efficiency.html">LFFS: Simplicity vs Efficiency</a> (bytes.zone)
<a href="posts/into-cps-never-to-return.html">Into CPS, never to return</a> (bernsteinbear.com)
</li>


Expand All @@ -171,7 +198,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/taxi-drivers-offer-a-clue-to-alzheimer-s-risk.html">Taxi drivers offer a clue to Alzheimer&#39;s risk</a> (www.wsj.com)
</li>


Expand Down
78 changes: 40 additions & 38 deletions docs/log.txt
Original file line number Diff line number Diff line change
@@ -1,38 +1,40 @@
2024/12/27 20:17:09 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/27 20:17:09 Fetched posts from https://themargins.substack.com/feed.xml, took 39.163179ms
2024/12/27 20:17:09 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/27 20:17:09 Fetched posts from https://highgrowthengineering.substack.com/feed, took 39.415102ms
2024/12/27 20:17:09 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/27 20:17:09 Fetched posts from https://mikehudack.substack.com/feed, took 40.661066ms
2024/12/27 20:17:09 Fetched posts from https://macwright.com/rss.xml, took 48.599584ms
2024/12/27 20:17:10 Fetched posts from https://www.slowernews.com/rss.xml, took 74.962489ms
2024/12/27 20:17:10 Fetched posts from https://www.benkuhn.net/index.xml, took 101.946237ms
2024/12/27 20:17:10 Fetched posts from https://twobithistory.org/feed.xml, took 146.202675ms
2024/12/27 20:17:10 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 209.043313ms
2024/12/27 20:17:10 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 229.320977ms
2024/12/27 20:17:10 Fetched posts from https://jvns.ca/atom.xml, took 248.793563ms
2024/12/27 20:17:10 Fetched posts from https://danluu.com/atom.xml, took 283.913898ms
2024/12/27 20:17:10 Fetched posts from https://scattered-thoughts.net/rss.xml, took 327.681611ms
2024/12/27 20:17:10 Fetched posts from https://joy.recurse.com/feed.atom, took 483.11389ms
2024/12/27 20:17:10 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 695.056824ms
2024/12/27 20:17:10 Fetched posts from https://blog.veitheller.de/feed.rss, took 928.19642ms
2024/12/27 20:17:11 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 1.377923969s
2024/12/27 20:17:11 Fetched posts from https://commoncog.com/blog/rss/, took 1.393407997s
2024/12/27 20:17:11 Fetched posts from http://tonsky.me/blog/atom.xml, took 1.536159371s
2024/12/27 20:17:11 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 20:17:12 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 20:17:12 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 2.41873289s
2024/12/27 20:17:13 Content still empty after HTML reader: http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission
2024/12/27 20:17:13 Fetched posts from https://gochugarugirl.com/feed/, took 3.343680634s
2024/12/27 20:17:14 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 20:17:15 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 5.489777727s
2024/12/27 20:17:16 Content still empty after HTML reader: https://ghostty.org/
2024/12/27 20:17:16 Fetched posts from https://hnrss.org/frontpage?points=50, took 6.101168344s
2024/12/27 20:17:39 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/27 20:17:39 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.003395881s
2024/12/27 20:17:39 Skipping writing post, no content: http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission
2024/12/27 20:17:39 Skipping writing post, no content: https://ghostty.org/
2024/12/27 20:17:39 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 20:17:39 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 20:17:39 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 20:17:39 Templated 31 posts, took 4.15382ms
2024/12/27 21:14:22 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/27 21:14:22 Fetched posts from https://highgrowthengineering.substack.com/feed, took 52.129371ms
2024/12/27 21:14:22 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/27 21:14:22 Fetched posts from https://themargins.substack.com/feed.xml, took 54.499209ms
2024/12/27 21:14:22 Fetched posts from https://www.slowernews.com/rss.xml, took 61.686558ms
2024/12/27 21:14:22 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/27 21:14:22 Fetched posts from https://mikehudack.substack.com/feed, took 70.092364ms
2024/12/27 21:14:22 Fetched posts from https://macwright.com/rss.xml, took 73.073168ms
2024/12/27 21:14:22 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 165.96019ms
2024/12/27 21:14:22 Fetched posts from https://jvns.ca/atom.xml, took 166.007605ms
2024/12/27 21:14:22 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 170.695111ms
2024/12/27 21:14:22 Fetched posts from https://www.benkuhn.net/index.xml, took 215.851711ms
2024/12/27 21:14:22 Fetched posts from https://twobithistory.org/feed.xml, took 217.510911ms
2024/12/27 21:14:22 Fetched posts from https://joy.recurse.com/feed.atom, took 267.608566ms
2024/12/27 21:14:22 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 267.115825ms
2024/12/27 21:14:22 Fetched posts from https://danluu.com/atom.xml, took 287.435009ms
2024/12/27 21:14:23 Fetched posts from https://scattered-thoughts.net/rss.xml, took 318.651385ms
2024/12/27 21:14:23 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 404.976973ms
2024/12/27 21:14:23 Fetched posts from https://blog.veitheller.de/feed.rss, took 589.943647ms
2024/12/27 21:14:23 Fetched posts from http://tonsky.me/blog/atom.xml, took 847.880091ms
2024/12/27 21:14:23 Content still empty after HTML reader: http://tinylogger.com/max/hovToqSvttqcClbR
2024/12/27 21:14:23 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 943.987569ms
2024/12/27 21:14:24 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 21:14:24 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 21:14:24 Fetched posts from https://commoncog.com/blog/rss/, took 1.867785335s
2024/12/27 21:14:25 Content still empty after HTML reader: http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission
2024/12/27 21:14:25 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 21:14:25 Fetched posts from https://gochugarugirl.com/feed/, took 2.655923004s
2024/12/27 21:14:25 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 3.212533805s
2024/12/27 21:14:26 Content still empty after HTML reader: https://ghostty.org/
2024/12/27 21:14:26 Fetched posts from https://hnrss.org/frontpage?points=50, took 3.59872889s
2024/12/27 21:14:52 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/27 21:14:52 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.022246243s
2024/12/27 21:14:52 Skipping writing post, no content: http://tinylogger.com/max/hovToqSvttqcClbR
2024/12/27 21:14:52 Skipping writing post, no content: http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission
2024/12/27 21:14:52 Skipping writing post, no content: https://ghostty.org/
2024/12/27 21:14:52 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 21:14:52 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 21:14:52 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 21:14:52 Templated 34 posts, took 4.920863ms
2 changes: 1 addition & 1 deletion docs/posts/25-hopes-for-2025.html
Original file line number Diff line number Diff line change
Expand Up @@ -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 20 minutes ago</p>
<p>Last updated 1 hour, 17 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>

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzMzA5MzMsIm5iZiI6MTczNTMzMDYzMywicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMjAxNzEzWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9NzE3ZGVhOTA0YjgwNTliOTEwZDQyNWE4NmVjNzA3MjY4ODlkODBkNWNkMTg0ZWM1ZTNjMmE4ODU1MGQwMmI5NiZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.RH9FNFoRSs7FeTFOr_pTM3JffEEDIsSkLeWc9DVZjy8"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzMzA5MzMsIm5iZiI6MTczNTMzMDYzMywicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMjAxNzEzWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9NzE3ZGVhOTA0YjgwNTliOTEwZDQyNWE4NmVjNzA3MjY4ODlkODBkNWNkMTg0ZWM1ZTNjMmE4ODU1MGQwMmI5NiZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.RH9FNFoRSs7FeTFOr_pTM3JffEEDIsSkLeWc9DVZjy8"/></a>
<a target="_blank" rel="noopener noreferrer" href="https://private-user-images.githubusercontent.com/1186124/398305556-c3b64a4a-2e74-4180-9a4a-dfbbd6224b77.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzMzQzNjUsIm5iZiI6MTczNTMzNDA2NSwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMjExNDI1WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MDM2ZDcxOTMwNjI1NjAwZWYyNjVlMWQ4YzZiODNjOTZmMzQxZjgzM2JkNDkyN2NkZDZiNTFkMGM3MzE3YTI5NyZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.1PNMfPM_WBTaQXdyqBZcECdJOfNY6KpNWq7VMPuFqJw"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzMzQzNjUsIm5iZiI6MTczNTMzNDA2NSwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMjExNDI1WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MDM2ZDcxOTMwNjI1NjAwZWYyNjVlMWQ4YzZiODNjOTZmMzQxZjgzM2JkNDkyN2NkZDZiNTFkMGM3MzE3YTI5NyZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.1PNMfPM_WBTaQXdyqBZcECdJOfNY6KpNWq7VMPuFqJw"/></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>
Expand Down
4 changes: 2 additions & 2 deletions docs/posts/does-current-ai-represent-a-dead-end.html
Original file line number Diff line number Diff line change
Expand Up @@ -44,12 +44,12 @@ <h2 data-translate="blocked_resolve_headline">What can I do to resolve this?</h2
</div><!-- /.section -->

<p>
<span>Cloudflare Ray ID: <strong>8f8bfe253cffcf26</strong></span>
<span>Cloudflare Ray ID: <strong>8f8c51f04bce574c</strong></span>
<span></span>
<span id="cf-footer-item-ip">
Your IP:

<span id="cf-footer-ip">52.234.46.114</span>
<span id="cf-footer-ip">20.57.71.210</span>
<span></span>
</span>
<span><span>Performance &amp; security by</span> <a rel="noopener noreferrer" href="https://www.cloudflare.com/5xx-error-landing" id="brand_link" target="_blank">Cloudflare</a></span>
Expand Down
Loading

0 comments on commit e056076

Please sign in to comment.