👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Pick's Theorem, some history.
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📐Mathematical Art
Unveiling RIFT: Enhancing Rust malware analysis through pattern matching
microsoft.com·1d
🦀Rust Borrowing
Custom App Licensing Security: What We Built When HTTPS Wasn't Enough (external)
iamvishnu.com·1d
✅Checksum Validation
Analysis Paralysis!
aliexpress.us·2d·
Discuss: r/homelab
📐Linear Algebra
Book Review: Developing Talent in Young People by Benjamin Bloom
justinmath.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Institutional Knowledge Is Walking Out the Door–Capture It Before It's Gone
ordinalforgov.com·2d·
Discuss: Hacker News
🔗Constraint Handling
A case for courage, when speaking of AI danger
lesswrong.com·2d·
Discuss: Hacker News
🎯Threat Hunting
How Does Graph Theory Shape Our World?
quantamagazine.org·3d·
Discuss: Hacker News
📐Mathematical Art
AWS SAA Cheat Sheet: 5 Things I Wish I Knew Before the Exam
dev.to·7h·
Discuss: DEV
🧠Query Planners
I built a recursive self-dialogue engine by accident. It won't stop evolving
github.com·1d·
Discuss: Hacker News
🌐Protocol Synthesis
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
LLM Agents: Your Guide to Smarter Development
dev.to·3h·
Discuss: DEV
🗣️Domain-Specific Languages
Confucius3-Math: A Lightweight High-Performance Reasoning LLM for Chinese K-12 Mathematics Learning
arxiv.org·5d·
Discuss: r/LocalLLaMA
🧮SMT Solvers
How Language Models Work: From Attention to Human Feedback
dev.to·16h·
Discuss: DEV
🤖Grammar Induction
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.org·3d
🔍BitFunnel
Flame Graph Performance Truth Analysis（1750918443851900）
dev.to·3d·
Discuss: DEV
⚡Performance Tools
🚀 Meet Nexent: The Open-Source Agent Platform for Multimodal AI with Zero Code
dev.to·6h·
Discuss: DEV
🔓Open Source Software
Extreme Left Shifting
dev.to·1d·
Discuss: DEV
❄️Nix Adoption
Machine Learning Fundamentals: adam optimizer example
dev.to·2d·
Discuss: DEV
📊Quantization
From expected to actual: Kotlin doesn't reinvent, it reuses 🔄
dev.to·2d·
Discuss: DEV
💧Liquid Types