Explaining software and computational methods
blog.khinsen.net·19h
📝Concrete Syntax
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Dual-Hierarchy Labelling: Scaling Up Distance Queries on Dynamic Road Networks
arxiv.org·1d
📏Range Queries
UltraSketchLLM: Saliency-Driven Sketching for Ultra-Low Bit LLM Compression
arxiv.org·1d
🗜️LZW Variants
Distribution of codewords on the faces of a hypercube and new combinatorial identities
arxiv.org·1d
⚽Sphere Packing
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·15h
🌀Fractal Compression
Granular-Ball-Induced Multiple Kernel K-Means
arxiv.org·1d
🌀Differential Geometry
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Scalable Machine Learning Algorithms using Path Signatures
arxiv.org·1d
🧠Machine Learning
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·15h
🔍Type Inference
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·1d
⚡Modern Compression
Language Bottleneck Models: A Framework for Interpretable Knowledge Tracing and Beyond
arxiv.org·2d
🧠Intelligence Compression
AMF-MedIT: An Efficient Align-Modulation-Fusion Framework for Medical Image-Tabular Data
arxiv.org·15h
🤖Advanced OCR
LeetCode 2040 Beginner friendly explanation
dev.to·19h·
Discuss: DEV
🔗Concatenative Programming
RL-Driven Semantic Compression Model Selection and Resource Allocation in Semantic Communication Systems
arxiv.org·1d
⧗Information Bottleneck
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
Machine Learning Fundamentals: active learning with python
dev.to·2h·
Discuss: DEV
🧠Machine Learning
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
On the convergence of computational methods for the online bin stretching problem
arxiv.org·1d
🎯Performance Proofs