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 27, 2024
1 parent 62b35a8 commit bac3506
Show file tree
Hide file tree
Showing 12 changed files with 234 additions and 1,472 deletions.
29 changes: 19 additions & 10 deletions docs/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,16 @@ <h1>News</h1>


<li>
<a href="posts/parents-of-openai-whistleblower-don-t-believe-he-died-by-suicide-order-autopsy.html">Parents of OpenAI Whistleblower Don&#39;t Believe He Died by Suicide, Order Autopsy</a> (sfist.com)
<a href="posts/25-hopes-for-2025.html">25 hopes for 2025</a> (olu.online)
</li>






<li>
<a href="posts/they-have-not-been-trained-for-this-ccc-supports-train-hackers.html">They have not been trained for this – CCC supports train hackers</a> (www.ccc.de)
</li>


Expand Down Expand Up @@ -70,6 +79,15 @@ <h1>News</h1>




<li>
<a href="posts/instantly-visualize-any-codebase-as-an-interactive-diagram.html">Show HN: Instantly visualize any codebase as an interactive diagram</a> (gitdiagram.com)
</li>





<li>
<a href="http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission">Why OpenAI&#39;s Structure Must Evolve to Advance Our Mission</a> (openai.com)
</li>
Expand Down Expand Up @@ -133,15 +151,6 @@ <h1>News</h1>




<li>
<a href="posts/write-your-own-virtual-machine-2022.html">Write Your Own Virtual Machine (2022)</a> (www.jmeiners.com)
</li>





<li>
<a href="https://vrklovespaper.substack.com/p/software-for-stationery-lovers">Software for stationery lovers</a> (vrklovespaper.substack.com)
</li>
Expand Down
76 changes: 38 additions & 38 deletions docs/log.txt
Original file line number Diff line number Diff line change
@@ -1,38 +1,38 @@
2024/12/27 19:12:17 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/27 19:12:17 Fetched posts from https://themargins.substack.com/feed.xml, took 44.123189ms
2024/12/27 19:12:17 Fetched posts from https://www.slowernews.com/rss.xml, took 74.564207ms
2024/12/27 19:12:17 Fetched posts from https://macwright.com/rss.xml, took 79.223425ms
2024/12/27 19:12:17 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/27 19:12:17 Fetched posts from https://mikehudack.substack.com/feed, took 85.306689ms
2024/12/27 19:12:17 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/27 19:12:17 Fetched posts from https://highgrowthengineering.substack.com/feed, took 85.602362ms
2024/12/27 19:12:17 Fetched posts from https://www.benkuhn.net/index.xml, took 130.540105ms
2024/12/27 19:12:17 Fetched posts from https://twobithistory.org/feed.xml, took 156.902642ms
2024/12/27 19:12:17 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 188.629574ms
2024/12/27 19:12:17 Fetched posts from https://jvns.ca/atom.xml, took 203.395522ms
2024/12/27 19:12:17 Fetched posts from https://scattered-thoughts.net/rss.xml, took 307.55604ms
2024/12/27 19:12:17 Fetched posts from https://danluu.com/atom.xml, took 341.343686ms
2024/12/27 19:12:17 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 373.900169ms
2024/12/27 19:12:17 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 392.985865ms
2024/12/27 19:12:17 Fetched posts from https://joy.recurse.com/feed.atom, took 406.778213ms
2024/12/27 19:12:17 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 497.44363ms
2024/12/27 19:12:18 Fetched posts from https://blog.veitheller.de/feed.rss, took 1.13678874s
2024/12/27 19:12:18 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 19:12:18 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 1.323094341s
2024/12/27 19:12:18 Fetched posts from http://tonsky.me/blog/atom.xml, took 1.545435558s
2024/12/27 19:12:18 Fetched posts from https://commoncog.com/blog/rss/, took 1.565223331s
2024/12/27 19:12:18 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 19:12:19 Content still empty after HTML reader: http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission
2024/12/27 19:12:20 Content still empty after HTML reader: https://ghostty.org/
2024/12/27 19:12:20 Fetched posts from https://hnrss.org/frontpage?points=50, took 3.61381325s
2024/12/27 19:12:20 Fetched posts from https://gochugarugirl.com/feed/, took 3.725883357s
2024/12/27 19:12:20 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 19:12:21 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 4.741543754s
2024/12/27 19:12:47 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 19:12:47 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.022454318s
2024/12/27 19:12:47 Skipping writing post, no content: http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission
2024/12/27 19:12:47 Skipping writing post, no content: https://ghostty.org/
2024/12/27 19:12:47 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 19:12:47 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 19:12:47 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 19:12:47 Templated 30 posts, took 4.82035ms
2024/12/27 20:17:09 error parsing https://themargins.substack.com/feed.xml: http error: 403 Forbidden
2024/12/27 20:17:09 Fetched posts from https://themargins.substack.com/feed.xml, took 39.163179ms
2024/12/27 20:17:09 error parsing https://highgrowthengineering.substack.com/feed: http error: 403 Forbidden
2024/12/27 20:17:09 Fetched posts from https://highgrowthengineering.substack.com/feed, took 39.415102ms
2024/12/27 20:17:09 error parsing https://mikehudack.substack.com/feed: http error: 403 Forbidden
2024/12/27 20:17:09 Fetched posts from https://mikehudack.substack.com/feed, took 40.661066ms
2024/12/27 20:17:09 Fetched posts from https://macwright.com/rss.xml, took 48.599584ms
2024/12/27 20:17:10 Fetched posts from https://www.slowernews.com/rss.xml, took 74.962489ms
2024/12/27 20:17:10 Fetched posts from https://www.benkuhn.net/index.xml, took 101.946237ms
2024/12/27 20:17:10 Fetched posts from https://twobithistory.org/feed.xml, took 146.202675ms
2024/12/27 20:17:10 Fetched posts from https://anewsletter.alisoneroman.com/feed, took 209.043313ms
2024/12/27 20:17:10 Fetched posts from https://routley.io/reserialised/great-expectations/2022-08-24/index.xml, took 229.320977ms
2024/12/27 20:17:10 Fetched posts from https://jvns.ca/atom.xml, took 248.793563ms
2024/12/27 20:17:10 Fetched posts from https://danluu.com/atom.xml, took 283.913898ms
2024/12/27 20:17:10 Fetched posts from https://scattered-thoughts.net/rss.xml, took 327.681611ms
2024/12/27 20:17:10 Fetched posts from https://joy.recurse.com/feed.atom, took 483.11389ms
2024/12/27 20:17:10 Fetched posts from https://blog.golang.org/feed.atom?format=xml, took 695.056824ms
2024/12/27 20:17:10 Fetched posts from https://blog.veitheller.de/feed.rss, took 928.19642ms
2024/12/27 20:17:11 Fetched posts from https://solar.lowtechmagazine.com/feeds/all-en.atom.xml, took 1.377923969s
2024/12/27 20:17:11 Fetched posts from https://commoncog.com/blog/rss/, took 1.393407997s
2024/12/27 20:17:11 Fetched posts from http://tonsky.me/blog/atom.xml, took 1.536159371s
2024/12/27 20:17:11 Content still empty after HTML reader: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 20:17:12 Content still empty after HTML reader: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 20:17:12 Fetched posts from https://www.wildlondon.org.uk/blog/all/rss.xml, took 2.41873289s
2024/12/27 20:17:13 Content still empty after HTML reader: http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission
2024/12/27 20:17:13 Fetched posts from https://gochugarugirl.com/feed/, took 3.343680634s
2024/12/27 20:17:14 Content still empty after HTML reader: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 20:17:15 Fetched posts from https://blaggregator.recurse.com/atom.xml?token=4c4c4e40044244aab4a36e681dfb8fb0, took 5.489777727s
2024/12/27 20:17:16 Content still empty after HTML reader: https://ghostty.org/
2024/12/27 20:17:16 Fetched posts from https://hnrss.org/frontpage?points=50, took 6.101168344s
2024/12/27 20:17:39 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 20:17:39 Fetched posts from https://rachelbythebay.com/w/atom.xml, took 30.003395881s
2024/12/27 20:17:39 Skipping writing post, no content: http://openai.com/index/why-our-structure-must-evolve-to-advance-our-mission
2024/12/27 20:17:39 Skipping writing post, no content: https://ghostty.org/
2024/12/27 20:17:39 Skipping writing post, no content: https://vrklovespaper.substack.com/p/software-for-stationery-lovers
2024/12/27 20:17:39 Skipping writing post, no content: https://todaythings.substack.com/p/to-acquire-a-goshawk-is-a-major-decision
2024/12/27 20:17:39 Skipping writing post, no content: http://tinylogger.com/max/wnTJ9xu3fw5UiXLp
2024/12/27 20:17:39 Templated 31 posts, took 4.15382ms
112 changes: 112 additions & 0 deletions docs/posts/25-hopes-for-2025.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,112 @@
<!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://olu.online/25-hopes-for-2025/">Original</a>
<h1>25 hopes for 2025</h1>

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

<header>
<a href="https://olu.online/">

</a>
<nav>
<p><a href="https://olu.online/blog">blog</a>
<a href="https://olu.online/about">about</a>
<a href="https://olu.online/projects">projects</a>
<a href="https://olu.online/ideas">ideas</a>
<a href="https://olu.online/contact">contact me</a>
<a href="https://olu.online/coffee">tip me?</a>
<a href="https://olu.online/now">now</a>
<a href="https://olu.online/ai">AI policy</a>
<a href="https://notes.olu.online">notes</a></p>

</nav>
</header>
<main>









<p>
<i>
<time datetime="2024-12-27T17:54Z">
27 Dec, 2024
</time>
</i>
</p>


<p>Writing this is a new tradition for me, it&#39;s funny! I&#39;ve done <a href="https://olu.online/23-hopes-for-2023">23 hopes for 2023</a> and <a href="https://olu.online/24-hopes-for-2024">24 for 2024</a> so here we go again.</p>
<p>I&#39;m not hoping for world peace (or more wishes) in this list, as ever, we&#39;re keeping it easy-breezy:</p>
<ol>
<li>I&#39;ve booked a longsword class finally! I want to enjoy that enough to keep it up, or quickly work out I don&#39;t like it. I don&#39;t know how long it takes to get out of beginner classes, but maybe that&#39;s a good goal...</li>
<li>I hope to post a long or short form video at least once a week for the whole of the year.</li>
<li>I hope to blog more on here.</li>
<li>I hope to keep up my <a href="https://olu.online/blog/?q=weeknotes">week notes</a>.</li>
<li>I hope to keep better note of what actually happened each week with obsidian, and to stay with obsidian for the whole year (at least! i would quite like to stop app-hopping).</li>
<li>I want to visit Paris, or take one trip somewhere outside the UK once I get my British passport.</li>
<li>I&#39;m hoping to actually do more sewing next year.</li>
<li>I&#39;m keeping up my clothing low buy (no buy in 2024!) habits, but I think I will need to buy activewear at some point as I have run most of my leggings into the ground.</li>
<li>I&#39;m hoping to be more flexible in my planning personally; I want to keep the big picture goals in mind but to be better at breaking things down into small steps.</li>
<li>Seeing as I have not done much Betwixtmas coding, I&#39;m hoping to get going on my project ideas, finish Complete CSS and get up to the present day with 0de5.</li>
<li>I&#39;m hoping to be more intentional with my time, but not in a tracking way, just being mindful of how my days pass.</li>
<li>Hoping to create more online in general, and to be more of a poster than a commenter, consumer or lurker (though I love all of those modes I want to try something new).</li>
<li>Gonna try and pitch and work on my writing a lot more.</li>
<li>Hoping to make time to learn some maths.</li>
<li>I want to do way more collaboration on all my projects. If you wanna collaborate, <a href="https://olu.online/contact">get in touch</a>.</li>
<li>I want to read more; looking like I&#39;ll hit 16 (or possibly 17!) books this year, which is less than I wanted but enough. I mostly have specific tech ethics titles in mind, but I have a long TBR to work through and should engage with it!</li>
<li>I want to be more realistic about my time and energy, and not trick myself into self-disdain when I could have easily not have overpacked my to-do list for [time period] and been happy.</li>
<li>I want to sing and play ukulele for fun more often, rather than trying to get &#34;better&#34; at either.</li>
<li>I hope if I end up moving this year, it&#39;s as smooth and painless as possible and that I start putting down roots and building community as soon as I get over the new environment discombobulation.</li>
<li>I want to help people more with tech ethics things practically, as well as talking about it.</li>
<li>I want to close open loops, finish projects, and get to the point I trust myself to finish stuff a lot more.</li>
<li>I want to embed myself in more online communities.</li>
<li>I know I mentioned longsword and exercise clothing already, but I do want to be a lot less sedentary. I don&#39;t think I&#39;ll ever be #athletic, but I do want to enjoy movement (and get into powerlifting if I ever find the right gym).</li>
<li>Hoping to work out my &#34;content&#34; &#34;strategy&#34; for the year, and what I&#39;m trying to do with this - *gestures vaguely around* - in the future.</li>
<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 20 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>
















</main>


</div>
</body>
</html>
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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzMjcwNDAsIm5iZiI6MTczNTMyNjc0MCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMTkxMjIwWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9YWJjMzhjMDRkZGUxZmE0OGZmN2VkYzgzNTM1ZjlhYzQxYzBhMmUxNzE1YzkwNDc0MDE1NWE3MDFkMWY4ZGM0ZiZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.liotvKnfJzzaGM2Smx_HXC8T6NmlkW4gjALLlpF71Y8"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzMjcwNDAsIm5iZiI6MTczNTMyNjc0MCwicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMTkxMjIwWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9YWJjMzhjMDRkZGUxZmE0OGZmN2VkYzgzNTM1ZjlhYzQxYzBhMmUxNzE1YzkwNDc0MDE1NWE3MDFkMWY4ZGM0ZiZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.liotvKnfJzzaGM2Smx_HXC8T6NmlkW4gjALLlpF71Y8"/></a>
<a target="_blank" rel="noopener noreferrer" href="https://private-user-images.githubusercontent.com/1186124/398305556-c3b64a4a-2e74-4180-9a4a-dfbbd6224b77.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzMzA5MzMsIm5iZiI6MTczNTMzMDYzMywicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMjAxNzEzWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9NzE3ZGVhOTA0YjgwNTliOTEwZDQyNWE4NmVjNzA3MjY4ODlkODBkNWNkMTg0ZWM1ZTNjMmE4ODU1MGQwMmI5NiZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.RH9FNFoRSs7FeTFOr_pTM3JffEEDIsSkLeWc9DVZjy8"><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.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzUzMzA5MzMsIm5iZiI6MTczNTMzMDYzMywicGF0aCI6Ii8xMTg2MTI0LzM5ODMwNTU1Ni1jM2I2NGE0YS0yZTc0LTQxODAtOWE0YS1kZmJiZDYyMjRiNzcucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI0MTIyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNDEyMjdUMjAxNzEzWiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9NzE3ZGVhOTA0YjgwNTliOTEwZDQyNWE4NmVjNzA3MjY4ODlkODBkNWNkMTg0ZWM1ZTNjMmE4ODU1MGQwMmI5NiZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.RH9FNFoRSs7FeTFOr_pTM3JffEEDIsSkLeWc9DVZjy8"/></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
Loading

0 comments on commit bac3506

Please sign in to comment.