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 28, 2024
1 parent 88f1ab4 commit 31f9c77
Show file tree
Hide file tree
Showing 8 changed files with 119 additions and 249 deletions.
2 changes: 1 addition & 1 deletion docs/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@ <h1>News</h1>


<li>
<a href="posts/reader-feedback-bad-names-main-and-mastodon.html">Reader feedback: &#34;bad&#34; names, !main(), and Mastodon</a> (rachelbythebay.com)
<a href="posts/breaking-the-mirror-a-look-at-apple-s-new-iphone-remote-control-feature-video.html">Breaking the Mirror – A Look at Apple&#39;s New iPhone Remote Control Feature [video]</a> (media.ccc.de)
</li>


Expand Down
88 changes: 44 additions & 44 deletions docs/log.txt
Original file line number Diff line number Diff line change
@@ -1,44 +1,44 @@
2024/12/28 03:18:57 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/28 03:18:57 Fetched posts from https://themargins.substack.com/feed.xml, took 117.332042ms
2024/12/28 03:18:57 Fetched posts from https://www.slowernews.com/rss.xml, took 158.85322ms
2024/12/28 03:18:57 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/28 03:18:57 Fetched posts from https://highgrowthengineering.substack.com/feed, took 164.648339ms
2024/12/28 03:18:57 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/28 03:18:57 Fetched posts from https://mikehudack.substack.com/feed, took 168.39419ms
2024/12/28 03:18:57 Fetched posts from https://www.benkuhn.net/index.xml, took 221.682114ms
2024/12/28 03:18:57 Fetched posts from https://twobithistory.org/feed.xml, took 222.253228ms
2024/12/28 03:18:57 Fetched posts from https://macwright.com/rss.xml, took 225.757382ms
2024/12/28 03:18:57 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 245.750684ms
2024/12/28 03:18:57 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 250.49288ms
2024/12/28 03:18:57 Fetched posts from https://scattered-thoughts.net/rss.xml, took 285.273876ms
2024/12/28 03:18:57 Fetched posts from https://jvns.ca/atom.xml, took 304.008801ms
2024/12/28 03:18:57 Fetched posts from https://danluu.com/atom.xml, took 385.36254ms
2024/12/28 03:18:57 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 468.105878ms
2024/12/28 03:18:57 Fetched posts from https://joy.recurse.com/feed.atom, took 537.012406ms
2024/12/28 03:18:57 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 767.156003ms
2024/12/28 03:18:58 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 865.593818ms
2024/12/28 03:18:58 Fetched posts from https://blog.veitheller.de/feed.rss, took 1.019059445s
2024/12/28 03:18:58 Fetched posts from http://tonsky.me/blog/atom.xml, took 1.341136417s
2024/12/28 03:18:58 Fetched posts from https://commoncog.com/blog/rss/, took 1.514895813s
2024/12/28 03:18:58 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 1.598911238s
2024/12/28 03:19:00 Content still empty after HTML reader: http://tinylogger.com/max/hovToqSvttqcClbR
2024/12/28 03:19:00 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/28 03:19:00 Content still empty after HTML reader: https://www.plasticlist.org/report
2024/12/28 03:19:01 Fetched posts from https://gochugarugirl.com/feed/, took 3.818489596s
2024/12/28 03:19:01 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/28 03:19:01 Content still empty after HTML reader: https://doodledreams.cc
2024/12/28 03:19:02 Content still empty after HTML reader: https://tidyfirst.substack.com/p/complain-and-propose
2024/12/28 03:19:03 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/28 03:19:04 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 7.010614185s
2024/12/28 03:19:04 Content still empty after HTML reader: https://ghostty.org/
2024/12/28 03:19:05 Content still empty after HTML reader: https://www.youtube.com/watch?v=xLaLpMeOyHk
2024/12/28 03:19:05 Fetched posts from https://hnrss.org/frontpage?points=50, took 8.5552818s
2024/12/28 03:19:05 Skipping writing post, no content: http://tinylogger.com/max/hovToqSvttqcClbR
2024/12/28 03:19:05 Skipping writing post, no content: https://www.plasticlist.org/report
2024/12/28 03:19:05 Skipping writing post, no content: https://doodledreams.cc
2024/12/28 03:19:05 Skipping writing post, no content: https://tidyfirst.substack.com/p/complain-and-propose
2024/12/28 03:19:05 Skipping writing post, no content: https://ghostty.org/
2024/12/28 03:19:05 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/28 03:19:05 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/28 03:19:05 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/28 03:19:05 Templated 38 posts, took 4.666179ms
2024/12/28 04:19:23 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/28 04:19:23 Fetched posts from https://highgrowthengineering.substack.com/feed, took 39.926495ms
2024/12/28 04:19:23 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/28 04:19:23 Fetched posts from https://mikehudack.substack.com/feed, took 39.916246ms
2024/12/28 04:19:23 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/28 04:19:23 Fetched posts from https://themargins.substack.com/feed.xml, took 58.136401ms
2024/12/28 04:19:23 Fetched posts from https://www.slowernews.com/rss.xml, took 57.766393ms
2024/12/28 04:19:23 Fetched posts from https://macwright.com/rss.xml, took 80.425009ms
2024/12/28 04:19:23 Fetched posts from https://www.benkuhn.net/index.xml, took 115.228867ms
2024/12/28 04:19:23 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 139.691381ms
2024/12/28 04:19:23 Fetched posts from https://jvns.ca/atom.xml, took 193.446827ms
2024/12/28 04:19:23 Fetched posts from https://scattered-thoughts.net/rss.xml, took 223.448542ms
2024/12/28 04:19:23 Fetched posts from https://twobithistory.org/feed.xml, took 283.728034ms
2024/12/28 04:19:23 Fetched posts from https://danluu.com/atom.xml, took 300.83538ms
2024/12/28 04:19:23 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 342.49825ms
2024/12/28 04:19:23 Fetched posts from https://joy.recurse.com/feed.atom, took 390.291884ms
2024/12/28 04:19:23 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 394.493827ms
2024/12/28 04:19:24 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 579.303093ms
2024/12/28 04:19:24 Fetched posts from https://blog.veitheller.de/feed.rss, took 1.077622094s
2024/12/28 04:19:25 Fetched posts from https://commoncog.com/blog/rss/, took 1.443370125s
2024/12/28 04:19:25 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 1.499851001s
2024/12/28 04:19:25 Fetched posts from http://tonsky.me/blog/atom.xml, took 1.655236411s
2024/12/28 04:19:26 Content still empty after HTML reader: http://tinylogger.com/max/hovToqSvttqcClbR
2024/12/28 04:19:26 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/28 04:19:26 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/28 04:19:27 Content still empty after HTML reader: https://www.plasticlist.org/report
2024/12/28 04:19:27 Fetched posts from https://gochugarugirl.com/feed/, took 3.540223498s
2024/12/28 04:19:27 Content still empty after HTML reader: https://doodledreams.cc
2024/12/28 04:19:28 Content still empty after HTML reader: https://tidyfirst.substack.com/p/complain-and-propose
2024/12/28 04:19:28 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/28 04:19:29 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 5.966280466s
2024/12/28 04:19:30 Content still empty after HTML reader: https://ghostty.org/
2024/12/28 04:19:30 Fetched posts from https://hnrss.org/frontpage?points=50, took 7.16034946s
2024/12/28 04:19:53 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/28 04:19:53 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.020274513s
2024/12/28 04:19:53 Skipping writing post, no content: http://tinylogger.com/max/hovToqSvttqcClbR
2024/12/28 04:19:53 Skipping writing post, no content: https://www.plasticlist.org/report
2024/12/28 04:19:53 Skipping writing post, no content: https://doodledreams.cc
2024/12/28 04:19:53 Skipping writing post, no content: https://tidyfirst.substack.com/p/complain-and-propose
2024/12/28 04:19:53 Skipping writing post, no content: https://ghostty.org/
2024/12/28 04:19:53 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/28 04:19:53 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/28 04:19:53 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/28 04:19:53 Templated 38 posts, took 4.98596ms
2 changes: 1 addition & 1 deletion docs/posts/25-hopes-for-2025.html
Original file line number Diff line number Diff line change
Expand Up @@ -85,7 +85,7 @@ <h1>25 hopes for 2025</h1>
<li>I want to be confident cooking more meals.</li>
</ol>
<p>I hope you&#39;re having a wonderful day, and have a great year. What are you hoping for?</p>
<p>Last updated 7 hours, 22 minutes ago</p>
<p>Last updated 8 hours, 22 minutes ago</p>
<hr/>
<p>If you liked this post, please <a href="https://olu.online/contact">message, email, or follow me online</a>, check out my <a href="https://notes.olu.online">work in progress</a>, <strong>share this post</strong> or subscribe to my posts by <a href="https://olu.online/feed">RSS</a>!</p>

Expand Down
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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzNTYyNDIsIm5iZiI6MTczNTM1NTk0MiwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyOCUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjhUMDMxOTAyWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MGNlYTU5Y2RkMWQwZTg1NGVhOWZhMDNjNTk2MmI0NjU2ZmFmMDMwZjQ3Nzk1MmZhMmI5YmQ3MTE1YTJiOWM0OSZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.0ZSrAQxNgk9Iaof0a3jZTdgmvmMMijDKl2OWWmdmfwQ"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzNTYyNDIsIm5iZiI6MTczNTM1NTk0MiwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyOCUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjhUMDMxOTAyWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9MGNlYTU5Y2RkMWQwZTg1NGVhOWZhMDNjNTk2MmI0NjU2ZmFmMDMwZjQ3Nzk1MmZhMmI5YmQ3MTE1YTJiOWM0OSZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.0ZSrAQxNgk9Iaof0a3jZTdgmvmMMijDKl2OWWmdmfwQ"/></a>
<a target="_blank" rel="noopener noreferrer" href="https://private-user-images.githubusercontent.com/1186124/398305556-c3b64a4a-2e74-4180-9a4a-dfbbd6224b77.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzNTk4NjgsIm5iZiI6MTczNTM1OTU2OCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyOCUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjhUMDQxOTI4WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9NThlYzEwZGJmMGI3MjNjNDQzN2FiZTg1MjZmZjUzMGM2MDQ3N2VlNjFiN2I2OWM0MWE4NmI1ZWQ0NGFjODE5MyZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.4c_WLvz6oHv9ageIvTvBgRYpd8f04TwL7FDbEcXJ3EM"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzNTk4NjgsIm5iZiI6MTczNTM1OTU2OCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyOCUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjhUMDQxOTI4WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9NThlYzEwZGJmMGI3MjNjNDQzN2FiZTg1MjZmZjUzMGM2MDQ3N2VlNjFiN2I2OWM0MWE4NmI1ZWQ0NGFjODE5MyZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.4c_WLvz6oHv9ageIvTvBgRYpd8f04TwL7FDbEcXJ3EM"/></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
@@ -0,0 +1,65 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8" />
<meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>James Routley | Feed</title>
<link
rel="stylesheet"
type="text/css"
href="../styles.css"
media="screen"
/>
</head>
<body>
<a href="/index.html">Back</a>
<a href="https://media.ccc.de/v/38c3-breaking-the-mirror-a-look-at-apple-s-new-iphone-remote-control-feature">Original</a>
<h1>Breaking the Mirror – A Look at Apple&#39;s New iPhone Remote Control Feature [video]</h1>

<div id="readability-page-1" class="page">



<div>

<p>
<span></span>
<a href="https://media.ccc.de/search?p=Aaron+Schlitt">Aaron Schlitt</a>

</p>

<p><a href="https://media.ccc.de/c/38c3/Day%201" rel="tag">Day 1</a>
<a href="https://media.ccc.de/c/38c3/2024" rel="tag">2024</a>
Playlists:
<a href="https://media.ccc.de/v/38c3-breaking-the-mirror-a-look-at-apple-s-new-iphone-remote-control-feature/playlist">&#39;38c3&#39; videos starting here</a>
/
<a data-method="get" href="https://media.ccc.de/v/38c3-breaking-the-mirror-a-look-at-apple-s-new-iphone-remote-control-feature/audio">audio</a></p>
<!-- %h3 About -->
<p>Exploring the security of the new iPhone Mirroring feature as well as the current threat model of the iOS ecosystem</p>

<p>The tight integration between devices is something you only get in Apple’s Continuity ecosystem. It enables seamless interaction between devices, such as using your iPhone as a webcam for your Mac and even letting an iPad act as a second screen with stylus input. </p>

<p>All of this relies on Apple’s Continuity framework, a system that builds on local wireless protocols such as Bluetooth and Wi-Fi to communicate among a user’s devices. The interactions enabled between the devices result in a complex threat model that researchers have started to explore over the past years.</p>

<p>This summer, Apple newly introduced iPhone Mirroring, a feature that allows users to remote control their locked iPhone wirelessly from their Mac, further blurring the security boundaries in the ecosystem. </p>

<p>How does this new feature work? Are the security and privacy checks introduced for iPhone Mirroring sufficient or is it possible to trick the system? What do they protect against and how might this differ from how iOS devices are used in practice? In this talk, you will get demos and explanations of bypasses found in early versions of the iOS 18 beta along with an explanation of why and how they work.</p>

<p>Licensed to the public under http://creativecommons.org/licenses/by/4.0</p>

<h3>Download</h3>

<!-- %h3 Embed/Share -->

<h3>Tags</h3>

</div>





</div>
</body>
</html>
2 changes: 1 addition & 1 deletion docs/posts/divestos-rom-shuts-after-ten-years.html

Large diffs are not rendered by default.

Loading

0 comments on commit 31f9c77

Please sign in to comment.