<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: fuglede_</title><link>https://news.ycombinator.com/user?id=fuglede_</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 10 Sep 2026 18:50:10 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=fuglede_" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by fuglede_ in "On the Navier–Stokes Millennium Prize Problem"]]></title><description><![CDATA[
<p>Presumably, given that you also operate in the EU, you would have asked for their explicit consent before you did, so you could just check for that?</p>
]]></description><pubDate>Tue, 08 Sep 2026 19:07:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=49615208</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=49615208</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49615208</guid></item><item><title><![CDATA[New comment by fuglede_ in "IBM Quantum Nighthawk R2"]]></title><description><![CDATA[
<p>FWIW, Scott Aaronson has likened the question on factorization of concrete instances to what happened during the Manhattan Project:<p>> Joe #11: Then you’ll be waiting a long time, because that’s a stupid metric. (Or rather: anyone willing to use that metric today, is probably someone you shouldn’t trust.) It’s almost exactly analogous to judging the Manhattan Project in 1942, 1943, 1944 by the metric “how big an explosion can you make, today?” I.e., it’s something that’s going to be basically flat for a long time and then undergo a step change, under the assumption that everything is progressing as it should—because you need a critical mass in the one case and to exceed the fault-tolerance threshold in the other.<p><a href="https://scottaaronson.blog/?p=4121#comment-1804101" rel="nofollow">https://scottaaronson.blog/?p=4121#comment-1804101</a></p>
]]></description><pubDate>Mon, 07 Sep 2026 08:20:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=49595493</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=49595493</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49595493</guid></item><item><title><![CDATA[IBM Quantum Nighthawk R2]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.ibm.com/quantum/blog/nighthawk-r2">https://www.ibm.com/quantum/blog/nighthawk-r2</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49546198">https://news.ycombinator.com/item?id=49546198</a></p>
<p>Points: 88</p>
<p># Comments: 39</p>
]]></description><pubDate>Thu, 03 Sep 2026 05:16:04 +0000</pubDate><link>https://www.ibm.com/quantum/blog/nighthawk-r2</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=49546198</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49546198</guid></item><item><title><![CDATA[New comment by fuglede_ in "Palomar: A registry of Lean verified mathematics"]]></title><description><![CDATA[
<p>And since all they need is a particular folder structure, you don't really need anything Git at all. Any kind of blob would do, cf. e.g. how Zenodo works.</p>
]]></description><pubDate>Wed, 19 Aug 2026 14:26:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=49362090</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=49362090</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49362090</guid></item><item><title><![CDATA[New comment by fuglede_ in "Palomar: A registry of Lean verified mathematics"]]></title><description><![CDATA[
<p>It only works for GitHub; see <a href="https://palomar-registry.org/how-to-submit" rel="nofollow">https://palomar-registry.org/how-to-submit</a><p>And what a strange decision indeed.</p>
]]></description><pubDate>Wed, 19 Aug 2026 06:55:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=49357876</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=49357876</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49357876</guid></item><item><title><![CDATA[New comment by fuglede_ in "Why does Opus 5 feel worse to work with?"]]></title><description><![CDATA[
<p>One way to watermark (assuming temperature is otherwise positive) would be to output the most likely (or optimal) token every so often.</p>
]]></description><pubDate>Fri, 14 Aug 2026 11:43:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=49297488</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=49297488</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49297488</guid></item><item><title><![CDATA[New comment by fuglede_ in "Grok 4.6 scores 61 on the Artificial Analysis Intelligence Index"]]></title><description><![CDATA[
<p>There seems to be something strange going on with how it plays with the GHCP harness: I've experimented on a variety of inputs (code, plain text, literature search), and more than half the time it falls into an infinite text/tool call loop a la GPT-2. Which is a bit spooky as you're still being billed for those infinite loops! But when it works it works, and responses do seem a good deal cheaper than OAI/Anthropic equivalents, so hopefully they'll get it ironed out.</p>
]]></description><pubDate>Thu, 13 Aug 2026 08:35:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=49283172</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=49283172</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49283172</guid></item><item><title><![CDATA[New comment by fuglede_ in "I regret migrating to Codeberg"]]></title><description><![CDATA[
<p>But if you are going to self-host, then you can also self-host a Mastodon server and never have to migrate anywhere; wouldn't that achieve the same effect?</p>
]]></description><pubDate>Fri, 24 Jul 2026 11:06:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=49033835</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=49033835</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49033835</guid></item><item><title><![CDATA[New comment by fuglede_ in "I regret migrating to Codeberg"]]></title><description><![CDATA[
<p>>  Now I am migrating away<p>Where to, if I may ask? Are there any stable FOSS-emphasizing (preferably EU-based) alternatives (outside of just self-hosting)?</p>
]]></description><pubDate>Fri, 24 Jul 2026 10:52:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=49033712</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=49033712</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49033712</guid></item><item><title><![CDATA[New comment by fuglede_ in "I regret migrating to Codeberg"]]></title><description><![CDATA[
<p>The new terms [0] say “You must not share projects that mostly consist of code written by "generative AI"-tools […]. Such projects having an unclear copyright status […]”<p>So okay, if you're concerned about the risk of liability from unclear copyright status, I suppose that's fine, but then why the “mostly”? It's not like the copyright status becomes less unclear by you supplementing with 50% hand-written code.<p>[0] <a href="https://codeberg.org/Codeberg/org/commit/96fac426a32d1ba91ff879366d59bf1af54080c2" rel="nofollow">https://codeberg.org/Codeberg/org/commit/96fac426a32d1ba91ff...</a></p>
]]></description><pubDate>Fri, 24 Jul 2026 09:22:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=49033072</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=49033072</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49033072</guid></item><item><title><![CDATA[New comment by fuglede_ in "Codex scraped the ICM website and discovered 2026 Fields Medal winner list"]]></title><description><![CDATA[
<p>So why is this not the largest GDPR case in all of history?</p>
]]></description><pubDate>Thu, 23 Jul 2026 16:49:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=49024638</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=49024638</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49024638</guid></item><item><title><![CDATA[New comment by fuglede_ in "Human mathematicians are being outcounterexampled"]]></title><description><![CDATA[
<p>Right; see Lakatos. In its roughest form, you study the structure of whatever counterexamples you find, add those as (negated) preconditions to your proposition, rinse and repeat until you have a true statement. If the proposition remains useful, you now have a new definition.</p>
]]></description><pubDate>Tue, 21 Jul 2026 07:53:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=48989367</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=48989367</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48989367</guid></item><item><title><![CDATA[New comment by fuglede_ in "Kimi K2.7 Code is generally available in GitHub Copilot"]]></title><description><![CDATA[
<p>In fact, you don't even need an LLM tournament when you can have tom7's Elo World tournament: <a href="https://www.youtube.com/watch?v=DpXy041BIlA" rel="nofollow">https://www.youtube.com/watch?v=DpXy041BIlA</a></p>
]]></description><pubDate>Thu, 02 Jul 2026 11:48:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=48759943</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=48759943</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48759943</guid></item><item><title><![CDATA[New comment by fuglede_ in "Data Compression Explained (2012)"]]></title><description><![CDATA[
<p>3b1b just started a series under this slogan. Only one episode so far but chances are it'll be a good one; <a href="https://www.3blue1brown.com/" rel="nofollow">https://www.3blue1brown.com/</a></p>
]]></description><pubDate>Sat, 20 Jun 2026 12:49:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=48608868</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=48608868</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48608868</guid></item><item><title><![CDATA[New comment by fuglede_ in "Norway imposes near ban on AI in elementary school"]]></title><description><![CDATA[
<p>There are ways to make it work, but it requires using it only supplementary and with strict discipline. And it will look different for a 6-year old than a 13-year old.<p>But think of this trick we use about turning a tricky research paper in maths/science into something more tangible by making an LLM whip up an interactive version. That works at every level of education, and it means that you can completely tailor a piece of educational material to the kid<p>Tiny example: one kid was introduced to fractions and found it abstract that it was both about partitioning stuff and about numbers on a number line. So while we were practicing, I had an LLM make <a href="https://fuglede.codeberg.page/broeklegeplads/" rel="nofollow">https://fuglede.codeberg.page/broeklegeplads/</a> to make it more hands-on.<p>Obviously for the small kids, this has to be an experience guided by teachers and parents, but for bright older kids with sufficient discipline that ought to be a useful trick for enhancing education.<p>Of course when we were kids, we would just write such educational programs ourselves and get the same effect /and/ learn to program (before getting banned from the computer room for putting spooky /binaries/ on the computers anyway), so maybe that's better for older kids. And maybe these kids will never have to do any maths or programming because the AI overlords have taken over when they grow up.</p>
]]></description><pubDate>Sat, 20 Jun 2026 04:55:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=48606450</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=48606450</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48606450</guid></item><item><title><![CDATA[Show HN: Welter's game, a little Nim-like combinatorial game]]></title><description><![CDATA[
<p>Hi HN! Here's a little game I (and my buddy Claude, cf. the obvious CSS gradient tell) set up to explain to my kids some of things we were working on at work.<p>So in the game you're taking turns moving coins down a line until no moves are possible. If you've taken a course on combinatorial game theory, you'll have come across the game of nim and you can think of this one as a variant of nim where there can only be a single coin in every square. The theory of how to play it isn't quite as well-established as for nim though; play with enough coins and I certainly find it quite tricky to mentally reason about whether a position is good or not.<p>One fun fact about Welter's game is that its winning positions form the codewords of a particular error-correcting code called the constant weight binary lexicode (Conway and Sloane, 1986). What that means is that being good at the game is the same as being good at decoding messages in that code. Probably more fun to just play the game though.</p>
<hr>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=48459929">https://news.ycombinator.com/item?id=48459929</a></p>
<p>Points: 2</p>
<p># Comments: 0</p>
]]></description><pubDate>Tue, 09 Jun 2026 11:58:07 +0000</pubDate><link>https://welter.fuglede.dk</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=48459929</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48459929</guid></item><item><title><![CDATA[New comment by fuglede_ in "Tell HN: Meta's AI support feature allows Instagram accounts to be stolen"]]></title><description><![CDATA[
<p>> I wouldn't be surprised if this was never acknowledged by Meta.<p>It will, at least, have to be acknowledged by making GDPR Art. 33 notifications.</p>
]]></description><pubDate>Mon, 01 Jun 2026 17:47:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=48360190</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=48360190</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48360190</guid></item><item><title><![CDATA[Terence Tao's promotional video for OpenAI]]></title><description><![CDATA[
<p>Article URL: <a href="https://twitter.com/OpenAI/status/2060451757818601808">https://twitter.com/OpenAI/status/2060451757818601808</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=48339079">https://news.ycombinator.com/item?id=48339079</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Sat, 30 May 2026 18:09:47 +0000</pubDate><link>https://twitter.com/OpenAI/status/2060451757818601808</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=48339079</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48339079</guid></item><item><title><![CDATA[New comment by fuglede_ in "Danish pension fund excludes SpaceX citing governance and valuation"]]></title><description><![CDATA[
<p>Earlier: <a href="https://news.ycombinator.com/item?id=48324097">https://news.ycombinator.com/item?id=48324097</a></p>
]]></description><pubDate>Sat, 30 May 2026 09:59:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=48334545</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=48334545</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48334545</guid></item><item><title><![CDATA[New comment by fuglede_ in "Danish Pension Blacklists SpaceX over 'Catastrophic Governance'"]]></title><description><![CDATA[
<p><a href="https://akademikerpension.dk/nyheder/vi-ekskluderer-tesla/" rel="nofollow">https://akademikerpension.dk/nyheder/vi-ekskluderer-tesla/</a></p>
]]></description><pubDate>Fri, 29 May 2026 16:46:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=48325733</link><dc:creator>fuglede_</dc:creator><comments>https://news.ycombinator.com/item?id=48325733</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48325733</guid></item></channel></rss>