I make software, break software and make software that breaks software. mitmproxy.org corte.si

Dunedin, NZ
Announcing spacecurve, a space-filling curve library with a web + native interactive playground.
1
3
8
1,947
Basically the same point. Perhaps the future is that AI generates the landscapes we roam over and explore in every field. This is imminent in areas as disparate as maths and short-form video entertainment.
We're entering the age of the herbivore mathematician: nibbling lightly on a few tasty leaves in a vast mathematical rainforest already solved by AI.
2
2
241
We're entering the age of the herbivore mathematician: nibbling lightly on a few tasty leaves in a vast mathematical rainforest already solved by AI.
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. github.com/openai/math
2
375
The dawn chorus from my deck is just overwhelming. The entire valley becomes an amphitheatre for 30 magical minutes.
5
319
Working from the outside office today
3
135
Opus is so much better than Sol now. Sol is a beast (though a slow, lumbering one), but has no theory of mind about the user. This is clearest when doing UI/UX work, where Opus reasons from the user's perspective in ways that Sol is totally incapable of.
1
3
255
Golden hour in the Temple of Lifting Heavy Things.
4
389
Another datapoint for my thesis that slop will be great and you'll love it.
Gave Claude another 12 hours to one up this.. Woke up to.. The Clodyssey
1
165
I'm going to let all my Codex accounts lapse and reallocate to Claude + pre-pay open models. I'm not salty - it's fantastic that OpenAI can fumble a decisive lead in a week. It means the competitive mechanism is still strong, and I expect them to vie for my money again soon.
2
203
Wife and sons are overseas. Last night I made one steak in one pan, ate it in one plate - no washing up, no mess. Kitchen is tidy, house is clean, no noise, no chaos. Everything stayed exactly where I put it. This is no way to live.
2
1
14
571
Let me interpret DevDay. OpenAI burns developers to make a play for higher margins up the stack - personal agents, office collaboration, app ecosystem. The game is to lock users in and take a slice of the pie for itself. Masks off: OpenAI is now your competitor.
Hi, Tomorrow we are re-opening the Pro $200 subscriptions to new subscribers, but together with it we are also changing how we calculate the usage for it. In effect, if you do the math, it will net out at half the dollar in API spend compared to the old Pro $200 plan. Now that it's said, let me explain why this is happening and why you will still get more work done than if you were on the Pro $200 subscription one month ago. (a) We didn't want to compromise in other ways and are committing to not reintroducing the 5h limit, so that you can fully use the weekly usage when you want. (b) On the subscription, we guarantee that over time you always get more work done and with an increasing level of quality. This means that you will continue to get more value per dollar spent as a result of models getting more efficient and us passing down the improvements in the form of API price reductions. (c) We don't want to put an incentive on ourselves to artificially inflate the API list prices to make it look like you are getting a lot (and workaround it through discounts, etc). Instead we want to continue to both rapidly reduce prices and increase capabilities of models on the API. This week we introduced GPT-6 Sol and GPT-6 Luna at 50% of their previous price. Over time, we see prices go low enough that it makes sense for most to buy usage as needed without there being a significant gap between what you get in a subscription and what you get in the API for a dollar spent. (d) Tomorrow, we are adding more things to the subscription that won't draw on the usage, I won't reveal what that is yet. I wanted to be transparent before all the big announcements tomorrow. Lots of new exciting things are coming to the subscriptions that will make it super compelling, but I wanted to make sure to share this change ahead of time so you can all understand it before we shower you with good news. Codexingly, Tibo
2
560
Is this what super-persuasion looks like? We have hit some sort of AI video inflection point in the last few weeks, that’s for sure.
A Flock of Altruists - Hit The Breaks Except For Me
1
243
There's been a flippening. Yesterday I was on the verge of cancelling all Claude accounts - Opus was weak, Fable over-priced and annoying. Today, Opus 5.5 is great - super strong, usage is reasonable, personality is pleasant. Still evaluating, but Sol suddenly seems less competitive.
1
3
209
A future where an appointed committee from every guild filters, modulates and slows AI progress is the worst possible future short of paperclip conversion.
We’re working with an independent advisory group of mathematicians to help OpenAI responsibly share advances in AI and mathematics. The group will advise on how we assess and communicate new mathematical results, uphold academic and professional standards, and build tools that support mathematical research and learning. Through this work, we want mathematicians to be at the center of shaping how AI supports mathematical understanding and how its benefits reach the wider community. openai.com/index/advisory-gr…
6
256
In the very near future our biggest problem will be people with crackpot ideas but an extreme ability to execute through AI. Maths and software are first up, law is on the horizon, everything else is close behind.
3
1
4
259
So stupid that this is the state of model limits at the moment. ONE query to Fable to review a project. Doesn't complete because it hit the 5h use limit, eats 47% of my weekly Fable quota.
2
4
312
This is amazing. We are reaching the slopflexion point, after which the slop will be great and we’ll love it.
🌿KEEP OFF THE GRASS!
2
4
360
This month is the 5th anniversary of my wife's breast cancer diagnosis - she's in complete remission after a brave, private battle. People sometimes ask me why I'm so e/acc, and a big part of the answer is that we can save millions from suffering and torturous death.
Dear cancer patients in 2030, Sorry, but you are gonna die, we decided to pace frontier AI so the cure will only be available after 2035. Sincerely, AI labs in 2026
1
5
12
1,073
Having fun playing with OpenCode and DeepSeek today... but with only a few concurrent sessions OpenCode eats literally all my RAM. No reason for a console tool to be this heavy.
1
159
This idea that tokens are "subsidised" has to end. Inference is profitable. Subscription plans are part of a broad strategy, token pricing != real cost, and plans are no more subsidies than your streaming bundle is a subsidy for buying movies one by one.
The era of subsidized tokens is ending. Prepare accordingly.
1
1
274