<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: quamserena</title><link>https://news.ycombinator.com/user?id=quamserena</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Wed, 22 Apr 2026 16:53:39 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=quamserena" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by quamserena in "Britannica11.org – a structured edition of the 1911 Encyclopædia Britannica"]]></title><description><![CDATA[
<p>You can also read the text yourself and draw your own conclusions...</p>
]]></description><pubDate>Tue, 21 Apr 2026 19:33:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=47853442</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=47853442</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47853442</guid></item><item><title><![CDATA[New comment by quamserena in "$96 3D-printed rocket that recalculates its mid-air trajectory using a $5 sensor"]]></title><description><![CDATA[
<p>These discussions always focus around enforcement and never on alignment. The moat for this stuff historically has never been strict enforcement; it has been that the people who have the know-how on how to do it have nothing to gain by doing it, since they are well-educated and benefit from the current socioeconomic order (they have no motive to change it; rather, they want to climb it).<p>This is shifting. First, economic stratification is getting worse, and as economic mobility declines people start looking for alternatives. (See all of Gen Z cheering for Luigi Mangione). Second, AI will enable people who are less educated to build these kinds of weapons.<p>For example, you can use a Kalman filter to greatly improve the data you get from an IMU and GPS via sensor fusion. Before, this required a specialist skillset; now you can get a "good enough" implementation by prompting Claude.<p>I really wish the debate around this stuff wasn't framed in terms of preventative enforcement because it naturally leads towards more enforcement (when your only tool is a hammer...). The root of the issue is that the government does not trust its citizenry to follow the law without Big Brother watching. That in and of itself is a symptom of a larger grave political crisis in America: the decay of the state's political legitimacy.</p>
]]></description><pubDate>Wed, 18 Mar 2026 14:50:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=47426508</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=47426508</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47426508</guid></item><item><title><![CDATA[New comment by quamserena in "Hey I almost got scammed by Google"]]></title><description><![CDATA[
<p>This is why you use uBlock Origin.</p>
]]></description><pubDate>Mon, 23 Feb 2026 18:43:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=47126761</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=47126761</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47126761</guid></item><item><title><![CDATA[New comment by quamserena in "Semantic ablation: Why AI writing is generic and boring"]]></title><description><![CDATA[
<p>I wish it would just say "k, updated xyz to 1.2.3 in Cargo.toml" instead of the entire pages it likes to output. I don't want to read all of that!</p>
]]></description><pubDate>Tue, 17 Feb 2026 17:11:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=47049912</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=47049912</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47049912</guid></item><item><title><![CDATA[New comment by quamserena in "More Mac malware from Google search"]]></title><description><![CDATA[
<p>By scanning downloaded binaries for known viruses?</p>
]]></description><pubDate>Mon, 09 Feb 2026 00:30:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=46940107</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46940107</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46940107</guid></item><item><title><![CDATA[New comment by quamserena in "Show HN: It took 4 years to sell my startup. I wrote a book about it"]]></title><description><![CDATA[
<p>You can simply ask the model to point out if there are any problems and then fix them yourself. You don't have to copy and paste its output into your book. You can also pay for an actual copyeditor to edit your book.</p>
]]></description><pubDate>Sun, 08 Feb 2026 19:43:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=46937778</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46937778</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46937778</guid></item><item><title><![CDATA[New comment by quamserena in "Polymarket refuses to pay bets that US would 'invade' Venezuela"]]></title><description><![CDATA[
<p>This has happened multiple times [0]. You shouldn't put your money into Polymarket<p>[0] <a href="https://old.reddit.com/r/CryptoCurrency/comments/1jki1lj/polymarket_voters_just_verifiably_got_scammed/" rel="nofollow">https://old.reddit.com/r/CryptoCurrency/comments/1jki1lj/pol...</a></p>
]]></description><pubDate>Thu, 08 Jan 2026 03:44:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=46536945</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46536945</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46536945</guid></item><item><title><![CDATA[New comment by quamserena in "Show HN: Learn Japanese contextually while browsing"]]></title><description><![CDATA[
<p>I can second this, after finishing my intro Japanese classes I was able to parse the grammar of most sentences. Memorizing vocab was the hard part, so I used OCR on manga pages and then Yomitan to hover over and see word definitions (in English).</p>
]]></description><pubDate>Wed, 17 Dec 2025 04:00:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=46298094</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46298094</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46298094</guid></item><item><title><![CDATA[New comment by quamserena in "Dafny: Verification-Aware Programming Language"]]></title><description><![CDATA[
<p>Most existing mainstream languages aren’t expressive enough to encode these invariants. For languages outside of the mainstream, Lean 4 is a language supporting verification, and it’s also a full programming language, so you can write your proofs/theorems in the same language that you program in.</p>
]]></description><pubDate>Wed, 17 Dec 2025 01:15:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=46297045</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46297045</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46297045</guid></item><item><title><![CDATA[New comment by quamserena in "Rust GCC backend: Why and how"]]></title><description><![CDATA[
<p>Not really. Here’s a comparison of different languages: <a href="https://notes.eatonphil.com/parser-generators-vs-handwritten-parsers-survey-2021.html" rel="nofollow">https://notes.eatonphil.com/parser-generators-vs-handwritten...</a><p>Most roll their own for three reasons: performance, context, and error handling. Bison/Menhir et al. are easy to write a grammar and get started with, but in exchange you get less flexibility overall. It becomes difficult to handle context-sensitive parts, do error recovery, and give the user meaningful errors that describe exactly what’s wrong. Usually if there’s a small syntax error we want to try to tell the user how to fix it instead of just producing “Syntax error”, and that requires being able to fix the input and keep parsing.<p>Menhir has a new mode where the parser is driven externally; this allows your code to drive the entire thing, which requires a lot more machinery than fire-and-forget but also affords you more flexibility.</p>
]]></description><pubDate>Tue, 16 Dec 2025 16:08:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=46290298</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46290298</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46290298</guid></item><item><title><![CDATA[New comment by quamserena in "Science Communications on YouTube"]]></title><description><![CDATA[
<p>He was bought out by private equity.[0] That’s why the channel is different now.<p>[0] <a href="https://www.electrify.video/post/electrify-completes-majority-investment-in-veritasium" rel="nofollow">https://www.electrify.video/post/electrify-completes-majorit...</a></p>
]]></description><pubDate>Sun, 14 Dec 2025 18:06:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=46265249</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46265249</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46265249</guid></item><item><title><![CDATA[New comment by quamserena in "Science Communications on YouTube"]]></title><description><![CDATA[
<p>3blue1brown has great math visualizations. I find the top 10% of YouTube videos are worth the time over reading, and the bottom 90% are comparable or slower. Those are also nice though because you can put them on while doing other stuff, like eating or doing the laundry.</p>
]]></description><pubDate>Sun, 14 Dec 2025 18:04:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=46265226</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46265226</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46265226</guid></item><item><title><![CDATA[My experience with Lean 4 for general programming]]></title><description><![CDATA[
<p>Article URL: <a href="https://quamserena.com/2025-12-10/my-experience-with-lean-4-for-general-programming">https://quamserena.com/2025-12-10/my-experience-with-lean-4-for-general-programming</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=46226021">https://news.ycombinator.com/item?id=46226021</a></p>
<p>Points: 6</p>
<p># Comments: 0</p>
]]></description><pubDate>Thu, 11 Dec 2025 00:20:12 +0000</pubDate><link>https://quamserena.com/2025-12-10/my-experience-with-lean-4-for-general-programming</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46226021</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46226021</guid></item><item><title><![CDATA[New comment by quamserena in "Show HN: Automated license plate reader coverage in the USA"]]></title><description><![CDATA[
<p>Part of the public pushback is that people almost always drive the “feels like” speed and not the posted speedlimit. We build 6 lane roads and then wonder why people go 50mph when it’s 35 posted, it’s because it’s 6 lanes and 35 feels slow. Cities profit from this in the form of speed cameras, which is why they’ve been outlawed in a lot of places.</p>
]]></description><pubDate>Wed, 10 Dec 2025 21:30:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=46224165</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46224165</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46224165</guid></item><item><title><![CDATA[New comment by quamserena in "Show HN: A 2-row, 16-key keyboard designed for smartphones"]]></title><description><![CDATA[
<p>Omg I thought this was just me. How do I turn this off? On iOS, this has been bugging me for a long time.</p>
]]></description><pubDate>Wed, 10 Dec 2025 19:14:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=46222171</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46222171</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46222171</guid></item><item><title><![CDATA[New comment by quamserena in "How private equity is changing housing"]]></title><description><![CDATA[
<p>this sounds nice, but neglects the fact that (1) materials cost has gone up and (2) zoning requirements exist. (1) means its just more expensive to build overall, and (2) means that a lot of proposals for apartment complexes get voted down.</p>
]]></description><pubDate>Tue, 09 Dec 2025 18:54:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=46208964</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46208964</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46208964</guid></item><item><title><![CDATA[New comment by quamserena in "Icons in Menus Everywhere – Send Help"]]></title><description><![CDATA[
<p>Yes, I agree. Maybe if you’re a fast reader icons don’t do much, but for people who are illiterate (20% of America) they figure out how to use tech by memorizing the icons and locations of buttons.</p>
]]></description><pubDate>Tue, 09 Dec 2025 01:20:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=46200154</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46200154</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46200154</guid></item><item><title><![CDATA[New comment by quamserena in "GitHub no longer uses Toasts"]]></title><description><![CDATA[
<p>Thank god, toasts are so annoying. Every little action in Google Calendar has an associated toast/snackbar to go with it that tells you exactly what you just did and asks if you want to undo it. Like wtf? I can’t use my calendar app without these stupid toasts flying in and out and trying to draw my attention to read some irrelevant text. They go away too quickly for anyone not technically literate to click on them, and they are too slow to keep up when you’re creating a ton of events (they just fly in and out). I hope these go away, they add nothing to the application.</p>
]]></description><pubDate>Mon, 08 Dec 2025 21:36:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=46197976</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46197976</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46197976</guid></item><item><title><![CDATA[New comment by quamserena in "GitHub to Codeberg: my experience"]]></title><description><![CDATA[
<p>Zig’s announcement[0] might provide some insight<p>[0] <a href="https://ziglang.org/news/migrating-from-github-to-codeberg/" rel="nofollow">https://ziglang.org/news/migrating-from-github-to-codeberg/</a></p>
]]></description><pubDate>Sun, 30 Nov 2025 20:45:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=46100247</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46100247</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46100247</guid></item><item><title><![CDATA[New comment by quamserena in "Can Dutch universities do without Microsoft?"]]></title><description><![CDATA[
<p>I am in university currently and I run Linux, and the only thing that I have needed Windows for has been SolidWorks. Everything else has worked just fine. We’re actually provided Linux VMs because so much software development happens in Linux (or MacOS); you need to know *nix to be job-ready in CS. I’m not sure what world you live in.</p>
]]></description><pubDate>Sat, 29 Nov 2025 02:30:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=46084761</link><dc:creator>quamserena</dc:creator><comments>https://news.ycombinator.com/item?id=46084761</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46084761</guid></item></channel></rss>