👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

'Part of our DNA' - inside the Red Roses' try-machine driving maul
bbc.com·1d
🔲Cellular Automata
PEP 757 – C API to import-export Python integers
vstinner.github.io·2d
📊APL Heritage
Open source all the way down at APNIC 60
blog.apnic.net·2d
🛡️eBPF Programs
Data centers gobble Earth’s resources. What if we took them to space instead?
grist.org·1d
🕸️Mesh Networks
How the Infamous APT 1 Report Exposing China’s PLA Hackers Came to Be
zetter-zeroday.com·2d·
Discuss: Hacker News
🔓Hacking
Reid Hoffman’s Superagency
feld.com·1d·
Discuss: Hacker News
🌊Streaming Systems
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·3d·
Discuss: Hacker News
🌀Brotli Internals
Smart Log Anomaly Detection with Python and Isolation Forest
dev.to·1d·
Discuss: DEV
📝Log Parsing
AWS Cloud Development Kit (CDK) Launches Refactor
aws.amazon.com·3d
🧱Immutable Infrastructure
Git worktree + Claude Code: My Secret to 10x Developer Productivity
dev.to·1d·
Discuss: DEV
🌳Git Internals
An Explainable Deep Neural Network with Frequency-Aware Channel and Spatial Refinement for Flood Prediction in Sustainable Cities
arxiv.org·2d
📊Learned Metrics
RAPID Quantum Detection and Demodulation of Covert Communications: Breaking the Noise Limit with Solid-State Spin Sensors
arxiv.org·2d
🔐Quantum Cryptography
RepViT-CXR: A Channel Replication Strategy for Vision Transformers in Chest X-ray Tuberculosis and Pneumonia Classification
arxiv.org·2d
🧠Machine Learning
Feasibility-Guided Fair Adaptive Offline Reinforcement Learning for Medicaid Care Management
arxiv.org·1d
💻Local LLMs
Finally reached a stopping point with my new rack
reddit.com·1d·
Discuss: r/homelab
⚙️DIY Electronics
Besting Good--Turing: Optimality of Non-Parametric Maximum Likelihood for Distribution Estimation
arxiv.org·3d
🧮Kolmogorov Bounds
An Incredible Lifeform Is Evolving at Lightning Speed—Faster Than We Ever Imagined Possible
popularmechanics.com·6h
🌡️Preservation Physics
Decoding Golang Interfaces: Why Your Struct Fits an Interface It Never Met
dev.to·4d·
Discuss: DEV
🔤Type Theory
GitHub Coding Agent the Magical Autonomous AI: The Prequel
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
Prototyping an AI-powered Tool for Energy Efficiency in New Zealand Homes
arxiv.org·4d
🌍Cultural Algorithms