🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

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·17h·
Discuss: Lobsters, Hacker News, r/programming
⚡Modern Compression
Three Meanings of "To Know"
madhadron.com·1d·
Discuss: Hacker News
🔍Archive Semantics
Confessions of a Perpetual Beginner
80yos.substack.com·17h·
Discuss: Substack
⚡Cache Theory
A case for learning GPU programming with a compute-first mindset – Maister's Gr
themaister.net·21h·
Discuss: Lobsters, Hacker News, r/programming
🖥️Terminal Renaissance
Adventures on the AI Coding side of things
medium.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Fun with HyperLogLog and SIMD
vaktibabat.github.io·2d·
Discuss: Hacker News, r/rust
📊HyperLogLog
Misunderstood and Misaligned
bozhao.substack.com·1d·
Discuss: Substack
🔗Constraint Handling
Excited, Skeptical, or Worried? A Multi-Institutional Study of Student Views on Generative AI in Computing Education
arxiv.org·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Moral Anchor System: A Predictive Framework for AI Value Alignment and Drift Prevention
arxiv.org·5h
🔲Cellular Automata
On Using Large Language Models to Enhance Clinically-Driven Missing Data Recovery Algorithms in Electronic Health Records
arxiv.org·5h
🔍Information Retrieval
Using AI Code Assistants to Generate Unit Tests and Maximize Coverage
qt.io·1d
📏Code Metrics
Counterfactual Credit Guided Bayesian Optimization
arxiv.org·5h
🧠Machine Learning
AI-Driven Predictive Maintenance of Compression Testing Machines via Multi-Modal Data Fusion & Semantic Parsing
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·17h·
Discuss: DEV
📊Multi-vector RAG
Model Predictive Control-Guided Reinforcement Learning for Implicit Balancing
arxiv.org·5h
✨Effect Handlers
Relative Code Comprehensibility Prediction
arxiv.org·5h
🧠Intelligence Compression
Long-Term Mapping of the Douro River Plume with Multi-Agent Reinforcement Learning
arxiv.org·5h
🔲Cellular Automata
Multimodal Function Vectors for Spatial Relations
arxiv.org·1d
🧮Vector Embeddings