Hacker News: foobar1274278https://news.ycombinator.com/user?id=foobar1274278Hacker News RSShttps://hnrss.org/hnrss v2.1.1Wed, 13 May 2026 21:10:00 +0000<![CDATA[New comment by foobar1274278 in "Motherboard sales 'collapse' amid unprecedented shortages fueled by AI"]]>Reminds me of how ever since egg prices went to the moon we've all had to give up dessert and subsist on thin gruel for breakfast.

What's that? Egg prices are back down after suppliers cranked up their output? Surely nothing like that is possible with hardware... Personal computing is dead forever...

]]>Thu, 07 May 2026 19:01:33 +0000https://news.ycombinator.com/item?id=48053395foobar1274278https://news.ycombinator.com/item?id=48053395https://news.ycombinator.com/item?id=48053395<![CDATA[New comment by foobar1274278 in "BYD overtakes Tesla and Kia as the best-selling EV brand in key overseas markets"]]>Ah yes, like those dang ol no good reds in single party California, sabotaging their high speed rail project for the past 20 years. 14 billion in the hole and not a single mile of track.

]]>Thu, 07 May 2026 14:33:43 +0000https://news.ycombinator.com/item?id=48049974foobar1274278https://news.ycombinator.com/item?id=48049974https://news.ycombinator.com/item?id=48049974<![CDATA[New comment by foobar1274278 in "Bugs Rust won't catch"]]>I'm curious which software you have in mind. Ex: seL4 is technically C, but I'd say the theorem prover is doing most of the real work there.

]]>Wed, 29 Apr 2026 13:16:17 +0000https://news.ycombinator.com/item?id=47947957foobar1274278https://news.ycombinator.com/item?id=47947957https://news.ycombinator.com/item?id=47947957<![CDATA[New comment by foobar1274278 in "Bugs Rust won't catch"]]>The original is GPL licensed, while the rewrite is MIT.

]]>Wed, 29 Apr 2026 13:00:57 +0000https://news.ycombinator.com/item?id=47947764foobar1274278https://news.ycombinator.com/item?id=47947764https://news.ycombinator.com/item?id=47947764