🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

CSCPSUT MetaCTF25 Qualifications Writeups
infosecwriteups.com·20h
🔐PKI Archaeology
Codeminer42 Dev Weekly #67
blog.codeminer42.com·9h
❄️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·12h·
Discuss: Hacker News
🔲Cellular Automata
gensyn-ai/rl-swarm
github.com·2h
🔄Sync Engine
The Backtester's Edge: How Code and AI Transform Your Strategy Game
fractiz.com·2d·
Discuss: Hacker News
⚡Proof Automation
How Language Became Infrastructure—and Why That Should Worry Us
hackernoon.com·1d
📋Document Grammar
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·4d
💻Programming languages
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·18h·
Discuss: DEV
🎬WebCodecs API
Web Agents That Actually Understand Websites: How Notte's Perception Layer Solves the DOM Problem
dev.to·12h·
Discuss: DEV
🗣️Domain-Specific Languages
If You Want to Learn Algebra, You Need to Have Automaticity on Basic Arithmetic
justinmath.com·4d·
Discuss: Hacker News
📚Proof Pedagogy
Writing Toy Software Is a Joy
quiz.businessexplain.com·2d·
Discuss: Hacker News
🔩Systems Programming
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
Any employee can build apps and it's hell for developers
writer.com·9h·
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
How We Built an AI-Powered Legal Timeline Generator
dev.to·18h·
Discuss: DEV
⚡Proof Automation
Programming Entry Level: how to interpreter
dev.to·3d·
Discuss: DEV
🔗Lisp