Mark C.

I have been laughing at this entirely too long...

github.com/math-inc/OpenG… math.inc/opengauss math.inc/formalqualbench

Today, at the @DARPA expMath kickoff, we launched 𝗢𝗽𝗲𝗻𝗚𝗮𝘂𝘀𝘀, an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier. It is stronger, faster, and more cost-efficient than off-the-shelf alternatives. On FormalQualBench, running with a 4-hour timeout, it beats @HarmonicMath's Aristotle agent with no time limit. Users of OpenGauss can interact with it as much or as little as they want, can easily manage many subagents working in parallel, and can extend / modify / introspect OpenGauss because it is permissively open-source. OpenGauss was developed in close collaboration with maintainers of leading open-source AI tooling for Lean. Read the report and try it out:

Elon thinks my life should have stopped at 22. If you're young and suffering, don't listen to this nepo clown, he has no clue what he's talking about.

Deep dive into bypassing firmware encryption on ESP32 courk.cc/breaking-flash… #infosec

If you disagree then your exploits may not be complex enough 🤷🏻‍♀️

Wonder what I mean? Well, for one, even with seamless tool integration, the frontier models are still pretty poor at debugging for xdev purposes. It makes sense — the public training data for that is inexistent…

Don't forget - QKD can actually be hacked... We've had some stellar talks on this @quantum_village , best of which is from Prof. Vadim Makarov: youtu.be/Phh-jO--bDU

I have been dreaming of this day for a long time. Arena is now a book publisher, and our first volume, "Silicon" is open for preorders. It's quite unlike anything you've seen: a coffee table book capturing the ecstatic beauty of silicon technology. arenamag.com/silicon

When Wired asked us to run Sybil against a vibe-coded AI research site, we couldn’t resist. Thanks to @willknight for diving deep into our approach and what makes Sybil different from legacy scanners. This is just the beginning 😈 wired.com/story/i-watche…

HOLY F: Workday just lost the argument that matters most. A federal judge said their AI hiring tools can be challenged for filtering out applicants over 40. “The algorithm did it” is NOT a defense. If this holds… every company using automated hiring just stepped into legal risk. You’re not crazy... if you’ve applied to 50, 100, 200 jobs and heard nothing… The system itself may be filtering you out. The decision means the plaintiffs may continue pursuing claims that Workday’s technology had a disparate impact on applicants age 40 and older. - SHRM Judge Lin dismissed some California claims and one disability claim, but gave plaintiffs until March 27 to revise and refile.

I'm at this DARPA expMath (AI for math) program kickoff and the lineup is legendary. Like, at the level of a truly historical meeting, held at a historical time. Makes me feel way more important than I actually am lol

Paper: arxiv.org/abs/2603.08716

Design Conductor: an AI agent that can build a RISC-V CPU core from design specs. The agent is given access to a RISC-V ISA simulator and manuals... to enable an end-to-end verification-driven generation. The most important thing for design intelligence is a verifier 😎

A 2-layer neural network goes from total chaos to perfectly separating left vs right classes in real time. Watch the decision boundary form live as gradient descent works its magic! Pure maths beauty in motion..

Books about entropy all have the same problem. The longer you read them, the more random they get.

Claude telling me I'm wrong: man I'm glad I have this perspective available to me. Claud telling me I'm right: this is clearly sycophantic behavior, I need a different perspective.

Pretty chuffed with my 0.07% tbh.

Spent the last few days thinking about some conjecture. Gathered strong evidence it was true: proved it up to dimension 15 (by computer, about 100,000 cases). Just found an easy counterexample in dimension 16.

RE//verse 2026 talks are live on YouTube! Want to revisit a talk or catch the ones you missed? The full playlist is now available: youtube.com/playlist?list=…