🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Phishing Protection: Tools SOC Teams Trust in 2025 – An Ultimate Guide
vmray.com·6h
🎯Threat Hunting
Algorithmic Archive Project: Use Cases (1/3)
blogs.bodleian.ox.ac.uk·17h
📊Citation Graphs
How we trained an ML model to detect DLL hijacking
securelist.com·1d
🔗Binary Similarity
Design of Family Crypto Wallet
benji.org·22m·
Discuss: Hacker News
❄️Nordic Design Philosophy
Powered by Docker: How Open Source Genius Cut Entropy Debt with Docker MCP Toolkit and Claude Desktop
docker.com·14h
🏠Homelab Orchestration
The perfect is the enemy of the good (and the done) (2019)
letterstoanewdeveloper.com·11h·
Discuss: Hacker News
📏Code Metrics
You're Doing Rails Wrong
bananacurvingmachine.com·10h·
Discuss: Hacker News
❄️Nix Flakes
Petri: An open-source auditing tool to accelerate AI safety research \ Anthropic
anthropic.com·1d·
Discuss: Hacker News
🎯Threat Hunting
Safe AI
news.ycombinator.com·3h·
Discuss: Hacker News
🧠Machine Learning
Ask HN: Do you roll your own agent or use a framework?
news.ycombinator.com·14h·
Discuss: Hacker News
🌐Protocol Synthesis
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey
ingonyama.com·3d·
Discuss: Hacker News
💻Local LLMs
Type Theory and Functional Programming (1999) [pdf]
dev.to·6d·
Discuss: DEV
🔤Type Theory
Enhancing Landing Gear Drop Test Simulation Accuracy via Adaptive Material Model Calibration
dev.to·7h·
Discuss: DEV
⚙️Cassette Mechanics
Predictive Modeling of Age-Related Aberrant DNA Methylation Patterns via Multi-Modal Integration
dev.to·18h·
Discuss: DEV
👁️OCR Enhancement
The Science of Learning: How AI Mimics the Brain
dev.to·12h·
Discuss: DEV
🔲Cellular Automata
Increasing LLM response trustworthiness using voting ensembles
arxiv.org·23h
🔍Information Retrieval
Multimodal Carotid Risk Stratification with Large Vision-Language Models: Benchmarking, Fine-Tuning, and Clinical Insights
arxiv.org·1d
🧠Machine Learning
Dragon Hatchling: Neural Network That Thinks Like a Brain (and Runs on Your GPU)
medium.com·16h·
Discuss: Hacker News
🔲Cellular Automata
Evaluating LLMs for Demographic-Targeted Social Bias Detection: A Comprehensive Benchmark Study
arxiv.org·23h
📜Digital Philology
More Than Meets the Eye? Uncovering the Reasoning-Planning Disconnect in Training Vision-Language Driving Models
arxiv.org·23h
🧠Machine Learning