@charliermarsh
@OpenAI. Building Ruff, uv, ty, and other high-performance Python tools with the @astral_sh team.
Charlie Marsh @charliermarshOne thing I'm noticing from these agent-driven Rust forks is that "time to recompile after edit" is a very lossy metric. You can get (much) faster recompilation, but the overall development loop is often (much) slower.
Jarred Sumner @jarredsumnerBun AOT also introduces `--trim` which deletes unused parts of Bun from the compiled binary On macOS, a binary that uses Bun.serve’s HTTP server goes from 89 MB to 25 MB
Aashish Reddy @_AashishReddyIt just never gets old
Ryan Williams @rrwilliams.bsky.social @rrwilliamsAn internal model at OpenAI has produced a claimed refutation of ETH! Russell Impagliazzo, Mohan Paturi, and I have been asked to help organize an open and independent examination of this claim. 1/4
Scott Armstrong @scottnarmstrongSince I'm now blocked by bluey from replying to this thread, I answer here by quote tweet the openAI construction has more to do with convex integration than anything else. In convex integration, the oscillations are typically built by hand and the iteration procedure creates wild weak solutions. The non-uniqueness construction of Albritton–Brué–Colombo used an unstable vortex to split solutions apart. The Córdoba–Martínez-Zoroa singularities amplify vorticity across scales by strain. In the openAI paper, a fluid instability is clever made so that the flow itself generates the oscillations: they grow by drawing energy from the background shear. The Reynolds stress then becomes the force that creates the collapsing smooth vortex. Using a physical instability to create the stress in this way has no precedent, and it is what produces a smooth force rather than a merely rough one. Some on these ideas are in the literature (e.g. Leibovich-Stewartson 1983) but the way they are combined is definitely insane and definitely nowhere in the literature previously. I also don't know of anyone suggesting that convex integration would play a role in the creation of a blow-up solution like this. On a technical level, the paper is unbelievable, maybe beyond what a human could have come up with but not beyond human understanding: there are several different groups of pde experts working on understanding it who say that they more or less understand now. I expect digestions soon td;lr: anyone saying that this OAI result is unsurprising is bullshitting sorry!
Charlie Marsh @charliermarshCaring is the moat, you should feel visceral pain when things are bad or broken and stop at nothing to fix them
Jarred Sumner @jarredsumnera growing part of how I feel about bun is this whole category of software - linters, formatters, package managers, type checkers, test runners, bundlers this used to be hard software to build and now it can be prompted into existence in a day or two
