👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Migration Planning and Strategic Considerations to Lead in the Post-Quantum World
medium.com·10h
🔐Quantum Security
Nix Vegas 2025 Retrospective
nix.vegas·1d·
Discuss: Lobsters
📻Homebrew Protocols
The Hidden Vulnerabilities of Open Source
fastcode.io·12h·
Discuss: Hacker News, r/linux, r/opensource, r/programming
🔓Hacking
MonoGuard: Zero-config monorepo analysis and security scanning
mono-guard-frontend.vercel.app·2d·
Discuss: DEV, Hacker News
🦠Malware Analysis
A new attack reshapes the rules of Bitcoin mining
techxplore.com·1d·
Discuss: Hacker News
🔗Hash Chains
Show HN: Prototyper - AI design platform
getaprototype.com·8h·
Discuss: Hacker News
📟CLI Design
Math Moments: Blaise Pascal
kidswholovemath.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Self-assembling magnetic microparticles mimic biological error correction
phys.org·3h
🧲Magnetic Domains
D as a Better C (2017)
dlang.org·3d·
Discuss: Hacker News
🔩Systems Programming
Adapting to Change: A Comparison of Continual and Transfer Learning for Modeling Building Thermal Dynamics under Concept Drifts
arxiv.org·1d
⚡Incremental Computation
Understanding Tool-Integrated Reasoning
arxiv.org·6d
🔗Constraint Handling
Enhanced Kinetic Energy Storage via Multi-Objective Optimization of Flywheel Systems
dev.to·1d·
Discuss: DEV
🧲Magnetic Tribology
Adaptive Preference Inference via Multi-Modal Graph Reasoning for Personalized Travel Route Optimization
dev.to·14h·
Discuss: DEV
🎛️Feed Filtering
🚀 Building Stock Sage: Kiro + MCP = Smarter Stock Analysis
dev.to·3h·
Discuss: DEV
🌀Brotli Internals
Enhanced Phosphorus Recovery via Bio-Augmented Struvite Precipitation & Machine Learning Control
dev.to·2d·
Discuss: DEV
☕Precision Brewing
Orchestrating Multi-Agent Systems: Google ADK, A2A, and Temporal
medium.com·4d·
Discuss: Hacker News
⚙️TLA+
The importance of self-approval
dev.to·1d·
Discuss: DEV
🔓Reverse engineering
Spatiotemporal EEG-Based Emotion Recognition Using SAM Ratings from Serious Games with Hybrid Deep Learning
arxiv.org·1d
🧠Learned Codecs
Go Coding Official Standards and Best Practices
dev.to·1d·
Discuss: DEV
📋Format Specification
From noise to action – how context transforms vulnerability management
techradar.com·14h
🎯Threat Hunting