🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Lore Laundering Machines - by Ben Recht - arg min
argmin.net·2d
🎯Performance Proofs
Flag this post
Some Notes from RIPE-91
potaroo.net·1d
🌐DNS over QUIC
Flag this post
Moving Back to a Dynamic Website
chameth.com·10h·
Discuss: Hacker News
🦋Format Metamorphosis
Flag this post
I'm Independently Verifying Go's Reproducible Builds
agwa.name·5h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
AGI is a Long Ways Off. Anyone who says otherwise is Selling Something
waleedk.medium.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
How and why I built a free AI Visibility / GEO tool
news.ycombinator.com·49m·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
Building Advanced AI Agents with LangChain's DeepAgents: A Hands-On Guide
dev.to·18h·
Discuss: DEV
⚡Proof Automation
Flag this post
Enhanced Predictive Modeling of Brazil Nut Effect Distribution via Dynamic Network Rescaling
dev.to·9h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Show HN: E2E Testing for Chatbots
github.com·4h·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Mapping Faithful Reasoning in Language Models
arxiv.org·1d
🎯Dependent Parsing
Flag this post
The Forgotten Hero in the AI Workflow
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Medical Imaging
dev.to·23h·
Discuss: DEV
🔲Lattice Cryptography
Flag this post
Agentic AI and Security
martinfowler.com·1d·
Discuss: Hacker News, Hacker News
💻Local LLMs
Flag this post
Framework for Machine Evaluation of Reasoning Completeness in Large Language Models For Classification Tasks
arxiv.org·1d
🧠Intelligence Compression
Flag this post
Show HN: Front End Fuzzy and Substring and Prefix Search
github.com·15h·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Claude Code is a Beast – Tips from 6 Months of Hardcore Use
dev.to·18h·
Discuss: DEV
✨Effect Handlers
Flag this post
Implementing Minimax for Game AI: From Basic Algorithm to Optimized Search
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Beyond the Magic: How LLMs Work
tag1.com·1d·
Discuss: Hacker News
💻Local LLMs
Flag this post
The Mirror Loop: Recursive Non-Convergence in Generative Reasoning Systems
arxiv.org·1d
🔗Parser Combinators
Flag this post
Quantifying Explainable AI Reliability Through Causal Graph Reconstruction and HyperScore Validation
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Flag this post