<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: ngruhn</title><link>https://news.ycombinator.com/user?id=ngruhn</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Tue, 07 Apr 2026 03:57:25 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=ngruhn" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by ngruhn in "Show HN: I built a tiny LLM to demystify how language models work"]]></title><description><![CDATA[
<p>comment smells AI written</p>
]]></description><pubDate>Mon, 06 Apr 2026 07:10:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=47657803</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47657803</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47657803</guid></item><item><title><![CDATA[New comment by ngruhn in "German men 18-45 need military permit for extended stays abroad"]]></title><description><![CDATA[
<p>> Being able to serve is something the feminists have been fighting for the hardest over decades<p>Not heard anyone fight for that once. The more pressing issues seem to he "mansplaining" and men being shirtless in the summer.<p>> Nonetheless, I'm on the fence about how I feel buying them drinks.<p>Why?</p>
]]></description><pubDate>Sat, 04 Apr 2026 17:27:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=47641206</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47641206</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47641206</guid></item><item><title><![CDATA[New comment by ngruhn in "Mystery jump in oil trading ahead of Trump post draws scrutiny"]]></title><description><![CDATA[
<p>They had a ceasefire which was broken by Hezbollah. Just like last time (2023). And the time before that (2006). And the time before that (2000).<p>There is this one weird trick for lasting piece with Israel: stop being hostile.</p>
]]></description><pubDate>Wed, 25 Mar 2026 00:07:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=47511408</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47511408</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47511408</guid></item><item><title><![CDATA[New comment by ngruhn in "Mystery jump in oil trading ahead of Trump post draws scrutiny"]]></title><description><![CDATA[
<p>> remind you of another country further north<p>It would remind me of that if Ukraine attacked first... over and over again throughout the last decades... together with it's allies in the region... occasionally abducting a few hundred Russia civilians... there is no parallel here.</p>
]]></description><pubDate>Tue, 24 Mar 2026 23:58:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=47511319</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47511319</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47511319</guid></item><item><title><![CDATA[New comment by ngruhn in "Mystery jump in oil trading ahead of Trump post draws scrutiny"]]></title><description><![CDATA[
<p>This. That man is not playing 4D chess. His only superpower is such blatant disregard for norms that he can do stuff everyone assumed is impossible.</p>
]]></description><pubDate>Tue, 24 Mar 2026 21:57:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=47510028</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47510028</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47510028</guid></item><item><title><![CDATA[New comment by ngruhn in "Mystery jump in oil trading ahead of Trump post draws scrutiny"]]></title><description><![CDATA[
<p>They are at war because Hezbollah attacked... again.</p>
]]></description><pubDate>Tue, 24 Mar 2026 21:49:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=47509922</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47509922</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47509922</guid></item><item><title><![CDATA[New comment by ngruhn in "Hypothesis, Antithesis, synthesis"]]></title><description><![CDATA[
<p>> I have generally found that agents with property-based tests are much better at not lying to themselves<p>I also observed the cheating to increase. I recently tried to do a specific optimization on a big complex function. Wrote a PBT that checks that the original function returns the same values as the optimized function on all inputs. I also tracked the runtime to confirm that performance improved. Then I let Claude loose. The PBT was great at spotting edge cases but eventually Claude always started cheating: it modified the test, it modified the original function, it implemented other (easier) optimizations, ...</p>
]]></description><pubDate>Tue, 24 Mar 2026 16:53:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=47505663</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47505663</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47505663</guid></item><item><title><![CDATA[New comment by ngruhn in "A Japanese glossary of chopsticks faux pas (2022)"]]></title><description><![CDATA[
<p>waruburashi</p>
]]></description><pubDate>Fri, 20 Mar 2026 22:11:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=47461379</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47461379</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47461379</guid></item><item><title><![CDATA[New comment by ngruhn in "Lies I was told about collaborative editing, Part 2: Why we don't use Yjs"]]></title><description><![CDATA[
<p>> The less-well-known algorithm we ended up recommending here (which I will call "Marjin Collab", after its author) is essentially a very lightweight OT, without the "transformation" step.<p>You talk about "rebasing" changes in the article. Does that not imply a "transformation" step?</p>
]]></description><pubDate>Mon, 16 Mar 2026 13:33:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=47398818</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47398818</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47398818</guid></item><item><title><![CDATA[New comment by ngruhn in "The 49MB web page"]]></title><description><![CDATA[
<p>> Don't get me started on airlines websites<p>You can't beat China Southern . They have the most dog shit website I've ever seen. The flight was fine but I gave up doing online check in after 3 attempts. Never mind the bloat:<p>- required text fields with wrong or missing labels. One field was labeled "ticket no.". It kept getting rejected. I randomly tried passport number instead. It worked.<p>- sometimes fields only have a placeholder that you can't fully read because the field has not enough width ("Please enter the correct...") and the placeholder disappears once you start typing.<p>- date picker is randomly in Chinese<p>- makes you go through multi step seat selection process only to tell you at the end that seat selection is not possible anymore.<p>- signed up with email; logged out and went back to the SAME login page; now sign up via phone number is required!?</p>
]]></description><pubDate>Sun, 15 Mar 2026 21:12:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=47391983</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47391983</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47391983</guid></item><item><title><![CDATA[New comment by ngruhn in "Lf-lean: The frontier of verified software engineering"]]></title><description><![CDATA[
<p>Not saying this is useless. But that article reads like they made some kind of breakthrough in automatic software verification. But is sounds like they rather ported a tutorial test suite from Go to Rust with AI and the tests are still passing.</p>
]]></description><pubDate>Thu, 12 Mar 2026 18:20:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=47355054</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47355054</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47355054</guid></item><item><title><![CDATA[New comment by ngruhn in "Lf-lean: The frontier of verified software engineering"]]></title><description><![CDATA[
<p>Is this impressive? They just ported a bunch of theorems/proofs already written in Rocq into Lean. Also Logical Foundations is just a Rocq tutorial with the basics. An absolutely amazing tutorial and probably the best resource out there. But I'm not surprised AI can do that.</p>
]]></description><pubDate>Thu, 12 Mar 2026 18:08:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=47354894</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47354894</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47354894</guid></item><item><title><![CDATA[New comment by ngruhn in "Don't post generated/AI-edited comments. HN is for conversation between humans"]]></title><description><![CDATA[
<p>Ok, those are probably not deterred by guidelines though.</p>
]]></description><pubDate>Thu, 12 Mar 2026 06:23:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=47347159</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47347159</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47347159</guid></item><item><title><![CDATA[New comment by ngruhn in "RE#: how we built the fastest regex engine in F#"]]></title><description><![CDATA[
<p>I built a similar library in TypeScript (also based on regex derivatives). You can really built cool tools with complement / intersection. E.g.<p>1) regex equivalence checker   (check if intersection of complements is empty):<p><a href="https://gruhn.github.io/regex-utils/equiv-checker.html" rel="nofollow">https://gruhn.github.io/regex-utils/equiv-checker.html</a><p>2) password generator from regex constraints (16+ chars, at least on upper case char, etc). Just take the intersection of all constraints and generate random matches from that:<p><a href="https://gruhn.github.io/regex-utils/password-generator.html" rel="nofollow">https://gruhn.github.io/regex-utils/password-generator.html</a></p>
]]></description><pubDate>Wed, 04 Mar 2026 20:52:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=47253625</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47253625</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47253625</guid></item><item><title><![CDATA[New comment by ngruhn in "Nano Banana 2: Google's latest AI image generation model"]]></title><description><![CDATA[
<p>Wait what does the arena stand for?</p>
]]></description><pubDate>Thu, 26 Feb 2026 18:38:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=47170177</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47170177</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47170177</guid></item><item><title><![CDATA[New comment by ngruhn in "What happens at 60% unemployment rate?"]]></title><description><![CDATA[
<p>Would be nice to know if I need to get me one of these bunkers as well though.</p>
]]></description><pubDate>Sun, 22 Feb 2026 15:14:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=47111646</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47111646</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47111646</guid></item><item><title><![CDATA[What happens at 60% unemployment rate?]]></title><description><![CDATA[
<p>Article URL: <a href="https://gruhn.me/blog/2026-02-22/">https://gruhn.me/blog/2026-02-22/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=47111517">https://news.ycombinator.com/item?id=47111517</a></p>
<p>Points: 9</p>
<p># Comments: 5</p>
]]></description><pubDate>Sun, 22 Feb 2026 15:00:27 +0000</pubDate><link>https://gruhn.me/blog/2026-02-22/</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47111517</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47111517</guid></item><item><title><![CDATA[New comment by ngruhn in "Facebook is cooked"]]></title><description><![CDATA[
<p>unfortunate naming in retrospect</p>
]]></description><pubDate>Sat, 21 Feb 2026 14:49:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=47101346</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=47101346</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47101346</guid></item><item><title><![CDATA[New comment by ngruhn in "The Contagious Taste of Cancer"]]></title><description><![CDATA[
<p>Newton poked a needle into his eye socket to study the resulting visual distortions. I'd rather lick the cancer juice.</p>
]]></description><pubDate>Sun, 08 Feb 2026 15:58:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=46935419</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=46935419</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46935419</guid></item><item><title><![CDATA[New comment by ngruhn in "I am happier writing code by hand"]]></title><description><![CDATA[
<p>> If you want to code by hand, then do it! No one's stopping you.<p>There are few skills that are both fun and highly valued. It's disheartening if it stops being highly valued, even if you can still do it in private.<p>> But we shouldn't pretend that you will be able to do that professionally for much longer.<p>I'm not pretending. I'm only sad.</p>
]]></description><pubDate>Sun, 08 Feb 2026 15:34:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=46935166</link><dc:creator>ngruhn</dc:creator><comments>https://news.ycombinator.com/item?id=46935166</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46935166</guid></item></channel></rss>