Hacker News: NuclearPM

New comment by NuclearPM in "F*: A general-purpose proof-oriented programming language"

NuclearPM — Sun, 02 Aug 2026 19:26:51 +0000

What is code edition?

New comment by NuclearPM in "F*: A general-purpose proof-oriented programming language"

NuclearPM — Sun, 02 Aug 2026 19:25:43 +0000

Use case. Not “user case”.

New comment by NuclearPM in "The most official water costs $120k a gallon"

NuclearPM — Sun, 02 Aug 2026 00:46:35 +0000

No that’s stupid. It’s a tax on poor people.

New comment by NuclearPM in "Why is everyone trying to build a solid-state battery?"

NuclearPM — Sat, 01 Aug 2026 16:59:37 +0000

Is anyone.

New comment by NuclearPM in "The coolest use for the Vision Pro"

NuclearPM — Thu, 30 Jul 2026 03:20:54 +0000

Reducing?

New comment by NuclearPM in "The coolest use for the Vision Pro"

NuclearPM — Thu, 30 Jul 2026 03:19:50 +0000

Start with a parametric program like solid works

New comment by NuclearPM in "I'm 38 and I Can't Support Myself Anymore"

NuclearPM — Wed, 29 Jul 2026 10:44:48 +0000

50???

New comment by NuclearPM in "I'm 38 and I Can't Support Myself Anymore"

NuclearPM — Tue, 28 Jul 2026 20:39:02 +0000

This is an issue, but billionaires are a greater issue.

New comment by NuclearPM in "Nvidia in talks with OpenAI to guarantee $250B financing for data center"

NuclearPM — Mon, 27 Jul 2026 23:47:36 +0000

It’s different now. This is out in the open.

New comment by NuclearPM in "Google Discloses $94.1B in SpaceX Stock, Marking 6% Stake"

NuclearPM — Sun, 26 Jul 2026 15:33:17 +0000

> Any shareholder is buying in fully aware of the governance structure.

This is laughable. Many shareholders don’t even know they own stock in these companies.

New comment by NuclearPM in "Running a 28.9M parameter LLM on an $8 microcontroller"

NuclearPM — Sun, 26 Jul 2026 02:40:23 +0000

Run the numbers before you waste time here. I doubt this will work.

New comment by NuclearPM in "Wind turbine is being used to produce zero-carbon "green ammonia" fertilizer"

NuclearPM — Sat, 25 Jul 2026 19:54:49 +0000

Pooling?

New comment by NuclearPM in "Em dashes are amazing"

NuclearPM — Sat, 25 Jul 2026 07:39:38 +0000

> meta typographical treatments

Do you expect anyone to know what this means?

New comment by NuclearPM in "Couple pay >$800k for a gene-editing therapy for their daughter. She died."

NuclearPM — Fri, 24 Jul 2026 16:33:38 +0000

Most would. US is different because of the cost of school.

New comment by NuclearPM in "Claude Code uses Bun written in Rust now"

NuclearPM — Thu, 23 Jul 2026 01:44:59 +0000

Did you find the other ones?

New comment by NuclearPM in "“We have information that Moonshot distilled Fable for the development of K3”"

NuclearPM — Thu, 23 Jul 2026 01:32:43 +0000

Why?

New comment by NuclearPM in "Nobody knows what a used GPU cluster is worth"

NuclearPM — Wed, 22 Jul 2026 22:38:22 +0000

What are the best tools for this?

New comment by NuclearPM in "Nobody knows what a used GPU cluster is worth"

NuclearPM — Wed, 22 Jul 2026 22:34:02 +0000

Why is that true? Can’t you just make more stuff parallel and shrink the ASIC chips accordingly?

New comment by NuclearPM in "GigaToken: ~1000x faster Language model tokenization"

NuclearPM — Wed, 22 Jul 2026 22:30:22 +0000

1000x faster on 0.1% of runtime = 0.1% saved. Amdahl remains undefeated.

Globally that’s ~50 GWh/yr, or ~5.7 MW continuous:

• 4,700 American homes

• a week of British tea

New comment by NuclearPM in "GigaToken: ~1000x faster Language model tokenization"

NuclearPM — Wed, 22 Jul 2026 22:26:02 +0000

Pick one. I would like to hear it.