🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Coffee Break: Armed Madhouse – Drone Evolution
nakedcapitalism.com·12h
🇷🇺Russian Computing
The ReD Hat Consulting Breach – An Analysis
digitalforensicsmagazine.com·20h
🔓Hacking
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·15h
🦀Rust Macros
WASM in the Kernel: Tales of Triumph and Trouble
riptides.io·1d·
Discuss: Hacker News
🔒WASM Capabilities
How a top bug bounty researcher got their start in security
github.blog·14h
🔓Hacking
AI Tulips
mamund.substack.com·1h·
Discuss: Substack
🤖AI Curation
Teaching Models to Decide When to Retrieve: Adaptive RAG, Part 4
blog.reachsumit.com·1d·
Discuss: Hacker News
🧠Learned Indexing
State of the Art of AI Tools in Micro-Frontend Architectures • Luca Mezzalira • GOTO 2025
youtube.com·1d
🌀Brotli Internals
Show HN: Horcrux: Split files into encrypted fragments for Node and React Native
github.com·1d·
Discuss: Hacker News
🔒Homomorphic Compression
How Game Simulations are Reshaping Military Strategy
dev.to·15h·
Discuss: DEV
🔲Cellular Automata
Using AI Code Assistants to Generate Unit Tests and Maximize Coverage
qt.io·2d
📏Code Metrics
AI-Driven Predictive Maintenance of Compression Testing Machines via Multi-Modal Data Fusion & Semantic Parsing
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Model Predictive Control-Guided Reinforcement Learning for Implicit Balancing
arxiv.org·1d
✨Effect Handlers
High-pass filtered fidelity-imposed network edit (HP-FINE) for robust quantitative susceptibility mapping from high-pass filtered phase
arxiv.org·2h
📊Learned Metrics
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.to·1d·
Discuss: DEV
🦀Rust Macros
How To Build Effective Technical Guardrails for AI Applications
towardsdatascience.com·1d
🔗Constraint Handling
Development and Validation of a Low-Cost Imaging System for Seedling Germination Kinetics through Time-Cumulative Analysis
arxiv.org·2h
🧠Machine Learning
FinReflectKG - MultiHop: Financial QA Benchmark for Reasoning with Knowledge Graph Evidence
arxiv.org·2d
🔍BitFunnel
Rewriting History: Aligning AI Through Counterfactual Learning by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🤖AI Curation