🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·4h·
Discuss: Hacker News
🎯Interactive Provers
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
W1seGuy | TryHackMe Walkthrough — XOR? BrUt3_F0rC3 iT
infosecwriteups.com·1d
🔐Cryptographic Archaeology
Extensions and Shadows (6)
sites.psu.edu·1d
🐓Coq
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
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
A Minimal DDPM
github.com·26m·
Discuss: Hacker News
🧠Machine Learning
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·10h
🔗Hash Chains
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·11h
🦀Rust Verification
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Asymmetry of Verification and Verifier's Law
jasonwei.net·1h·
Discuss: Hacker News
🔮Proof Search
Uncensored Multi-Agent AI Debate System Locally with Knowledge Base Now with a UI! (Part 3)Full code.
dev.to·13h·
Discuss: DEV
📝ABNF Parsing
Historical highlights?
logicmatters.net·15h
🔀Category Theory
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·2d
🌐DNS Security
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·2h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference