my only contribution to the weeklong discourse is that it a lot of people seem to have no clear idealism around marriage and that hurts them greatly you both need to share a positive vision that you both find appealing

startup math, but for happiness

We formally verified custom Plonky2 gates used in @Lighter_xyz, a fully verifiable decentralized exchange. Our approach? Export the constraints from Rust, generalize parameters, write a specification in Lean, then create machine-checkable proofs for soundness and completeness. Let’s look at how it’s done for the `U32AddManyGate`.

Never. Give. Up.

I think about this Seinfeld interview all the time.

Progress in coding agents has largely been driven by progress in evals. I still remember when Devin was the first to reach 13% on SWE-Bench in 2024, and with just two short years of RL, SWE-Bench scores are 75% . Its uncanny that 13% is also what the best model gets in our newest benchmark. Why do models do so poorly on this benchmark? Because it measures actual merge-ability of code, not just whether it passes unit tests. This was a collaborative effort between our own research team and expert open-source maintainers to curate evals that take over 40 hours of human work per task. The rubrics for these tasks were fine-tuned over multiple stages of QA and review. Extremely proud of the team and excited for the coming agents that will saturate even this benchmark.

We benchmarked V12 on finding 289 bugs in 31 crypto projects, versus Claude Code and Codex. Codebases include L1s (validator clients, VMs, P2P/consensus), Cosmos SDK/IBC modules, on-chain apps (Solidity contracts, Solana programs, CosmWasm) V12 outperforms on all 4 languages!

We reported a critical loss of funds bug to @Thorchain (32M TVL, 150M FDV) They silently patched it and told us their bug bounty program is permanently retired. We have more Thorchain chain halt DoS vulns. We intend to release them (open disclosure) in the coming few days

When Rafael Nadal was a kid, uncle Toni told him if he faced a better kid, he would magically make rain appear… In the 2008 Wimbledon final, rain appeared after Nadal had blown a two-set lead to Federer… And Rafa told Toni: 'You can stop the rain, I'm not going to lose.' 😭

this review of Interstellar (2014) by @lauren_wilford is one of the best things I’ve read in a while

the new state of things does not encourage deep work or craft except in people who have a really Benedictine self discipline

I made a /seppuku skill for my Claudes for when they make an unforgivable mistake, and now they use it spontaneously without me asking.

it’s in gemini, just create it in ai studio. oh, that’s for your personal google one account. for workspace you need gemini business. no, not gemini advanced, that’s ai pro now. unless you need ai ultra. oh agents? you do that in spark actually. no, not gemini api managed agents, that’s different. for coding use jules. unless you mean the agentic ide, that’s antigravity. no, that’s the old antigravity, download the new one. actually gemini cli is being deprecated, use antigravity cli. no the flash model is smarter than the pro model. unless you need pro. if it’s video, use flow. no, flow uses veo. no, nano banana is images. actually that’s in gemini now. unless you’re in search, then it’s ai mode. no, research is notebooklm. anyway it’s all very simple.

legendary pull on facebook marketplace

linux LPE in rds kernel module

unauthenticated root RCE on TerraMaster TOS4 NAS appliances. ( free additional LPE) something light for sunday. bigger stuff this week! :-)

This single scene was worthy of an Oscar.

today we are releasing a qemu escape

another day, another universal linux LPE

hmm