Googles CodeMender is designed to automatically find and fix security flaws in software
the-decoder.comยท15h
๐ŸงฎZ3 Solver
Efficiently Updatable Neural Network (NNUE)
beuke.orgยท1d
๐Ÿ“ŠQuantization
valuetier.org (and some thoughts on LLMs)
ericphanson.comยท2dยท
๐ŸŒ€Brotli Internals
Static Bundle Object: Modernizing Static Linking
medium.comยท14hยท
Discuss: Hacker News
๐Ÿ”—Static Linking
AI-Driven Predictive Maintenance of Compression Testing Machines via Multi-Modal Data Fusion & Semantic Parsing
dev.toยท1dยท
Discuss: DEV
๐Ÿง Intelligence Compression
Detecting Invariant Manifolds in ReLU-Based RNNs
arxiv.orgยท1d
๐ŸŒ€Riemannian Computing
Multimodal Function Vectors for Spatial Relations
arxiv.orgยท2d
๐ŸงฎVector Embeddings
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.orgยท1d
๐Ÿง Machine Learning
Small Language Models for Emergency Departments Decision Support: A Benchmark Study
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
Rare Text Semantics Were Always There in Your Diffusion Transformer
arxiv.orgยท1d
๐ŸงฎVector Embeddings
I built RAGSharp: a lightweight RAG library for .NET
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ŒArchive APIs
The New Economics of Open Source Data Infrastructure
thenewstack.ioยท12h
๐ŸŒŠStreaming Databases
Cost Efficient Fairness Audit Under Partial Feedback
arxiv.orgยท1d
๐ŸŒธBloom Variants
POEM: Explore Unexplored Reliable Samples to Enhance Test-Time Adaptation
arxiv.orgยท1d
๐ŸงฎKolmogorov Complexity
Harnessing LLM for Noise-Robust Cognitive Diagnosis in Web-Based Intelligent Education Systems
arxiv.orgยท1d
๐Ÿง Intelligence Compression
LLM Data Detox: Erasing the Past for a Brighter AI Future
dev.toยท15hยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
Learning Efficient Meshflow and Optical Flow from Event Cameras
arxiv.orgยท1d
๐ŸบComputational Archaeology
How to Build Semantic Search in ASP.NET Core using PostgreSQL
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Semantic Search
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.orgยท1d
โœ“Automated Theorem Proving