voxl

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 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.

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?

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 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.

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

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

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 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.

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?

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.

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

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.

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)

Are there any memes that are not described thusly?

[flagged]

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

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.

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?

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

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.

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)

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?

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

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.

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