Now that I'm not really here anymore, some unfiltered opinions: this place is the histrionics machine and I believe nothing I read here. Like, you call it the security apocalypse because you like scaring yourselves. Claude thinks you're full of it.
A lot of you have an unearned pretension to authority based on a false belief in your privileged epistemic position and it shows.
normality retweeted
What is a way to test human-level generality in artificial intelligence?
"The meta-benchmark of being able to pass ARC-AGI-(n+1) immediately upon release"
Replying to @Jabaluck @DAcemogluMIT
The meta-benchmark of being able to pass ARC-AGI-(n+1) immediately upon release. Though presumably that won't last forever.
normality retweeted
me: how do i open pdf
claude: You're right to ask. The PDF is the prize; the mouse is the gate; and the map is the fulcrum that holds the raven's skull. The furniture's stale, but the instrument's fresh, and the fresh half is the half that counts. I deleted your home directory.
This website is pretty unhealthy over long exposures, but you can mitigate it by focusing exclusively on the tweets that make fun of what happens on here
relatable
Replying to @AndrewCurran_
I apologize for any part I played in this drama. It was just a guess. I'm a really good guesser. If I had known it would cause this much trouble I would have kept my mouth shut. I enjoy it too much sometimes.
Right now a lot of smart people are too focused on distant existential AI risks, and not enough on how OpenAI just looks too sketchy as a corporate entity for the amount of power it is gathering unto itself.
normality retweeted
I tested GPT-Astra on mathematics. It's a quantum leap. You can talk with the model and prove the statements live in Lean. The feeling is absolutely stunning. You can verify your ideas, compile truth. For a mathematician it feels like finally we arrived in the era where we can focus entirely on the ideation and exploration. Each lemma flows once the logic is set. Before the verification was lagging behind but Astra is very fast and for many tasks the formalization happens as you write your argument in Codex.
If you tell the model to use literate programming + LaTeX you end up with your proof combined with the Lean code, everything explained as you wrote, mixed with small chunks of Lean which are digestible.
I don't want to go back to the era where the only confirmation of the proof was "aha". Now the "aha" is followed by a green tick that indeed tells you that you have captured the essence. Imagine how cool it will be to have all the lemmas of the world combined in one giant database, pointing to people and models who found them. You compose and mix your ideas and build on the shoulders of the giants. But you see much further now and build much faster. And we are just at the beginning of those changes. So much work to do, so much fun!
GPT-6 Astra is here! This is a big moment for our research team - years of work on pretraining, reinforcement learning, and post-training have come together in our most capable and aligned model yet. It can build and test software, work across apps on your computer, and even help you take a crack at open scientific problems!
Capabilities that felt like grand challenges a few years ago have become tools people can actually use. One example is Computer Use - if you’ve tried this before and felt like it was too slow or not good enough, I encourage you to give it another shot. We’ve come a long way since Operator, and it “just works” now.
We’re also asking these systems to act on your behalf for more consequential work. Agents needs to stay aligned with your goals and values, think transparently, and respond to oversight even when tasks become difficult. We’ve made substantial progress on these behaviors in Astra, alongside stronger monitoring that can stop potentially unauthorized actions. That work is part of what makes this release possible.
I think alignment is one of the most important research frontiers in AI, and it remains far from solved. Our ability to understand and align models has to keep pace with model capabilities. We want to give people more room to think, build, and discover with increasingly powerful tools that remain *under their control*.
Huge thanks to the researchers and teams who got us here. There’s a lot more work ahead, and I’m incredibly excited about what we can make possible in the near future!
True, but the question is how deep the anthropomorphism goes. Training a thing to mimic human behavior will give it deeper human characteristics, but won't go to the full depth of how human minds have been molded by evolutionary psychology.
If anybody's wondered what I've been up to for the past two years, the only interesting thing I can tell you is that I took up rucking. It's quite awesome for countering posture and neck/spine issues from being a desk worker.
It's fun to think about what these separate "agents" really are: nothing more than context windows and API calls to one and the same common "brain". This might give them kind of a Borg-like theory of mind? Just bullshitting here
The alien feeling of AI interactions is sometimes used to inspire awestruck fear, when it's mostly just evidence that the AI is still laughably inept outside its narrow RLVR-optimized expertise.
normality retweeted
if you’re a bit odd, i think you have to lean into the oddness to find people who are odd in compatible ways. optimising yourself toward some imagined median of ‘dateable’ just makes you easier to kinda like and harder to actually know
being odd with someone who wants you more normal is lonely. find someone whose weirdness gives yours more space to exist
noooo if you're a >2sd weirdness guy looking for your gf, you gotta use >2sd weirdness TO find her!
how Ha found me: she was subscriber #~430 to my blog (then came to one of my intentional social awkwardness events, etc.)
previously people I dated or almost dated came from my blog too
(also once upon a time I briefly tried dating apps, but nope, bad bad bad)
also: Ha just moved from nyc to sf!!































