🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Coffee Break: Armed Madhouse – Drone Evolution
nakedcapitalism.com·17h
🇷🇺Russian Computing
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·20h
🦀Rust Macros
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
How a top bug bounty researcher got their start in security
github.blog·19h
🔓Hacking
AI Tulips
mamund.substack.com·5h·
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
How To Build Effective Technical Guardrails for AI Applications
towardsdatascience.com·1d
🔗Constraint Handling
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
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·5h·
Discuss: www.blogger.com
🔢OCR Mathematics
A Noise Resilient Approach for Robust Hurst Exponent Estimation
arxiv.org·1d
🧠Machine Learning
Relative Code Comprehensibility Prediction
arxiv.org·1d
🧠Intelligence Compression
Understanding Retrieval Augmentation for Long-Form Question Answering
arxiv.org·1d
🔍Information Retrieval
Doctor-R1: Mastering Clinical Inquiry with Experiential Agentic Reinforcement Learning
arxiv.org·1d
🎵Audio ML
Read Between the Lines: A Benchmark for Uncovering Political Bias in Bangla News Articles
arxiv.org·1d
⚙️Compression Benchmarking
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·13h·
Discuss: DEV
🌀Brotli Internals