LaurieWired runs agents + z3 to find bit-twiddling supersets: 16 ops down to 13
lauriewired · x · 2026-10-28
Security researcher LaurieWired shared her winter "FLOP-maxxing" project: since CPUs/GPU/consoles are 1:1 electric heaters, why not have agents run useful compute-heavy experiments? She's using agents as a superoptimizing compiler, hunting bit-twiddling optimizations for specific CPU generations and proving lower bounds with z3. Screenshots show splitby3 (Morton encoding): libmorton's reference uses 16 operations, while the agent+z3 version needs only 13, with visibly shorter gcc 15.1 -O2 -march=znver2 assembly. "It's working... not bad actually!" A directly reproducible agent + SMT-solver combo.
Related event: Researcher Turns GPUs Into Space Heaters with FLOP-maxxing(2 posts)→
More from coding & agent
- N-queens solved entirely in Python type annotations with ty, each solution a tuple — charliermarsh · 2026-10-28
- MCP gap: services can't push to agents, dev argues spec needs server-initiated events — braelyn_ai · 2026-10-28
- Adding Push to MCP: A New Attack Surface and a Design Sketch — braelyn_ai · 2026-10-28
- Swarms Cloud revamps Models page aggregating 2,000+ LLMs with pricing — KyeGomezB · 2026-10-28
- A new open source model: closed to pull requests, open to remix — kieranklaassen · 2026-10-28
- CC Switch tutorial: rotating multiple Claude official subscriptions and ban-risk notes — dotey · 2026-10-28