🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

abhisheksr01/spring-boot-microservice-best-practices
github.com·22h
🌊Streaming Systems
Golang and Let's Encrypt: a free software story
dotat.at·22h·
Discuss: Hacker News
🌳Archive Merkle Trees
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·6d
🧮Theorem Proving
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·22h·
Discuss: DEV
🌊Stream Processing
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
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Hong Mong 5 Development Treasure Case Sharing Buried Point Development Real Battle Guide
dev.to·1d·
Discuss: DEV
🔗Data Provenance
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·14h·
Discuss: DEV
🌳Trie Structures
Machine Learning Fundamentals: adam optimizer example
dev.to·8h·
Discuss: DEV
📊Quantization
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·20h
✅Format Verification
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·2d
💻Local LLMs
⚡️ Stop Writing Flaky Tests: Your Foundational Guide to Async in Playwright
dev.to·18h·
Discuss: DEV
⚡Proof Automation
Context Engineering: A Primer
ai.intellectronica.net·9h·
Discuss: Hacker News
⚙️TLA+
Ormer: A Manipulation-resistant and Gas-efficient Blockchain Pricing Oracle for DeFi
arxiv.org·1d
🔗Hash Chains
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·2d
🎯Performance Proofs
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·2d·
Discuss: DEV
🎯Performance Proofs