👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Securing the AI "Before Times”
paloaltonetworks.com·12h
🎯Threat Hunting
The Business of Malware: Inside the MaaS Economy
bitsight.com·12h
🦠Malware Analysis
Chasing the Silver Fox: Cat & Mouse in Kernel Shadows
research.checkpoint.com·19h
🦠Malware Analysis
A Conversation with Amazon CTO Werner Vogels
softwareengineeringdaily.com·23h
🏠Homelab Archaeology
Ask HN: How to Learn to Build Agentic AI Systems (Like Claude Code)
news.ycombinator.com·1d·
Discuss: Hacker News
👑Isabelle
How we oops-proofed infrastructure deletion on Railway
blog.railway.com·1d·
Discuss: Hacker News
📋PREMIS Events
Turning Devin into an analyst
devin.ai·14h·
Discuss: Hacker News
🌊Stream Processing
Google Debuts Device-Bound Session Credentials Against Session Hijacking
feistyduck.com·18h·
Discuss: Hacker News
🛡️Security Headers
Long context GPT-OSS fine-tuning
unsloth.ai·14h·
Discuss: Hacker News
🎯Emulator Accuracy
How TRM Labs Scaled Security with Self-Improving AI Vulnerability Agents
trmlabs.com·15h·
Discuss: Hacker News
✅Archive Fixity
[P] PaddleOCRv5 implemented in C++ with ncnn
reddit.com·21h·
Discuss: r/MachineLearning
🔩Systems Programming
Stable, Mutable References for Ante
antelang.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Your First AI Agent: A Clear, Practical Path
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Creating a Review Analyser Using the Vercel AI SDK and React 19
dev.to·4h·
Discuss: DEV
🎯Gradual Typing
DeepAtlas: a tool for effective manifold learning
arxiv.org·1d
🌀Riemannian Computing
Deciphering NLR Decoy Domain Dynamics via Multi-scale Bayesian Network Inference
dev.to·12h·
Discuss: DEV
🧮Kolmogorov Complexity
Empowering air quality research with secure, ML-driven predictive analytics
aws.amazon.com·12h
🔄Archival Workflows
Some thoughts on LLMs and Software Development
martinfowler.com·18h·
Discuss: Lobsters, Hacker News, r/programming
⚙️Proof Engineering
Anemoi: A Semi-Centralized Multi-agent Systems Based on Agent-to-Agent Communication MCP server from Coral Protocol
arxiv.org·3d
🤝Consensus Protocols
Novel Cationic Lipid Formulation Optimization via Multi-Modal Data Integration & HyperScore Evaluation
dev.to·11h·
Discuss: DEV
📦METS Packaging