From 97e7f32f2a7df1b4545d548816f545655d95b9a3 Mon Sep 17 00:00:00 2001 From: jamesroutley Date: Fri, 27 Dec 2024 10:17:30 +0000 Subject: [PATCH] Build website (automatic) --- docs/log.txt | 83 ++++++++++--------- docs/posts/a-tour-of-webauthn.html | 10 +-- ...rch-idea-false-statements-in-e-graphs.html | 2 +- docs/posts/is-chatgpt-down.html | 2 +- docs/posts/weeknotes-28.html | 2 +- 5 files changed, 50 insertions(+), 49 deletions(-) diff --git a/docs/log.txt b/docs/log.txt index 5ba4a20f06f..e43ed175166 100644 --- a/docs/log.txt +++ b/docs/log.txt @@ -1,41 +1,42 @@ -2024/12/27 09:16:48 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden -2024/12/27 09:16:48 Fetched posts from https://themargins.substack.com/feed.xml, took 50.741413ms -2024/12/27 09:16:48 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden -2024/12/27 09:16:48 Fetched posts from https://highgrowthengineering.substack.com/feed, took 53.288269ms -2024/12/27 09:16:48 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden -2024/12/27 09:16:48 Fetched posts from https://mikehudack.substack.com/feed, took 56.298553ms -2024/12/27 09:16:48 Fetched posts from https://macwright.com/rss.xml, took 66.031546ms -2024/12/27 09:16:48 Fetched posts from https://www.slowernews.com/rss.xml, took 126.546313ms -2024/12/27 09:16:48 Fetched posts from https://jvns.ca/atom.xml, took 159.691037ms -2024/12/27 09:16:48 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 180.502268ms -2024/12/27 09:16:48 Fetched posts from https://www.benkuhn.net/index.xml, took 181.65854ms -2024/12/27 09:16:48 Fetched posts from https://twobithistory.org/feed.xml, took 186.34201ms -2024/12/27 09:16:48 Fetched posts from https://joy.recurse.com/feed.atom, took 230.310921ms -2024/12/27 09:16:48 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 283.631641ms -2024/12/27 09:16:48 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 325.360739ms -2024/12/27 09:16:48 Fetched posts from https://danluu.com/atom.xml, took 336.479706ms -2024/12/27 09:16:48 Fetched posts from https://scattered-thoughts.net/rss.xml, took 352.105612ms -2024/12/27 09:16:48 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 392.788785ms -2024/12/27 09:16:49 Fetched posts from https://blog.veitheller.de/feed.rss, took 669.405426ms -2024/12/27 09:16:49 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 671.727916ms -2024/12/27 09:16:49 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 09:16:49 Fetched posts from http://tonsky.me/blog/atom.xml, took 1.050119671s -2024/12/27 09:16:49 Content still empty after HTML reader: https://godview.ai -2024/12/27 09:16:50 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers -2024/12/27 09:16:50 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 09:16:50 Fetched posts from https://commoncog.com/blog/rss/, took 1.926206582s -2024/12/27 09:16:50 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision -2024/12/27 09:16:51 Content still empty after HTML reader: https://ghostty.org/ -2024/12/27 09:16:51 Fetched posts from https://gochugarugirl.com/feed/, took 3.092018395s -2024/12/27 09:16:52 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp -2024/12/27 09:16:53 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 5.044193592s -2024/12/27 09:16:54 Fetched posts from https://hnrss.org/frontpage?points=50, took 5.535378431s -2024/12/27 09:17:18 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 09:17:18 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 30.005048588s -2024/12/27 09:17:18 Skipping writing post, no content: https://godview.ai -2024/12/27 09:17:18 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 09:17:18 Skipping writing post, no content: https://ghostty.org/ -2024/12/27 09:17:18 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers -2024/12/27 09:17:18 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision -2024/12/27 09:17:18 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp -2024/12/27 09:17:18 Templated 37 posts, took 5.834171ms +2024/12/27 10:17:00 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden +2024/12/27 10:17:00 Fetched posts from https://mikehudack.substack.com/feed, took 43.540949ms +2024/12/27 10:17:00 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden +2024/12/27 10:17:00 Fetched posts from https://highgrowthengineering.substack.com/feed, took 76.516797ms +2024/12/27 10:17:00 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden +2024/12/27 10:17:00 Fetched posts from https://themargins.substack.com/feed.xml, took 78.530828ms +2024/12/27 10:17:00 Fetched posts from https://macwright.com/rss.xml, took 129.000621ms +2024/12/27 10:17:00 Fetched posts from https://www.benkuhn.net/index.xml, took 129.777403ms +2024/12/27 10:17:00 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 130.152201ms +2024/12/27 10:17:00 Fetched posts from https://www.slowernews.com/rss.xml, took 136.748437ms +2024/12/27 10:17:00 Fetched posts from https://twobithistory.org/feed.xml, took 220.918122ms +2024/12/27 10:17:00 Fetched posts from https://jvns.ca/atom.xml, took 238.236431ms +2024/12/27 10:17:00 Fetched posts from https://joy.recurse.com/feed.atom, took 274.026353ms +2024/12/27 10:17:00 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 285.590219ms +2024/12/27 10:17:00 Fetched posts from https://danluu.com/atom.xml, took 311.495971ms +2024/12/27 10:17:00 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 350.267422ms +2024/12/27 10:17:00 Fetched posts from https://scattered-thoughts.net/rss.xml, took 410.913042ms +2024/12/27 10:17:00 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 478.715773ms +2024/12/27 10:17:01 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 10:17:01 Fetched posts from https://blog.veitheller.de/feed.rss, took 790.980966ms +2024/12/27 10:17:01 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers +2024/12/27 10:17:01 Content still empty after HTML reader: https://godview.ai +2024/12/27 10:17:01 Fetched posts from http://tonsky.me/blog/atom.xml, took 991.612089ms +2024/12/27 10:17:01 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision +2024/12/27 10:17:02 Fetched posts from https://commoncog.com/blog/rss/, took 1.680616904s +2024/12/27 10:17:02 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 10:17:02 Content still empty after HTML reader: https://ghostty.org/ +2024/12/27 10:17:03 Fetched posts from https://gochugarugirl.com/feed/, took 3.012319809s +2024/12/27 10:17:05 Fetched posts from https://hnrss.org/frontpage?points=50, took 5.354801701s +2024/12/27 10:17:18 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp +2024/12/27 10:17:20 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 19.74744992s +2024/12/27 10:17:30 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 10:17:30 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.009616986s +2024/12/27 10:17:30 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 10:17:30 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 30.009699605s +2024/12/27 10:17:30 Skipping writing post, no content: https://godview.ai +2024/12/27 10:17:30 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 10:17:30 Skipping writing post, no content: https://ghostty.org/ +2024/12/27 10:17:30 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers +2024/12/27 10:17:30 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision +2024/12/27 10:17:30 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp +2024/12/27 10:17:30 Templated 37 posts, took 6.06678ms diff --git a/docs/posts/a-tour-of-webauthn.html b/docs/posts/a-tour-of-webauthn.html index 308c2b263d8..cc30c8aa025 100644 --- a/docs/posts/a-tour-of-webauthn.html +++ b/docs/posts/a-tour-of-webauthn.html @@ -19,7 +19,7 @@

A Tour of WebAuthn

This book was distributed at the FIDO Authenticate conference in -2024. Its intended format was as a PDF, which you can find here.

+2024. Its intended format was as a PDF, which you can find here.

The following is the contents of the PDF converted to HTML.

Here is the message sent by the browser, to the U2F security key, broken down into the same parts as listed above.

-

+

And here’s the response, similarly broken down:

-

+

(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.)

Now that we have performed a generate operation, the @@ -1557,7 +1557,7 @@

Authenticator data

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.

-

+

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 @@ -2421,7 +2421,7 @@

Getting attestation

here) 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:

-

+

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 diff --git a/docs/posts/bad-research-idea-false-statements-in-e-graphs.html b/docs/posts/bad-research-idea-false-statements-in-e-graphs.html index e15a166dae3..721a7081eba 100644 --- a/docs/posts/bad-research-idea-false-statements-in-e-graphs.html +++ b/docs/posts/bad-research-idea-false-statements-in-e-graphs.html @@ -23,7 +23,7 @@

bad research idea: false statements in e-graphs

OK after much squinting at the progression of rewrite rules... I think I have found an example of where the logic goes wrong.

Can you spot the error?

-Screenshot 2024-12-23 at 10 06 52 PM +Screenshot 2024-12-23 at 10 06 52 PM

The issue here is that the empty int list TupleInt.EMPTY is unified with TupleInt(0, partial(lambda i, self, j: Int.if_(j == self.length(), i, self[j])), 101, TupleInt.empty) aka TupleInt(0, lambda j: Int.if_(j == 0, 101, TupleInt.EMPTY[j])))

Now let's say we do a naive index the empty list like TupleInt.EMPTY[0]. We could say this incorrect, or how we can represent it is that it unifies with Int.NEVER. But it can show up in the e-graph, because in if_ conditionals, the false branch can end up doing indexing that is not allowed. So we want it to not mess things up.

And in this case then, it will evaluate to (lambda j: Int.if_(j == 0, 101, TupleInt.EMPTY[j])))(0) which is Int.if_(0 == 0, 101, TupleInt.EMPTY[0])) which is 101... So then what we get is that 101 is unified with Int.NEVER which... isn't good! Is really bad! Because it means all numbers can be unified together basically, i.e. false is true whatever.

diff --git a/docs/posts/is-chatgpt-down.html b/docs/posts/is-chatgpt-down.html index 614e7fa6b46..c93f1750bdc 100644 --- a/docs/posts/is-chatgpt-down.html +++ b/docs/posts/is-chatgpt-down.html @@ -27,7 +27,7 @@

Ask HN: Is ChatGPT down?

Ask HN: Is ChatGPT down?
- 111 points by franze 12 hours ago | hide | past | favorite | 102 comments + 113 points by franze 13 hours ago | hide | past | favorite | 107 comments

diff --git a/docs/posts/weeknotes-28.html b/docs/posts/weeknotes-28.html index 803ca4e4b6e..d2c0b83483e 100644 --- a/docs/posts/weeknotes-28.html +++ b/docs/posts/weeknotes-28.html @@ -68,7 +68,7 @@

Weeknotes #28

  • i feel like i'm really clear on what i want this year without a big chunk of planning, but i also want conflicting things e.g. fancy sleeve tattoo vs. saving a big emergency fund.
  • since i guess i won't write another thing on here weeknotes wise till after xmas i hope you all have a fantastic one if you celebrate, and a great day otherwise too! happy solstice for tomorrow, even if you don't celebrate it too (brighter days are coming, northern hemisphere! the hateful sun is going back in her cage, southern hemisphere!) xo
    • -

    Last updated 6 days, 9 hours ago

    +

    Last updated 6 days, 10 hours ago

    If you liked this post, please message, email, or follow me online, check out my work in progress, share this post or subscribe to my posts by RSS!