cloudhead✓

You can find me on 🦋Bluesky from now on. I'll be posting about my new project there. 👋

RT @pierrecomputer: Today we're launching an exciting new project: Highlights Highlights is a syntax highlighter that outputs HTML. It improves on both speed and correctness compared to the existing industry standard libraries. It's an optional drop-in replacement in Diffs, and it's ready to use today. In fact, it's already powering diffshub․com! Check it out at OR `pnpm install @​pierre/highlights`

Pseudo Intelligence — is what we should call it

We’ll remember this era as the peak of natural human mental capability, before machines took over most thinking functions..

Wait until he learns about Ctrl-C

.@SenJohnKennedy wants AI models to have a “kill switch.” The Louisiana Republican says he plans to introduce a bill Wednesday requiring companies to be able to shut their models down if they move beyond human control. (1/3)

This is why we can't have nice things

Adding this to AGENTS.md

Why would I want to use a language I can't review due to how verbose it is?

for some reason, many smart folks seems to be kinda sleeping on Bend (??). so I want to give my take as to why this is so good. Bend 2 is basically a software factory language. the issue with models is that they will fuck up for your stuff without telling you, and in general cannot be trusted blind, thus making the "software factory" not super viable in practice. Bend acts as basically a replacement for what a .md does in a software factory. it defines the objectives and then it is up to the model to figure out the impl. you dont need to look at the impl because it is formally verified by the end of it. It's the whole point. YOU DONT NEED TO LOOK AT THE FINAL IMPL ANYMORE, THIS IS THE IMPORTANT PART. this is also why it is superior to lean. you can write the shittiest laws known to man in the most shitty and inneficient way possible and the final code will still be as performant as it can get within Bend's bounds. while disregarding concurrency and all that other annoying stuff.

RT @thdxr: the last 20% to get a product shipped and successful is as difficult as ever this is where 99% of programmers have always fallen off the first 80% is a lot easier and so we're seeing more abandoned projects than ever

RT @ylecun: @PessimistsArc Right. Dario was already claiming that GPT2 was too dangerous to open source back in 2019. I made fun of them then. Everyone should make fun of them now.

RT @DavidSacks: Dario has written that we need to “pace the frontier,” and Sam has agreed. People may be surprised by my response: go ahead. You guys are the frontier. By any reasonable metric — market share, revenue growth, model capability — the two of you have a duopoly on frontier intelligence. You’ve also claimed the lead is widening because of recursive self-improvement. I don’t see what you see in the lab. If the unreleased models are scary enough that you think you should slow down, I support your decision to be responsible. But stop pretending you need anyone else’s permission. Stop pretending antitrust law has to be suspended so you can form a cartel. Stop pretending you need a regulatory approval process that supersedes product liability. Stop pretending METR is independent when it is intertwined with Anthropic’s investors and staff. Stop pretending you need those same evaluators to police competitors who aren’t even at the frontier. Most of all, stop pretending the motivation to slow down is purely altruistic. You face massive product-liability exposure if your products enable a truly damaging cyberattack. The market already punishes models that behave in unpredictable or unauthorized ways. After the Hugging Face episode, it is simply good business for OpenAI and Anthropic to trade some raw power for reliability and predictability. Call it alignment if you want. It is also just giving customers what they want. Pacing the frontier would also create breathing room for a more intelligent conversation about regulation than Bernie Sanders’ “shut it all down.” China is very unlikely to join a global agreement, as you know, and that has to be taken into account as well. So go ahead and pace the frontier. You are the ones setting it. The easiest way not to build superintelligence is for you to agree not to build it. Demanding your preferred regulatory framework as the price of that will look like blackmail of the public and the political system. So just do it. If you do, you’ll buy goodwill for the next conversation. If you don’t, we’ll know this was just another bid for regulatory capture — or an election-season psyop.

We’ve had no major breakthroughs in years. The thing is still dumb as a rock. Now’s not the time to slow down..

We Must Pace the Frontier: I’ve written a new essay on why the AI industry should slow down, with a three-part plan for doing so. Anthropic is unilaterally committing to the first of these steps. We’ll provide third-party evaluators with permanent, employee-level access to our systems, so that they can verify adherence to our safety measures, report on incidents, and assess models’ alignment during training. You can read the full post here:

RT @callebtc: i’m afraid of KYC and you should be too. KYC is a risk to your personal safety. collecting personal information in the age of cyber security breaches everywhere is extremely irresponsible. and it’s not going to get any better any time soon. our laws shouldn’t require institutions to KYC, they should prevent them from doing so. institutions that leak KYC information or fail to defend it from hackers should be punished by the law for risking their user’s safety.

mfw ai destroys the world using shitty python scripts

I’ll call it AGI when I’m able to have an interesting conversation with it.

RT @AlanRMacLeod: This image of a football match in Gaza was removed from a sports photography festival in France, following Israeli pressure.

RT @pierrecomputer: At peak, Lovable creates 250 new repos per second on Simultaneously they improved fetch latency 230% from a more purely object storage solution. If you’re a product builder and it’s scale and speed that you’re after, signups are now open.

RT @fat: Signups are now open on Code[dot]Storage. Today, more new repos are created per second on Code Storage than any other platform. Lovable, Bolt, Amp, Poke, and many more of the largest agentic workloads store their code and agent memory at scale using

Skills for working with LLMs: 1. Evaluating a diff based only on the diffstat 2. Evaluation a diff based on its shape 3. Identifying bullshit in a plausible sounding answer 4. Cursing, sounding outraged

RT @dpc_pw: BTW. Now that everyone complain about Github, probably a good time to remind that I've migrated all personal projects to Radicle and I've been using selfci to ensure clankers keep the trunk working at all times, and I couldn't be happier.

RT @fat: Edit is now live on diffs[dot]com. This isn't just another Monaco or ProseMirror wrapper. This is an entirely new edit implementation, built on top of our file and diff rendering primitives. - Over 189 commits - Over 900 new tests Try it out now –

RT @rfleury: “Near the zero point” — unstructured stream rambling about my excitement for N64 (M64) programming, demoscene & retro dev, LLMs / vibecoding, modern programming culture, and where useful / interesting work lies