🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Refereeing and Reflection
refereeingandreflection.wordpress.com·5h
⚖️Game Preservation Ethics
FIPS certified vs. FIPS compliant: What’s the real difference?
yubico.com·1d
🔐Certificate Analysis
Announcing template-haskell-lift and template-haskell-quasiquoter
informal.codes·3d
🔗Functional Compilers
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·1d
📏Code Metrics
Three Meanings of "To Know"
madhadron.com·2d·
Discuss: Hacker News
🔍Archive Semantics
Delegating the Grunt Work: AI Agents for UI Test Development
blog.scottlogic.com·1d·
Discuss: Hacker News
⚡Proof Automation
Fun with HyperLogLog and SIMD
vaktibabat.github.io·3d·
Discuss: Hacker News, r/rust
📊HyperLogLog
We built a CUDA emulator that profiles GPU code with zero hardware
rightnowai.co·15h·
Discuss: Hacker News
🎯Emulator Accuracy
How To Build Effective Technical Guardrails for AI Applications
towardsdatascience.com·21h
🔗Constraint Handling
Automating construction safety inspections using a multi-modal vision-language RAG framework
arxiv.org·11h
🤖Advanced OCR
Adaptive and Explainable AI Agents for Anomaly Detection in Critical IoT Infrastructure using LLM-Enhanced Contextual Reasoning
arxiv.org·11h
⚙️TLA+
Rewriting History: Aligning AI Through Counterfactual Learning by Arvind Sundararajan
dev.to·9h·
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·11h
🧠Machine Learning
A Noise Resilient Approach for Robust Hurst Exponent Estimation
arxiv.org·11h
🧠Machine Learning
Understanding Retrieval Augmentation for Long-Form Question Answering
arxiv.org·11h
🔍Information Retrieval
Doctor-R1: Mastering Clinical Inquiry with Experiential Agentic Reinforcement Learning
arxiv.org·11h
🎵Audio ML
Meta-Author's Notes: Codie's Cognitive Chronicles
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
Hallucination reduction with CASAL: Contrastive Activation Steering For Amortized Learning
arxiv.org·1d
🌳Context free grammars
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·11h·
Discuss: DEV
🌀Brotli Internals
Visual Representations inside the Language Model
arxiv.org·11h
🧮Vector Embeddings