👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Feeds to Scour
SubscribedAll
How To Build An AI Agent For Talent Matching
blog.codeminer42.com·5d
🗺️Competency Maps
Preview
Report Post
Show HN: I built an open-source Rust/TS AI agent runtime with a Next.js-style DX
docs.trysoma.ai·6d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
'Function Coloring'
tedinski.com·6d·
Discuss: Hacker News
🧬Functional Programming
Preview
Report Post
LLM from scratch, part 28 – training a base model from scratch on an RTX 3090
gilesthomas.com·6d·
Discuss: Hacker News
💻Local LLMs
Preview
Report Post
What I learned building an opinionated and minimal coding agent
mariozechner.at·5d·
Discuss: Hacker News
🌀Brotli Internals
Preview
Report Post
The Minimum Every Developer Must Know About AI Models (No Excuses)
blog.kilo.ai·6d·
Discuss: Hacker News
⚡Proof Automation
Preview
Report Post
[D] Areas in current research which use Probabilistic Graphical Models
reddit.com·6d·
Discuss: r/MachineLearning
🧠Machine Learning
Preview
Report Post
Large Language Models for Software Engineering: A Reproducibility Crisis
arxiv.org·6d
🔄Reproducible Builds
Preview
Report Post
Sum Rate Maximization in STAR-RIS-UAV-Assisted Networks: A CA-DDPG Approach for Joint Optimization
arxiv.org·6d
🌀Riemannian Computing
Preview
Report Post
Statistical NLP for Optimization of Clinical Trial Success Prediction in Pharmaceutical R&D
arxiv.org·6d
🧠Machine Learning
Preview
Report Post
LLM-as-a-Judge for Scalable Test Coverage Evaluation: Accuracy, Operational Reliability, and Cost
arxiv.org·6d
📏Code Metrics
Preview
Report Post
Mitigating Hallucinations in Zero-Shot Scientific Summarisation: A Pilot Study
arxiv.org·6d
🗜️LZSS Variants
Preview
Report Post