🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Coffee Break: Armed Madhouse – Drone Evolution
nakedcapitalism.com·15h
🇷🇺Russian Computing
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·18h
🦀Rust Macros
Meet the Flummoxagon
n-e-r-v-o-u-s.com·19h·
Discuss: Hacker News
📐Mathematical Art
High-Quality Pull-Request Descriptions
racecondition.software·2d·
Discuss: Hacker News
⚙️Proof Engineering
WASM in the Kernel: Tales of Triumph and Trouble
riptides.io·1d·
Discuss: Hacker News
🔒WASM Capabilities
AI Tulips
mamund.substack.com·3h·
Discuss: Substack
🤖AI Curation
Teaching Models to Decide When to Retrieve: Adaptive RAG, Part 4
blog.reachsumit.com·2d·
Discuss: Hacker News
🧠Learned Indexing
Getting into GitOps: Secrets
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
High-pass filtered fidelity-imposed network edit (HP-FINE) for robust quantitative susceptibility mapping from high-pass filtered phase
arxiv.org·5h
📊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·5h
🧠Machine Learning
Meta-Author's Notes: Codie's Cognitive Chronicles
dev.to·2d·
Discuss: DEV
🧠Intelligence Compression
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
SAFA-SNN: Sparsity-Aware On-Device Few-Shot Class-Incremental Learning with Fast-Adaptive Structure of Spiking Neural Network
arxiv.org·1d
🧠Machine Learning
Multimodal Function Vectors for Spatial Relations
arxiv.org·2d
🧮Vector Embeddings
# 12 Frustum ... History and Etymology of Math Terms
pballew.blogspot.com·3h·
Discuss: www.blogger.com
🔢OCR Mathematics
Read Between the Lines: A Benchmark for Uncovering Political Bias in Bangla News Articles
arxiv.org·1d
⚙️Compression Benchmarking
Relative Code Comprehensibility Prediction
arxiv.org·1d
🧠Intelligence Compression