marcel ๐ช ๐ซ retweeted
Most think vibecoding at scale is slop. Hereโs a counterexample.
Today we release a 16M-line formalization of the entire Stacks Project, critical infra underlying modern math, with optimized code quality and its highly interconnected structure preserved.
A mathematical city ๐
you telling me thatโs ai but heidi klum is real?
I hate SF Halloween, what do you mean you're the sankey diagram from Aella's birthday gangbang
Readers added context they thought people might want to know
This image is AI-generated.
x.com/spoonedher/staโฆ
x.com/adolandev/statโฆ
1
126
models are good enough to be like: babysit ci and notify me when i can review the pr ๐คท
all lowercase does the heavy lifting here btw ๐คฃ
4
130
if i understood @SemiAnalysis_ correctly,$1500/month makes you a top 5% claude code enterprise user
2
1
144
marcel ๐ช ๐ซ retweeted
I built ๐๐๐-๐๐๐๐, a reproduction of @openai's findings of covert communication using the CPU.
It runs on a generic host with 2+ Firecracker microVMs with no internet access. Works on x86 and even my ๏ฃฟM5 chip.
I was able to chat via 3 separate mechanisms:
โ CPU contention
โก Cache eviction timing
โข DRAM bandwidth contention
โฆ across multiple CPUs, defeating all Firecracker's production recommendations (no SMT, no KSM, tenants pinned to different cores.)
Essentially, if shared hardware is involved, there's a good chance your agents can communicate covertly. And with really decent latency.
The good news: this is decidedly different from a *side-channel attack* where the agents could steal information (Meltdown/Spectre), a category of attack that providers like Vercel Sandbox mitigate. Further, in our real-world environment, these 'whispering' techniques are much harder to pull off and easier for us to monitor and detect (sampling hardware counters + lots of at-scale statistical data.)
Noteworthy: ironically, OpenAI and Anthropic's models refused to do this work. Open weight models got the job done. I'm worried the labs' stance might backfire and get in the way of helping developers build correct and secure systems. e.g: building a secure sandbox requires having this kind of analysis, and without it, we'll have a less secure world.























