Hacker News: ykonstant

New comment by ykonstant in "The Collatz conjecture was false [video]"

ykonstant — Sat, 01 Aug 2026 14:00:47 +0000

A good reminder that soundness bugs in trusted kernels are not merely a theoretical consideration.

The Collatz conjecture was false [video]

ykonstant — Sat, 01 Aug 2026 13:59:43 +0000

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

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

Points: 2

# Comments: 1

New comment by ykonstant in "Truth is not a direction: a Tarski attack on LLM probes"

ykonstant — Wed, 29 Jul 2026 08:52:47 +0000

We can call it AI Engine Optimization and it will become alright...

New comment by ykonstant in "FBI Seeks AI for Political Watch List"

ykonstant — Wed, 29 Jul 2026 08:35:36 +0000

How is this not explicitly unconsittutional??

New comment by ykonstant in "I wrote an bash enumerator because I was sick of xargs"

ykonstant — Tue, 21 Jul 2026 09:52:37 +0000

Try not to do that in an uncontrolled file system. Filenames can and will have newlines, including trailing newlines, because evil people like myself inject them everywhere in our local user folders to keep sysadmins on their toes. Use the (now, finally, POSIX) -0/-print0 options for all file parsing which produces the correct behavior on all UNIX systems.

New comment by ykonstant in "Kimi Work"

ykonstant — Tue, 21 Jul 2026 09:46:11 +0000

BeOS was an absolute gem.

New comment by ykonstant in "I wrote an bash enumerator because I was sick of xargs"

ykonstant — Tue, 21 Jul 2026 09:39:45 +0000

If you do not have -0 options in your xargs/find, I wonder if you will have those extensions in your awk/sed. Perl is a different story.

New comment by ykonstant in "I wrote an bash enumerator because I was sick of xargs"

ykonstant — Tue, 21 Jul 2026 09:38:45 +0000

This is why I tend to stick to POSIX shell scripting these days, avoiding even bash. The restriction does make some things too painful, though. Before the latest POSIX revision, certain workflows were comically hard to do (unless you combine sh with... M4). The 2024 revision injects some much-needed sanity, but I am wondering, will random computers have shells compliant with that revision?

New comment by ykonstant in "Human mathematicians are being outcounterexampled"

ykonstant — Tue, 21 Jul 2026 09:28:37 +0000

This comment gives a sliver of hope for us currently outside academia and in low income academic institutions: enthusiastic laypeople with access (read: funds) to the SOTA models can collaborate with destitute researchers to produce research the academic alone could not.

Plus, as a non-expert, you will naturally want to understand more about what you are proving together with the expert. LLMs can help there, too, by carving a path from elementary mathematics to the research problem more efficiently and in a more targeted manner than a generic exposition or survey.

That could give birth to a beautiful research-exposition pair that can benefit both academics and interested laypeople, who have (rightfully, but inevitably) felt excluded from the insights of high level research. I have long hoped for something like that. There, however, the academic must watch the LLM like a hawk, because expository interpretation of results is prime ground for hallucinations, and adversarial agents will not have much effect in improving it.

New comment by ykonstant in "Human mathematicians are being outcounterexampled"

ykonstant — Tue, 21 Jul 2026 09:21:57 +0000

>I wonder if at some point mathematicians will be over-flooded with proofs to check and eventually some over confident false claim will make it into math.

That point had come some time ago. Nowadays the literature is both enormous and littered with false proofs and an unknown, but nonzero, number of false published results.

New comment by ykonstant in "Human mathematicians are being outcounterexampled"

ykonstant — Tue, 21 Jul 2026 09:14:00 +0000

Rest in Peace those of us unable to afford those models.

New comment by ykonstant in "Show HN: Bribes.fyi – Built something to report bribes"

ykonstant — Mon, 20 Jul 2026 11:36:53 +0000

What do you mean?

New comment by ykonstant in "RISC-V Is Inevitable: State of the Union Keynote Argues"

ykonstant — Mon, 20 Jul 2026 09:20:15 +0000

I forgot to thank you, I didn't know qemu supported risc-v arch! I am already using it for various vms.

New comment by ykonstant in "Qwen 3.8"

ykonstant — Mon, 20 Jul 2026 09:14:10 +0000

Perhaps, but I am struggling to find a worse phrasing to get a point across.

New comment by ykonstant in "Show HN: Bribes.fyi – Built something to report bribes"

ykonstant — Mon, 20 Jul 2026 09:12:41 +0000

Indeed, the first thing I would do as a malicious state entity would be to flood any such app with fake reports.

New comment by ykonstant in "What I learned selling 2,500 MIDI recorders: Hardware is not so hard"

ykonstant — Mon, 20 Jul 2026 09:06:57 +0000

>Imagine we had that for software - "your JS is too big, you can't ship until you get it under 50 kB".

A man can dream.

New comment by ykonstant in "RISC-V Is Inevitable: State of the Union Keynote Argues"

ykonstant — Wed, 15 Jul 2026 11:42:53 +0000

For the record, I found programming in MISRA C guidelines really fun; but then again, I did it out of personal interest. If I had to do it professionally, I guess the pressure would be less pleasant.

New comment by ykonstant in "RISC-V Is Inevitable: State of the Union Keynote Argues"

ykonstant — Wed, 15 Jul 2026 11:39:07 +0000

>This is mostly because their approach to SIMD is so different, but also because I can't test it at all. Are there any RISC-V "machines"? that one can use to do something useful or fun with that someone here could recommend?

I would also be interested in RISC-V emulators etc.

New comment by ykonstant in "Show HN: Getting GLM 5.2 running on my slow computer"

ykonstant — Tue, 14 Jul 2026 08:15:28 +0000

Thank you very much!

New comment by ykonstant in "The Graph That Should Be Front-Page News"

ykonstant — Mon, 13 Jul 2026 13:14:51 +0000

It is not "American AC" that is a serious contributing factor, much less the "main cause"(???).