👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Feeds to Scour
SubscribedAll
Crossing the Autonomy Threshold
paloaltonetworks.com·2d
🎯Threat Hunting
Preview
Report Post
Defensive Research, Weaponized: The 2025 State of Pipeline Security
boostsecurity.io·1h
🔓Hacking
Preview
Report Post
[D] Thoughts on ML for drug discovery?
reddit.com·1d·
Discuss: r/MachineLearning
🔍Vector Forensics
Preview
Report Post
Show HN: Chorus – Multi-agent debate through epistemological framework collision
chorusai.replit.app·3h·
Discuss: Hacker News
🌍Cultural Algorithms
Preview
Report Post
Notes on Distributed Systems for Young Bloods (2013)
somethingsimilar.com·1d·
Discuss: Hacker News
🤝Distributed Consensus
Preview
Report Post
Why do we become mathematicians?
maa.org·1d·
Discuss: Hacker News
📐Mathematical Art
Preview
Report Post
How to Use Git Worktree for Claude Code Development
medium.com·10h·
Discuss: Hacker News
🌳Git Internals
Preview
Report Post
React2shell: CVE-2025-55182 Technical Breakdown
miggo.io·17h·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post
Beyond Basic RAG: 3 Advanced Architectures I Built to Fix AI Retrieval
vibe.forem.com·1d·
Discuss: DEV
🌀Brotli Internals
Preview
Report Post
In the Beginning Was the Command Line
web.stanford.edu·7h·
Discuss: Hacker News
🍎Apple Computing
Preview
Report Post
A Greek Government Decisions Dataset for Public-Sector Analysis and Insight
arxiv.org·11h
📋Document Grammar
Preview
Report Post
3D Path Planning for Robot-assisted Vertebroplasty from Arbitrary Bi-plane X-ray via Differentiable Rendering
arxiv.org·11h
🌀Differential Geometry
Preview
Report Post
Prompting Science Report 4: Playing Pretend: Expert Personas Don't Improve Factual Accuracy
arxiv.org·11h
⚡Proof Automation
Preview
Report Post
Capturing Classic Authorial Style in Long-Form Story Generation with GRPO Fine-Tuning
arxiv.org·11h
📝Concrete Syntax
Preview
Report Post
Interaction Tensor Shap
arxiv.org·11h
🕸️Tensor Networks
Preview
Report Post
Automated Verification of Algorithmic Correctness via Hybrid Symbolic & Numerical Reasoning
dev.to·5d·
Discuss: DEV
📐Interval Arithmetic
Preview
Report Post
Testers wanted for an ETL / sqlite based PaaS (Go, OSS, API + web dev)
reddit.com·19h·
Discuss: r/golang
🦀Rusty Databases
Preview
Report Post
KJS: A Complete Formal Semantics of JavaScript
github.com·1d·
Discuss: Hacker News
📜Proof Carrying Code
Preview
Report Post
Training, Decoding, and Hallucination in Large Language Models: A Deep Dive
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Preview
Report Post
The Effect of Document Summarization on LLM-Based Relevance Judgments
arxiv.org·11h
🔍Information Retrieval
Preview
Report Post