How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Prompting Techniques for Specialised LLMs
dev.to·9h·
Discuss: DEV
🔗Constraint Handling
Property-based testing of batch-invariant operations
mmaaz.ca·2h·
Discuss: Hacker News
🧪Property-Based Testing
A grand week
blog.mitrichev.ch·12h·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·15h·
Discuss: Hacker News
📝Concrete Syntax
News for September 2025
ptreview.sublinear.info·1d
🧪Property-Based Testing
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·20h·
Discuss: Hacker News
🧮SMT Solvers
Three important things to get right for successful AI Coding
kau.sh·8h
⚡Proof Automation
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.to·19h·
Discuss: DEV
⚙️Proof Engineering
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·2h·
Discuss: Hacker News
📐Mathematical Art
Excel 2025 CTF | Anonymous (Miscellaneous) challenge Writeup
infosecwriteups.com·18h
🔓Hacking
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·2d
⚔️Lean Theorem
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·6h·
Discuss: Hacker News
🛡️WASM Security
How Much Should You Tell Your AI Agent?
raymondyxu.com·7h·
Discuss: Hacker News
⚡Proof Automation
Building a Command-Line Quiz Application in R
towardsdatascience.com·11h
🐚Shell Calculus
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·12h·
Discuss: DEV
⚡SMT Integration
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔢Denotational Semantics
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
Discuss: Hacker News, r/rust
📊HyperLogLog
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
The Making of Digital Identity – The Birth of Digital Authentication
syntheticauth.ai·10h·
Discuss: Hacker News
🔐PKI Archaeology