👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Feeds to Scour
SubscribedAll
fortify-headers 3.0
dustri.org·1h
🦀Rust Borrowing
Preview
Report Post
Quoting David Crespo
simonwillison.net·20h
🔓Reverse engineering
Preview
Report Post
CodeSOD: The Magic Array
thedailywtf.com·10h
🔗Concatenative Programming
Preview
Report Post
Embodied Cognition and the “Tokenverse”
benjamincongdon.me·1d
🔲Cellular Automata
Preview
Report Post
Kinesis Advantage2
danishpraka.sh·10h·
Discuss: Hacker News
⌨️Mechanical Keyboards
Preview
Report Post
Agent Definition Language (ADL): An Open Standard for Defining AI Agents
nextmoca.com·9h·
Discuss: Hacker News
🔒WASM Capabilities
Preview
Report Post
Absurdities and contradictions of my career in crypto
leku.blog·3d·
Discuss: Hacker News
🚀Indie Hacking
Preview
Report Post
Cloudflare Outage: Rust Analysis
splinter.com.au·2d·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post
From Compose to Kubernetes to Cloud: Designing and Operating Infrastructure with Kanvas
docker.com·3h
🏠Homelab Orchestration
Preview
Report Post
Why do we become mathematicians?
maa.org·1d·
Discuss: Hacker News
📐Mathematical Art
Preview
Report Post
React2shell: CVE-2025-55182 Technical Breakdown
miggo.io·18h·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post
Keep Effects at the Edges
agentultra.com·2d·
Discuss: Hacker News
✨Effect Handlers
Preview
Report Post
Testers wanted for an ETL / sqlite based PaaS (Go, OSS, API + web dev)
reddit.com·20h·
Discuss: r/golang
🦀Rusty Databases
Preview
Report Post
I Built an Open-Source Privacy Firewall for ChatGPT (Runs 100% Locally)
dev.to·16h·
Discuss: DEV
🛡️WASM Sandboxing
Preview
Report Post
Smart Timing for Mining: A Deep Learning Framework for Bitcoin Hardware ROI Prediction
arxiv.org·12h
🧠Machine Learning
Preview
Report Post
Day 57: Python GCD & LCM with Euclidean Algorithm, Lightning-Fast Divisor Math That's 2000+ Years Old (And Still Unbeatable)
dev.to·1d·
Discuss: DEV
📐Interval Arithmetic
Preview
Report Post
Vague Knowledge: Information without Transitivity and Partitions
arxiv.org·12h
🔲Proof Irrelevance
Preview
Report Post
Semore: VLM-guided Enhanced Semantic Motion Representations for Visual Reinforcement Learning
arxiv.org·12h
🧮Vector Embeddings
Preview
Report Post
KJS: A Complete Formal Semantics of JavaScript
github.com·1d·
Discuss: Hacker News
📜Proof Carrying Code
Preview
Report Post
Hacking B2B Sales: 5 AI Integrations to Automate Your Pipeline & Crush Quotas
dev.to·5h·
Discuss: DEV
⚡Proof Automation
Preview
Report Post