🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·1h
⚛️Quantum Compilers
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔢Denotational Semantics
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·1d·
Discuss: DEV
🧮Z3 Solver
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·17h·
Discuss: Hacker News
⚡Dependent Rust
On This Day in Math - October 6
pballew.blogspot.com·37m·
Discuss: www.blogger.com
📐Interval Arithmetic
News for September 2025
ptreview.sublinear.info·1d
🧪Property-Based Testing
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·3d
⚔️Lean Theorem
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·2d·
Discuss: Hacker News
🔬Lean
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·1d·
Discuss: Hacker News
🎯Interactive Provers
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·1d
🔀Category Theory
Training Dynamics of Parametric and In-Context Knowledge Utilization in Language Models
arxiv.org·1h
🌲Parse Trees
Infinite Footguns: Writing a JavaScript Interpreter in JavaScript
scour.ing·1d
⚡Proof Automation
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·18h·
Discuss: Hacker News
📝Concrete Syntax
Property-based testing of batch-invariant operations
mmaaz.ca·6h·
Discuss: Hacker News
🧪Property-Based Testing
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·12h·
Discuss: r/programming
⚡Cache Coherence
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·16h·
Discuss: DEV
⚡SMT Integration
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·1h
✨Effect Handlers
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·6h·
Discuss: Hacker News
📐Mathematical Art
expressjs/express
github.com·4h
⚡Proof Automation