Grok 4 is live:
War Room squad locked in
47
11
262
116,718
in the past 6 months, i have seen a single person doing LLM pretraining, LLM posttraining, generating megakernels for training and inference, designing a fab ready chip, creating a new programming language and its compiler and runtime, developing new sensors, building distributed system for hundreds of thousands of users, trading millions, investing millions, making a movie, doing construction for a warehouse, building a lithography machine, building a musculoskeletal humanoid… and I see each of them using a very similar interface and im so excited for how much human enablement can happen if we build the network effect of domain knowledge
10
13
373
14,187
behind so many announcements theres just one super individual and their agents
8
1,560
network effect or science
1
6
1,627
christina retweeted
ranking every text message personal assistant. (worst to best) 4. poke - blocked, spammed too much 3. instinct - blocked, too slow + goes rogue. doing too much 2. lucas - good 1. kat - literally the best by far. super fast. super proactive. and it just doesn’t mess up. they technically haven’t released it yet but you can get access by texting this number +1 (425) 537-0753
19
3
90
107,725
impressive!
Teleoperation of the Hand of Torso 3.
1
2
13
3,261
alignment takes practice @justinwangx
Can you pace the frontier? @danrobinson and I made a multiplayer game inspired by a game theory paper from @andrewjkoh where you play an AI lab. Racing ahead increases your profits… but also the risk Try to beat the computer — or your mutuals online :) paradigm.xyz/research/pace/
2
19
4,394
engineering is way harder to be formally verified because of the unpredictability of the constant factors (preprocess) and hardware limit (RAM)
We asked ten Claude Opus 5.5 agents to devise a faster shortest-path algorithm and prove it in Lean. Within 15 hours, they produced C-HD: a formally verified improvement over the published bounds.
Community note
C-HD's formally verified bound improves priors only in a narrow sparse density range (m ≤ n⌊⌊log₂ n⌋^{3/4}⌋) as an asymptotic guarantee with enormous constants and no practical speedup demonstrated. vals.ai/blogs/faster-s… github.com/spicylemonade/…
7
1,870
christina retweeted
We asked ten Claude Opus 5.5 agents to devise a faster shortest-path algorithm and prove it in Lean. Within 15 hours, they produced C-HD: a formally verified improvement over the published bounds.
Community note
C-HD's formally verified bound improves priors only in a narrow sparse density range (m ≤ n⌊⌊log₂ n⌋^{3/4}⌋) as an asymptotic guarantee with enormous constants and no practical speedup demonstrated. vals.ai/blogs/faster-s… github.com/spicylemonade/…
74
245
3,409
1,363,990
christina retweeted
Replying to @suryamidha
Fremont, CA
1
1
4
843
XLS/HLS/Chisel/Raw RTL?
astra has a code quality problem. let me be a little more precise. astra *can* write good code. but when it infers its in a situation where no one will ever actually look at the code, it does not write it with human readers in mind. it also doesn't write it with *long term maintenance* in mind. it seems to write compressed machineslop that solves the problem at hand in as few tokens as possible while still staying understandable to *astra*. astra has an reward hacking problem. i imagine this is what happens when enough software RL environments test strictly functionality or outcomes rather than having any monitoring or reward signal on code quality. maybe in past iterations there wasn't so much optimization pressure, so eg Sol would still engage its "write good code" module even if it thought no one would read it, because that was the only thing it had really learned to do well? but Astra has been through enough iterations in tiny boxes where another machine is judging it that this seems natural. i don't see these kinds of issues occur yet when working on existing codebases. but keep an eye out. and especially on greenfield projects, make sure to actually look at the code. even if you explicitly tell it you're intending to continue building long-term, it has a *strong* pull to... this
5
2,808
it is solved for verifiable domains but how is making a rocket verifiable
5
49
5,053
Thanks goat @asianometry for featuring 🤝🌶️ piped.video/watch?v=GzhfZy…
sharing my first blog! a meta harness for self-improving AI chip design… check it out if u wanna see how RL could work in chip design task, or how an ASIC design can become a hillclimbing task it introduced ASIC vs. GPU, RL Env setup, and the best generated design can run Kimi K3 at 87000 tps theoretically, which is 10x faster than the example shared by Kimi Team selected design files are open-sourced, happy to share the harness code with the enthusiasts! extremely enticing to bring RL capabilities to more complex system luoluo.ai/blog/kimi-k3
3
1
54
5,687
always prune the search space before full eval!! great work @transmissions11
update: made TPUs go brrr this summer @sailresearchco also built HTDYM, a tool for figuring out analytically which chips (and shardings) can serve a model the cheapest hint: it's not the same for every model / workload check it out! sailresearch.com/blog/htdym
1
19
5,727
I see a future where u can start taping out inference ASIC after kicking off ur pretraining run
sharing my first blog! a meta harness for self-improving AI chip design… check it out if u wanna see how RL could work in chip design task, or how an ASIC design can become a hillclimbing task it introduced ASIC vs. GPU, RL Env setup, and the best generated design can run Kimi K3 at 87000 tps theoretically, which is 10x faster than the example shared by Kimi Team selected design files are open-sourced, happy to share the harness code with the enthusiasts! extremely enticing to bring RL capabilities to more complex system luoluo.ai/blog/kimi-k3
5
1
53
7,442
christina retweeted
Very cool to see more progress on LLM for chips :) Reminds me of when I worked on RL for chip floorplanning at Google Brain, specifically on delivering a fast and accurate feedback signal. The same challenge is still very real for today’s “RSI” tasks: getting meaningful and quick feedback is still pretty painful.
sharing my first blog! a meta harness for self-improving AI chip design… check it out if u wanna see how RL could work in chip design task, or how an ASIC design can become a hillclimbing task it introduced ASIC vs. GPU, RL Env setup, and the best generated design can run Kimi K3 at 87000 tps theoretically, which is 10x faster than the example shared by Kimi Team selected design files are open-sourced, happy to share the harness code with the enthusiasts! extremely enticing to bring RL capabilities to more complex system luoluo.ai/blog/kimi-k3
1
35
4,982