kevinventullo

6 ms·

1.
by kevinventullo 1y ago
I thought charter schools and public schools received the same $/student.
2.
by kevinventullo 1y ago
What’s funny is the jerky animation actually communicates so much more than the smooth animation.
3.
by kevinventullo 1y ago
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 was it. I attended college in the late 00’s, and I don’t th
4.
by kevinventullo 1y ago
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 played as single player games, but also allow for small-s
5.
by kevinventullo 1y ago
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 else from this blog: quantum computers w
6.
by kevinventullo 1y ago
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 cropped up.
7.
by kevinventullo 1y ago
“Don't blame me, I voted for Kodos”
8.
by kevinventullo 1y ago
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 substantially smaller than the entirety of the literature which Wi
9.
by kevinventullo 1y ago
You need at least 45 guesses since 2^44 < 16!
10.
by kevinventullo 1y ago
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 verify higher level proofs is too great with hallucinations b
11.
by kevinventullo 1y ago
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 I think is really a question about training data. So naivel
12.
by kevinventullo 1y ago
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 much easier to solve for. For example (and this might be ove
13.
by kevinventullo 1y ago
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 word “NorwegianDudeGameKill” means in your game. Of course,
14.
by kevinventullo 1y ago
As I understand it, the most effective small models are synthesized from larger models.
15.
by kevinventullo 1y ago
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. Frustrating for sure, but not actionable. From my POV, if you don’t
16.
by kevinventullo 1y ago
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”
17.
by kevinventullo 1y ago
In some sense, the program itself is a ~512 byte compression of an infinite stream of bytes.
18.
by kevinventullo 1y ago
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.
19.
by kevinventullo 1y ago
Won’t you get margin called if the stock goes up in the meantime?
20.
by kevinventullo 1y ago
Is anything stopping private philanthropy from funding science today? Generally speaking it is in the government’s interest to support fundamental scientific research.
21.
by kevinventullo 1y ago
I think “PhD level knowledge” is probably a more meaningful and accurate phrase.
22.
by kevinventullo 1y ago
Key developers being the leading term doesn’t exactly help the AGI narrative either.
23.
by kevinventullo 1y ago
“In the zone” is I think the most analogous piece to the CEO/Founder mindset. When I was in grad school I worked 12 hour days because I wanted to. Not because of an advisor or out of fear or anything, I just thought the material was
24.
by kevinventullo 1y ago
15 years ago Peet’s Coffee enforced this on me, killing the WiFi after an hour despite the fact that I was the only person in the store. Haven’t been back since. The best model I’ve seen is to just have some tables marked as “no laptop”.
25.
by kevinventullo 1y ago
I think what the person you’re responding to meant was that you can generate a fandom for the content that was generated for you. So, you can get the feeling of being in a fandom despite there being no actual other humans that know what y
26.
by kevinventullo 1y ago
There is much more personally impactful shame and alienation associated with being a loud idiot and/or jerk IRL.
27.
by kevinventullo 1y ago
I care about consequences, not about feeling smarter than other people. I care about policies, not candidates. In particular I believe that policies like “Defund the NSF” are bad, actually.
28.
by kevinventullo 1y ago
Pretty sure Tao’s had one or two new ideas.
29.
by kevinventullo 1y ago
If only there was some kind of major indicator of overall public sentiment, conducted nationally, say every four years, which might allow one to draw conclusions about the portion of the population who is either ignorant or malicious. Surel
30.
by kevinventullo 1y ago
Or maybe right click to identify a number as composite.

More ›