Viewing profile — kevinventullo

[flagged]

I thought charter schools and public schools received the same $/student.

What’s funny is the jerky animation actually communicates so much more than the smooth animation.

I attended high school in the US in the early 00’s and cell phones were absolutely banned from classrooms. You could keep them in your locker and use them between classes, but that…

FWIW there is a new-ish kind of intermediate genre between classic LAN/ranked multiplayer and single player, which is the whole “survival” genre. Generally speaking, they can be pl…

Basically anything that requires a massively parallel computation on undeterminable states that are only clear in hindsight. From https://scottaaronson.blog/ : “If you take nothing…

What’s the best choice of free desktop PDF Viewer/Editor these days (any OS)? On Windows I’ve been using PDF-XChange for a decade or so now, but curious if better alternatives have…

“Don't blame me, I voted for Kodos”

That’s a fair point. But it greatly limits the scope of human-introduced error. I think already for FLT, the surface area for error in the kernel and in axiom translation is substa…

You need at least 45 guesses since 2^44 < 16!

I contend it is the only way to move forward on the goal of “automating” mathematics. Although we’ve seen natural language approaches do well at IMO, the human effort required to v…

Caveat: I am not an expert, so this is a semi-educated guess. I imagine it would depend on whether DINOv3 captures the information of whether a given person is in the image, which …

To elaborate, this is a foundation model. This basically means it can take an arbitrary image and map it to a high dimensional space H in which ~arbitrary characteristics become mu…

Perhaps you can do some pre-processing before the LLM sees it, e.g. replacing every instance of “kill” with “NorwegianDudeGameKill”, and providing the specific context of what the …

As I understand it, the most effective small models are synthesized from larger models.

The rejection might also be random and out of your control. E.g. if they already filled the position or the higher-ups decided to save costs by taking back open headcount. Frustrat…

Is anyone else getting tired of these articles? “Area man who had poor judgement ten years ago now has both poor judgement and access to chatbots”

In some sense, the program itself is a ~512 byte compression of an infinite stream of bytes.

The benefits have just not been that wide ranging to the average person I think you might be underestimating how many non-technical people are using LLM’s daily.

Won’t you get margin called if the stock goes up in the meantime?

Is anything stopping private philanthropy from funding science today? Generally speaking it is in the government’s interest to support fundamental scientific research.

I think “PhD level knowledge” is probably a more meaningful and accurate phrase.