🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

derived set
ncatlab.org·1d
🧮Algebraic Archives
Legendre and Ethereum
johndcook.com·6h
🔱Galois Cryptography
abhisheksr01/spring-boot-microservice-best-practices
github.com·18h
🌊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
Machine Learning Fundamentals: adam optimizer
dev.to·4h·
Discuss: DEV
📊Quantization
Context Engineering: A Primer
ai.intellectronica.net·4h·
Discuss: Hacker News
⚙️TLA+
In-Context Learning Strategies Emerge Rationally
arxiv.org·2d
🔲Cellular Automata
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·2d·
Discuss: DEV
🧬Functional Programming
Hong Mong 5 Development Treasure Case Sharing Buried Point Development Real Battle Guide
dev.to·22h·
Discuss: DEV
🔗Data Provenance
I finally figured out how to get the best out of MCP Servers as an AI Developer
dev.to·1d·
Discuss: DEV
🪟Awesome windows command-line
Signal Use and Emergent Cooperation
arxiv.org·1d
🔲Cellular Automata
Turn a Single Detection into Enterprise-Wide Prevention with Infinity Playblocks
blog.checkpoint.com·6h
🎯Threat Hunting
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·1d·
Discuss: Hacker News
⚡Proof Automation
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·17h·
Discuss: DEV
🌊Stream Processing
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·2d
💻Programming languages
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·1d·
Discuss: DEV
📏Code Metrics
The Bitter Lesson is coming for Tokenization
lucalp.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
⚔️ The Josephus Problem Explained: Constant-Time Solution for k = 2
dev.to·9h·
Discuss: DEV
🌳Trie Structures