👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·5h·
Discuss: Hacker News
🎯Interactive Provers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Cactus Language • Stylistics 4
inquiryintoinquiry.com·11h
🌳Context free grammars
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
Students, here are 5 key things to know when learning how to train large language models
techradar.com·9h
💻Local LLMs
Historical highlights?
logicmatters.net·15h
🔀Category Theory
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·11h
🔗Hash Chains
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Extensions and Shadows (6)
sites.psu.edu·1d
🎯Proof Tactics
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·12h
🦀Rust Verification
A distributed systems reliability glossary
antithesis.com·11h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·2d
🌐DNS Security
Machine Learning Fundamentals: decision trees with python
dev.to·9h·
Discuss: DEV
🔗Topological Sorting
Hazel: A live functional programming environment with typed holes
github.com·7h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·9h
🧮Kolmogorov Bounds
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·3h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security