izzy
54.2K posts

izzy retweetledi

izzy retweetledi

People are waking up to remote execution for builds and tests. What they don’t realize is without hermetic caching, it’s a huge compute (and time) sink hole.
Imbue@imbue_ai
Your parallel agents needed scalable test coverage yesterday Introducing Offload: a Rust CLI that spreads your test suite across 200+ @Modal sandboxes, freeing your CPU to keep your agents shipping. On our Playwright suite, it took a 12 min run to 2, at $0.08 a run
English

izzy retweetledi

selling “on demand bliss” is just samsara with better branding
Jhourney@jhanatech
Meditation apps and "mindfulness" are on their way out. The jhanas are states of profound joy, peace, and wellbeing you can access on demand. We teach beginners how to enter them in a week. No meditation experience required. jhourney.io
English

@prncessdianavar lead into gold tutorial. lead into gold easy. why is my poultice glowing and smelling of brimstone. how to tell if neighbor is witch
English
izzy retweetledi

Math just got a compiler. Math, Inc. open-sourced OpenGauss, an AI agent that translates human math into machine-verifiable Lean proofs.
→ Beats rival agents with no time limit, using only 4 hours
→ Formalized the Strong Prime Number Theorem in 3 weeks vs. 18+ months for human experts
→ Runs many subagents in parallel
Think of it like a compiler for mathematical truth: you write the idea, it generates code a machine can verify is correct.
Math proofs that took top experts years can now be verified automatically, making formally verified AI training data finally scalable.
github.com/math-inc/OpenG…

English
izzy retweetledi











