👑 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·4h
🖥️Vintage Macintosh
Preview
Report Post
30 things I’ve learned from 30 years in business
lerner.co.il·9h
🔬Lean
Preview
Report Post
22.00.0171 Configuration management
johnnydecimal.com·7h
⚙️Proof Engineering
Preview
Report Post
Yearn Finance and the 16-Wei Deposit That Drained $9 Million
blog.verichains.io·11h
🎫Kerberos Attacks
Preview
Report Post
“Scale Is All You Need” is dead
garymarcus.substack.com·3h·
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·13h·
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·2h·
Discuss: Hacker News
⚙️TLA+
Preview
Report Post
The Overton Window
fffej.substack.com·5h·
Discuss: Substack
🔄Language Evolution
Preview
Report Post
Arc Prize 2025 Results and Analysis: Year of the Refinement Loop
arcprize.org·2d·
Discuss: Hacker News
⚡Incremental Computation
Preview
Report Post
Ask HN: Async updates: Input friction vs. Output friction?
news.ycombinator.com·9h·
Discuss: Hacker News
✨Effect Handlers
Preview
Report Post
Killing Production Isn’t an Option: How to Master OT Incident Response
dev.to·2h·
Discuss: DEV
🚨Incident Response
Preview
Report Post
[P] Fast and Simple Solution to Kaggle's `Jigsaw - Agile Community Rules Classification`
reddit.com·12h·
Discuss: r/MachineLearning
📊Feed Optimization
Preview
Report Post
Automatic Attack Discovery for Few-Shot Class-Incremental Learning via Large Language Models
arxiv.org·4d
🤖Grammar Induction
Preview
Report Post
Testers wanted for an ETL / sqlite based PaaS (Go, OSS, API + web dev)
reddit.com·1d·
Discuss: r/golang
🦀Rusty Databases
Preview
Report Post