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 25, 2024
1 parent d2de242 commit 289c400
Show file tree
Hide file tree
Showing 12 changed files with 85 additions and 266 deletions.
14 changes: 7 additions & 7 deletions docs/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -162,7 +162,7 @@ <h1>News</h1>


<li>
<a href="posts/adversarial-policies-beat-superhuman-go-ais-2023.html">Adversarial policies beat superhuman Go AIs (2023)</a> (arxiv.org)
<a href="posts/the-swedish-cabin-on-the-frontline-of-a-possible-hybrid-war.html">The Swedish cabin on the frontline of a possible hybrid war</a> (www.theguardian.com)
</li>


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


<li>
<a href="posts/a-new-learning-experience-on-mdn.html">A new learning experience on MDN</a> (developer.mozilla.org)
<a href="posts/adversarial-policies-beat-superhuman-go-ais-2023.html">Adversarial policies beat superhuman Go AIs (2023)</a> (arxiv.org)
</li>


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


<li>
<a href="posts/exploring-lora-part-1-the-idea-behind-parameter-efficient-fine-tuning.html">Exploring LoRA – Part 1: The Idea Behind Parameter Efficient Fine-Tuning</a> (medium.com)
<a href="posts/a-new-learning-experience-on-mdn.html">A new learning experience on MDN</a> (developer.mozilla.org)
</li>


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


<li>
<a href="posts/navtive-flamegraphviewer.html">Navtive FlameGraphViewer</a> (laladrik.xyz)
<a href="posts/exploring-lora-part-1-the-idea-behind-parameter-efficient-fine-tuning.html">Exploring LoRA – Part 1: The Idea Behind Parameter Efficient Fine-Tuning</a> (medium.com)
</li>


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


<li>
<a href="posts/are-immutable-linux-distros-right-for-you.html">Are Immutable Linux Distros right for you?</a> (linuxblog.io)
<a href="posts/navtive-flamegraphviewer.html">Navtive FlameGraphViewer</a> (laladrik.xyz)
</li>


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


<li>
<a href="posts/feel-don-t-think.html">Feel, don&#39;t think</a> (ntietz.com)
<a href="posts/are-immutable-linux-distros-right-for-you.html">Are Immutable Linux Distros right for you?</a> (linuxblog.io)
</li>


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


<li>
<a href="posts/giant-sloths-and-mastodons-lived-with-humans-for-millennia-in-the-americas.html">Giant sloths and mastodons lived with humans for millennia in the Americas</a> (phys.org)
<a href="posts/feel-don-t-think.html">Feel, don&#39;t think</a> (ntietz.com)
</li>


Expand Down
80 changes: 40 additions & 40 deletions docs/log.txt
Original file line number Diff line number Diff line change
@@ -1,40 +1,40 @@
2024/12/25 20:17:21 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/25 20:17:21 Fetched posts from https://highgrowthengineering.substack.com/feed, took 57.972716ms
2024/12/25 20:17:21 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/25 20:17:21 Fetched posts from https://themargins.substack.com/feed.xml, took 59.613431ms
2024/12/25 20:17:21 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/25 20:17:21 Fetched posts from https://mikehudack.substack.com/feed, took 64.009885ms
2024/12/25 20:17:21 Fetched posts from https://www.slowernews.com/rss.xml, took 77.728175ms
2024/12/25 20:17:21 Fetched posts from https://jvns.ca/atom.xml, took 86.137255ms
2024/12/25 20:17:21 Fetched posts from https://www.benkuhn.net/index.xml, took 132.656031ms
2024/12/25 20:17:21 Fetched posts from https://macwright.com/rss.xml, took 133.986539ms
2024/12/25 20:17:21 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 173.881258ms
2024/12/25 20:17:21 Fetched posts from https://joy.recurse.com/feed.atom, took 220.831885ms
2024/12/25 20:17:21 Fetched posts from https://twobithistory.org/feed.xml, took 232.439709ms
2024/12/25 20:17:21 Fetched posts from https://danluu.com/atom.xml, took 343.325921ms
2024/12/25 20:17:21 Fetched posts from https://scattered-thoughts.net/rss.xml, took 387.241905ms
2024/12/25 20:17:21 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 397.644331ms
2024/12/25 20:17:22 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 530.420647ms
2024/12/25 20:17:22 Fetched posts from https://blog.veitheller.de/feed.rss, took 660.161249ms
2024/12/25 20:17:22 Fetched posts from http://tonsky.me/blog/atom.xml, took 788.177295ms
2024/12/25 20:17:22 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 917.982528ms
2024/12/25 20:17:22 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 924.082406ms
2024/12/25 20:17:22 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/25 20:17:23 Content still empty after HTML reader: https://www.youtube.com/watch?v=IQqtsm-bBRU
2024/12/25 20:17:23 Fetched posts from https://commoncog.com/blog/rss/, took 1.864706843s
2024/12/25 20:17:23 Content still empty after HTML reader: https://papermatch.mitanshu.tech/
2024/12/25 20:17:24 Fetched posts from https://gochugarugirl.com/feed/, took 2.74394443s
2024/12/25 20:17:24 Get "https://www.fixbrowser.org/": tls: failed to verify certificate: x509: certificate signed by unknown authority
2024/12/25 20:17:24 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/25 20:17:25 Not HTML: https://community.wolfram.com/c/portal/getImageAttachment?filename=tree.gif&userId=93201
2024/12/25 20:17:26 Content still empty after HTML reader: https://mathstodon.xyz/@johncarlosbaez/113703444230936435
2024/12/25 20:17:27 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 6.023289303s
2024/12/25 20:17:27 Fetched posts from https://hnrss.org/frontpage?points=50, took 6.345424334s
2024/12/25 20:17:51 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/25 20:17:51 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.003610424s
2024/12/25 20:17:51 Skipping writing post, no content: https://www.youtube.com/watch?v=IQqtsm-bBRU
2024/12/25 20:17:51 Skipping writing post, no content: https://papermatch.mitanshu.tech/
2024/12/25 20:17:51 Skipping writing post, no content: https://mathstodon.xyz/@johncarlosbaez/113703444230936435
2024/12/25 20:17:51 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/25 20:17:51 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/25 20:17:51 Templated 44 posts, took 6.094776ms
2024/12/25 21:14:44 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/25 21:14:44 Fetched posts from https://themargins.substack.com/feed.xml, took 49.408134ms
2024/12/25 21:14:44 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/25 21:14:44 Fetched posts from https://highgrowthengineering.substack.com/feed, took 50.367274ms
2024/12/25 21:14:44 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/25 21:14:44 Fetched posts from https://mikehudack.substack.com/feed, took 51.198285ms
2024/12/25 21:14:44 Fetched posts from https://macwright.com/rss.xml, took 101.031587ms
2024/12/25 21:14:44 Fetched posts from https://www.slowernews.com/rss.xml, took 107.275764ms
2024/12/25 21:14:44 Fetched posts from https://www.benkuhn.net/index.xml, took 113.467514ms
2024/12/25 21:14:44 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 143.19984ms
2024/12/25 21:14:44 Fetched posts from https://twobithistory.org/feed.xml, took 157.946853ms
2024/12/25 21:14:44 Fetched posts from https://jvns.ca/atom.xml, took 166.339748ms
2024/12/25 21:14:44 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 254.728485ms
2024/12/25 21:14:44 Fetched posts from https://danluu.com/atom.xml, took 334.791869ms
2024/12/25 21:14:44 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 340.487643ms
2024/12/25 21:14:44 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 506.758698ms
2024/12/25 21:14:44 Fetched posts from https://scattered-thoughts.net/rss.xml, took 546.780632ms
2024/12/25 21:14:45 Fetched posts from https://blog.veitheller.de/feed.rss, took 632.700853ms
2024/12/25 21:14:45 Fetched posts from http://tonsky.me/blog/atom.xml, took 763.078423ms
2024/12/25 21:14:45 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 903.710762ms
2024/12/25 21:14:45 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/25 21:14:46 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/25 21:14:46 Fetched posts from https://commoncog.com/blog/rss/, took 1.979912052s
2024/12/25 21:14:46 Content still empty after HTML reader: https://www.youtube.com/watch?v=IQqtsm-bBRU
2024/12/25 21:14:46 Content still empty after HTML reader: https://papermatch.mitanshu.tech/
2024/12/25 21:14:46 Fetched posts from https://gochugarugirl.com/feed/, took 2.335260265s
2024/12/25 21:14:47 Fetched posts from https://joy.recurse.com/feed.atom, took 3.1783554s
2024/12/25 21:14:47 Get "https://www.fixbrowser.org/": tls: failed to verify certificate: x509: certificate signed by unknown authority
2024/12/25 21:14:48 Not HTML: https://community.wolfram.com/c/portal/getImageAttachment?filename=tree.gif&userId=93201
2024/12/25 21:14:49 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 4.645319019s
2024/12/25 21:14:49 Content still empty after HTML reader: https://mathstodon.xyz/@johncarlosbaez/113703444230936435
2024/12/25 21:14:50 Fetched posts from https://hnrss.org/frontpage?points=50, took 6.130762396s
2024/12/25 21:15:14 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/25 21:15:14 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.003753781s
2024/12/25 21:15:14 Skipping writing post, no content: https://www.youtube.com/watch?v=IQqtsm-bBRU
2024/12/25 21:15:14 Skipping writing post, no content: https://papermatch.mitanshu.tech/
2024/12/25 21:15:14 Skipping writing post, no content: https://mathstodon.xyz/@johncarlosbaez/113703444230936435
2024/12/25 21:15:14 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/25 21:15:14 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/25 21:15:14 Templated 44 posts, took 5.81646ms
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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUxNTgxNDQsIm5iZiI6MTczNTE1Nzg0NCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNSUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjVUMjAxNzI0WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9OGVmMjQwYWM5OWRhYjdiZmJiM2VkNWQ2MDJmMmEwMzE5Mjg4Y2M5N2JmNDc3N2MwYjg2YzY3Njk4NTM4NDllOSZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.FBM0m683tAo9Jhxxbwc_HGUjvurhW0QsIQxIzpuhCNY"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUxNTgxNDQsIm5iZiI6MTczNTE1Nzg0NCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNSUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjVUMjAxNzI0WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9OGVmMjQwYWM5OWRhYjdiZmJiM2VkNWQ2MDJmMmEwMzE5Mjg4Y2M5N2JmNDc3N2MwYjg2YzY3Njk4NTM4NDllOSZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.FBM0m683tAo9Jhxxbwc_HGUjvurhW0QsIQxIzpuhCNY"/></a>
<a target="_blank" rel="noopener noreferrer" href="https://private-user-images.githubusercontent.com/1186124/398305556-c3b64a4a-2e74-4180-9a4a-dfbbd6224b77.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUxNjE1ODUsIm5iZiI6MTczNTE2MTI4NSwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNSUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjVUMjExNDQ1WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9NWE4MjQ3NGViYTNjYThhOWJiYTk4ZWZjYTgwOGE5YmNhZGIxZjgzZjBmNWM3ZWQ3NTIyODg4NmQwMGQyMzk2ZiZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.uGeUbdWfiL5YNt_BdSK6kLCO0gB2gtkGAFwcb3X5ljg"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUxNjE1ODUsIm5iZiI6MTczNTE2MTI4NSwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNSUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjVUMjExNDQ1WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9NWE4MjQ3NGViYTNjYThhOWJiYTk4ZWZjYTgwOGE5YmNhZGIxZjgzZjBmNWM3ZWQ3NTIyODg4NmQwMGQyMzk2ZiZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.uGeUbdWfiL5YNt_BdSK6kLCO0gB2gtkGAFwcb3X5ljg"/></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
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>8f7b83b0cf2cd6c9</strong></span>
<span>Cloudflare Ray ID: <strong>8f7bd7bffb512012</strong></span>
<span></span>
<span id="cf-footer-item-ip">
Your IP:

<span id="cf-footer-ip">20.246.77.165</span>
<span id="cf-footer-ip">20.42.51.81</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
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>8f7b83bfeab48254</strong></span>
<span>Cloudflare Ray ID: <strong>8f7bd7cdef5fc958</strong></span>
<span></span>
<span id="cf-footer-item-ip">
Your IP:

<span id="cf-footer-ip">20.246.77.165</span>
<span id="cf-footer-ip">20.42.51.81</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 289c400

Please sign in to comment.