🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Understanding Brotli PDF Compression
pdfa.org·1d
🌪️Brotli
CSCPSUT MetaCTF25 Qualifications Writeups
infosecwriteups.com·15h
🔐PKI Archaeology
Collaborations Workshop 2025 Report
software.ac.uk·14h
📇Dublin Core
Codeminer42 Dev Weekly #67
blog.codeminer42.com·4h
❄️Nix Adoption
AI Security Risks: When Models Lie, Blackmail, and Refuse to Shut Down
lmgsecurity.com·1d
🎯Threat Hunting
Non-Transactional, Positive-Sum, and Multi-Turn
feld.com·7h·
Discuss: Hacker News
🔲Cellular Automata
I Tested an OpenRewrite Recipe: The Mistakes I Made and How to Fix Them
hackernoon.com·1d
⚖️Verification Calculi
The Backtester's Edge: How Code and AI Transform Your Strategy Game
fractiz.com·2d·
Discuss: Hacker News
⚡Proof Automation
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·1d·
Discuss: Hacker News
🧭Content Discovery
How Language Became Infrastructure—and Why That Should Worry Us
hackernoon.com·1d
📋Document Grammar
Show HN: Zsh-AI – Natural language to shell commands in your terminal
github.com·6h·
Discuss: Hacker News
⌨️Terminal Customization
From Manual to AI: My Journey with Keploy Chrome Extension
dev.to·13h·
Discuss: DEV
🎬WebCodecs API
Web Agents That Actually Understand Websites: How Notte's Perception Layer Solves the DOM Problem
dev.to·7h·
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
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Any employee can build apps and it's hell for developers
writer.com·4h·
Discuss: Hacker News
⚙️TLA+
Memory Safety in Web Rust System Zero Cost Secure（1750931826373700）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Here is a creative heading for the blog post: "The Phantom Hackers: Unmasking the Invisible Foes of
dev.to·1d·
Discuss: DEV
🛡Cybersecurity