Hacker News: dooglius

New comment by dooglius in "Position: LLMs Can't Jump"

dooglius — Wed, 05 Aug 2026 12:39:29 +0000

Technically true, but the counter argument would be that the probability of this working would be ~ 2^(-(entropy_of_leap)) for an LLM (presumably intractable) and a human would succeed at a higher probability.

New comment by dooglius in "The PImpl idiom and the C++26 std:indirect type"

dooglius — Fri, 24 Jul 2026 12:09:03 +0000

Completely agreed, but in fairness to the c++ standards committee, this is solved from a standards perspective by c++ modules

New comment by dooglius in "The PImpl idiom and the C++26 std:indirect type"

dooglius — Fri, 24 Jul 2026 08:48:01 +0000

Networking, GUI frameworks, and MIDI are presumably all self-contained and you would not need to be familiar with them except when working on networking, GUIs, or MIDI files, respectively. This is a general-purpose thing that could show up in any c++ code.

New comment by dooglius in "Claude Fable produced a counterexample to the Jacobian Conjecture"

dooglius — Mon, 20 Jul 2026 19:15:16 +0000

You have it backwards. Only people not working for Anthropic do not use AI tools.

New comment by dooglius in "Claude Fable produced a counterexample to the Jacobian Conjecture"

dooglius — Mon, 20 Jul 2026 14:09:34 +0000

He worked for Anthropic, so such a claim would be very unconvincing

New comment by dooglius in "Three ways people respond to a problem (other than solving it)"

dooglius — Fri, 17 Jul 2026 17:09:47 +0000

It's going to be a much more granular detail than all of crime. If your job is to investigate counterfeited 27B-6 forms, you are going to be threatened by that form moving to being filed digitally with cryptographic signatures.

New comment by dooglius in "Pseudpocalypse"

dooglius — Thu, 16 Jul 2026 23:05:33 +0000

"pseud" is it's own atom here, see definition 2 in https://www.merriam-webster.com/dictionary/pseud

It's not trying to say "something like an apocalypse" it's saying "an apocalypse of pseuds"

New comment by dooglius in "House passes bill to enact year-round Daylight Saving Time across the country"

dooglius — Wed, 15 Jul 2026 03:58:11 +0000

Why would it?

New comment by dooglius in "The git history command"

dooglius — Tue, 14 Jul 2026 13:09:48 +0000

Hence GP's advice,

> Just squash everything before merging and call it a day.

New comment by dooglius in "GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]"

dooglius — Fri, 10 Jul 2026 20:08:09 +0000

It is not necessarily the case that the instruction needs be taken literally

New comment by dooglius in "GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]"

dooglius — Fri, 10 Jul 2026 19:38:41 +0000

I wonder if in each case they had parallel sessions, one trying to prove, one trying to find a counterexample

New comment by dooglius in "GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]"

dooglius — Fri, 10 Jul 2026 19:25:48 +0000

It looks like it was only added to that page under the solved section _after_ an LLM solved it

New comment by dooglius in "GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]"

dooglius — Fri, 10 Jul 2026 19:15:52 +0000

Is this the first LLM-solved problem famous enough to have been on https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_m...

New comment by dooglius in "No leap second will be introduced at the end of December 2026"

dooglius — Thu, 09 Jul 2026 18:43:43 +0000

What does "technically legal" mean here, what authority is that coming from?

New comment by dooglius in "Leaking YouTube creators' private videos"

dooglius — Sat, 04 Jul 2026 18:28:05 +0000

Did the promo process exist at YouTube's creation?

New comment by dooglius in "NSA tries to weaken mlkem standardisation?"

dooglius — Thu, 02 Jul 2026 18:35:46 +0000

Do you dispute his claims? And what about his argument that the NSA is doing the same thing?

New comment by dooglius in "ArXiv's Next Chapter"

dooglius — Wed, 01 Jul 2026 17:33:28 +0000

If you judge things based on their formatting, that's on you

New comment by dooglius in "Blogging can just be stating the obvious"

dooglius — Thu, 25 Jun 2026 14:28:50 +0000

Kagi downranks ads/trackers, which I would think correlate

New comment by dooglius in "Why Drawing Tablet Brands Won't Collaborate on Linux Floss Drivers"

dooglius — Mon, 22 Jun 2026 17:53:56 +0000

Presumably GP means from the binary form

New comment by dooglius in "Midjourney Medical"

dooglius — Thu, 18 Jun 2026 07:18:48 +0000

Your link does not support, and in fact refutes, your claim