Hacker News: whattheheckheck

New comment by whattheheckheck in "There's never been a better time to go into math (by: 3blue1brown) [video]"

whattheheckheck — Sun, 18 Oct 2026 23:58:27 +0000

People with money will have questions and people or machines will need to give answers to satisfy them.

New comment by whattheheckheck in "Personal software factories are a waste of time"

whattheheckheck — Sun, 18 Oct 2026 19:49:30 +0000

Is anything not a waste of time

New comment by whattheheckheck in "Regex visualized as 3D marble run"

whattheheckheck — Sun, 18 Oct 2026 19:18:42 +0000

Actually yes? If math equations also wrote a fluent English way of saying the full thing as well as the literal syntax as well every time it would help more people actually understand it.

New comment by whattheheckheck in "I know why the mathematicians weep"

whattheheckheck — Sat, 17 Oct 2026 00:34:45 +0000

The next status wave will be fitness as glp1 drugs filter through to everyone and everyone wants to be fit.

New comment by whattheheckheck in "Redesigning source control at Anthropic"

whattheheckheck — Tue, 13 Oct 2026 17:46:35 +0000

Yes and they have no choice. And that matters.

New comment by whattheheckheck in "AI Is a Tool. Using It Well Takes Skill."

whattheheckheck — Mon, 12 Oct 2026 22:40:33 +0000

Yeah like are we all supposed to guess at what the quiet wise elders are saying or can they grow some balls and be loud leaders. Idiot bullies are getting to be in charge

New comment by whattheheckheck in "QGIS bans AI assisted contributions"

whattheheckheck — Mon, 12 Oct 2026 13:12:56 +0000

Yes the bar will be raised to formal verification and actually strong mathematical proof skills to be a real software engineer

New comment by whattheheckheck in "Computers Cannot Make Decisions"

whattheheckheck — Sat, 10 Oct 2026 15:12:28 +0000

The universe is deterministic when consciousness is not present

New comment by whattheheckheck in ".md File is not a specification: Using formal analysis to find requirements gaps"

whattheheckheck — Thu, 08 Oct 2026 21:29:04 +0000

Sell consultancy services to build software better faster or cheaper!

Bpmn, tla+, event-b, P and ModP are all likely contenders to jump in popularity and mainstream swe worlds

New comment by whattheheckheck in "Vitalik Buterin backs crypto ‘bunker mode’ amid rapid AI math advances"

whattheheckheck — Thu, 08 Oct 2026 21:26:34 +0000

When it makes sense. Eth classic was a psy op from cardano guy.

New comment by whattheheckheck in "US man given prison sentence for bot-farming music streams"

whattheheckheck — Thu, 08 Oct 2026 21:25:16 +0000

Justice is supposed to make sense for society not for the uber wealthy. No prison sentence.

New comment by whattheheckheck in "AI tutoring with Khanmigo in a two-year school experiment"

whattheheckheck — Tue, 06 Oct 2026 12:47:43 +0000

And use chalk and slate

And actually no writing, only vocal arguments, Socrates style

New comment by whattheheckheck in "FTL: A new operating system for clouds"

whattheheckheck — Sun, 04 Oct 2026 05:15:09 +0000

Align your ascii diagrams. What else is misaligned and unreviewed?

New comment by whattheheckheck in "To grieve, or not to grieve?"

whattheheckheck — Sat, 03 Oct 2026 16:07:55 +0000

You can ask it to provide a prolog or datalog program

New comment by whattheheckheck in "To grieve, or not to grieve?"

whattheheckheck — Sat, 03 Oct 2026 16:07:03 +0000

You satisfy a customers need. 5 core human drives from Josh Kaufman personal MBA

https://personalmba.com/core-human-drives/

New comment by whattheheckheck in "Anatomy of a Lean proof for software engineers"

whattheheckheck — Sat, 03 Oct 2026 04:56:17 +0000

the interface between specification and proof is not so clear, as one often has to look at the proof to understand the spec. And if we see something weird in the proof, that’s a good indication that something is off.

Yeah this is like if I say something is green how do you know that my green is your green? The proof of the mathematically modeled system is in no shape attached to the symbols that implement it unless its the same program or youre doing trace refinement. And then theres no way of proving that the program is correct in serving the business function unless you run it out. Quite computationally irreducible, the state machine of building state machines

New comment by whattheheckheck in "Anatomy of a Lean proof for software engineers"

whattheheckheck — Sat, 03 Oct 2026 04:51:44 +0000

Yeah if were going for knuths literate programming this is not it. We dont need 1000 lines of more code to prove another 100 lines. It needs to be more digestible and if its not possible then let's break out the licensing board to prove the ones who do understand this from those who dont

New comment by whattheheckheck in "Anatomy of a Lean proof for software engineers"

whattheheckheck — Sat, 03 Oct 2026 04:49:30 +0000

Oh yeah let me just take another 4 years of undergrad to get a math degree too.

I thought this AI or SI was supposed to make shit easier for everyone.

New comment by whattheheckheck in "What would a serious AI product look like?"

whattheheckheck — Tue, 29 Sep 2026 12:35:30 +0000

And people genuinely think there is a god and an afterlife. Whoopdydoo

New comment by whattheheckheck in "The problem is not AI code, but not knowing about system architecture or intent"

whattheheckheck — Mon, 28 Sep 2026 16:55:49 +0000

"Bet on it and start your own company"