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 27, 2024
1 parent 9b5283b commit 2b660e0
Show file tree
Hide file tree
Showing 13 changed files with 677 additions and 515 deletions.
45 changes: 27 additions & 18 deletions docs/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,25 +18,25 @@ <h1>News</h1>


<li>
<a href="posts/does-current-ai-represent-a-dead-end.html">Does current AI represent a dead end?</a> (www.bcs.org)
<a href="posts/fake-nintendo-lawyer-is-scaring-youtubers-and-its-not-clear-youtube-can-stop-it.html">Fake Nintendo lawyer is scaring YouTubers, and its not clear YouTube can stop it</a> (www.theverge.com)
</li>






<li>
<a href="http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission">Why OpenAI&#39;s Structure Must Evolve to Advance Our Mission</a> (openai.com)
<a href="posts/does-current-ai-represent-a-dead-end.html">Does current AI represent a dead end?</a> (www.bcs.org)
</li>







<li>
<a href="posts/missiles-are-now-the-biggest-killer-of-airline-passengers.html">Missiles Are Now the Biggest Killer of Airline Passengers</a> (www.wsj.com)
<a href="posts/the-new-science-of-controlling-lucid-dreams.html">The new science of controlling lucid dreams</a> (www.scientificamerican.com)
</li>


Expand All @@ -45,16 +45,25 @@ <h1>News</h1>


<li>
<a href="posts/building-ai-products-part-i-back-end-architecture.html">Building AI Products–Part I: Back-End Architecture</a> (philcalcado.com)
<a href="posts/i-send-myself-automated-emails-to-practice-dutch.html">I send myself automated emails to practice Dutch</a> (github.com)
</li>





<li>
<a href="http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission">Why OpenAI&#39;s Structure Must Evolve to Advance Our Mission</a> (openai.com)
</li>







<li>
<a href="posts/implementing-sm-2-in-rust.html">Implementing SM-2 in Rust</a> (borretti.me)
<a href="posts/missiles-are-now-the-biggest-killer-of-airline-passengers.html">Missiles Are Now the Biggest Killer of Airline Passengers</a> (www.wsj.com)
</li>


Expand All @@ -63,7 +72,7 @@ <h1>News</h1>


<li>
<a href="posts/quiver-a-modern-commutative-diagram-editor.html">Quiver: A Modern Commutative Diagram Editor</a> (github.com)
<a href="posts/implementing-sm-2-in-rust.html">Implementing SM-2 in Rust</a> (borretti.me)
</li>


Expand All @@ -72,7 +81,7 @@ <h1>News</h1>


<li>
<a href="posts/bill-requiring-us-agencies-to-share-source-code-with-each-other-becomes-law.html">Bill requiring US agencies to share source code with each other becomes law</a> (fedscoop.com)
<a href="posts/quiver-a-modern-commutative-diagram-editor.html">Quiver: A Modern Commutative Diagram Editor</a> (github.com)
</li>


Expand All @@ -81,7 +90,7 @@ <h1>News</h1>


<li>
<a href="posts/thermodynamic-model-identifies-how-gold-reaches-earth-s-surface.html">Thermodynamic model identifies how gold reaches Earth&#39;s surface</a> (phys.org)
<a href="posts/bill-requiring-us-agencies-to-share-source-code-with-each-other-becomes-law.html">Bill requiring US agencies to share source code with each other becomes law</a> (fedscoop.com)
</li>


Expand Down Expand Up @@ -179,15 +188,6 @@ <h1>News</h1>



<li>
<a href="posts/the-trap-of-i-am-not-an-extrovert.html">The trap of &#34;I am not an extrovert&#34;</a> (orkohunter.net)
</li>






<li>
<a href="posts/lffs-simplicity-vs-efficiency.html">LFFS: Simplicity vs Efficiency</a> (bytes.zone)
</li>
Expand Down Expand Up @@ -296,6 +296,15 @@ <h1>News</h1>



<li>
<a href="posts/how-to-build-an-electrically-heated-table.html">How to Build an Electrically Heated Table?</a> (solar.lowtechmagazine.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)
</li>
Expand Down
82 changes: 40 additions & 42 deletions docs/log.txt
View file
Original file line number Diff line number Diff line change
@@ -1,42 +1,40 @@
2024/12/27 15:16:19 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/27 15:16:19 Fetched posts from https://themargins.substack.com/feed.xml, took 41.655125ms
2024/12/27 15:16:19 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/27 15:16:19 Fetched posts from https://mikehudack.substack.com/feed, took 44.797096ms
2024/12/27 15:16:19 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/27 15:16:19 Fetched posts from https://highgrowthengineering.substack.com/feed, took 51.229215ms
2024/12/27 15:16:19 Fetched posts from https://macwright.com/rss.xml, took 104.342994ms
2024/12/27 15:16:19 Fetched posts from https://www.benkuhn.net/index.xml, took 123.436521ms
2024/12/27 15:16:19 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 128.91179ms
2024/12/27 15:16:19 Fetched posts from https://scattered-thoughts.net/rss.xml, took 163.677639ms
2024/12/27 15:16:19 Fetched posts from https://www.slowernews.com/rss.xml, took 188.176682ms
2024/12/27 15:16:19 Fetched posts from https://jvns.ca/atom.xml, took 199.672029ms
2024/12/27 15:16:19 Fetched posts from https://twobithistory.org/feed.xml, took 225.057321ms
2024/12/27 15:16:19 Fetched posts from https://danluu.com/atom.xml, took 283.918002ms
2024/12/27 15:16:19 Fetched posts from https://joy.recurse.com/feed.atom, took 352.008052ms
2024/12/27 15:16:20 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 394.856736ms
2024/12/27 15:16:20 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 433.991487ms
2024/12/27 15:16:20 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 512.85992ms
2024/12/27 15:16:20 Content still empty after HTML reader: http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission
2024/12/27 15:16:20 Fetched posts from https://blog.veitheller.de/feed.rss, took 977.631019ms
2024/12/27 15:16:21 Fetched posts from https://commoncog.com/blog/rss/, took 1.398053157s
2024/12/27 15:16:21 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 15:16:21 Fetched posts from http://tonsky.me/blog/atom.xml, took 1.553777208s
2024/12/27 15:16:21 Get "https://eyeondesign.aiga.org/why-did-so-many-mid-century-designers-make-childrens-books/": tls: failed to verify certificate: x509: certificate signed by unknown authority
2024/12/27 15:16:21 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 15:16:22 Content still empty after HTML reader: https://www.cell.com/device/fulltext/S2666-9986(24)00583-0?_returnURL=https%3A%2F%2Flinkinghub.elsevier.com%2Fretrieve%2Fpii%2FS2666998624005830%3Fshowall%3Dtrue
2024/12/27 15:16:22 Content still empty after HTML reader: https://ghostty.org/
2024/12/27 15:16:23 Fetched posts from https://gochugarugirl.com/feed/, took 3.638390233s
2024/12/27 15:16:23 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 15:16:23 Fetched posts from https://hnrss.org/frontpage?points=50, took 4.133823719s
2024/12/27 15:16:25 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 5.971529281s
2024/12/27 15:16:49 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 15:16:49 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.004271564s
2024/12/27 15:16:49 error parsing https://solar.lowtechmagazine.com/feeds/all-en.atom.xml: Get "https://solar.lowtechmagazine.com/feeds/all-en.atom.xml": dial tcp 84.79.2.129:443: i/o timeout
2024/12/27 15:16:49 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 30.004290772s
2024/12/27 15:16:49 Skipping writing post, no content: http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission
2024/12/27 15:16:49 Skipping writing post, no content: https://www.cell.com/device/fulltext/S2666-9986(24)00583-0?_returnURL=https%3A%2F%2Flinkinghub.elsevier.com%2Fretrieve%2Fpii%2FS2666998624005830%3Fshowall%3Dtrue
2024/12/27 15:16:49 Skipping writing post, no content: https://ghostty.org/
2024/12/27 15:16:49 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 15:16:49 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 15:16:49 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 15:16:49 Templated 36 posts, took 6.653698ms
2024/12/27 16:19:35 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/27 16:19:35 Fetched posts from https://themargins.substack.com/feed.xml, took 92.106944ms
2024/12/27 16:19:35 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/27 16:19:35 Fetched posts from https://highgrowthengineering.substack.com/feed, took 92.391108ms
2024/12/27 16:19:35 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/27 16:19:35 Fetched posts from https://mikehudack.substack.com/feed, took 105.443556ms
2024/12/27 16:19:35 Fetched posts from https://macwright.com/rss.xml, took 173.356168ms
2024/12/27 16:19:35 Fetched posts from https://www.benkuhn.net/index.xml, took 174.919025ms
2024/12/27 16:19:35 Fetched posts from https://twobithistory.org/feed.xml, took 182.234043ms
2024/12/27 16:19:35 Fetched posts from https://www.slowernews.com/rss.xml, took 224.118799ms
2024/12/27 16:19:35 Fetched posts from https://jvns.ca/atom.xml, took 258.542921ms
2024/12/27 16:19:35 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 268.567774ms
2024/12/27 16:19:35 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 292.292736ms
2024/12/27 16:19:35 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 322.243712ms
2024/12/27 16:19:35 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 342.673888ms
2024/12/27 16:19:35 Fetched posts from https://scattered-thoughts.net/rss.xml, took 352.513821ms
2024/12/27 16:19:35 Fetched posts from https://danluu.com/atom.xml, took 394.341505ms
2024/12/27 16:19:35 Fetched posts from https://joy.recurse.com/feed.atom, took 448.077652ms
2024/12/27 16:19:35 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 518.046692ms
2024/12/27 16:19:36 Fetched posts from https://blog.veitheller.de/feed.rss, took 918.897194ms
2024/12/27 16:19:36 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 1.270626207s
2024/12/27 16:19:36 Fetched posts from http://tonsky.me/blog/atom.xml, took 1.540953436s
2024/12/27 16:19:36 Fetched posts from https://commoncog.com/blog/rss/, took 1.581587984s
2024/12/27 16:19:37 Content still empty after HTML reader: http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission
2024/12/27 16:19:37 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 16:19:38 Get "https://eyeondesign.aiga.org/why-did-so-many-mid-century-designers-make-childrens-books/": tls: failed to verify certificate: x509: certificate signed by unknown authority
2024/12/27 16:19:38 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 16:19:39 Fetched posts from https://gochugarugirl.com/feed/, took 3.694939226s
2024/12/27 16:19:39 Content still empty after HTML reader: https://www.cell.com/device/fulltext/S2666-9986(24)00583-0?_returnURL=https%3A%2F%2Flinkinghub.elsevier.com%2Fretrieve%2Fpii%2FS2666998624005830%3Fshowall%3Dtrue
2024/12/27 16:19:40 Content still empty after HTML reader: https://ghostty.org/
2024/12/27 16:19:40 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 16:19:41 Fetched posts from https://hnrss.org/frontpage?points=50, took 5.814511053s
2024/12/27 16:19:42 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 7.601968653s
2024/12/27 16:19:42 Skipping writing post, no content: http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission
2024/12/27 16:19:42 Skipping writing post, no content: https://www.cell.com/device/fulltext/S2666-9986(24)00583-0?_returnURL=https%3A%2F%2Flinkinghub.elsevier.com%2Fretrieve%2Fpii%2FS2666998624005830%3Fshowall%3Dtrue
2024/12/27 16:19:42 Skipping writing post, no content: https://ghostty.org/
2024/12/27 16:19:42 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 16:19:42 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 16:19:42 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 16:19:42 Templated 37 posts, took 5.647657ms
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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzMTI4ODIsIm5iZiI6MTczNTMxMjU4MiwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMTUxNjIyWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MGMyNTY2NGE0YTUxMWIxZDllNjNhNDRkYjNlY2NhMmUzNmQ1MmY1NWEzZGQ5YmY0NGQ2YmM1YTQ4ZDFkMDAyMSZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.sIJiUPLIkQxmEMr5E9obtogsryLy6bSdx_X8KFEdY7s"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzMTI4ODIsIm5iZiI6MTczNTMxMjU4MiwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMTUxNjIyWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MGMyNTY2NGE0YTUxMWIxZDllNjNhNDRkYjNlY2NhMmUzNmQ1MmY1NWEzZGQ5YmY0NGQ2YmM1YTQ4ZDFkMDAyMSZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.sIJiUPLIkQxmEMr5E9obtogsryLy6bSdx_X8KFEdY7s"/></a>
<a target="_blank" rel="noopener noreferrer" href="https://private-user-images.githubusercontent.com/1186124/398305556-c3b64a4a-2e74-4180-9a4a-dfbbd6224b77.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzMTY2NzksIm5iZiI6MTczNTMxNjM3OSwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMTYxOTM5WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9ZjNhMDIxZGQwMDI5NDZmZTg1ZjUyNWQ4YjYzNDEyMTkwNWIzNjI3MDhlZjBmNzZlZTQ3MzY1M2MzM2I1MDUzOCZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.eDIMNb_k8HgLiXcLOvB22aJ9cgdRlpy1zkRaMst8iY8"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzMTY2NzksIm5iZiI6MTczNTMxNjM3OSwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMTYxOTM5WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9ZjNhMDIxZGQwMDI5NDZmZTg1ZjUyNWQ4YjYzNDEyMTkwNWIzNjI3MDhlZjBmNzZlZTQ3MzY1M2MzM2I1MDUzOCZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.eDIMNb_k8HgLiXcLOvB22aJ9cgdRlpy1zkRaMst8iY8"/></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 2b660e0

Please sign in to comment.