Hacker News: voxl

New comment by voxl in "Are We Stuck with Lean?"

voxl — Thu, 30 Jul 2026 19:14:41 +0000

What is absurd is evaluating something on the lines of code it produces. AI psychosis at work.

New comment by voxl in "Are We Stuck with Lean?"

voxl — Thu, 30 Jul 2026 15:58:18 +0000

This is horseshit. Mathlib3 and mathlib4 all existed prior to LLMs. Unimath of Agda, mathematical components of Rocq, the list goes on.

LLMs have done nothing for "making large scale mechanization viable." They have been viable. The only thing has changed is the perception of the random developer who never wanted to put the effort into learning what actually needed to be learned and are instead happy to spit our complete garbage, spec and all, and say it's a proof of something.

It's not shocking at all that the people who seem to get any benefit out of LLMs in the proof assistant space are the ones who could have just don't it themselves anyway.

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

voxl — Wed, 29 Jul 2026 05:24:12 +0000

A basic course in statistics will inform you of why a 99.99% accurate test should be looked at with skepticism when diagnosing a rare disease. Yet we see the fancy 9s and think somehow this many 9s is enough.

New comment by voxl in "Do we just want slaves?"

voxl — Tue, 21 Jul 2026 05:29:58 +0000

Sure if you're a rich slave owner.

New comment by voxl in "Since Chromium 148, Math.tanh is now fingerprintable to link underlying OS"

voxl — Sun, 12 Jul 2026 21:51:51 +0000

They would just choose a different domain name, it's not that important and the previous years tend to forward link anyway.

New comment by voxl in "Top researchers leave USA for the Netherlands (in Dutch)"

voxl — Tue, 07 Jul 2026 17:30:54 +0000

Researchers _would_ leave in droves if they could. But it turns out the entire world doesn't actually care much for research. The US was actually unique in that regard.

New comment by voxl in "Global review confirms mRNA vaccines are safe, effective and full of promise "

voxl — Thu, 02 Jul 2026 04:29:44 +0000

Comparing it to the trolley problem is incorrect. COVID had real potential to kill you, even as a young person. At that point its a matter of risk assessment for yourself. Take a 2% chance of dying, a slightly higher chance of reduced quality of life (long COVID), or take a lottery-winning chance of dying to this blood clot. It is appropriate to do the math correctly to decide if this makes sense, but to claim that scientists and advocates did not do this personal risk assessment math and merely went off the benefits of herd immunity is a lie and anti-vaccine propaganda.

New comment by voxl in "Changes to Our Contribution Policies"

voxl — Wed, 01 Jul 2026 00:25:09 +0000

Let's take a moment to put the AI psychosis down and think through your comment:

1. AI is so good that you can get your game working to your vision in a matter of weeks without needing to depend on godot

2. Godot is making a mistake refusing AI contributions

How exactly is godot making a mistake, if AI is so good that godot is defunct anyway?

New comment by voxl in "Claude Code Just Got 5x More Expensive"

voxl — Wed, 01 Jul 2026 00:14:59 +0000

My eyes rolled so far back I'm blind

New comment by voxl in "The KIDS Act would require age checks to get online"

voxl — Mon, 29 Jun 2026 02:04:39 +0000

It's a good thing what random people thing is not taken a science these days, oh wait I guess science is on a historic decline as well.

Maybe it's not climate chance, pseudo intellectualism, late stage capitalism, etc. Nah, it's the kids in their group chat or scrolling through tiktok, that's it, that's the reason.

New comment by voxl in "Professor denounces mass AI fraud on an exam at Brown"

voxl — Mon, 29 Jun 2026 00:12:28 +0000

You should know full well you need some method of determining if a student is competent enough to move on to the next class in whatever sequence. Perhaps universities are slacking on this front, but at a minimum a student who doesn't understand the basics of Calc I should not go take Calc II

New comment by voxl in "AI has already killed academia as we know it?"

voxl — Wed, 24 Jun 2026 00:55:30 +0000

Citation needed, the last time a colleague engaged with the education college and supposed educators they looked at an induction proof with sheer bewilderment as if teaching this at all was impossible

New comment by voxl in "I am a person who will look at the Steam Machine and cry"

voxl — Tue, 23 Jun 2026 18:42:41 +0000

Fun projection, there are three steam decks amongst my roommates, all three of them use is basically daily.

New comment by voxl in "NSF slashes research programs to support new tech initiative, insiders say"

voxl — Mon, 22 Jun 2026 22:32:58 +0000

Oh you mean like funding science? Dumbass.

New comment by voxl in "NSF slashes research programs to support new tech initiative, insiders say"

voxl — Mon, 22 Jun 2026 22:06:03 +0000

Why is government research doing what the industry should be. The point of government research is to enable people to work on things without requiring some economical impact.

The fact you just happily ignore the political situation and the fact this is CLEARLY anti intellectual bullshit says all that needs to be said about you.

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.