👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Feeds to Scour
SubscribedAll
Mapping the Tor darkmarket ecosystem: A network analysis of topics, communication channels, and languages
sciencedirect.com·1d
🧅Tor Networks
Preview
Report Post
(Sponsor) COHERENCE X5: Turn Websites into Mac apps—without the clutter
sixcolors.com·3h
🖥️Vintage Macintosh
Preview
Report Post
30 things I’ve learned from 30 years in business
lerner.co.il·8h
🔬Lean
Preview
Report Post
22.00.0171 Configuration management
johnnydecimal.com·6h
⚙️Proof Engineering
Preview
Report Post
“Scale Is All You Need” is dead
garymarcus.substack.com·2h·
Discuss: Substack
🧠Intelligence Compression
Preview
Report Post
What Got Lost in the Optimization
medium.com·1d
🌍Cultural Algorithms
Preview
Report Post
Guidance: A cheat code for diffusion models
sander.ai·12h·
Discuss: Hacker News
🧠Machine Learning
Preview
Report Post
Lessons from a Swift Interview
oskargroth.com·3d·
Discuss: Hacker News
🔗Functional Compilers
Preview
Report Post
Review: Julia trimming for Advent of Code 2025
viralinstruction.com·3d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
Mechanisms as Types
spacechimplives.substack.com·5d·
Discuss: Substack
🔍Type Inference
Preview
Report Post
Show HN: I built an LLM pipeline to sanitize client emails into JSON Scopes
scopelock.app·1d·
Discuss: Hacker News
🔍BitFunnel
Preview
Report Post
Show HN: SpecMem-A Unified Ax and Pragmatic Memory for Coding Agents
super-agentic.ai·1h·
Discuss: Hacker News
⚙️TLA+
Preview
Report Post
[P] Fast and Simple Solution to Kaggle's `Jigsaw - Agile Community Rules Classification`
reddit.com·11h·
Discuss: r/MachineLearning
📊Feed Optimization
Preview
Report Post
Spatiotemporal Tubes for Differential Drive Robots with Model Uncertainty
arxiv.org·15h
⚙️Tape Mechanics
Preview
Report Post
Exoplanet formation inference using conditional invertible neural networks
arxiv.org·15h
🧠Machine Learning
Preview
Report Post
Advanced Hybrid Automated Insulin Delivery System based on Successive Linearization Model Predictive Control: The UniBE System
arxiv.org·15h
🧮Algorithmic Cooking
Preview
Report Post
Probabilistic Graph Neural Inference for satellite anomaly response operations during mission-critical recovery windows
dev.to·1d·
Discuss: DEV
🌀Riemannian Computing
Preview
Report Post
Ask HN: Async updates: Input friction vs. Output friction?
news.ycombinator.com·8h·
Discuss: Hacker News
✨Effect Handlers
Preview
Report Post
From Challenge to Change: Design Principles for AI Transformations
arxiv.org·15h
🔲Cellular Automata
Preview
Report Post
Testers wanted for an ETL / sqlite based PaaS (Go, OSS, API + web dev)
reddit.com·23h·
Discuss: r/golang
🦀Rusty Databases
Preview
Report Post