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 2b660e0 commit 6892470
Show file tree
Hide file tree
Showing 11 changed files with 194 additions and 97 deletions.
18 changes: 9 additions & 9 deletions docs/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -35,15 +35,6 @@ <h1>News</h1>



<li>
<a href="posts/the-new-science-of-controlling-lucid-dreams.html">The new science of controlling lucid dreams</a> (www.scientificamerican.com)
</li>






<li>
<a href="posts/i-send-myself-automated-emails-to-practice-dutch.html">I send myself automated emails to practice Dutch</a> (github.com)
</li>
Expand Down Expand Up @@ -188,6 +179,15 @@ <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
81 changes: 41 additions & 40 deletions docs/log.txt
View file
Original file line number Diff line number Diff line change
@@ -1,40 +1,41 @@
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
2024/12/27 17:13:36 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/27 17:13:36 Fetched posts from https://highgrowthengineering.substack.com/feed, took 53.389758ms
2024/12/27 17:13:36 Fetched posts from https://macwright.com/rss.xml, took 57.1302ms
2024/12/27 17:13:36 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/27 17:13:36 Fetched posts from https://mikehudack.substack.com/feed, took 57.245166ms
2024/12/27 17:13:36 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/27 17:13:36 Fetched posts from https://themargins.substack.com/feed.xml, took 63.609381ms
2024/12/27 17:13:36 Fetched posts from https://www.slowernews.com/rss.xml, took 115.957353ms
2024/12/27 17:13:36 Fetched posts from https://jvns.ca/atom.xml, took 148.445316ms
2024/12/27 17:13:36 Fetched posts from https://www.benkuhn.net/index.xml, took 162.166399ms
2024/12/27 17:13:36 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 171.955365ms
2024/12/27 17:13:36 Fetched posts from https://twobithistory.org/feed.xml, took 176.474462ms
2024/12/27 17:13:36 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 196.79704ms
2024/12/27 17:13:36 Fetched posts from https://joy.recurse.com/feed.atom, took 262.362621ms
2024/12/27 17:13:36 Fetched posts from https://scattered-thoughts.net/rss.xml, took 332.114325ms
2024/12/27 17:13:36 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 345.30341ms
2024/12/27 17:13:36 Fetched posts from https://danluu.com/atom.xml, took 356.564239ms
2024/12/27 17:13:36 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 391.369813ms
2024/12/27 17:13:36 Fetched posts from https://blog.veitheller.de/feed.rss, took 677.00762ms
2024/12/27 17:13:37 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 17:13:37 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 874.837915ms
2024/12/27 17:13:37 Fetched posts from http://tonsky.me/blog/atom.xml, took 969.03638ms
2024/12/27 17:13:37 Content still empty after HTML reader: http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission
2024/12/27 17:13:37 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 17:13:37 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 17:13:38 Fetched posts from https://commoncog.com/blog/rss/, took 1.860476748s
2024/12/27 17:13:38 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 17:13:38 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 17:13:39 Fetched posts from https://gochugarugirl.com/feed/, took 2.93725792s
2024/12/27 17:13:39 Content still empty after HTML reader: https://ghostty.org/
2024/12/27 17:13:40 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 4.188897366s
2024/12/27 17:13:40 Fetched posts from https://hnrss.org/frontpage?points=50, took 4.455470706s
2024/12/27 17:14:06 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 17:14:06 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.006288625s
2024/12/27 17:14:06 Skipping writing post, no content: http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission
2024/12/27 17:14:06 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 17:14:06 Skipping writing post, no content: https://ghostty.org/
2024/12/27 17:14:06 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 17:14:06 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 17:14:06 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 17:14:06 Templated 37 posts, took 6.282244ms
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.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>
<a target="_blank" rel="noopener noreferrer" href="https://private-user-images.githubusercontent.com/1186124/398305556-c3b64a4a-2e74-4180-9a4a-dfbbd6224b77.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzMTk5MTgsIm5iZiI6MTczNTMxOTYxOCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMTcxMzM4WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MTQxMzkyNGI4NDk3NmYzODU1YmYxYTU1OTdhMmNhM2QyYjA3NGRkYTA2ZTg5MzQzYzllMjIzZGM3NzE3ZDUyNyZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.3sxQn0ZLFdl_O1wQoUnjvLZE3-C_tzuebv3l-i6IJZE"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzMTk5MTgsIm5iZiI6MTczNTMxOTYxOCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMTcxMzM4WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MTQxMzkyNGI4NDk3NmYzODU1YmYxYTU1OTdhMmNhM2QyYjA3NGRkYTA2ZTg5MzQzYzllMjIzZGM3NzE3ZDUyNyZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.3sxQn0ZLFdl_O1wQoUnjvLZE3-C_tzuebv3l-i6IJZE"/></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
4 changes: 2 additions & 2 deletions docs/posts/does-current-ai-represent-a-dead-end.html
View file
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>8f8aa21829149e64</strong></span>
<span>Cloudflare Ray ID: <strong>8f8af1354ecec599</strong></span>
<span>•</span>
<span id="cf-footer-item-ip">
Your IP:

<span id="cf-footer-ip">20.172.29.19</span>
<span id="cf-footer-ip">172.200.199.196</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
4 changes: 2 additions & 2 deletions docs/posts/i-send-myself-automated-emails-to-practice-dutch.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,13 +20,13 @@ <h1>I send myself automated emails to practice Dutch</h1>
<div id="readability-page-1" class="page"><div data-hpc="true"><article itemprop="text">

<p dir="auto">This project automates the daily delivery of an email containing three C1-level Dutch words, their English translations, and example sentences. The email looks like this:</p>
<p dir="auto"><a target="_blank" rel="noopener noreferrer" href="https://github.com/ThReinecke/dutch_vocabulary/blob/main/images/email.png"><img src="https://github.com/ThReinecke/dutch_vocabulary/raw/main/images/email.png" alt="Screenshot of email"/></a></p>
<p dir="auto"><a target="_blank" rel="noopener noreferrer" href="https://bytes.zone/ThReinecke/dutch_vocabulary/blob/main/images/email.png"><img src="https://bytes.zone/ThReinecke/dutch_vocabulary/raw/main/images/email.png" alt="Screenshot of email"/></a></p>

<p dir="auto">I created this project because I couldn&#39;t find a suitable app to help me build a C1-level Dutch vocabulary. I discovered that ChatGPT provides good word suggestions and decided to automate the process. Additionally, I know that I check emails more consistently than apps, making this method more effective for learning.</p>
<p dir="auto">This project also provided an opportunity to refresh my skills in <strong>Terraform</strong> and <strong>Python</strong>.</p>

<p dir="auto">A CloudWatch Event Rule triggers a Lambda each morning at 7:00. The Lambda retrieves all previously sent Dutch words from DynamoDB. It then retrieves three new words from ChatGPT, stores them in DynamoDB, and sends them to SES. SES delivers them to the end user&#39;s email.</p>
<p dir="auto"><a target="_blank" rel="noopener noreferrer" href="https://github.com/ThReinecke/dutch_vocabulary/blob/main/images/architecture.jpg"><img src="https://github.com/ThReinecke/dutch_vocabulary/raw/main/images/architecture.jpg" alt="Picture of architecture"/></a></p>
<p dir="auto"><a target="_blank" rel="noopener noreferrer" href="https://bytes.zone/ThReinecke/dutch_vocabulary/blob/main/images/architecture.jpg"><img src="https://bytes.zone/ThReinecke/dutch_vocabulary/raw/main/images/architecture.jpg" alt="Picture of architecture"/></a></p>


<p dir="auto">To deploy this project, ensure the following tools and configurations are in place:</p>
Expand Down
Loading

0 comments on commit 6892470

Please sign in to comment.