🔍 MinHash Variants

Locality Sensitive Hashing, Jaccard Similarity, Duplicate Detection, Sketching Algorithms

Three ways formally verified code can go wrong in practice
buttondown.com·4h
📜Proof Carrying Code
Indexing, Hashing
dev.to·1d·
Discuss: DEV
🚀Query Optimization
Randomized and quantum approximate matrix multiplication
arxiv.org·18h
🔐Quantum Cryptography
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·1d
🧮Kolmogorov Complexity
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·1h·
Discuss: DEV
🔤Character Classification
Mind the Gap: Quantifying Vocabulary Mismatch in E-Commerce Site Search
searchhub.io·1d·
Discuss: Hacker News
📈Search Quality
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·1d
🔨Compilers
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·8h·
Discuss: Hacker News
🎯Performance Proofs
Automated Copyright Infringement Detection via Semantic Fingerprinting and Dynamic Thresholding
dev.to·1d·
Discuss: DEV
👁️Perceptual Hashing
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Fitzpatrick Thresholding for Skin Image Segmentation
arxiv.org·1d
📊Learned Metrics
Less Is More: Recursive Reasoning with Tiny Networks
github.com·2d·
Discuss: Hacker News
📊Quantization
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·1d
📜Manuscript Algebras
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
A Proof of the Riemann Hypothesis
dev.to·1d·
Discuss: DEV
⚔️Lean Theorem
In-Depth Analysis: "Attention Is All You Need"
dev.to·6h·
Discuss: DEV
🧠Intelligence Compression
Why Low-Precision Transformer Training Fails: An Analysis on Flash Attention
huggingface.co·1d·
Discuss: Hacker News
📊Learned Metrics
LoRA Explained: Faster, More Efficient Fine-Tuning with Docker
docker.com·1d
💻Local LLMs
Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
🔗Lisp