🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Refereeing and Reflection
refereeingandreflection.wordpress.com·3h
⚖️Game Preservation Ethics
FIPS certified vs. FIPS compliant: What’s the real difference?
yubico.com·22h
🔐Certificate Analysis
Announcing template-haskell-lift and template-haskell-quasiquoter
informal.codes·3d
🔗Functional Compilers
Three important things to get right for successful AI Coding
kau.sh·1d
⚡Proof Automation
Experimental Proof: MENT-Flow Achieves Consistency with MENT Solutions for Beam Reconstruction
hackernoon.com·12h
🧠Learned Codecs
Three Meanings of "To Know"
madhadron.com·2d·
Discuss: Hacker News
🔍Archive Semantics
Confessions of a Perpetual Beginner
80yos.substack.com·22h·
Discuss: Substack
⚡Cache Theory
Fun with HyperLogLog and SIMD
vaktibabat.github.io·3d·
Discuss: Hacker News, r/rust
📊HyperLogLog
FinReflectKG - MultiHop: Financial QA Benchmark for Reasoning with Knowledge Graph Evidence
arxiv.org·1d
🔍BitFunnel
Read Between the Lines: A Benchmark for Uncovering Political Bias in Bangla News Articles
arxiv.org·9h
⚙️Compression Benchmarking
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.to·14h·
Discuss: DEV
🦀Rust Macros
Rewriting History: Aligning AI Through Counterfactual Learning by Arvind Sundararajan
dev.to·7h·
Discuss: DEV
🤖AI Curation
How To Build Effective Technical Guardrails for AI Applications
towardsdatascience.com·19h
🔗Constraint Handling
Automating construction safety inspections using a multi-modal vision-language RAG framework
arxiv.org·9h
🤖Advanced OCR
Adaptive and Explainable AI Agents for Anomaly Detection in Critical IoT Infrastructure using LLM-Enhanced Contextual Reasoning
arxiv.org·9h
⚙️TLA+
SAFA-SNN: Sparsity-Aware On-Device Few-Shot Class-Incremental Learning with Fast-Adaptive Structure of Spiking Neural Network
arxiv.org·9h
🧠Machine Learning
Doctor-R1: Mastering Clinical Inquiry with Experiential Agentic Reinforcement Learning
arxiv.org·9h
🎵Audio ML
A Noise Resilient Approach for Robust Hurst Exponent Estimation
arxiv.org·9h
🧠Machine Learning
Understanding Retrieval Augmentation for Long-Form Question Answering
arxiv.org·9h
🔍Information Retrieval
Meta-Author's Notes: Codie's Cognitive Chronicles
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression