🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Refereeing and Reflection
refereeingandreflection.wordpress.com·51m
⚖️Game Preservation Ethics
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
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·19h·
Discuss: Lobsters, Hacker News, r/programming
⚡Modern Compression
Experimental Proof: MENT-Flow Achieves Consistency with MENT Solutions for Beam Reconstruction
hackernoon.com·10h
🧠Learned Codecs
Three Meanings of "To Know"
madhadron.com·1d·
Discuss: Hacker News
🔍Archive Semantics
Confessions of a Perpetual Beginner
80yos.substack.com·20h·
Discuss: Substack
⚡Cache Theory
A case for learning GPU programming with a compute-first mindset – Maister's Gr
themaister.net·23h·
Discuss: Lobsters, Hacker News, r/programming
🖥️Terminal Renaissance
Fun with HyperLogLog and SIMD
vaktibabat.github.io·3d·
Discuss: Hacker News, r/rust
📊HyperLogLog
Misunderstood and Misaligned
bozhao.substack.com·1d·
Discuss: Substack
🔗Constraint Handling
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·19h·
Discuss: DEV
📊Multi-vector RAG
Model Predictive Control-Guided Reinforcement Learning for Implicit Balancing
arxiv.org·7h
✨Effect Handlers
Relative Code Comprehensibility Prediction
arxiv.org·7h
🧠Intelligence Compression
Long-Term Mapping of the Douro River Plume with Multi-Agent Reinforcement Learning
arxiv.org·7h
🔲Cellular Automata
Multimodal Function Vectors for Spatial Relations
arxiv.org·1d
🧮Vector Embeddings
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·7h
⚙️Compression Benchmarking
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.to·12h·
Discuss: DEV
🦀Rust Macros
Rewriting History: Aligning AI Through Counterfactual Learning by Arvind Sundararajan
dev.to·5h·
Discuss: DEV
🤖AI Curation
How To Build Effective Technical Guardrails for AI Applications
towardsdatascience.com·17h
🔗Constraint Handling