vessenes

7 ms·

91.
by vessenes 3mo ago
This is super fascinating, and I loved seeing testing of where exactly you need frontier intelligence -- looks like coordination / planning, but not coding right now -- the article's a bit of a tease, as we can't play with su
92.
by vessenes 3mo ago
Alex, thanks for building this. I imagine it will help many children! Couple comments on this being 'screen' oriented, which are as you say endemic in schools and terrible. There's a fair amount of research that paper reading
93.
by vessenes 3mo ago
Solana/Ethereum
94.
by vessenes 3mo ago
Let me guess -- in your day job you don't manage people. I have agents parsing messages, building out document sets, evaluating existing document sets, one is currently fixing a giant backlog of bugs and feature requests for a multi ye
95.
by vessenes 3mo ago
[Citation Needed]. Demand letters are one thing. Proof is another. And California laws are, to my understanding, pretty employee friendly as a matter of policy. We'll see where this ends, but I wouldn't assume right now this is an
96.
by vessenes 3mo ago
I don't think we got continuous learning here, but we very specifically got interim goal setting and custom world models; the thinking traces demonstrate this round trip of building a world model, mental or coded, then stopping when re
97.
by vessenes 3mo ago
Let's maybe say not experienced enough / insufficiently RL'ed then -- 5.6 Sol did not reach for a harness solution like this when it got only 13% or son AGI-3 recently. I agree it's interesting to find the point in the p
98.
by vessenes 3mo ago
I think this is just too simplistic a take; Arc-AGI-1 was wide open to all models, harnesses, etc, and had quite a lot of innovative structures implemented by hobbyists. At the time, this was seen as a good thing (it was), because we don&#x
99.
by vessenes 3mo ago
This is classic goalpost movement. Arc-AGI-3 was launched this year with roughly 0.5% success for frontier models. being able to 99% it in less than six months sets a new record for Arc-AGI saturation timeline. Speaking of singularity mea
100.
by vessenes 3mo ago
Except in this case, it isn't yet smart enough. But I agree, building this capability in is coming, and will be really awesome.
101.
by vessenes 3mo ago
To be clear, we’ll want to see how this performs against the hold-out set. If it holds up, though, it’s a big deal, and kind of in line with the vibes this year, which I’d typify as ‘harness matters’. Maybe we’d upgrade to ‘harness matters
102.
by vessenes 3mo ago
GIANT thumbs down on no bug bounty from Anthropic. Guys.
103.
by vessenes 3mo ago
Yep.
104.
by vessenes 3mo ago
Keep it up! This is amazing work.
105.
by vessenes 3mo ago
You just need to read White Chested Fox's math brag to understand it!
106.
by vessenes 3mo ago
Very interesting, on many levels: first, the raw additional compute / search harness is worth reading about; huge numbers of Lean 4 theorems, thousands of vCPUs available for spreading out search, embedding databases of proofs, all ver
107.
by vessenes 3mo ago
Oooh Cool. Math Bragging by "White Chested Fox" (Sak Tahn Waax), ca 800AD: The formula shows how one 2,920-day cycle could be divided up into the calendar units used by the Maya people. This 2,920-day cycle was important beca
108.
by vessenes 3mo ago
From the community guidelines: Be kind. Don't be snarky. Converse curiously I'd add to your list...Or do Khan Academy, learn how to purify water, find out recent grain prices a 10 hour drive away, decide if your baby's rash n
109.
by vessenes 3mo ago
I hear you. And, it says the phrase ALL THE TIME even without any priming. Anecdotally it’s better to complain about it. But not a lot better. I have no idea how often it’s using load bearing in the thinking traces though
110.
by vessenes 3mo ago
As someone who worked and briefly lived in subsaharan Africa, I will say that the advantages are huge. Bandwidth alone isn't even the whole story - latency really matters too, another area where Starlink is super helpful compared to sa
111.
by vessenes 3mo ago
My current claude.md bans the phrase “load-bearing”, and Claude HATES that. It will troll occasionally in comments by saying things like “load-be…most specific”. Like it REALLY loves saying load-bearing. Urgh.
112.
by vessenes 3mo ago
Yes. I am NOT famous. But I am in the corpus. In my GPT3 beta tests, I asked it to be first Bill Bradley then Noam Chomski, (a parlor trick that's harder today due to RL), and Bill tried to butter me up based on some work history of mi
113.
by vessenes 3mo ago
Cool details, thanks. To help me understand your life, what would be like a one year and a five year research goal for you? I never spent time in lab sciences so it’s kind of a black box for me.
114.
by vessenes 3mo ago
Maybe we’d say “physics” is really just the delineation between things we have an accurate model for and everything else (the exceptions?). Theoretical physics would be the search for the “why” of everything, inside and out of that line in
115.
by vessenes 3mo ago
Grant Sanderson recently distinguished mathematicians that create syntax (he might use the word ontologies in some circles) from those who manipulate it on the Dwarkesh podcast. I liked this delineation a lot. We seem to be at ‘manipulating
116.
by vessenes 3mo ago
… and customers. It’s cashflow positive.
117.
by vessenes 3mo ago
You’ve clearly never lived in the US! Big place, not a lot of fiber.
118.
by vessenes 3mo ago
More literal, less fluid verbally, harder time understanding nuance, more correct code, fewer bugs. Less pretty UI. I switch back and forth but find I have less 'clean up' work with codex; more upfront communication though to prop
119.
by vessenes 3mo ago
OK, I read it. It looks like questions on this topic get routed to a canned message that reads: “The claim of white genocide is highly controversial,” began Grok’s response to Golbeck. “Some argue white farmers face targeted violence,
120.
by vessenes 3mo ago
I'm unfamiliar with that story, but I can imagine lots of reasons. Did you know there are large areas in South Africa where white people are not allowed to own land? As in, my Zulu son is allowed to own land, but me his white dad is no

More ›