📐 Theorem Proving - ghosh.debasish · Scour

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers 🔧SMT Solvers

Food for Agile Thought #541: GPT-5.5, Product Managers&Trouble, Product on Speed 📊LLM Evaluation

age-of-product.com·6d·Hacker News

The fall of the theorem economy (David Bessis) 🔧SMT Solvers

lesswrong.com·20h

jessealama/thales: TypeScript compiler and JavaScript engine in Lean 🦀Rust

github.com·3h·Hacker News

Functional Programming in Lean - Functional Programming in Lean λFunctional Programming

leanprover.github.io·2d·Hacker News

Tigers place Javier Báez and Casey Mize on injured list 🔁Category Theory

·19h

Potkalitsky: Deescalating the AI Learning Debate 🧠Reasoning Models

nickpotkalitsky.substack.com·1h·Substack

The Final Form of Software Development ✅Formal Verification

blog.zksecurity.xyz·1d·Lobsters, Hacker News

Delegated Execution Sharding (DES): A hyper-parallelized zkEVM for theoretically optimal execution-layer scalability 🖥️Systems Programming

ethresear.ch·5d

- YouTube 🔁Category Theory

youtube.com·17h

Machine-Speed Defense for Lean Security Teams 🧪Property-based Testing

malware.news·1d

Supreme Court appears to lean toward ending TPS for some migrants 📜Constitutional AI

Security and Privacy Compliance for SaaS Startups: A Complete Guide to Tools, Costs, and Implementation ✅Formal Verification

calvant.com·6d·DEV

This Vase Has a Glass Lattice That Lets Stems Find Their Own Angle 🔤PLT

yankodesign.com·5h

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent 🔧SMT Solvers

lean + clean blogging: matt marshall's personal site 📝Write-Ahead Log

ohmyblog.bearblog.dev·2d

Qualcomm spikes despite poor forecast citing progress with “leading hyperscaler” and an imminent return to growth in China 📝Write-Ahead Log

sherwood.news·18h

Mechanistic insights and descriptor screening of alloy catalysts for CO-assisted NO reduction under lean-burn conditions 🛢️Database Internals

sciencedirect.com·1d

Yung Lean Debuts New Music in Short Film Storm Pt. I & II 🌊Streaming Algorithms

pitchfork.com·6d

A Battle of the Drones Looms Between China and Taiwan 📊LLM Evaluation

·1h

Log in to enable infinite scrolling