🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·7h
🔲Cellular Automata
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Historical highlights?
logicmatters.net·2d
🔀Category Theory
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
How to actually use Model Context Protocol
seangoedecke.com·11h
⚡Proof Automation
Dual numbers
funcall.blogspot.com·19h·
Discuss: www.blogger.com
📐Interval Arithmetic
‘Controlled chaos’: how to create an environment that fosters genius
nature.com·28m
📐Mathematical Art
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
A Wide Reduction Trick (2022)
words.filippo.io·9h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
2011 N1 = 2024 A2
blog.evanchen.cc·18h
🔬Lean
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·7h
🔐Quantum Security
Extensions and Shadows (6)
sites.psu.edu·2d
🎯Proof Tactics
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·4h
📜Proof Carrying Code
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
A Poet Completes the Square
denisegaskins.com·22h
⚔️Lean Tactics
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·1d
🎯Gradual Typing
Proof by Intimidation
en.wikipedia.org·1d·
Discuss: Hacker News
🎯Proof Tactics
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Some History Notes on Casting Out Nines, and an extension you probably never heard of.
pballew.blogspot.com·5h·
Discuss: www.blogger.com
🎯Arithmetic Coding