🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Understanding Brotli PDF Compression
pdfa.org·1d
🌪️Brotli
Non-Transactional, Positive-Sum, and Multi-Turn
feld.com·3h
🔲Cellular Automata
CSCPSUT MetaCTF25 Qualifications Writeups
infosecwriteups.com·11h
🔐PKI Archaeology
Collaborations Workshop 2025 Report
software.ac.uk·9h
📇Dublin Core
Beyond Traditional Threats: The Rise of AI-Driven API Vulnerabilities
lab.wallarm.com·1d
🎯Threat Hunting
I Tested an OpenRewrite Recipe: The Mistakes I Made and How to Fix Them
hackernoon.com·21h
⚖️Verification Calculi
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·1d·
Discuss: Hacker News
🧭Content Discovery
Show HN: Zsh-AI – Natural language to shell commands in your terminal
github.com·2h·
Discuss: Hacker News
⌨️Terminal Customization
Context Engineering: A Primer
ai.intellectronica.net·1d·
Discuss: Hacker News
⚙️TLA+
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·2d·
Discuss: DEV
🤖Lisp Machines
Ormer: A Manipulation-resistant and Gas-efficient Blockchain Pricing Oracle for DeFi
arxiv.org·2d
🔗Hash Chains
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·3d
🎯Performance Proofs
From Manual to AI: My Journey with Keploy Chrome Extension
dev.to·9h·
Discuss: DEV
🎬WebCodecs API
Web Agents That Actually Understand Websites: How Notte's Perception Layer Solves the DOM Problem
dev.to·3h·
Discuss: DEV
🗣️Domain-Specific Languages
If You Want to Learn Algebra, You Need to Have Automaticity on Basic Arithmetic
justinmath.com·3d·
Discuss: Hacker News
📚Proof Pedagogy
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·3d·
Discuss: DEV
🎯Performance Proofs
Writing Toy Software Is a Joy
quiz.businessexplain.com·1d·
Discuss: Hacker News
🔩Systems Programming
AI Course in Bangalore with Tools & Live Training
dev.to·6h·
Discuss: DEV
🗺️Competency Maps
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·1d·
Discuss: DEV
🌊Stream Processing