Skip to content

Commit

Permalink
Build website (automatic)
Browse files Browse the repository at this point in the history
  • Loading branch information
@jamesroutley @github-actions
jamesroutley authored and github-actions[bot] committed Dec 28, 2024
1 parent 36c79b2 commit 94da5bb
Show file tree
Hide file tree
Showing 9 changed files with 333 additions and 57 deletions.
36 changes: 36 additions & 0 deletions docs/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,15 @@ <h1>News</h1>




<li>
<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)
</li>
Expand Down Expand Up @@ -151,6 +160,24 @@ <h1>News</h1>




<li>
<a href="posts/the-paper-passport-s-days-are-numbered.html">The paper passport&#39;s days are numbered</a> (www.wired.com)
</li>





<li>
<a href="https://ghostty.org/">Ghostty 1.0</a> (ghostty.org)
</li>






<li>
<a href="https://vrklovespaper.substack.com/p/software-for-stationery-lovers">Software for stationery lovers</a> (vrklovespaper.substack.com)
</li>
Expand Down Expand Up @@ -304,6 +331,15 @@ <h1>News</h1>



<li>
<a href="https://www.youtube.com/watch?v=xLaLpMeOyHk">The hydraulic systems of the Alhambra Palace [video]</a> (www.youtube.com)
</li>







<li>
<a href="posts/twenty-twenty-four-annual-report-and-twenty-twenty-five-goals.html">Twenty twenty four annual report and twenty twenty five goals</a> (ablwr.github.io)
Expand Down
88 changes: 46 additions & 42 deletions docs/log.txt
View file
Original file line number Diff line number Diff line change
@@ -1,42 +1,46 @@
2024/12/28 01:15:29 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/28 01:15:29 Fetched posts from https://mikehudack.substack.com/feed, took 51.10167ms
2024/12/28 01:15:29 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/28 01:15:29 Fetched posts from https://highgrowthengineering.substack.com/feed, took 52.335392ms
2024/12/28 01:15:29 Fetched posts from https://www.slowernews.com/rss.xml, took 77.261825ms
2024/12/28 01:15:29 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/28 01:15:29 Fetched posts from https://themargins.substack.com/feed.xml, took 82.970196ms
2024/12/28 01:15:29 Fetched posts from https://www.benkuhn.net/index.xml, took 102.176978ms
2024/12/28 01:15:29 Fetched posts from https://macwright.com/rss.xml, took 102.905929ms
2024/12/28 01:15:29 Fetched posts from https://twobithistory.org/feed.xml, took 182.220969ms
2024/12/28 01:15:29 Fetched posts from https://jvns.ca/atom.xml, took 201.346968ms
2024/12/28 01:15:29 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 221.128303ms
2024/12/28 01:15:29 Fetched posts from https://scattered-thoughts.net/rss.xml, took 223.528194ms
2024/12/28 01:15:29 Fetched posts from https://danluu.com/atom.xml, took 304.909901ms
2024/12/28 01:15:29 Fetched posts from https://joy.recurse.com/feed.atom, took 378.514177ms
2024/12/28 01:15:29 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 438.746948ms
2024/12/28 01:15:29 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 514.328507ms
2024/12/28 01:15:30 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 953.952942ms
2024/12/28 01:15:30 Fetched posts from https://blog.veitheller.de/feed.rss, took 977.529843ms
2024/12/28 01:15:30 Content still empty after HTML reader: https://www.plasticlist.org/report
2024/12/28 01:15:30 Fetched posts from http://tonsky.me/blog/atom.xml, took 1.414792021s
2024/12/28 01:15:30 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 1.506037601s
2024/12/28 01:15:30 Content still empty after HTML reader: https://doodledreams.cc
2024/12/28 01:15:30 Fetched posts from https://commoncog.com/blog/rss/, took 1.658819178s
2024/12/28 01:15:31 Content still empty after HTML reader: http://tinylogger.com/max/hovToqSvttqcClbR
2024/12/28 01:15:31 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/28 01:15:32 Content still empty after HTML reader: https://tidyfirst.substack.com/p/complain-and-propose
2024/12/28 01:15:32 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/28 01:15:32 Fetched posts from https://gochugarugirl.com/feed/, took 3.580799849s
2024/12/28 01:15:33 Fetched posts from https://hnrss.org/frontpage?points=50, took 4.646250014s
2024/12/28 01:15:34 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/28 01:15:34 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 5.531189688s
2024/12/28 01: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/28 01:15:59 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.020912294s
2024/12/28 01:15:59 Skipping writing post, no content: http://tinylogger.com/max/hovToqSvttqcClbR
2024/12/28 01:15:59 Skipping writing post, no content: https://www.plasticlist.org/report
2024/12/28 01:15:59 Skipping writing post, no content: https://doodledreams.cc
2024/12/28 01:15:59 Skipping writing post, no content: https://tidyfirst.substack.com/p/complain-and-propose
2024/12/28 01:15:59 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/28 01:15:59 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/28 01:15:59 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/28 01:15:59 Templated 33 posts, took 5.491587ms
2024/12/28 02:42:53 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/28 02:42:53 Fetched posts from https://themargins.substack.com/feed.xml, took 56.654405ms
2024/12/28 02:42:53 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/28 02:42:53 Fetched posts from https://highgrowthengineering.substack.com/feed, took 56.530402ms
2024/12/28 02:42:53 Fetched posts from https://www.slowernews.com/rss.xml, took 57.89216ms
2024/12/28 02:42:54 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/28 02:42:54 Fetched posts from https://mikehudack.substack.com/feed, took 104.965575ms
2024/12/28 02:42:54 Fetched posts from https://macwright.com/rss.xml, took 113.211135ms
2024/12/28 02:42:54 Fetched posts from https://joy.recurse.com/feed.atom, took 154.931274ms
2024/12/28 02:42:54 Fetched posts from https://www.benkuhn.net/index.xml, took 171.920553ms
2024/12/28 02:42:54 Fetched posts from https://twobithistory.org/feed.xml, took 187.843269ms
2024/12/28 02:42:54 Fetched posts from https://jvns.ca/atom.xml, took 190.577851ms
2024/12/28 02:42:54 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 306.624874ms
2024/12/28 02:42:54 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 325.75953ms
2024/12/28 02:42:54 Fetched posts from https://danluu.com/atom.xml, took 363.822322ms
2024/12/28 02:42:54 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 363.909649ms
2024/12/28 02:42:54 Fetched posts from https://scattered-thoughts.net/rss.xml, took 391.490641ms
2024/12/28 02:42:54 Fetched posts from https://blog.veitheller.de/feed.rss, took 648.058524ms
2024/12/28 02:42:54 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 810.663196ms
2024/12/28 02:42:54 Content still empty after HTML reader: https://www.plasticlist.org/report
2024/12/28 02:42:54 Content still empty after HTML reader: https://doodledreams.cc
2024/12/28 02:42:55 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 1.073447326s
2024/12/28 02:42:55 Fetched posts from http://tonsky.me/blog/atom.xml, took 1.141124085s
2024/12/28 02:42:55 Fetched posts from https://commoncog.com/blog/rss/, took 1.798312618s
2024/12/28 02:42:55 Content still empty after HTML reader: https://tidyfirst.substack.com/p/complain-and-propose
2024/12/28 02:42:55 Content still empty after HTML reader: http://tinylogger.com/max/hovToqSvttqcClbR
2024/12/28 02:42:56 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/28 02:42:56 Fetched posts from https://gochugarugirl.com/feed/, took 2.403454502s
2024/12/28 02:42:56 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/28 02:42:56 Content still empty after HTML reader: https://ghostty.org/
2024/12/28 02:42:57 Content still empty after HTML reader: https://www.youtube.com/watch?v=xLaLpMeOyHk
2024/12/28 02:42:57 Fetched posts from https://hnrss.org/frontpage?points=50, took 3.6579013s
2024/12/28 02:42:57 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/28 02:42:57 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 4.045939339s
2024/12/28 02:43: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/28 02:43:23 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.022278706s
2024/12/28 02:43:23 Skipping writing post, no content: http://tinylogger.com/max/hovToqSvttqcClbR
2024/12/28 02:43:23 Skipping writing post, no content: https://www.plasticlist.org/report
2024/12/28 02:43:23 Skipping writing post, no content: https://doodledreams.cc
2024/12/28 02:43:23 Skipping writing post, no content: https://tidyfirst.substack.com/p/complain-and-propose
2024/12/28 02:43:23 Skipping writing post, no content: https://ghostty.org/
2024/12/28 02:43:23 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/28 02:43:23 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/28 02:43:23 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/28 02:43:23 Skipping writing post, no content: https://www.youtube.com/watch?v=xLaLpMeOyHk
2024/12/28 02:43:23 Templated 37 posts, took 4.680663ms
2 changes: 1 addition & 1 deletion docs/posts/25-hopes-for-2025.html
View file
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 5 hours, 19 minutes ago</p>
<p>Last updated 6 hours, 46 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
2 changes: 1 addition & 1 deletion docs/posts/bad-research-idea-false-statements-in-e-graphs.html
View file
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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzNDg4MzMsIm5iZiI6MTczNTM0ODUzMywicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyOCUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjhUMDExNTMzWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9YmFjYWZlZDg1Nzk4NjIxODYzYTM4NTM0MTBlNDJiNjQzN2ZiZmVmYzkyYzhhMTczNzcwYTc1MDg0OTcwMmRiZSZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.ub93k5oBE7bJLMziUpW75xNYCz1rlvLKlMbZ4vVORHs"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzNDg4MzMsIm5iZiI6MTczNTM0ODUzMywicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyOCUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjhUMDExNTMzWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9YmFjYWZlZDg1Nzk4NjIxODYzYTM4NTM0MTBlNDJiNjQzN2ZiZmVmYzkyYzhhMTczNzcwYTc1MDg0OTcwMmRiZSZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.ub93k5oBE7bJLMziUpW75xNYCz1rlvLKlMbZ4vVORHs"/></a>
<a target="_blank" rel="noopener noreferrer" href="https://private-user-images.githubusercontent.com/1186124/398305556-c3b64a4a-2e74-4180-9a4a-dfbbd6224b77.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzNTQwNzcsIm5iZiI6MTczNTM1Mzc3NywicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyOCUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjhUMDI0MjU3WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MzA4OTE1YjAyZTZmNTE2NDdlNTM5YzE0ZGQ0OGQ3YzI0MDE0NzE2ZGJlOTk1MmI3ZmFjOGI2YzRhNmFiNzc0YyZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.zdSu3VQ72pesyeOFLUnM8HkjjBJaxAWqB8c0g9FKmS8"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzNTQwNzcsIm5iZiI6MTczNTM1Mzc3NywicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyOCUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjhUMDI0MjU3WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MzA4OTE1YjAyZTZmNTE2NDdlNTM5YzE0ZGQ0OGQ3YzI0MDE0NzE2ZGJlOTk1MmI3ZmFjOGI2YzRhNmFiNzc0YyZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.zdSu3VQ72pesyeOFLUnM8HkjjBJaxAWqB8c0g9FKmS8"/></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
Loading

0 comments on commit 94da5bb

Please sign in to comment.