👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Feeds to Scour
SubscribedAll
Things I assumed you knew
resourceaholic.com·1d·
Discuss: www.resourceaholic.com
🧮Theorem Proving
Preview
Report Post
More accurate locations
so.nwalsh.com·5h
✅Format Verification
Preview
Report Post
Ramsey, Fraïssé, and orders
cameroncounts.wordpress.com·7h
🧮Algebraic Archives
Preview
Report Post
Optimizing Iceberg Compaction: Why We Built an Embedded Engine in Rust
risingwave.com·6h·
Discuss: Hacker News
🔗Archive Combinators
Preview
Report Post
Ridge and Lasso Math Deep Dive
zaurtarunov.substack.com·2h·
Discuss: Substack
🧠Machine Learning
Preview
Report Post
Tricki – a repository of mathematical know-how (2020)
tricki.org·1d·
Discuss: Hacker News
⚙️Proof Engineering
Preview
Report Post
[D] Thoughts on ML for drug discovery?
reddit.com·1d·
Discuss: r/MachineLearning
🔍Vector Forensics
Preview
Report Post
Scala Days 2025: Conference Highlights and Talk Recordings
scala-lang.org·18h·
Discuss: Hacker News
⚡Incremental Computation
Preview
Report Post
Statistical Guarantees for Approximate Stationary Points of Shallow Neural Networks
arxiv.org·10h
🧮Kolmogorov Bounds
Preview
Report Post
Update of “Fun project of the week, Mermaid flowcharts generator!” — V2 and more…
dev.to·1d·
Discuss: DEV
🦋Format Metamorphosis
Preview
Report Post
Universality of asymptotic graph homomorphism
arxiv.org·10h
🔗Graph Isomorphism
Preview
Report Post
Evaluating Long-Context Reasoning in LLM-Based WebAgents
arxiv.org·3d
✅Formal Methods
Preview
Report Post
Optimizing Medical Question-Answering Systems: A Comparative Study of Fine-Tuned and Zero-Shot Large Language Models with RAG Framework
arxiv.org·10h
🔍Information Retrieval
Preview
Report Post
UDA-Q Agent: Universal AI Data Quality Evaluator & Auto-Fixer
dev.to·48m·
Discuss: DEV
⚡Proof Automation
Preview
Report Post
AI Slop PRs as an Attack
tylur.blog·18m·
Discuss: Hacker News
⚡Proof Automation
Preview
Report Post
Edged Weisfeiler-Lehman Algorithm
arxiv.org·10h
🕸️Graph Algorithms
Preview
Report Post
Mitigating the Antigenic Data Bottleneck: Semi-supervised Learning with Protein Language Models for Influenza A Surveillance
arxiv.org·10h
🧠Machine Learning
Preview
Report Post
CFO: Learning Continuous-Time PDE Dynamics via Flow-Matched Neural Operators
arxiv.org·10h
🌀Riemannian Computing
Preview
Report Post
Notes on Distributed Systems for Young Bloods (2013)
somethingsimilar.com·1d·
Discuss: Hacker News
🤝Distributed Consensus
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