Hacker News: voxl

New comment by voxl in "AI outperforms law professors in Stanford Law study"

voxl — Wed, 03 Jun 2026 01:46:47 +0000

But did they? Or did they just go off what answer felt better? Did they put in any work to actually confirm the answer? Or did the busy law professors just click through and move on with their life?

New comment by voxl in "Is "colorectal cancer" rising in "young people"?"

voxl — Wed, 27 May 2026 00:02:49 +0000

It's an internet forum, I didn't claim anything. And your doctor isn't going to first biopsy just a little bit of a polyp to determine if it's the "bad" kind, he's going to remove all of it.

It's annoying pedantry, a distinction without a difference.

New comment by voxl in "Is "colorectal cancer" rising in "young people"?"

voxl — Tue, 26 May 2026 19:47:36 +0000

https://pmc.ncbi.nlm.nih.gov/articles/PMC9924026/

Though I regurgitate this information based off conversations with gastroenterologists not one off studies.

New comment by voxl in "Is "colorectal cancer" rising in "young people"?"

voxl — Tue, 26 May 2026 19:03:47 +0000

A colonoscopy is more than screening, if they see a polyp they remove it. Left alone that polyp will very likely eventually become cancer. Routine colonoscopies for someone with IBD is multi purpose, you screen for active disease, fistula, strictures, cancer, while simulatenously treating active disease (polyp removal)

Similar things happen in any general surgery, for example you can get your tubes removed and send up with all your endometriosis that you weren't able to diagnosis removed as well

New comment by voxl in "What Do Gödel's Incompleteness Theorems Mean?"

voxl — Thu, 21 May 2026 18:27:55 +0000

There is no logic that is more expressive than a Turing machine. In fact, just about every logic you know can only expressive necessarily terminating programs. There is a bit of an issue on what exactly someone means by expressive, but if we're talking programs that compute outputs from inputs (without caring about the invariants imposed on said programs) then this holds.

New comment by voxl in "An OpenAI model has disproved a central conjecture in discrete geometry"

voxl — Thu, 21 May 2026 05:29:51 +0000

I don't believe the result at all. I think it contains faulty logic. Perhaps the mathematicians involved can read the tea leaves and decide something interesting happened, but all this AI psychosis bullshit still refuses to accept that AIs do not, and cannot, have a mental model of the world.

Moreover, model output is incredibly good at looking credible but being wrong. It has NEVER produced something correct for me in a field of which I am an expert without some external oracle to validate claims (like e.g., Lean)

New comment by voxl in "Tennessee man jailed 37 days for Trump meme wins settlement after lawsuit"

voxl — Wed, 20 May 2026 22:17:14 +0000

Are there any memes that are not described thusly?

New comment by voxl in "Frontier AI has broken the open CTF format"

voxl — Wed, 20 May 2026 00:22:28 +0000

[flagged]

New comment by voxl in "Frontier AI has broken the open CTF format"

voxl — Tue, 19 May 2026 16:54:03 +0000

If you've never taught students or mentored PhD students please refrain from diatribes in my comments (and yes I've done both)

New comment by voxl in "Frontier AI has broken the open CTF format"

voxl — Sat, 16 May 2026 19:55:41 +0000

The reality is that a human will learn, given any materials including LLMs, but only if they truly desire to learn. We've had MOOCs, gigantic libraries, all full of free information. You can obtain a PhD level understanding in any technical field of your choice today just by consistently going to the library and consistently applying yourself.

It's not unlike going to the gym, and we see how many people do that regularly. Except it's even funnier, because people serious about the gym but what? Tutors. They call them personal trainers. We've known for a millennium or more that 1-on-1 instruction is vastly better than anything else, but most people actually don't want to get into shape, and most people actually don't want to learn.

New comment by voxl in "LLM Policy for Rust Compiler"

voxl — Fri, 15 May 2026 04:10:00 +0000

LLM delusion is insufferable. If all it takes is tokens to make a significantly better in programming language in logarithmic time why hasn't anyone done it?

New comment by voxl in "Students boo commencement speaker after she calls AI next industrial revolution"

voxl — Mon, 11 May 2026 22:14:39 +0000

Did you try reading their second paragraph? The one where they claim we already have an abundance of said goods?

New comment by voxl in "Postmortem: TanStack npm supply-chain compromise"

voxl — Mon, 11 May 2026 22:10:37 +0000

It's insane to me you spend $200 on a report you likely rarely read in detail or double check for correctness, yet you're doing it to feel good about security.

New comment by voxl in "Students boo commencement speaker after she calls AI next industrial revolution"

voxl — Mon, 11 May 2026 19:42:17 +0000

This is the kind of commentary that is completely detached from reality: people want housing, people want food, people want gas.

It's not great that we can buy iphones (and AI is going to cause all electronics to be scarce, so much for abundance there)

New comment by voxl in "Mythos Finds a Curl Vulnerability"

voxl — Mon, 11 May 2026 16:28:51 +0000

Everyone should be using exclusively a proof assistant (Lean/Agda/Rocq/Isabelle) and proving their code correct, but they're not.

Do you see how ridiculous the zealotry sounds when its not your personal kind of zealotry?

New comment by voxl in "Recursive grep written in Go benched against a C++ and Rust variant"

voxl — Wed, 06 May 2026 23:31:47 +0000

Why does ripgrep lose by ~3x to ugrep in your benchmark but consistently win in the ripgrep benchmark?

New comment by voxl in "Appearing productive in the workplace"

voxl — Wed, 06 May 2026 20:56:05 +0000

You are not responding faithfully to the comment. A mechanic looking up the schematics in a manual understands them. Just because they haven't memorized the material does not make it the same. This is more analogous to looking up a function in the documentation that you forgot about.

This is clearly not what the post was referring to, which is instead like googling how to fix a pipe in your home when you've never done any plumbing before in your life. Can it work out? Sure, depends on the issue, can you cause your pipes to freeze, your house to flood, or sediment build up to completely block a pipe? Yes.

New comment by voxl in "Appearing productive in the workplace"

voxl — Wed, 06 May 2026 20:06:12 +0000

This ENTIRE argument is about whether or not minimum word count is a good idea, perhaps improve your reading comprehension before pretending to know logical fallacies

New comment by voxl in "Appearing productive in the workplace"

voxl — Wed, 06 May 2026 19:30:30 +0000

Have a second of critical thinking on this topic will make it abundantly obvious why this line of questioning is anti-education and anti-intellectual. You write in school to practice. No just composition, but grammar, spelling, individual sentences. Practice requires volume.

Subject yourself to a classroom of kids that you must teach to write, and throw out minimums. Will some students do fine? Sure, of course, and what of the others that turn in one sentence? That never grow? That have to go into the math class and hear their idiot parents say "why are you learning that we have calculators"

New comment by voxl in "OpenAI’s o1 correctly diagnosed 67% of ER patients vs. 50-55% by triage doctors"

voxl — Mon, 04 May 2026 00:15:43 +0000

What do they deserve?