🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Phishing Protection: Tools SOC Teams Trust in 2025 – An Ultimate Guide
vmray.com·3h
🎯Threat Hunting
Algorithmic Archive Project: Use Cases (1/3)
blogs.bodleian.ox.ac.uk·14h
📊Citation Graphs
Nix pills
nixos.org·2d
❄️Nixpkgs
Customer Development's Missing Feedback Loop
interjectedfuture.com·6h
🔍Concolic Testing
How we trained an ML model to detect DLL hijacking
securelist.com·1d
🔗Binary Similarity
Powered by Docker: How Open Source Genius Cut Entropy Debt with Docker MCP Toolkit and Claude Desktop
docker.com·11h
🏠Homelab Orchestration
The perfect is the enemy of the good (and the done) (2019)
letterstoanewdeveloper.com·8h·
Discuss: Hacker News
📏Code Metrics
You're Doing Rails Wrong
bananacurvingmachine.com·7h·
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·14m·
Discuss: Hacker News
🧠Machine Learning
Ask HN: Do you roll your own agent or use a framework?
news.ycombinator.com·11h·
Discuss: Hacker News
🌐Protocol Synthesis
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey
ingonyama.com·3d·
Discuss: Hacker News
💻Local LLMs
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·20h
🌸Bloom Variants
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·4h·
Discuss: DEV
⚙️Cassette Mechanics
Predictive Modeling of Age-Related Aberrant DNA Methylation Patterns via Multi-Modal Integration
dev.to·15h·
Discuss: DEV
👁️OCR Enhancement
The Science of Learning: How AI Mimics the Brain
dev.to·9h·
Discuss: DEV
🔲Cellular Automata
Increasing LLM response trustworthiness using voting ensembles
arxiv.org·20h
🔍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·13h·
Discuss: Hacker News
🔲Cellular Automata