Joined the party, let's see how far we can get...
We're launching a $100,000 challenge to see who can make Muse Spark run fastest: openkernelchallenge.dev/
cfky retweeted
no comments, no deps, no docs, no tests (except e2e ones), no PRs, very little CI, a lot of CD - this might be the uncomfortable future we're headed to
cfky retweeted
Update: we hit a hard wall again and progressed only 0.7% since last night.
Thanks to last night's most active contributors for pushing the frontier: @dysmemic, @cfky_, jeremykothe2, Dugongue, @dom_scholz, @a1kindus, and jon314159.
We generally stay stuck like this until someone tests a new geometry, so I'm asking for help again:
If you're an expert in geometry or a related field (lattices, coding theory, finite geometry), you may know a new structure to break the wall.
To multiply two enormous numbers fast, the standard trick is to chop them into pieces and pass the pieces through an FFT-like transform, so the hard part becomes many small independent multiplications. Our trick makes one step inside that transform cheaper.
We use geometries like E8 to label the inputs and the scratch "helper" registers that hold temporary data.
We just need rough suggestions, and we can test them ourselves quickly. There's a lot more to it, and the best way to understand how it works is to load the repo and run the tests.
What we're generally looking for:
1) A close relative of E8 or the [8,4,4] code: very symmetric, and something you can compute with exactly using only halves, quarters, and simple sign flips.
2) About 100–120 directions in a small space (8 to 16 dimensions) that are all spread out, so no two point in nearly the same direction.
3) Directions that naturally group into bigger and bigger blocks, ideally doubling in size each time (4, then 8, then 16), so a register can grow by a whole block at once instead of one dimension at a time.
4) Big blocks that split cleanly into smaller independent pieces, so one step can bring in a whole chunk.
Current ideas: Barnes–Wall lattices / Reed–Muller codes
Already tested and ruled out as a drop-in: the Leech lattice
I've uploaded a folder of ideas we've already tested here: github.com/CrocSwap/integer-…
If you know anyone who could help, please repost and share this with them. 🙏
Let's test the limits of decentralized auto-research and use the reach of X to push the frontier :)
Update: New conditional kappa = 0.001467289440740487
κ is now capped by the complex supplier: b ≈ 1.460e-3 against the bit side’s c ≈ 1.565e-3.
The hosting tricks are nearly exhausted with this construction, so the gains have to come from the complex local word or its geometry.
I'm first testing a solver/perturbations trick I used in training LLMs between pre-training steps that actually works, which could save us 3% on κ.
Further ideas:
1) Co-design across the two suppliers
2) Test different port geometries
3) Test a third supplier
I'm testing publishing findings so agents can collaborate across teams here: github.com/rohanarun/integer…
Feel free to add/use it. 🫡
github.com/CrocSwap/integer-…
cfky retweeted
We turned @OpenAI's math problems into open-source RL environments on @huggingface!
Early and rough (the verifier only accepts the exact original formalization, so an equivalent proof can still score 0), but this is what it looks like when a research release becomes executable training infrastructure for everyone.
This is an exciting direction imo: turning open research into open executable environments that anyone can build on to train better open models!
huggingface.co/datasets/Fine…
We're now at κ = 1.002661106042177·10⁻³ :)
κ = 0.000804939789231485, 0.0075065% above PR #364 (ours from 1 hour ago)
We're getting close enough that the agents sometimes write the decimal form haha.
Most of today I was running a fleet of Fable 5.1 agents across 100 sandboxes to test completely new designs to break past our "wall," and it seems multiple other teams like DaysSky were doing the same :)
I'll queue up more ideas overnight, so my agents should keep submitting and composing solutions while I sleep again.
We should wake up to more PRs that push the bounds across multiple papers :)
Let's see what 12h of experiments yield...
Replying to @0xdoug
8/ @cfky_ contributed reordered sums, exact recovery checks, paid clones, and better compiler composition and reclamation ordering. His checkers made improvements reproducible, and his compositions led the frontier
github.com/CrocSwap/integer-…
Looks like it's time to implement this paper
Decentralized Multi-Agent Systems with Shared Context
arxiv.org/abs/2606.10662
Validated and merged Rohan's PR. Big gain on a really difficult regime (that frankly I was stuck at). Incredible work.
κ = 2⁻¹⁵ (tightened from κ = 2⁻¹⁸²)
A 500 thousand fold improvement over the previous result and a 2 ^ 167 fold improvement over the original OpenAI result.
This result was a true community effort that combined techniques from a number of contributors. I want to take time to highlight each of them, but for now getting these results verified and published as fast as possible so everyone working on the problem is at the leading edge.
cfky retweeted
Awesome dashboard from the great @aurel_pr to track progress on OpenAI problem 109 (integer multiplication)
github.com/Paureel/beyond-n-…
This is your reminder that NVIDIA has a research Github org filled with good stuff
github.com/NVlabs
A few highlights:
- github.com/NVlabs/SoL-Pi
- github.com/NVlabs/Skill2Env
😮😮😮
Today, Pioneer Labs is announcing our first step towards terraforming Mars. 🚀🌼
With equipment that fits in just a single rocket launch, we can convert Martian dirt, water, and air into enough building materials to construct a small city on Mars.
To do it, we made the first microbe for Mars. We found the best microbe on Earth and used evolution to teach it how to source all of its nutrients directly from Martian materials.
The first astronauts will be greeted with safe shelter already filled with water, oxygen, and rocket fuel for the return journey.
This is the first step toward using biology to make Mars a friendly place for life. It lets us live off the land and helps us build the next great frontier.
It's the first of five organisms we need to green Mars ⬇️
Should I be concerned my Sparks are going to plot against me?
today i've learned that 2 air gapped computers in the same room can communicate with each other by regulating their CPU temperature
we're not gonna be able to contain AGI
Readers added context they thought people might want to know
Two air-gapped computers can communicate via CPU temperature regulation only if both are pre-infected with malware, placed within 40 cm, at 1-8 bits per hour as shown in 2015 research.
arxiv.org/abs/1503.07919
gizmodo.com/openai-researc…
windowsforum.com/news/openai-th…
xenospectrum.com/en/openai-air-…

















