🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Verification power of rational-valued automata with deterministic and affine states
arxiv.org·43m
🎯Automata theory
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
🧠Machine Learning
Compiling a Functional Language to LLVM
danieljharvey.github.io·22h·
Discuss: Lobsters, Hacker News
🔗Lisp
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·1d
🎯Performance Proofs
Contradictions
arxiv.org·43m
🔲Proof Irrelevance
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·9h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
The Engine to No Engine Journey
md.jtmn.dev·1h·
Discuss: Hacker News
🦀Rust Macros
Kleene's Recursion Theorem
en.wikipedia.org·3d·
Discuss: Hacker News
🔤Type Theory
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·1d
🛡️Proof-Carrying Data
Human vs. AI in Logic Tasks: a Study
dailynous.com·18h
✓Automated Theorem Proving
Learning web development: Frontend frameworks
2ality.com·1d
🔗Concatenative Programming
Outcome-based Exploration for LLM Reasoning
arxiv.org·1d·
Discuss: Hacker News
🔗Constraint Handling
The bloat of edge-case first libraries
43081j.com·8h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
izzyreal/vmpc-juce
github.com·3h
🎮Gameboy Emulation
Think Tasks Not Tools: Teaching AI Literacy in East Asian Art History
digitalorientalist.com·16h
🤖AI Paleography
Eyes Wide Shut
dev.to·8h·
Discuss: DEV
🔲Cellular Automata
Systematic Optimization of Open Source Large Language Models for Mathematical Reasoning
arxiv.org·43m
🧮SMT Solvers
Rich Answered That
gist.github.com·12h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
The Little Book of Everything
github.com·1d·
Discuss: Hacker News
λLambda Formalization
Undecidability of Tiling with a Tromino
arxiv.org·43m
🎯Performance Proofs