🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

derived set
ncatlab.org·1d
🧮Algebraic Archives
How to Prove That An Email Was Received
metaspike.com·19h
📄Document Digitization
Legendre and Ethereum
johndcook.com·1h
🔱Galois Cryptography
abhisheksr01/spring-boot-microservice-best-practices
github.com·13h
🌊Streaming Systems
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·6d
🧮Theorem Proving
Comprehensive Comparison of Algorithmic Trading Platforms
jonathankinlay.com·1d·
Discuss: Hacker News
🔍BitFunnel
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·2d
👑Coq Tactics
I finally figured out how to get the best out of MCP Servers as an AI Developer
dev.to·23h·
Discuss: DEV
🪟Awesome windows command-line
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.org·11h
🧮Theorem Proving
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·11h
💻Local LLMs
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.org·11h
🎯Dependent Parsing
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·2d
🧪CBOR Fuzzing
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·1d·
Discuss: DEV
📏Code Metrics
Hong Mong 5 Development Treasure Case Sharing Buried Point Development Real Battle Guide
dev.to·17h·
Discuss: DEV
🔗Data Provenance
In-Context Learning Strategies Emerge Rationally
arxiv.org·2d
🔲Cellular Automata
Signal Use and Emergent Cooperation
arxiv.org·1d
🔲Cellular Automata
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·21h·
Discuss: Hacker News
⚡Proof Automation
Turn a Single Detection into Enterprise-Wide Prevention with Infinity Playblocks
blog.checkpoint.com·2h
🎯Threat Hunting
The Bitter Lesson is coming for Tokenization
lucalp.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing