๐Ÿ“ Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

High-Quality Pull-Request Descriptions
racecondition.softwareยท1dยท
Discuss: Hacker News
โš™๏ธProof Engineering
WASM in the Kernel: Tales of Triumph and Trouble
riptides.ioยท17hยท
Discuss: Hacker News
๐Ÿ”’WASM Capabilities
Why do LLMs freak out over the seahorse emoji?
vgel.meยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ—œ๏ธLZW Variants
The Mechanism of Mineral Nucleation and Growth in a Mini-Ferritin
pubs.acs.orgยท7hยท
Discuss: Hacker News
๐Ÿ“„Document Digitization
Teaching Models to Decide When to Retrieve: Adaptive RAG, Part 4
blog.reachsumit.comยท22hยท
Discuss: Hacker News
๐Ÿง Learned Indexing
How To Build Effective Technical Guardrails for AI Applications
towardsdatascience.comยท13h
๐Ÿ”—Constraint Handling
Getting into GitOps: Secrets
reddit.comยท1hยท
Discuss: r/kubernetes
๐Ÿ“ฆContainer Security
Neon: Negative Extrapolation From Self-Training Improves Image Generation
arxiv.orgยท2h
๐Ÿ“ŠQuantization
Analysis of kinetic Langevin Monte Carlo under the stochastic exponential Euler discretization from underdamped all the way to overdamped
arxiv.orgยท2h
๐ŸงฎKolmogorov Bounds
Decrypt Modality Gap in Multimodal Contrastive Learning: From Convergent Representation to Pair Alignment
arxiv.orgยท2h
๐Ÿง Machine Learning
Homophily-induced Emergence of Biased Structures in LLM-based Multi-Agent AI Systems
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.orgยท1d
๐ŸงชHardware Fuzzing
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท4hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Contrastive-SDE: Guiding Stochastic Differential Equations with Contrastive Learning for Unpaired Image-to-Image Translation
arxiv.orgยท2h
โง—Information Bottleneck
AI Development Interview Questions : Mock Interviews
dev.toยท5hยท
Discuss: DEV
๐Ÿ—บ๏ธCompetency Maps
How to Build Semantic Search in ASP.NET Core using PostgreSQL
dev.toยท11hยท
Discuss: DEV
๐Ÿ”Semantic Search
Excited, Skeptical, or Worried? A Multi-Institutional Study of Student Views on Generative AI in Computing Education
arxiv.orgยท1d
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
On Using Large Language Models to Enhance Clinically-Driven Missing Data Recovery Algorithms in Electronic Health Records
arxiv.orgยท2h
๐Ÿ”Information Retrieval
Moral Anchor System: A Predictive Framework for AI Value Alignment and Drift Prevention
arxiv.orgยท2h
๐Ÿ”ฒCellular Automata
Counterfactual Credit Guided Bayesian Optimization
arxiv.orgยท2h
๐Ÿง Machine Learning