Hacker News: mpweiher

New comment by mpweiher in "How Europe is killing makers and micro-entrepreneurs"

mpweiher — Mon, 24 Aug 2026 20:09:03 +0000

There has been reporting on this in many places. Here is one:

https://packaging-journal.de/en/eu-commission-wants-to-scrap...

"According to the Händlerbund, the European Commission's proposal to abolish the requirement has been on the table since December 2025. However, discussions in the Council of the EU were suspended a few weeks ago after a majority of member states spoke out against it."

"A restricted version is currently being discussed in the European Parliament. According to this, an exemption is only to apply to micro-enterprises with up to 49 employees and an annual turnover of a maximum of 10 million euros. A first reading is scheduled for October 2026 at the earliest."

New comment by mpweiher in "How Europe is killing makers and micro-entrepreneurs"

mpweiher — Mon, 24 Aug 2026 14:41:52 +0000

A couple of things to note:

1. The EU commission wanted a single central registry

2. It was the member states, via the Council of Ministers, that torpedoed this.

3. The EU now advises its member states to not implement/enforce this

4. Until the correction, which is on its way, can be fully enacted.

So the same old same old: member states do shitty stuff and blame the EU.

OpenStar demonstrates dipole fusion reactor concept

mpweiher — Sun, 23 Aug 2026 20:31:10 +0000

Article URL: https://www.world-nuclear-news.org/articles/openstar-demonstrates-dipole-fusion-reactor-concept

Comments URL: https://news.ycombinator.com/item?id=49412330

Points: 14

# Comments: 1

The rise and fall of rationality in language (2021)

mpweiher — Sun, 23 Aug 2026 12:53:01 +0000

Article URL: https://www.pnas.org/doi/10.1073/pnas.2107848118

Comments URL: https://news.ycombinator.com/item?id=49408465

Points: 2

# Comments: 0

New comment by mpweiher in "Show HN: Huzzah – a novel approach to coding with AI"

mpweiher — Fri, 21 Aug 2026 09:37:03 +0000

Cool idea, but let's take it to the next step:

What if the "pseudocode" were real code, but in a higher level language than we have today that can actually be compiled deterministically?

SQLite for Everything

mpweiher — Fri, 21 Aug 2026 08:12:14 +0000

Article URL: https://joecode.com/2026-08-19-sqlite3/

Comments URL: https://news.ycombinator.com/item?id=49385244

Points: 1

# Comments: 0

New comment by mpweiher in "If this is true, the hyperscalers are toast"

mpweiher — Fri, 21 Aug 2026 07:12:21 +0000

The convenience of having the thing in your pocket or on your local machine without having to worry about a network connection, sign up, payment, privacy issues etc. cannot be beat.

The efficiency doesn't matter as long as it's good enough, because you already have the computer.

SQLite for Everything

mpweiher — Thu, 20 Aug 2026 07:25:28 +0000

Article URL: https://joecode.com/2026-08-19-sqlite3/

Comments URL: https://news.ycombinator.com/item?id=49371496

Points: 5

# Comments: 1

Spain extends Almaraz nuclear plant operations through 2030

mpweiher — Mon, 17 Aug 2026 14:43:21 +0000

Article URL: https://www.reuters.com/business/energy/spain-extends-almaraz-nuclear-plant-operations-through-2030-2026-08-14/

Comments URL: https://news.ycombinator.com/item?id=49331872

Points: 1

# Comments: 0

Vetted AI code is hard to justify

mpweiher — Mon, 17 Aug 2026 11:36:40 +0000

Article URL: https://amoffat.github.io/blog/vetting-burnout.html

Comments URL: https://news.ycombinator.com/item?id=49329292

Points: 2

# Comments: 0

It's Happening – Europe Is Building an Impossible Fusion Reactor [video]

mpweiher — Mon, 17 Aug 2026 06:23:55 +0000

Article URL: https://www.youtube.com/watch?v=bPUAKW1Dyek

Comments URL: https://news.ycombinator.com/item?id=49327129

Points: 4

# Comments: 1

New comment by mpweiher in "The Case Against Formal Verification, 50 Years Later"

mpweiher — Sun, 16 Aug 2026 21:16:37 +0000

"The counterpoint is that specifications are closer to informal requirements than implementations are (and thus a mistake is easier to spot)."

I found exactly the opposite to be true when I took formal verification at university, and that was the major point that made formal specification / verification unattractive to me.