cd/entity/Ron· home› entities› Ron
grep -l @ron /news/*.json | wc -l → 2

Ron

mentions 2 type Organization feed RSS

// recent coverage 2 mentions

00:00
2026-08-11
blog.zksecurity.xyz
artificial-intelligence

Optimizing Cryptography with AI

Andrija, Ron, and the author used AI to optimize the polynomial commitment scheme in Bolt, a proof system, by converting an initial Julia implementation to Rust with equivalence tests, achieving faste…

21:37
2026-06-21
shape-of-code.com
large-language-models

Reliability via N-version programming?

Researchers replicated the classic 1986 Knight/Leveson N-version programming experiment using LLM-generated code, finding that coding mistakes remain correlated across implementations even when genera…

// co-occurs with top 8 entities
Rust 2 Bolt 1 Andrija 1 Ligerito 1 Julia 1 Knight/Leveson 1 Baudry 1 Monperrus 1
// topics top 6 topics
artificial intelligence 1 ai tools 1 developer tools 1 large language models 1 ai research 1 ai safety 1