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 289c400 commit 1a224dc
Show file tree
Hide file tree
Showing 10 changed files with 770 additions and 54 deletions.
9 changes: 9 additions & 0 deletions docs/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,15 @@ <h1>News</h1>



<li>
<a href="posts/portspoof-emulate-a-valid-service-on-all-65535-tcp-ports.html">Portspoof: Emulate a valid service on all 65535 TCP ports</a> (github.com)
</li>






<li>
<a href="posts/sherlock-hunt-down-social-media-accounts-by-username-across-400-social-networks.html">Sherlock: Hunt down social media accounts by username across 400 social networks</a> (sherlockproject.xyz)
</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 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
2024/12/25 22:15:02 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/25 22:15:02 Fetched posts from https://mikehudack.substack.com/feed, took 41.447619ms
2024/12/25 22:15:02 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/25 22:15:02 Fetched posts from https://highgrowthengineering.substack.com/feed, took 44.518222ms
2024/12/25 22:15:02 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/25 22:15:02 Fetched posts from https://themargins.substack.com/feed.xml, took 59.37455ms
2024/12/25 22:15:02 Fetched posts from https://www.benkuhn.net/index.xml, took 94.900731ms
2024/12/25 22:15:02 Fetched posts from https://www.slowernews.com/rss.xml, took 101.794218ms
2024/12/25 22:15:02 Fetched posts from https://joy.recurse.com/feed.atom, took 141.301456ms
2024/12/25 22:15:02 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 145.901227ms
2024/12/25 22:15:02 Fetched posts from https://jvns.ca/atom.xml, took 157.283834ms
2024/12/25 22:15:02 Fetched posts from https://twobithistory.org/feed.xml, took 204.833877ms
2024/12/25 22:15:02 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 235.522444ms
2024/12/25 22:15:02 Fetched posts from https://danluu.com/atom.xml, took 342.602657ms
2024/12/25 22:15:02 Fetched posts from https://scattered-thoughts.net/rss.xml, took 352.397709ms
2024/12/25 22:15:02 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 397.201636ms
2024/12/25 22:15:02 Fetched posts from https://blog.veitheller.de/feed.rss, took 574.902302ms
2024/12/25 22:15:02 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 724.253503ms
2024/12/25 22:15:02 Fetched posts from http://tonsky.me/blog/atom.xml, took 773.803277ms
2024/12/25 22:15:03 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/25 22:15:03 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 1.554209362s
2024/12/25 22:15:04 Fetched posts from https://commoncog.com/blog/rss/, took 1.961066655s
2024/12/25 22:15:04 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/25 22:15:04 Fetched posts from https://gochugarugirl.com/feed/, took 2.782335794s
2024/12/25 22:15:05 Content still empty after HTML reader: https://www.youtube.com/watch?v=IQqtsm-bBRU
2024/12/25 22:15:05 Content still empty after HTML reader: https://papermatch.mitanshu.tech/
2024/12/25 22:15:06 Get "https://www.fixbrowser.org/": tls: failed to verify certificate: x509: certificate signed by unknown authority
2024/12/25 22:15:07 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 5.284138199s
2024/12/25 22:15:07 Content still empty after HTML reader: https://mathstodon.xyz/@johncarlosbaez/113703444230936435
2024/12/25 22:15:08 Fetched posts from https://hnrss.org/frontpage?points=50, took 6.723174943s
2024/12/25 22:15:32 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 22:15:32 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.003166053s
2024/12/25 22:16:02 error parsing https://macwright.com/rss.xml: context deadline exceeded
2024/12/25 22:16:02 Fetched posts from https://macwright.com/rss.xml, took 1m0.014703904s
2024/12/25 22:16:02 Skipping writing post, no content: https://www.youtube.com/watch?v=IQqtsm-bBRU
2024/12/25 22:16:02 Skipping writing post, no content: https://papermatch.mitanshu.tech/
2024/12/25 22:16:02 Skipping writing post, no content: https://mathstodon.xyz/@johncarlosbaez/113703444230936435
2024/12/25 22:16:02 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/25 22:16:02 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/25 22:16:02 Templated 45 posts, took 7.619797ms
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.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>
<a target="_blank" rel="noopener noreferrer" href="https://private-user-images.githubusercontent.com/1186124/398305556-c3b64a4a-2e74-4180-9a4a-dfbbd6224b77.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUxNjUyMDQsIm5iZiI6MTczNTE2NDkwNCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNSUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjVUMjIxNTA0WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9NTczM2ZhZDYzNDc4ODA2MTgwZDNlZjhhMTRhYmJjYjVkNTJhY2UzYmQ0YjE2YWY2NGUwMTdjMjAzMGU3Yjg2MCZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.GNaz0lR6XUDuEaifA8EtxZ77t_p3EIshpJU7Zj4jxmk"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUxNjUyMDQsIm5iZiI6MTczNTE2NDkwNCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNSUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjVUMjIxNTA0WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9NTczM2ZhZDYzNDc4ODA2MTgwZDNlZjhhMTRhYmJjYjVkNTJhY2UzYmQ0YjE2YWY2NGUwMTdjMjAzMGU3Yjg2MCZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.GNaz0lR6XUDuEaifA8EtxZ77t_p3EIshpJU7Zj4jxmk"/></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>8f7bd7bffb512012</strong></span>
<span>Cloudflare Ray ID: <strong>8f7c301a4c292423</strong></span>
<span></span>
<span id="cf-footer-item-ip">
Your IP:

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

<span id="cf-footer-ip">20.42.51.81</span>
<span id="cf-footer-ip">20.42.51.97</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 1a224dc

Please sign in to comment.