<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: smaudet</title><link>https://news.ycombinator.com/user?id=smaudet</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 11 Jun 2026 05:19:10 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=smaudet" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by smaudet in "πFS"]]></title><description><![CDATA[
<p>Keyword is conjectured.<p>Infinities of random sequences exist that can be shown not to contain all data, 0-8 (base 10) is one such random sequence that is trivially proven to never contain 9...<p>There are no known patterns to pi, but, (I am legitimately curious about this), are there any known sequences e.g. of 1 million 0s and a single other digit within the decimal sequence of pi?<p>Given how it (pi) looks, I'm of the strong suspicion is that the answer is "no". But of course, proving that requires that some property of the randomness is provable. Which it does feel as if, given there are different infinities, there are also different randomnesses, hence the conjecture is ill-formed and probably incorrect...</p>
]]></description><pubDate>Wed, 10 Jun 2026 23:45:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=48484389</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48484389</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48484389</guid></item><item><title><![CDATA[New comment by smaudet in "RIP software hackathons. Long live the hardware hackathon"]]></title><description><![CDATA[
<p>I don't think you understand the goal of a hackathon. They aren't (or weren't) VC pitch sessions.<p>You don't run marathons to be usane bolt, you don't go to hackathons to land VC deals.<p>24 hours of non stop AI usage doesn't sound fun. It sounds hateful and demotivating, you want to discover <i>yourself</i>, and maybe some other people, not what a robot can do.</p>
]]></description><pubDate>Wed, 10 Jun 2026 03:29:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=48471059</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48471059</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48471059</guid></item><item><title><![CDATA[New comment by smaudet in "Superintelligence: The Idea That Eats Smart People (2016)"]]></title><description><![CDATA[
<p>Again, infinity is illustrative.<p>Put another way, you do not deny a proof by inference because it "leads to large numbers".<p>We don't need to speculate, we can see many, many examples today of more and less intelligent species, and also what happens to the less intelligent ones, even taking humans out of the equation.<p>I'd argue, even a machine intelligence that merely managed to be mildly smarter than us would be a threat. AGI merely has the potential to be infinitely smarter than us, but that's somewhat irrelevant given we might not even be smart enough to realize <i>how much smarter</i> they are (a cat will likely not appreciate the difference in intelligence between a dog, an elephant, or a dolphin, despite all those animals being generally smarter).</p>
]]></description><pubDate>Wed, 03 Jun 2026 03:16:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=48379476</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48379476</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48379476</guid></item><item><title><![CDATA[New comment by smaudet in "Superintelligence: The Idea That Eats Smart People (2016)"]]></title><description><![CDATA[
<p>Infinity is....subtle.<p>They are more characterized by how they grow and when they stop than by their "physical reality". Proof of this is in that <i>different</i> infinities exist - characterized precisely by how fast they grow, i.e., one "infinity" is "larger" than the other.<p>My point is, getting hung up on "infinity" as being unrealistic is not the point. It is the tool with which to understand how thing behave. The same as any calculus problem - you take the limit to the infinity to understand how the function behaves.</p>
]]></description><pubDate>Tue, 02 Jun 2026 13:53:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=48370289</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48370289</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48370289</guid></item><item><title><![CDATA[New comment by smaudet in "Superintelligence: The Idea That Eats Smart People (2016)"]]></title><description><![CDATA[
<p>For all its talk of inoculation, this is a terribly written essay. They do not make a point, nor even arguments, instead, opting to ramble in hopes that you forget whatever it was you were thinking.<p>The issue is simple. Just like us (who are arguably complex, look at what we're building over here, this AI computer stuff!), entities have simple core needs (like food, water, power, etc.).<p>An infinitely smart AGI has the potential, nay, likely cause, to require infinite resources. We're <i>already</i> seeing the effect in the computing sector on e.g. chips, there's no reason to think this trend won't continue...<p>Lets circle back to the hydrogen argument, will we blow ourselves up. Real concern, abated by <i>hard numbers</i>. Different atmosphere, different concentrations, different pressure, different possible outcomes.<p>Today, we don't have those numbers. We don't have those calculations. I don't disagree with the point at the end "about how people can exploit other people, or through carelessness introduce immoral behavior into automated systems". These are issues, too. But saying there are other issues, don't worry about this big issue over here, is the absolute worse argument possible.<p>That's hand waving.</p>
]]></description><pubDate>Mon, 01 Jun 2026 19:56:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=48361790</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48361790</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48361790</guid></item><item><title><![CDATA[New comment by smaudet in "Show HN: Continue? Y/N: A 60-second game about AI agent permission fatigue"]]></title><description><![CDATA[
<p>Actually, the only secure default is to deny everything...how do you know that innocent command is actually innocent?</p>
]]></description><pubDate>Thu, 28 May 2026 22:31:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=48316453</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48316453</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48316453</guid></item><item><title><![CDATA[New comment by smaudet in "Earthion: A New Mega Drive-Style Shoot-Em-Up"]]></title><description><![CDATA[
<p>While this is an informative comment, did HN start deleting comments? These comments you mention do not seem to exist...</p>
]]></description><pubDate>Tue, 26 May 2026 13:33:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=48279667</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48279667</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48279667</guid></item><item><title><![CDATA[New comment by smaudet in "A case against Boolean logic"]]></title><description><![CDATA[
<p>Yeah, this (the OPs) reads like a confused teenagers post, who has just started to explore the intracacies of logic. The whole post disproves itself...<p>Fuzzy logic is fine, I suspect they saw something like this and got confused. I would recommend they think harder about how very pertinent boolean logic is to everything they are doing before dismissing it...</p>
]]></description><pubDate>Mon, 25 May 2026 15:03:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=48267711</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48267711</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48267711</guid></item><item><title><![CDATA[New comment by smaudet in "Show HN: Rmux – A programmable terminal multiplexer with a Playwright-style SDK"]]></title><description><![CDATA[
<p>Eh? Not sure what you mean by that...</p>
]]></description><pubDate>Thu, 21 May 2026 19:22:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=48227731</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48227731</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48227731</guid></item><item><title><![CDATA[New comment by smaudet in "Declining America"]]></title><description><![CDATA[
<p>Oh, don't worry, the way it's going other countries will be fast motivated to defend themselves from said foreign policy...or perish.</p>
]]></description><pubDate>Wed, 20 May 2026 21:17:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=48214267</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48214267</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48214267</guid></item><item><title><![CDATA[New comment by smaudet in "An OpenAI model has disproved a central conjecture in discrete geometry"]]></title><description><![CDATA[
<p>If anything, this is more illustration of how llms are not useful to us...<p>They will do their own thing, don't need us. In fact, we will be in the way...<p>We can choose to study them and their output, but they don't make us better mathematicians...</p>
]]></description><pubDate>Wed, 20 May 2026 21:13:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=48214206</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48214206</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48214206</guid></item><item><title><![CDATA[New comment by smaudet in "We stopped AI bot spam in our GitHub repo using Git's –author flag"]]></title><description><![CDATA[
<p>> What is bot logic exactly?<p>Ill thought out logic like your own. I think you are likely a bot at this point.<p>It's not likely, because that's not something that people are likely to do. Only a bot like yourself with a poor model of the world will do this type of thing. It will be amusing to see the AI bots trying to run the scam you are describing and then nobody will contribute to the fake projects... except other fake AI contributors.</p>
]]></description><pubDate>Mon, 18 May 2026 19:35:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=48184442</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48184442</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48184442</guid></item><item><title><![CDATA[New comment by smaudet in "We stopped AI bot spam in our GitHub repo using Git's –author flag"]]></title><description><![CDATA[
<p>This feels like bot logic, lol.<p>Unless the contributors don't care about the repos they contribute to, this is not a likely scenario. AI doesn't care. We do.</p>
]]></description><pubDate>Mon, 18 May 2026 18:13:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=48183326</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48183326</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48183326</guid></item><item><title><![CDATA[New comment by smaudet in "We stopped AI bot spam in our GitHub repo using Git's –author flag"]]></title><description><![CDATA[
<p>Agreed, PoW is an especially poor solution here.<p>We really need to solve SPAM itself here, I think there may be a way to do it. I.e., the problem of spam is NtoN scaling connections. The network has never been able to solve that problem (exponential is the hardest). Limiting communication in terms of mesh networking may be the ultimate solution - bots can't get to you because they can't reach you.<p>What needs to be invented is a bridging protocol - some way to establish "legitimate" lines of communication over a network, while preserving (to some degree) privacy and decentralization. AI can only enter this network by being explicitly added to the channel, and thereby explicitly and easily blocked (and also solving the general SPAM issue once and for all).</p>
]]></description><pubDate>Mon, 18 May 2026 18:07:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=48183233</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48183233</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48183233</guid></item><item><title><![CDATA[New comment by smaudet in "We stopped AI bot spam in our GitHub repo using Git's –author flag"]]></title><description><![CDATA[
<p>Which is not chrome and still has ads...(Ironically).<p>The issue here is the core model is broken (misaligned incentives). That's not something you are going to fix with a github "downstream". A token system could help but it's easy to imagine ways that could be gamed, if not implemented well.</p>
]]></description><pubDate>Mon, 18 May 2026 17:56:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=48183047</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48183047</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48183047</guid></item><item><title><![CDATA[New comment by smaudet in "We stopped AI bot spam in our GitHub repo using Git's –author flag"]]></title><description><![CDATA[
<p>> and for some reason tons of independent developers<p>Cowboy coders got a virtual cowgirl coder and sold it to everyone, hmm, maybe... (respected or not, solo devs don't always have the requisite skills to not be a cowboy, either due to lack of experience or lack of innate skill)<p>I don't know that I completely buy this narrative, though. There has been a strong, top-down push for this since the "beginning".</p>
]]></description><pubDate>Mon, 18 May 2026 17:48:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=48182912</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48182912</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48182912</guid></item><item><title><![CDATA[New comment by smaudet in "We stopped AI bot spam in our GitHub repo using Git's –author flag"]]></title><description><![CDATA[
<p>I don't think that is a (very realistic) concern. AI is slop, the problem is not that the real contributors are struggling to get PRs merged.<p>The bigger issue being, raising the bar to students who may have otherwise had productive careers (but education is a general issue, where the students don't even yet recognize they are being scammed).</p>
]]></description><pubDate>Mon, 18 May 2026 17:41:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=48182805</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48182805</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48182805</guid></item><item><title><![CDATA[New comment by smaudet in "We stopped AI bot spam in our GitHub repo using Git's –author flag"]]></title><description><![CDATA[
<p>Agreed... However there's not a good IsThisAnAI() test at present. So unfortunately, we will have to use anti-spammer techniques (because that is exactly what AI is, high(er) quality spam).</p>
]]></description><pubDate>Mon, 18 May 2026 17:38:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=48182748</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48182748</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48182748</guid></item><item><title><![CDATA[New comment by smaudet in "We are retiring our bug bounty program"]]></title><description><![CDATA[
<p>> You kind of did that to yourself if you let the new person get away with it.<p>In theory, sure, but in practice, to echo the others, you often don't have a <i>choice</i>, because of power dynamics/politics.<p>Its easy to say "its management's fault", but the principle is the same - these guys are spammers and quacks (and deserve nothing less than to be confined to the level of hell reserved for spammers), they just have to spam long enough and something will get through (volume over quality). And after their "success" i.e. fraud, they can ditch the company and move onto the next. I've seen multiple "seniors" like this, not actually very good at the work, but great at pushing half-baked slop.</p>
]]></description><pubDate>Fri, 15 May 2026 15:35:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=48150002</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48150002</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48150002</guid></item><item><title><![CDATA[New comment by smaudet in "iOS 27 is adding a 'Create a Pass' button to Apple Wallet"]]></title><description><![CDATA[
<p>Even as a non-80 year old (much closer to the first half than second), I don't understand what has been built or why I would care...<p>A piece of paper has infinite battery life and perfect UX (ignoring security for a second). I don't have to remember to add it to something and then worry if I added it, or how I can give it someone later...this idea of a pass you build doesn't seem to pass the "does it make sense" test.</p>
]]></description><pubDate>Tue, 05 May 2026 21:41:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=48028998</link><dc:creator>smaudet</dc:creator><comments>https://news.ycombinator.com/item?id=48028998</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48028998</guid></item></channel></rss>