<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: contravariant</title><link>https://news.ycombinator.com/user?id=contravariant</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Mon, 17 Aug 2026 09:15:59 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=contravariant" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by contravariant in "Read this before you buy that TV streaming stick"]]></title><description><![CDATA[
<p>I mean I get why my cups need frequent java updates, but still.</p>
]]></description><pubDate>Thu, 30 Jul 2026 21:12:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=49115865</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=49115865</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49115865</guid></item><item><title><![CDATA[New comment by contravariant in "Connections in Math: the two kinds of random"]]></title><description><![CDATA[
<p>There are a couple of references, most on some obscure detail. The ones that might be worth a try for an introduction are:<p>- Walters, P., An Introduction to Ergodic Theory, Graduate Texts in
Mathematics, 79. Springer-Verlag, New York-Berlin, 1982<p>- Billingsley, P. – Ergodic Theory and Information, John Wiley and
Sons, 1965.<p>You may need a refresher on measure theory, or just ignore that part I suppose</p>
]]></description><pubDate>Tue, 07 Jul 2026 20:15:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=48823093</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=48823093</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48823093</guid></item><item><title><![CDATA[New comment by contravariant in "Connections in Math: the two kinds of random"]]></title><description><![CDATA[
<p>Not sure, I'm basing most of this on lecture notes I got at university.</p>
]]></description><pubDate>Tue, 07 Jul 2026 11:33:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=48816302</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=48816302</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48816302</guid></item><item><title><![CDATA[New comment by contravariant in "Connections in Math: the two kinds of random"]]></title><description><![CDATA[
<p>I think looking into ergodic theory would help fill in the gap between completely random and completely rule based. In ergodic theory you have some kind of 'state' and a function way to 'advance' the state, if you partition the state space you also get a sequence of 'bytes' to send (simple example: take a number in [0,1] multiply by 10, send the first digit and continue with the remainder). The state needs a distribution, that needs to be preserved by advancing the state, but it's pretty close to running an algorithm otherwise.<p>You'll probably also want to look at uniquely ergodic systems. Those are interesting in the way that they behave 'random' for <i>every</i> input, one example is if you keep multiplying a number by anything other than a power of 10 and divide it by a power of 10 so it's between 0 and 1. Turns out you get the same distribution of results every time (eventually).<p>And while you can define an entropy rate without I think ergodic theory also helps inform <i>why</i> that is the correct generalisation. Your current article only considers the case where each digit is independently random (it's clear why, it's a lot simpler and all that information theory tends to talk about).</p>
]]></description><pubDate>Mon, 06 Jul 2026 12:55:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=48803928</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=48803928</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48803928</guid></item><item><title><![CDATA[New comment by contravariant in "Connections in Math: the two kinds of random"]]></title><description><![CDATA[
<p>I think the explanation of entropy's blind spot is a bit off. It's not actually a problem for entropy if something is generated by a rule, you can calculate entropy for things like the continuous fractions for instance, with an easy rule to generate them for any particular number. Likewise for decimal expansions.<p>The real blind spot is that entropy is meaningless for a specific sequence, you can't really ask about the entropy of pi if you don't have a theory for how the numbers are generated. Sure if it is pick a uniformly random real number between 0 and 10 then both files have equivalent entropy, but sending pi is also vanishingly unlikely.<p>There's actually a more subtle way in which this is a blind spot, which takes a bit more machinery. You can define entropy for an ergodic system, which could be considered a kind of mathematical RNG. Now as it turns out this provides a way to generate something almost equivalent to a particular distribution <i>except</i> that this argument only holds for <i>most</i> starting points not <i>all</i>. A direct example would be how pi generates a perfectly fine random distribution of digits (we think) but something like 1/3 does not.</p>
]]></description><pubDate>Mon, 06 Jul 2026 00:01:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=48799237</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=48799237</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48799237</guid></item><item><title><![CDATA[New comment by contravariant in "Ford AI hiccups push carmaker to rehire ‘gray beard’ inspectors"]]></title><description><![CDATA[
<p>If compliance was the main issue we wouldn't have had to invent ways for computers to do something other than exactly what they were asked.</p>
]]></description><pubDate>Thu, 25 Jun 2026 15:41:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=48675105</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=48675105</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48675105</guid></item><item><title><![CDATA[New comment by contravariant in "AI demands more engineering discipline. Not less"]]></title><description><![CDATA[
<p>You'll recognise the good engineers as the ones that remove code.</p>
]]></description><pubDate>Wed, 17 Jun 2026 23:05:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=48578261</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=48578261</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48578261</guid></item><item><title><![CDATA[New comment by contravariant in "Feds freaked over Fable 5 after 'fix this code', not jailbreak, say researchers"]]></title><description><![CDATA[
<p>Even that is overselling the effort. Last time I checked you could find IDs with a simple image search.</p>
]]></description><pubDate>Tue, 16 Jun 2026 13:34:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=48555081</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=48555081</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48555081</guid></item><item><title><![CDATA[New comment by contravariant in "I'm Tired of Talking to AI"]]></title><description><![CDATA[
<p>I just want them to tell me if they don't know.<p>It's the one question that AIs seem unable to answer correctly.</p>
]]></description><pubDate>Wed, 27 May 2026 12:54:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=48293534</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=48293534</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48293534</guid></item><item><title><![CDATA[New comment by contravariant in "I'm Tired of Talking to AI"]]></title><description><![CDATA[
<p>If you feel the need to <i>hide</i> how you got the answer then you know something is wrong.</p>
]]></description><pubDate>Wed, 27 May 2026 12:52:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=48293514</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=48293514</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48293514</guid></item><item><title><![CDATA[New comment by contravariant in "Jensen–Shannon Divergence"]]></title><description><![CDATA[
<p>To minimise the KL you just calculate the surprisal. The integral can be approximated by sampling over your training data. It's a direct expression of the information loss between your real data and your fitted probability distribution.<p>Calculating the JSD could be more difficult, the expression uses a mixture between the 'true' and 'fitted' distribution. You can still simulate this, but half the time you'd be fitting the model to itself, and I just don't see why that would be useful.<p>I think the JSD is most useful when you need an actual metric, but as long as you have a fitted and target distribution the KL divergence is a natural fit since you can interpret the result as information loss.</p>
]]></description><pubDate>Tue, 26 May 2026 15:00:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=48280771</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=48280771</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48280771</guid></item><item><title><![CDATA[New comment by contravariant in "What it takes to transpose a matrix"]]></title><description><![CDATA[
<p>I wonder if using a hilbert curve (or perhaps the simpler z-curve) access order would help things. If ought to work well regardless of cache size.<p>Actually I think I recall some GPUs storing textures that way, but I'm not entirely sure.</p>
]]></description><pubDate>Tue, 26 May 2026 12:39:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=48278967</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=48278967</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48278967</guid></item><item><title><![CDATA[New comment by contravariant in "Steve Wozniak cheered after telling students they have AI – actual intelligence"]]></title><description><![CDATA[
<p>I was expecting more like a minimal usage that makes sense for a butchery or something, not <i>get rid of the people using email</i>.</p>
]]></description><pubDate>Mon, 25 May 2026 14:33:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=48267329</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=48267329</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48267329</guid></item><item><title><![CDATA[New comment by contravariant in "Steve Wozniak cheered after telling students they have AI – actual intelligence"]]></title><description><![CDATA[
<p>What's the LLM equivalent to email and a basic webpage?</p>
]]></description><pubDate>Fri, 22 May 2026 22:54:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=48242629</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=48242629</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48242629</guid></item><item><title><![CDATA[New comment by contravariant in "Steve Wozniak cheered after telling students they have AI – actual intelligence"]]></title><description><![CDATA[
<p>That's just a baseless assumption. To use AI well you should do the things that allow you to use stuff <i>well</i>. You shouldn't just use it any way you can because you assume that 'not using it at all' is not the best option.<p>This is literally the same with every single technological development.</p>
]]></description><pubDate>Fri, 22 May 2026 14:46:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=48236660</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=48236660</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48236660</guid></item><item><title><![CDATA[New comment by contravariant in "Steve Wozniak cheered after telling students they have AI – actual intelligence"]]></title><description><![CDATA[
<p>You've somehow confused using AI well with using it extensively.<p>Sometimes using something well involves not using it at all.</p>
]]></description><pubDate>Fri, 22 May 2026 12:49:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=48235150</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=48235150</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48235150</guid></item><item><title><![CDATA[New comment by contravariant in "Backblaze has stopped backing up your data"]]></title><description><![CDATA[
<p>I'm also pretty sure 14 points font is a bit outdated at this point, 16 should probably be a minimum with current screens. It's not as if screens aren't wide enough to fit bigger text.</p>
]]></description><pubDate>Tue, 14 Apr 2026 10:26:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=47763703</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=47763703</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47763703</guid></item><item><title><![CDATA[New comment by contravariant in "GitHub Stacked PRs"]]></title><description><![CDATA[
<p>Oh that's annoying, seems to me there wouldn't have been an issue if you just merged B into A after merging A into main, or the other way around but that already works fine as you pointed out.<p>I mean if you've got a feature set to merge into dev, and it suddenly merges into main after someone merged dev into main then that's very annoying.</p>
]]></description><pubDate>Mon, 13 Apr 2026 23:55:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=47759506</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=47759506</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47759506</guid></item><item><title><![CDATA[New comment by contravariant in "GitHub Stacked PRs"]]></title><description><![CDATA[
<p>Huh interesting, my mental model is unable to see any difference between them.<p>I mean a branch is just jamming a flag into a commit with a polite note to move the flag along if you're working on it. You make a long trail, leave several flags and merge the whole thing back.<p>Of course leaving multiple waypoints only makes sense if merging the earlier parts makes any sense, and if the way you continue actually depends on the previous work.<p>If you can split it into several small changes made to a central branch it's a lot easier to merge things. Otherwise you risk making a new feature codependent on another <i>even if there was no need to</i>.</p>
]]></description><pubDate>Mon, 13 Apr 2026 23:51:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=47759478</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=47759478</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47759478</guid></item><item><title><![CDATA[New comment by contravariant in "Maze Algorithms (1997)"]]></title><description><![CDATA[
<p>I think being connected is easy enough, being non-cyclic is trickier I suppose. If you do it badly the shape of the maze is going to depend on the order it's generated in. I imagine some people may have looked into it.</p>
]]></description><pubDate>Fri, 03 Apr 2026 14:25:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=47627011</link><dc:creator>contravariant</dc:creator><comments>https://news.ycombinator.com/item?id=47627011</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47627011</guid></item></channel></rss>