<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: mbac32768</title><link>https://news.ycombinator.com/user?id=mbac32768</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sat, 23 May 2026 09:58:21 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=mbac32768" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by mbac32768 in "7 lines of code, 3 minutes: Implement a programming language (2010)"]]></title><description><![CDATA[
<p>Lisp actually kind of sucks and the community is insufferable but a lot of good things in computer science are unachievable without lambda calculus. Compilers, type inferencing, Rust's borrow checker, some parts of React, async/await desugaring all flow from monk-like practice of the lambda calculus.<p>You could possibly invent these things as a Turing machinist but it'd be by stumbling backwards into them and likely doing a shitty job.</p>
]]></description><pubDate>Tue, 12 May 2026 05:03:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=48104394</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=48104394</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48104394</guid></item><item><title><![CDATA[New comment by mbac32768 in "7 lines of code, 3 minutes: Implement a programming language (2010)"]]></title><description><![CDATA[
<p>probably the best use of s-expressions is as an alternative to json which you can implement in 50 lines of code<p>e.g. pretty good for config files or basic serialization</p>
]]></description><pubDate>Tue, 12 May 2026 04:54:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=48104330</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=48104330</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48104330</guid></item><item><title><![CDATA[New comment by mbac32768 in "Meta's embrace of AI is making its employees miserable"]]></title><description><![CDATA[
<p>We're so close to realizing the answer was with us the entire time.<p>midwit meme template<p>guy on left: katie u want meet 3pm discuss project<p>midwit: Hi Katie, I hope this message finds you well and that your week has been off to a productive start. I wanted to reach out and proactively touch base regarding an opportunity to align on some of the ongoing project-related workstream...<p>guy on right: katie u want meet 3pm discuss project</p>
]]></description><pubDate>Mon, 11 May 2026 04:42:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=48091124</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=48091124</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48091124</guid></item><item><title><![CDATA[New comment by mbac32768 in "A couple million lines of Haskell: Production engineering at Mercury"]]></title><description><![CDATA[
<p>The irony of these fancy FP languages that were designed to develop compilers or to get PL academics off is that they're actually also really good at the most mundane code imaginable.<p>Being able to minimize boilerplate and have strong refactoring and bug resistant types is a huge edge.<p>The only problem is their ecosystems are limited so you might spend more time than you like implementing an API or binding a system library.</p>
]]></description><pubDate>Sun, 03 May 2026 03:33:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=47993070</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=47993070</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47993070</guid></item><item><title><![CDATA[New comment by mbac32768 in "Dad brains: How fatherhood rewires the male mind"]]></title><description><![CDATA[
<p>Given this is "BBC Future" let me guess, barely above significance and n=16?</p>
]]></description><pubDate>Sun, 19 Apr 2026 03:05:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=47821490</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=47821490</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47821490</guid></item><item><title><![CDATA[New comment by mbac32768 in "Dad brains: How fatherhood rewires the male mind"]]></title><description><![CDATA[
<p>Yes, chronically disturbed sleep is the obvious confounder and is well known to drop T and explains the observed small changes a lot better.</p>
]]></description><pubDate>Sun, 19 Apr 2026 02:59:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=47821467</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=47821467</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47821467</guid></item><item><title><![CDATA[New comment by mbac32768 in "Is Germany's gold safe in New York ?"]]></title><description><![CDATA[
<p>> Not only does the US not respect the commitments it already agreed to, it hasn't done so for the past 10 or years.<p>These commitments were commitments by the administration in the White House at that time. They were not accords or treaties ratified by Congress. Agree with them or don't, they should have been understood as what they were: limited in legitimacy and free to be canceled by the next administration with no discussion.<p>This isn't a matter of arcane political skullduggery, it's spelled out in the US Constitution's definition of treaty, Article II, Section 2, Clause 2. The people were not formally heard.</p>
]]></description><pubDate>Mon, 06 Apr 2026 18:26:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=47664855</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=47664855</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47664855</guid></item><item><title><![CDATA[New comment by mbac32768 in "I'm losing the SEO battle for my own open source project"]]></title><description><![CDATA[
<p>A year ago I would have agreed but lately, when it comes to stuff linked off of HN, it's actually more likely to be clear and readable if it's AI written.</p>
]]></description><pubDate>Tue, 03 Mar 2026 17:08:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=47235417</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=47235417</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47235417</guid></item><item><title><![CDATA[New comment by mbac32768 in "Our Agreement with the Department of War"]]></title><description><![CDATA[
<p>Not including Reddit probably boosts its IQ 25 points.</p>
]]></description><pubDate>Sun, 01 Mar 2026 04:16:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=47203650</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=47203650</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47203650</guid></item><item><title><![CDATA[New comment by mbac32768 in "Hegseth gives Anthropic until Friday to back down on AI safeguards"]]></title><description><![CDATA[
<p>You have to be a craven, hollowed out husk of a person if you let the DoD demand your AI be used for killing people or surveillance of Americans. Even if you believe America serves a positive role as world police, even if you're pro-Trump, you just have to see what a terrible precedent this sets.<p>Here's where I would expect the CEOs of the other AI labs to stand by Anthropic and say no.</p>
]]></description><pubDate>Tue, 24 Feb 2026 21:50:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=47143713</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=47143713</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47143713</guid></item><item><title><![CDATA[New comment by mbac32768 in "Epstein claimed Bill Gates caught STD from ‘sex with Russian girls’"]]></title><description><![CDATA[
<p>It's interesting that despite how common polyamory is in SV, even "eccentric" tech billionaires have to be presenting as monogamous.<p>Polyamory still comes off as a low status behavior.</p>
]]></description><pubDate>Mon, 02 Feb 2026 14:53:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=46856693</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=46856693</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46856693</guid></item><item><title><![CDATA[New comment by mbac32768 in "We can’t send mail farther than 500 miles (2002)"]]></title><description><![CDATA[
<p>Every time see this story I think "oh, this is the story about the packet TTLs being set stupidly low or something but you wouldn't be able to narrow that exactly to 500 miles" and have to click and learn again the the first time it's about the connection timeout being set stupidly low.</p>
]]></description><pubDate>Thu, 29 Jan 2026 20:17:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=46815976</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=46815976</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46815976</guid></item><item><title><![CDATA[New comment by mbac32768 in "We can’t send mail farther than 500 miles (2002)"]]></title><description><![CDATA[
<p>This is almost the origin story for the EDM producer deadmau5's name.</p>
]]></description><pubDate>Thu, 29 Jan 2026 20:10:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=46815875</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=46815875</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46815875</guid></item><item><title><![CDATA[New comment by mbac32768 in "When AI 'builds a browser,' check the repo before believing the hype"]]></title><description><![CDATA[
<p>It's only fair you ask an LLM to review it for you.</p>
]]></description><pubDate>Mon, 26 Jan 2026 21:11:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=46771586</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=46771586</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46771586</guid></item><item><title><![CDATA[New comment by mbac32768 in "LeCun calls Alex Wang inexperienced, predicts more Meta AI employee departure"]]></title><description><![CDATA[
<p>Yann joins Ilya, Karpathy, Sutton + Carmack when he says LLMs are a dead end, though.<p>Karpathy is probably the most careful not to write off LLMs entirely but he seems pretty skeptical.</p>
]]></description><pubDate>Sat, 03 Jan 2026 05:33:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=46473096</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=46473096</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46473096</guid></item><item><title><![CDATA[New comment by mbac32768 in "Functional programming and reliability: ADTs, safety, critical infrastructure"]]></title><description><![CDATA[
<p>Once you accept Curry-Howard, untyped FP languages are hard to take seriously as a foundation for reliability. Curry-Howard changes the entire game. FP and strong types were clearly meant for each other.<p>Untyped FP languages can be productive, flexible, even elegant (I guess) but they are structurally incapable of expressing large classes of correctness claims that typed FP makes routine.<p>That doesn’t make them <i>useless</i>, just, you know. Inferior.</p>
]]></description><pubDate>Mon, 29 Dec 2025 04:22:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=46417455</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=46417455</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46417455</guid></item><item><title><![CDATA[New comment by mbac32768 in "Fabrice Bellard Releases MicroQuickJS"]]></title><description><![CDATA[
<p>To paraphrase Bjarne Stroustrup, there are two kinds of programming languages. There are abominations and then there are the ones nobody uses.</p>
]]></description><pubDate>Fri, 26 Dec 2025 05:33:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=46389469</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=46389469</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46389469</guid></item><item><title><![CDATA[New comment by mbac32768 in "Linus Torvalds thinks Elon Musk is 'too stupid' to be working at a tech company"]]></title><description><![CDATA[
<p>I'm impressed Torvalds managed to not know what he was referring to (the Twitter firings).<p>The missing context whenever this comes up is the fact that it was a surprise one off.<p>If developers have no idea they're going to be graded by lines of code at some random future date that's a much different situation than saying you're going to give bonuses away every month based on how many lines of code were written.<p>Everyone knows the second is bad, it'll be gamed massively. The first one could be useful though.<p>And yes doing it as a one off is still problematic and you can think of all kinds of exceptions, but if you think the organization is full of dead weight in general and overhired massively, a crude stack ranking by lines of code is a pretty good metric for figuring out which (e.g.) 50% is the bottom.</p>
]]></description><pubDate>Fri, 05 Dec 2025 14:03:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=46161416</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=46161416</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46161416</guid></item><item><title><![CDATA[New comment by mbac32768 in "Advent of Code 2025"]]></title><description><![CDATA[
<p>Last April I asked Claude Sonnet 3.7 to solve AoC 2024 day 3 in x86-64 assembler and it one-shotted solutions for part 1 and 2(!)<p>It's true this was 4 months after AoC 2024 was out, so it <i>may</i> have been trained on the answer, but I think that's way too soon.<p>Day 3 in 2024 isn't a Math Olympiad tier problem or anything but it seems novel enough, and my prior experience with LLMs were that they were absolutely atrocious at assembler.<p><a href="https://adventofcode.com/2024/day/3" rel="nofollow">https://adventofcode.com/2024/day/3</a></p>
]]></description><pubDate>Sun, 30 Nov 2025 16:54:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=46098269</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=46098269</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46098269</guid></item><item><title><![CDATA[New comment by mbac32768 in "Datacenters in space aren't going to work"]]></title><description><![CDATA[
<p>Yes. Anyone who thinks you can ship a datacenter to space and save has never managed a datacenter.</p>
]]></description><pubDate>Sun, 30 Nov 2025 03:57:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=46093531</link><dc:creator>mbac32768</dc:creator><comments>https://news.ycombinator.com/item?id=46093531</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46093531</guid></item></channel></rss>