Hacker News: gottheUIblues

New comment by gottheUIblues in "The Future of Mathematics"

gottheUIblues — Mon, 05 Oct 2026 23:36:03 +0000

Did any mathematics done by G H Hardy turn out to be quite useful in the end?

Ironically of course the answer is yes.

New comment by gottheUIblues in "Sony released the first CD audio player on this day in 1982"

gottheUIblues — Thu, 01 Oct 2026 21:01:48 +0000

Yes indeed, it's about the time sound takes to travel 4mm

New comment by gottheUIblues in "Adding Floating-Point Decimals for Fun and Profit"

gottheUIblues — Thu, 01 Oct 2026 13:29:50 +0000

Bill 8 months at $8.33 and 4 months at $8.34?

New comment by gottheUIblues in "English: A vs. An"

gottheUIblues — Sun, 20 Sep 2026 12:55:09 +0000

No they don't - eg https://en.wikipedia.org/wiki/A_History_of_Britain_(TV_serie...

New comment by gottheUIblues in "Why I didn’t sign the Fields medallists’ letter"

gottheUIblues — Thu, 17 Sep 2026 12:33:20 +0000

The dichotomy is more 'human understood' vs 'not human understood', I think

New comment by gottheUIblues in "Tao: Open math problems being non-renewably mined by AI"

gottheUIblues — Wed, 09 Sep 2026 10:06:28 +0000

That was exactly my thought - taking out the problems that PhDs and early stage researchers work on kills the pipeline of developing mathematicians

New comment by gottheUIblues in "It's time for Mark Zuckerberg to resign from Meta"

gottheUIblues — Mon, 07 Sep 2026 09:23:53 +0000

It's an article written by a guest contributor - not an editorial written as the voice of the newspaper

New comment by gottheUIblues in "“Weird” is a weird word"

gottheUIblues — Sat, 29 Aug 2026 13:33:55 +0000

Is the word "nonautological" autological ?

New comment by gottheUIblues in "A digestion of the proof of Sendov's conjecture"

gottheUIblues — Tue, 18 Aug 2026 13:24:25 +0000

This is only the "problem solving" side of mathematics. Completely missing the theory builders who have completely reshaped the world of mathematics (and far beyond). AI is a long way from matching original thinkers of the calibre of Euclid, Al-Khwarizmi, Newton, Leibniz, Euler, Galois, Riemann, Cantor, Hilbert, and Grothendieck. Or Turing, Gödel and Von Neumann?

New comment by gottheUIblues in "A case against Boolean logic"

gottheUIblues — Fri, 22 May 2026 13:00:35 +0000

The normal term for the logic that has two truth values, the law of non-contradiction, and the law of the excluded middle is 'Classical Logic' which dates back centuries before George Boole. Non-classical logics which deny one or more of three properties that I've mentioned also exist

New comment by gottheUIblues in "The seven programming ur-languages (2022)"

gottheUIblues — Sun, 19 Apr 2026 11:45:07 +0000

Rather COBOL is a living fossil? And today's Fortran is the FORTRAN family with horizontal gene transfer from the Algol lineage of programming languages.

New comment by gottheUIblues in "Is math big or small?"

gottheUIblues — Mon, 13 Apr 2026 10:21:20 +0000

Err? Peano Arithmetic is provably consistent in ZFC, but it is not in itself (if PA is consistent). Therefore if PA is consistent it is not equivalent to ZFC (regardless of whether ZFC is consistent or not)

New comment by gottheUIblues in "Simple self-distillation improves code generation"

gottheUIblues — Sat, 04 Apr 2026 12:25:16 +0000

"Embarrassingly" considered harmful?

New comment by gottheUIblues in "Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem"

gottheUIblues — Thu, 02 Apr 2026 12:38:33 +0000

To the contrary (as summarised by Gemini):

Gödel showed that arithmetic cannot prove everything about itself.

Turing showed that computers cannot predict everything about themselves.

Rice showed that we cannot automatically verify what programs will do.

Chaitin showed that mathematics is full of random, unprovable facts.

Lawvere showed that they are all failing for the exact same structural reason!

These are not fringe issues. They define the absolute boundaries of human and machine intelligence.

New comment by gottheUIblues in "The Windows equivalents of the most used Linux commands"

gottheUIblues — Thu, 02 Apr 2026 09:38:07 +0000

I don't think of 9 as really being a signal to the process at all, more of an instruction to the OS kernel to terminate the process

New comment by gottheUIblues in "Coding agents could make free software matter again"

gottheUIblues — Mon, 30 Mar 2026 15:00:04 +0000

If that theory holds - have to ensure that the models have not been trained on any code that is licensed incompatibly with the GPL, in which case the models could not be distributed at all

New comment by gottheUIblues in "Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem"

gottheUIblues — Sun, 29 Mar 2026 12:54:52 +0000

So specified .. that it can actually prove it can't be completely specified by any single specification

New comment by gottheUIblues in "C++26: A User-Friednly assert() macro"

gottheUIblues — Sun, 29 Mar 2026 01:20:03 +0000

Right so strictly speaking C++ could do anything here when passed a null pointer, because even though assert terminates the program, the C++ compiler cannot see that, and there is then undefined behaviour in that case

New comment by gottheUIblues in "French e, è, é, ê, ë – what's the difference?"

gottheUIblues — Fri, 27 Mar 2026 00:14:41 +0000

Shouldn't that be the "dam spelling" then?

New comment by gottheUIblues in "Twelve-Tone Composition"

gottheUIblues — Thu, 19 Mar 2026 16:11:48 +0000

Film score composers are quite famous for borrowing from 12 tone serialism - quite a bit of discussion on it available by Googling or using your favourite chatbot