it's good to be back to the age of blogging

This is great! Finally, Diffusion #LLMs are starting to consolidate! Great work! #AI #MachineLearning

Benchmarks are often easier to game than they look. We build BenchJack to audit benchmarks for hidden shortcuts and reward hacks — before they evaluate your agent. Now in preview. Fully open source, with support for auditing your own benchmarks too. github.com/benchjack/benc…

1/ 🧵Introducing: VeriSpecGen 🚀 Formal verification is a principled way to guarantee code correctness, but writing high-quality specifications remains expensive and expertise-intensive. What if LLMs could reliably synthesize intent-aligned formal specs directly from natural