Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·7h
Proof Automation
Let's Prove Leftpad
github.com·3h·
Discuss: Hacker News
📜Proof Carrying Code
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Three important things to get right for successful AI Coding
kau.sh·1d
Proof Automation
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·1d·
Discuss: DEV
SMT Integration
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·1d
⬆️Lambda Lifting
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·2d·
Discuss: Hacker News
🧮SMT Solvers
Adversary TTP Simulation Lab
infosecwriteups.com·5h
🏠Homelab Pentesting
Embedding Lua in Nim
lambdacreate.com·23h
🦀Rust Macros
Embracing the parallel coding agent lifestyle
simonwillison.net·1d·
⚔️Lean Tactics
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
AI Code Assistants Are Making Developers Lazy (And That's Actually Good)
dev.to·6h·
Discuss: DEV
📏Code Metrics
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·1d
📏Code Metrics
Seriously Testing LLMs
satisfice.com·1d
🔍Concolic Testing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·2d·
Discuss: Hacker News
📝Concrete Syntax
How I Used ChatGPT to Land My Next Data Science Role
towardsdatascience.com·17h
🗺️Competency Maps
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·2d·
Discuss: Hacker News
🎯Interactive Provers
expressjs/express
github.com·1d
Proof Automation
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·2d·
Discuss: DEV
🧮Z3 Solver
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·7h
Automated Theorem Proving