Tag
Lean 4
Every Lean 4 story we've curated in Bowl of Data, newest issue first — part of our weekly digest across AI, security, blockchain, and engineering.
Week 42 · 2026
Read the issue →-
The State of Core Solidity | Solidity Programming Language
The article provides a technical status report on the Core Solidity prototype as of October 2026. It details the implementation of modern language features like pattern matching and generics while outlining the remaining roadmap for production readiness.
Week 41 · 2026
Read the issue →-
Hamiltonian simulation at square-root sparsity cost, without the hidden overhead
Researchers have developed a new class of quantum algorithms that reduce the query complexity of simulating sparse Hamiltonians from linear to square-root sparsity scaling. The method eliminates significant subpolynomial overheads and provides nearly tight lower bounds for Hamiltonian simulation, ODEs, and linear systems.
Week 34 · 2026
Read the issue →-
Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
The Ethereum Foundation's new 'better.codes' challenge invites AI-driven solvers to improve the proven security bounds of hash-based SNARKs. By using a machine-verifiable framework in Lean, the project seeks to reach a 128-bit security target through collaborative, agentic research.
Free weekly digest
Get next Saturday’s issue in your inbox
The week’s most relevant AI, security, blockchain, and engineering stories — curated, summarised, and reviewed by humans. No spam, unsubscribe anytime.
Subscribe — it’s free