Benchmarking compression programs
maskray.me·1d·
Discuss: Hacker News
📦Deflate
Entropy stable finite difference (ESFD) methods via entropy correction artificial viscosity (ECAV) and knapsack limiting (KL) techniques
arxiv.org·19h
📐Compression Mathematics
Incremental query updating in adhesive categories
topos.institute·1d
🔗Combinatory Logic
Challenges to adapt AI-based Video Codecs
dev.to·18h·
Discuss: DEV
🧠Learned Codecs
Adaptive generative moment matching networks for improved learning of dependence structures
arxiv.org·19h
🧠Machine Learning
A look at SGD from a physicist's perspective – Part 1 (2018)
henripal.github.io·22h·
Discuss: Hacker News
⚛️Information Physics
Linkage
11011110.github.io·1d
📐Mathematical Art
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·1d·
Discuss: Hacker News
🔍Type Inference
Effective learning: Twenty rules of formulating knowledge (1999)
supermemo.com·8h·
Discuss: Hacker News
📚Proof Pedagogy
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·4h·
Discuss: Hacker News
💻Local LLMs
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·2d
📄Text Segmentation
Benchmarking compression programs
maskray.me·1d
📦Deflate
Analysis of Semantic Communication for Logic-based Hypothesis Deduction
arxiv.org·19h
📡Information theory
Monday Morning Haskell: Starting out with Graph Algorithms: Basic DFS
mmhaskell.com·14h
🔗Combinatory Logic
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·1d·
Discuss: Hacker News
📊Count-Min Sketch
Song recommendations with C# free monads
blog.ploeh.dk·17h
λLambda Formalization
On the Persistence of Human Memory
blogger.com·11h
💾Persistence Strategies
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·3d
🎯Performance Proofs
Adaptive Heavy-Tailed Stochastic Gradient Descent
arxiv.org·19h
🧠Machine Learning
An Interview with Julio Barba
halide.cx·2d·
Discuss: Lobsters, Hacker News
🎬AV1 Encoding