Viewing profile — voxl

This is not the argument. It's not a comparison to gambling but a comparison to something that does not materially improve a person's life. Economic expenditure does not equate to …

Incorrect. The statement in Lean can itself be wrong. Moreover, they could be exploiting a kernel bug in Lean, of which we had one published literally a week ago.

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

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 sca…

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 som…

Sure if you're a rich slave owner.

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

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.

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 …

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 nee…

My eyes rolled so far back I'm blind

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 intell…

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 …

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 a…

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

Oh you mean like funding science? Dumbass.

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 f…

[flagged]

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 o…

[flagged]

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 …

https://pmc.ncbi.nlm.nih.gov/articles/PMC9924026/ Though I regurgitate this information based off conversations with gastroenterologists not one off studies.

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 IB…

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…

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 …