<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: csande17</title><link>https://news.ycombinator.com/user?id=csande17</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Fri, 16 Oct 2026 01:13:30 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=csande17" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by csande17 in "FCSS 2: Utility CSS that reads like CSS"]]></title><description><![CDATA[
<p>The main reason to use libraries like this is because you can't put media queries or pseudoclasses like :hover inline in a style="" attribute.<p>(I mean, this particular library seems to be one of those AI-generated ghost town projects that has stuff like a big fancy GOVERNANCE.md but no actual user or contributor community, but that's the strongest reason I've heard to use things like Tailwind.)</p>
]]></description><pubDate>Wed, 14 Oct 2026 12:18:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=50086525</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=50086525</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50086525</guid></item><item><title><![CDATA[New comment by csande17 in "11 year old unsoundness bugs found in Rust borrow checker"]]></title><description><![CDATA[
<p>Sure, but in Rust's case the social understanding is "there exists some type system that guarantees perfect memory safety, and has the general aesthetic features associated with rustc's type system, and 'Rust' is defined to be whatever that type system ends up being".<p>This is a nice ideal, but it doesn't actually exist in concrete terms as a design. It can never have flaws because the definition of it is just "rustc without all the flaws".</p>
]]></description><pubDate>Tue, 13 Oct 2026 20:14:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=50077992</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=50077992</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50077992</guid></item><item><title><![CDATA[New comment by csande17 in "11 year old unsoundness bugs found in Rust borrow checker"]]></title><description><![CDATA[
<p>The true specification was inside our hearts all along!</p>
]]></description><pubDate>Tue, 13 Oct 2026 16:29:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=50074401</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=50074401</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50074401</guid></item><item><title><![CDATA[New comment by csande17 in "11 year old unsoundness bugs found in Rust borrow checker"]]></title><description><![CDATA[
<p>I'm not an expert on the Java specification, but my understanding is that Java as a language is well-defined enough that we can say things like "Java's type system is unsound", independently from any specific implementation of Java.<p>You can't do that with Rust because "Rust's type system" is literally just the vague concept of "a type system that is safe". The <i>implementation</i> of this ideal in rustc can have flaws, but Rust itself cannot, because Rust itself has no flaws by definition.</p>
]]></description><pubDate>Tue, 13 Oct 2026 12:36:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=50070701</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=50070701</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50070701</guid></item><item><title><![CDATA[New comment by csande17 in "11 year old unsoundness bugs found in Rust borrow checker"]]></title><description><![CDATA[
<p>Yes. When people describe Rust as "a memory-safe programming language" they are describing an aspirational vision, and not a programming language that has actually been designed with sufficient rigor to guarantee memory safety. Any failure of rustc to actually guarantee this is just a bug in rustc itself, a failure to properly implement the Rust spec, because the closest thing Rust has to a spec is literally just the vague ideal that the compiler should guarantee safety somehow.<p>Rust cannot fail, it can only be failed.</p>
]]></description><pubDate>Tue, 13 Oct 2026 12:11:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=50070420</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=50070420</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50070420</guid></item><item><title><![CDATA[New comment by csande17 in "11 year old unsoundness bugs found in Rust borrow checker"]]></title><description><![CDATA[
<p>If that's the definition you're using, then C is also a safe programming language. In fact, C is even safer, because it actually <i>does</i> have a specification that lists all the invariants that the programmer has to uphold themselves because the compiler doesn't check them.</p>
]]></description><pubDate>Tue, 13 Oct 2026 11:57:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=50070257</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=50070257</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50070257</guid></item><item><title><![CDATA[New comment by csande17 in "We're going to need default hard budget caps on pretty much everything"]]></title><description><![CDATA[
<p>Simple: when data is added to S3, immediately bill the full cost of storing that data until the end of the month (or fail the upload request if there's not enough quota left). If the data is deleted before the end of the month, refund the remaining storage time.<p>To prevent cases where users can upload an excessive amount of data on March 31 that they then can't afford the April bill for, AWS should also maintain a "next month's balance" limit that gets handled in the same way.<p>It would take a bit more work to correctly handle things like ephemeral data and tiered storage classes, but it's not insurmountable.<p>You could apply the same kind of billing to most other long-lived resources, including VMs that run business-critical services.</p>
]]></description><pubDate>Sun, 04 Oct 2026 08:24:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=49951813</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=49951813</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49951813</guid></item><item><title><![CDATA[New comment by csande17 in "Gemini ending free use of Flash and Pro models"]]></title><description><![CDATA[
<p>In the old versions of Alexa and Google Assistant (before LLMs), you could memorize a couple of voice commands that they'd reliably recognize to do a really basic task. If you need an oven timer but you've got meat juice on your hands, you yell, "Alexa, set a 30-minute timer!" If you want to turn your bedroom lights on without fumbling in the dark, you yell, "Hey Google, turn on my lights!". That was, like, the main thing they were sold for.<p>But then Google changed the default voice assistant on Android to use Gemini. So instead of relying on hard-coded "if the user says this exact phrase, do the thing we said would happen" conditions, people now have to hope the model's smart enough to figure what "turn on my lights" means from first principles every single time.</p>
]]></description><pubDate>Sat, 03 Oct 2026 12:37:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=49943729</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=49943729</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49943729</guid></item><item><title><![CDATA[New comment by csande17 in "Updates to Full Disk Access in macOS"]]></title><description><![CDATA[
<p>I think GP was talking about backup apps that run on the iPhone/iPad itself.<p>It's still possible to back up an iPhone to a jailbroken computer, using roughly the same iTunes sync system that was available on iPods. For now.</p>
]]></description><pubDate>Sat, 03 Oct 2026 08:04:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=49942272</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=49942272</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49942272</guid></item><item><title><![CDATA[New comment by csande17 in "Zig v0.17.0"]]></title><description><![CDATA[
<p>He sees the value of using LLMs... only <i>after</i> performing NASA-level verification and fully comprehensive fuzzing using traditional tools. Since Zig has not done those things, LLM-generated bugs are still banned.</p>
]]></description><pubDate>Sat, 03 Oct 2026 01:33:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=49940588</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=49940588</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49940588</guid></item><item><title><![CDATA[New comment by csande17 in "San Francisco Onion Futures Company"]]></title><description><![CDATA[
<p>You're not really trading a future, you're just pre-ordering onions.</p>
]]></description><pubDate>Sat, 19 Sep 2026 07:26:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=49764211</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=49764211</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49764211</guid></item><item><title><![CDATA[New comment by csande17 in "Why I'm still bearish on LLMs after Navier-Stokes"]]></title><description><![CDATA[
<p>Even if you take that website at face value, the ELO scores shown are <i>relative to the other AI models tested</i>, and not comparable to the ELO scores of humans who play against other humans.</p>
]]></description><pubDate>Wed, 16 Sep 2026 00:00:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=49720492</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=49720492</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49720492</guid></item><item><title><![CDATA[New comment by csande17 in "Homebrew 7.0.0"]]></title><description><![CDATA[
<p>FWIW, I also got a bit of an LLM vibe skimming the changelog. In particular, the section about Linux sandboxing jumped out at me:<p>> Status in 7.0.0: kernels without Landlock continue working without Linux sandboxing in the less secure pre-6.0.0 configuration; brew doctor reports missing protection as an advisory.<p>> No replacement opt-out; unavailable Landlock remains advisory.<p>With that being said, I can kind of see why "eliminate all traces of AI writing styles" wouldn't be a goal of the review/editing process. I've been out of the Apple ecosystem for a while, but I imagine Homebrew has enthusiastically adopted LLMs for a lot of tasks. If the public communications reflect that, then people who don't like LLMs can bounce immediately, rather than getting invested in the project and feeling betrayed later.</p>
]]></description><pubDate>Sun, 13 Sep 2026 15:34:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=49685158</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=49685158</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49685158</guid></item><item><title><![CDATA[New comment by csande17 in "Homebrew 7.0.0"]]></title><description><![CDATA[
<p>If you say "AI tools", some vibe-coders try to equivocate between tools that generate the whole program for you and, like, an editor that uses an scoring algorithm to decide which method to show at the top of an autocomplete list. But if you say "vibe coding", some vibe-coders try to claim that what they're doing technically isn't vibe coding because they applied some non-zero amount of testing or review during the process.<p>If you ask "did you build this using Codex or Claude", it removes most of the wiggle room. And it's worded pretty neutrally, so it will often get vibe-coders who aren't technically using either of those tools to say something like, "Actually, I've built a custom harness for DeepSeek..." instead of an outright denial.</p>
]]></description><pubDate>Sun, 13 Sep 2026 14:00:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=49684106</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=49684106</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49684106</guid></item><item><title><![CDATA[New comment by csande17 in "How Trail of Bits helps verify the integrity of Signal chats"]]></title><description><![CDATA[
<p>You're absolutely right! Let's delve deeper...</p>
]]></description><pubDate>Sun, 13 Sep 2026 02:31:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=49679375</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=49679375</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49679375</guid></item><item><title><![CDATA[New comment by csande17 in "Uber is laying off 10% of staff"]]></title><description><![CDATA[
<p>There were too many meetings, so they got rid of the people whose jobs were to create lots of meetings.</p>
]]></description><pubDate>Wed, 02 Sep 2026 14:49:59 +0000</pubDate><link>https://news.ycombinator.com/item?id=49537190</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=49537190</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49537190</guid></item><item><title><![CDATA[New comment by csande17 in "Zig: Pointer Stability for ArrayLists"]]></title><description><![CDATA[
<p>The devlog is the very first place changes get written about when they land in Zig's master branch (and sometimes even before!), so presumably zig.guide will mention this change once it actually makes it into a release.</p>
]]></description><pubDate>Mon, 31 Aug 2026 09:12:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=49507475</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=49507475</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49507475</guid></item><item><title><![CDATA[New comment by csande17 in "Show HN: Gander, an Android file viewer that asks for no permissions"]]></title><description><![CDATA[
<p>Yeah, Android's sandbox deals with low-level file access and socket APIs and stuff. But Android also, intentionally, allows apps to expose their data and functionality to other apps via the higher-level "intent" system.<p>Apps get to choose what permissions are needed to access their intents, so under Android's security model, really it's <i>Chrome's</i> fault (or whatever browser the user has installed) for exposing an intent that allows apps that don't have the INTERNET permission to exfoltrate data.<p>Similarly, apps are also allowed to collude to share data with each other if they want; that's how stuff like Google Play Services works.</p>
]]></description><pubDate>Fri, 31 Jul 2026 09:57:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=49121136</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=49121136</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49121136</guid></item><item><title><![CDATA[New comment by csande17 in "VLC for Unity now supported on Linux"]]></title><description><![CDATA[
<p>Unity includes its own video player implementation ( <a href="https://docs.unity3d.com/Manual/Video.html" rel="nofollow">https://docs.unity3d.com/Manual/Video.html</a> ), so presumably you'd mainly want to use VLC for wider range of supported codecs?</p>
]]></description><pubDate>Mon, 27 Jul 2026 12:21:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=49068621</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=49068621</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49068621</guid></item><item><title><![CDATA[New comment by csande17 in "Over 400 Linux CVEs published in the last 24 hours alone"]]></title><description><![CDATA[
<p><a href="https://docs.kernel.org/process/cve.html" rel="nofollow">https://docs.kernel.org/process/cve.html</a><p>> Note, due to the layer at which the Linux kernel is in a system, almost any bug might be exploitable to compromise the security of the kernel, but the possibility of exploitation is often not evident when the bug is fixed. Because of this, the CVE assignment team is overly cautious and assign CVE numbers to any bugfix that they identify. This explains the seemingly large number of CVEs that are issued by the Linux kernel team.<p>(And because this happens during the stable release process, there are a lot of 24-hour periods where they issue a ton of CVEs for all the minor bugs fixed in the release.)</p>
]]></description><pubDate>Tue, 21 Jul 2026 14:32:30 +0000</pubDate><link>https://news.ycombinator.com/item?id=48992878</link><dc:creator>csande17</dc:creator><comments>https://news.ycombinator.com/item?id=48992878</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48992878</guid></item></channel></rss>