👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

preparing for the worst
daniel.haxx.se·3h
📡Feed Security
lld 21 ELF changes
maskray.me·2d
🔄Language Evolution
AI is not another abstraction because god plays dice
rakhim.exotext.com·1d
⚖️Hoare Logic
Federated Learning Explained: Collaborative AI Without Data Sharing
stackabuse.com·16h
🤐Secure Multiparty
The entropy formula for the Ricci flow and its geometric applications
arxiv.org·1d·
Discuss: Hacker News
🌀Differential Geometry
Building a Multilingual Blog with FastHTML
simn.fr·1d·
Discuss: Hacker News
🦋Format Metamorphosis
Entropy – Favourite at Mind Sports Olympiad
news.ycombinator.com·20h·
Discuss: Hacker News
🔲Cellular Automata
Writing Code Is Easy. Reading It Isn't
idiallo.com·21h·
Discuss: Hacker News, r/programming
📏Code Metrics
[Support] Pro Bono
reddit.com·7h·
Discuss: r/kubernetes
📦Container Security
Self-Folding Clothes: The Dawn of Reactive Garments
dev.to·1d·
Discuss: DEV
✋Tactile Computing
I Rewrote the cd command in Go with path resolving!
reddit.com·15h·
Discuss: r/golang
💣ZIP Vulnerabilities
Row Impartial Terminus
arxiv.org·5d
🎯Interactive Provers
Show HN: Claude Context but local – semantic code search without API keys
github.com·1d·
Discuss: Hacker News, r/ClaudeAI, r/LocalLLaMA
🌀Brotli Dictionary
Scaling Law for Large-Scale Pre-Training Using Chaotic Time Series and Predictability in Financial Time Series
arxiv.org·1d
🧠Machine Learning
LESER: Learning to Expand via Search Engine-feedback Reinforcement in e-Commerce
arxiv.org·6h
🔍Information Retrieval
Unlock the Black Box: AI-Powered Optimization for Any Problem
dev.to·3d·
Discuss: DEV
⚡Incremental Computation
Automated Patent Claim Prior Art Search and Novelty Assessment via Multi-Modal Semantic Analysis
dev.to·1d·
Discuss: DEV
🔍Semantic Search
Reasoning Vectors: Transferring Chain-of-Thought Capabilities via Task Arithmetic
arxiv.org·6d
🧮SMT Solvers
VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities
arxiv.org·5d
🧪CBOR Fuzzing
Quantified Behavioral Modification via Dynamic Hyperparameter Optimization in Personalized AI Fitness Coaching
dev.to·1d·
Discuss: DEV
🎛️Feed Filtering