Hacker News: MarceliusK

New comment by MarceliusK in "Vera: a programming language designed for machines to write"

MarceliusK — Thu, 30 Apr 2026 13:44:58 +0000

Even if the target author is an LLM, the accountability still lands on humans eventually

New comment by MarceliusK in "Vera: a programming language designed for machines to write"

MarceliusK — Thu, 30 Apr 2026 13:41:50 +0000

"Names cause errors" doesn't automatically imply "removing names makes the program easier to generate or reason about"

New comment by MarceliusK in "Vera: a programming language designed for machines to write"

MarceliusK — Thu, 30 Apr 2026 13:39:03 +0000

The strongest idea here, IMO, is not the syntax but the feedback loop

New comment by MarceliusK in "I ported Mac OS X to the Nintendo Wii"

MarceliusK — Thu, 09 Apr 2026 13:42:20 +0000

Pre-App Store iPhone stuff was its own kind of wild west

New comment by MarceliusK in "I ported Mac OS X to the Nintendo Wii"

MarceliusK — Thu, 09 Apr 2026 13:39:56 +0000

Once he could satisfy the expected interfaces well enough, the rest of the system seems to have been surprisingly willing to play along

New comment by MarceliusK in "I ported Mac OS X to the Nintendo Wii"

MarceliusK — Thu, 09 Apr 2026 13:34:42 +0000

Really impressive work, and a very fun read

New comment by MarceliusK in "Apple removes iPhone vibe coding app from app store"

MarceliusK — Thu, 02 Apr 2026 12:52:53 +0000

Apple's primary concern is control over the revenue stream

New comment by MarceliusK in "Apple removes iPhone vibe coding app from app store"

MarceliusK — Thu, 02 Apr 2026 12:46:44 +0000

The "educational" exception is definitely a convenient loophole, but it raises questions about consistency and fairness in how these rules are enforced across the board

New comment by MarceliusK in "Apple removes iPhone vibe coding app from app store"

MarceliusK — Thu, 02 Apr 2026 12:40:00 +0000

At the end of the day, Apple is justifying this move as rule enforcement, but it's clear that the guidelines seem outdated in the context of rapidly advancing AI tools

New comment by MarceliusK in "Marriage over, €100k down; AI users whose lives were wrecked by delusion"

MarceliusK — Thu, 26 Mar 2026 15:24:06 +0000

Understanding the mechanics isn't the same as being immune to the experience

New comment by MarceliusK in "Marriage over, €100k down; AI users whose lives were wrecked by delusion"

MarceliusK — Thu, 26 Mar 2026 15:22:29 +0000

I think this is less about a single trait and more about context

New comment by MarceliusK in "AI users whose lives were wrecked by delusion"

MarceliusK — Thu, 26 Mar 2026 15:18:26 +0000

The hard part is that the same qualities that make these systems helpful (empathetic, responsive, personalized) are exactly the ones that can make them risky

New comment by MarceliusK in "25 Years of Eggs"

MarceliusK — Sun, 22 Mar 2026 13:39:37 +0000

Or a third option: eggs are just a terrible proxy for CPI

New comment by MarceliusK in "25 Years of Eggs"

MarceliusK — Sun, 22 Mar 2026 13:37:49 +0000

I wouldn't read this as "AI can't do this efficiently yet" but more like "we're still figuring out the playbook"

New comment by MarceliusK in "25 Years of Eggs"

MarceliusK — Sun, 22 Mar 2026 13:35:23 +0000

Technically interesting and genuinely well-written end to end

New comment by MarceliusK in "25 Years of Eggs"

MarceliusK — Sun, 22 Mar 2026 13:29:07 +0000

Overall this feels less like a quirky egg project and more like a blueprint for how messy real-world data pipelines are going to look going forward

New comment by MarceliusK in "Beyond has dropped “meat” from its name and expanded its high-protein drink line"

MarceliusK — Tue, 17 Mar 2026 10:16:17 +0000

The fitness market has been moving in that direction for years

New comment by MarceliusK in "Beyond has dropped “meat” from its name and expanded its high-protein drink line"

MarceliusK — Tue, 17 Mar 2026 10:14:36 +0000

It feels like a classic case of a product category being forced into a venture-scale narrative

New comment by MarceliusK in "Beyond has dropped “meat” from its name and expanded its high-protein drink line"

MarceliusK — Tue, 17 Mar 2026 10:09:30 +0000

The pitch always seemed aimed at meat eaters who might replace one or two meals a week if the substitute was close enough

New comment by MarceliusK in "Beyond has dropped “meat” from its name and expanded its high-protein drink line"

MarceliusK — Tue, 17 Mar 2026 10:07:00 +0000

The irony is that a lot of people who were interested in plant-based eating didn't actually want hyper-engineered meat replacements in the first place