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 d903859 commit e99e9ea
Show file tree
Hide file tree
Showing 3 changed files with 44 additions and 44 deletions.
76 changes: 38 additions & 38 deletions docs/log.txt
View file
Original file line number Diff line number Diff line change
@@ -1,38 +1,38 @@
2024/12/27 02:47:31 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/27 02:47:31 Fetched posts from https://highgrowthengineering.substack.com/feed, took 60.112911ms
2024/12/27 02:47:31 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/27 02:47:31 Fetched posts from https://mikehudack.substack.com/feed, took 62.035916ms
2024/12/27 02:47:31 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/27 02:47:31 Fetched posts from https://themargins.substack.com/feed.xml, took 62.79594ms
2024/12/27 02:47:31 Fetched posts from https://www.benkuhn.net/index.xml, took 87.917751ms
2024/12/27 02:47:31 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 132.808925ms
2024/12/27 02:47:31 Fetched posts from https://macwright.com/rss.xml, took 136.388221ms
2024/12/27 02:47:31 Fetched posts from https://www.slowernews.com/rss.xml, took 163.66413ms
2024/12/27 02:47:31 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 181.89485ms
2024/12/27 02:47:31 Fetched posts from https://twobithistory.org/feed.xml, took 198.521602ms
2024/12/27 02:47:31 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 242.951395ms
2024/12/27 02:47:31 Fetched posts from https://joy.recurse.com/feed.atom, took 245.587462ms
2024/12/27 02:47:31 Fetched posts from https://danluu.com/atom.xml, took 289.656845ms
2024/12/27 02:47:31 Fetched posts from https://jvns.ca/atom.xml, took 316.658514ms
2024/12/27 02:47:31 Fetched posts from https://scattered-thoughts.net/rss.xml, took 381.944774ms
2024/12/27 02:47:31 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 531.161161ms
2024/12/27 02:47:32 Fetched posts from https://blog.veitheller.de/feed.rss, took 751.780731ms
2024/12/27 02:47:32 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 1.027190077s
2024/12/27 02:47:32 Fetched posts from http://tonsky.me/blog/atom.xml, took 1.242354165s
2024/12/27 02:47:32 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 02:47:32 Content still empty after HTML reader: https://ghostty.org/
2024/12/27 02:47:32 Fetched posts from https://commoncog.com/blog/rss/, took 1.636539148s
2024/12/27 02:47:33 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 02:47:34 Fetched posts from https://gochugarugirl.com/feed/, took 3.432662507s
2024/12/27 02:47:35 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 02:47:35 Content still empty after HTML reader: https://pbat.ch/recurse/demos/trio/
2024/12/27 02:47:37 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 6.119607051s
2024/12/27 02:47:38 Fetched posts from https://hnrss.org/frontpage?points=50, took 6.645990068s
2024/12/27 02:48:01 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 02:48:01 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.006134371s
2024/12/27 02:48:01 Skipping writing post, no content: https://ghostty.org/
2024/12/27 02:48:01 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 02:48:01 Skipping writing post, no content: https://pbat.ch/recurse/demos/trio/
2024/12/27 02:48:01 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 02:48:01 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 02:48:01 Templated 41 posts, took 6.449987ms
2024/12/27 03:20:24 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/27 03:20:24 Fetched posts from https://highgrowthengineering.substack.com/feed, took 56.068852ms
2024/12/27 03:20:24 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/27 03:20:24 Fetched posts from https://themargins.substack.com/feed.xml, took 60.413588ms
2024/12/27 03:20:24 Fetched posts from https://twobithistory.org/feed.xml, took 65.254371ms
2024/12/27 03:20:24 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/27 03:20:24 Fetched posts from https://mikehudack.substack.com/feed, took 96.944838ms
2024/12/27 03:20:24 Fetched posts from https://www.slowernews.com/rss.xml, took 98.557452ms
2024/12/27 03:20:24 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 106.438777ms
2024/12/27 03:20:24 Fetched posts from https://macwright.com/rss.xml, took 114.355948ms
2024/12/27 03:20:24 Fetched posts from https://jvns.ca/atom.xml, took 149.342526ms
2024/12/27 03:20:24 Fetched posts from https://www.benkuhn.net/index.xml, took 157.597973ms
2024/12/27 03:20:24 Fetched posts from https://joy.recurse.com/feed.atom, took 180.426795ms
2024/12/27 03:20:24 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 189.99522ms
2024/12/27 03:20:24 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 210.298612ms
2024/12/27 03:20:24 Fetched posts from https://danluu.com/atom.xml, took 280.853694ms
2024/12/27 03:20:24 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 294.719614ms
2024/12/27 03:20:24 Fetched posts from https://scattered-thoughts.net/rss.xml, took 313.889581ms
2024/12/27 03:20:25 Fetched posts from https://blog.veitheller.de/feed.rss, took 538.530862ms
2024/12/27 03:20:25 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 873.473035ms
2024/12/27 03:20:25 Fetched posts from http://tonsky.me/blog/atom.xml, took 1.003135728s
2024/12/27 03:20:25 Content still empty after HTML reader: https://ghostty.org/
2024/12/27 03:20:26 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 03:20:26 Fetched posts from https://commoncog.com/blog/rss/, took 1.81665035s
2024/12/27 03:20:26 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 03:20:27 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 03:20:28 Fetched posts from https://gochugarugirl.com/feed/, took 3.353925541s
2024/12/27 03:20:28 Content still empty after HTML reader: https://pbat.ch/recurse/demos/trio/
2024/12/27 03:20:30 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 5.557713349s
2024/12/27 03:20:30 Fetched posts from https://hnrss.org/frontpage?points=50, took 5.7664301s
2024/12/27 03:20:54 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 03:20:54 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.005747328s
2024/12/27 03:20:54 Skipping writing post, no content: https://ghostty.org/
2024/12/27 03:20:54 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 03:20:54 Skipping writing post, no content: https://pbat.ch/recurse/demos/trio/
2024/12/27 03:20:54 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 03:20:54 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 03:20:54 Templated 41 posts, took 6.01057ms
10 changes: 5 additions & 5 deletions docs/posts/a-tour-of-webauthn.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ <h1>A Tour of WebAuthn</h1>

<div id="readability-page-1" class="page">
<p>This book was distributed at the FIDO Authenticate conference in
2024. Its intended format was as a PDF, which you can find <a href="https://vishnubharathi.codes/blog/baking-a-react-app-into-a-go-server/tourofwebauthn.pdf">here</a>.</p>
2024. Its intended format was as a PDF, which you can find <a href="https://www.geoffreylitt.com/2024/12/22/tourofwebauthn.pdf">here</a>.</p>
<p>The following is the contents of the PDF converted to HTML.</p>

<nav id="TOC" role="doc-toc">
Expand Down Expand Up @@ -367,9 +367,9 @@ <h3 id="invoking-the-generate-operation">Invoking the
<span id="cb1-19"><a href="#cb1-19" aria-hidden="true" tabindex="-1"></a>})<span>.</span><span>then</span>(<span>console</span><span>.</span><span>log</span><span>,</span> <span>console</span><span>.</span><span>log</span>)<span>;</span></span></code></pre></div>
<p>Here is the message sent by the browser, to the U2F security key,
broken down into the same parts as listed above.</p>
<p><img src="https://vishnubharathi.codes/blog/baking-a-react-app-into-a-go-server/u2f-1.png"/></p>
<p><img src="https://www.geoffreylitt.com/2024/12/22/u2f-1.png"/></p>
<p>And here’s the response, similarly broken down:</p>
<p><img src="https://vishnubharathi.codes/blog/baking-a-react-app-into-a-go-server/u2f-2.png"/></p>
<p><img src="https://www.geoffreylitt.com/2024/12/22/u2f-2.png"/></p>
<p>(Note that the UP flag was set in the request so you know that I had
to touch the security key before it would generate that response.)</p>
<p>Now that we have performed a <code>generate</code> operation, the
Expand Down Expand Up @@ -1557,7 +1557,7 @@ <h3 id="authenticator-data">Authenticator data</h3>
transformation would change the bits and cause the signature
verification to fail. So here you have to deal with a binary format; no
more Javascript objects.</p>
<p><img src="https://vishnubharathi.codes/blog/baking-a-react-app-into-a-go-server/authdata.svg"/></p>
<p><img src="https://www.geoffreylitt.com/2024/12/22/authdata.svg"/></p>
<p>You might notice that looks very similar to the signed message format
in the U2F protocol. That is no accident! Since this data cannot be
modified, in order to be backwards compatible the format has only been
Expand Down Expand Up @@ -2421,7 +2421,7 @@ <h2 id="getting-attestation">Getting attestation</h2>
<a href="#authdata">here</a>) except that it will have the AT flag set,
indicating that “ATtested credential data” follows the signature
counter. This new data has the following format:</p>
<p><img src="https://vishnubharathi.codes/blog/baking-a-react-app-into-a-go-server/at.svg"/></p>
<p><img src="https://www.geoffreylitt.com/2024/12/22/at.svg"/></p>
<p><span id="aaguid"></span> The AAGUID is a random, 16-byte value that
identifies a model of security key and is used when validating the
attestation. The variable-length credential ID is as explained in
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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUyNjc5NTQsIm5iZiI6MTczNTI2NzY1NCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMDI0NzM0WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MzdmMGQzOGZiZmY1NjVmNDA0N2FlMWZhMzVjNzY5YzU2NTM2MjY4YTgxODc1MTE4NTdiMmZhNTE5YzM2ODE4NSZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.fkWPswuhcygXTPCNkQu074XHSHG2Xxu1BsXXhnBZcwE"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUyNjc5NTQsIm5iZiI6MTczNTI2NzY1NCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMDI0NzM0WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MzdmMGQzOGZiZmY1NjVmNDA0N2FlMWZhMzVjNzY5YzU2NTM2MjY4YTgxODc1MTE4NTdiMmZhNTE5YzM2ODE4NSZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.fkWPswuhcygXTPCNkQu074XHSHG2Xxu1BsXXhnBZcwE"/></a>
<a target="_blank" rel="noopener noreferrer" href="https://private-user-images.githubusercontent.com/1186124/398305556-c3b64a4a-2e74-4180-9a4a-dfbbd6224b77.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUyNjk5MjcsIm5iZiI6MTczNTI2OTYyNywicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMDMyMDI3WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MTQ0MWVlN2EyMmJhNDUwNjA4MmM5MjQ2M2M1NzY1YjIwNjgzZDA3ZGFkYWRkNDY0Y2Y2ZmQ1ZTk5ZjdjYTE1MiZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.nGt0iIfLubtFYAXMcQZ47WVFBN_NIO2vrOQAq3qVSt4"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUyNjk5MjcsIm5iZiI6MTczNTI2OTYyNywicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMDMyMDI3WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MTQ0MWVlN2EyMmJhNDUwNjA4MmM5MjQ2M2M1NzY1YjIwNjgzZDA3ZGFkYWRkNDY0Y2Y2ZmQ1ZTk5ZjdjYTE1MiZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.nGt0iIfLubtFYAXMcQZ47WVFBN_NIO2vrOQAq3qVSt4"/></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

0 comments on commit e99e9ea

Please sign in to comment.