Data Compression with Relative Entropy Coding
arxiv.org·4d
📐Compression Mathematics
Vibe Coding Is Not an Advantage
asindu.xyz·2h·
Discuss: Hacker News
🔩Systems Programming
Brent Yorgey: Competitive programming in Haskell: prefix sums
byorgey.github.io·20h
🔤Type Theory
How to Read a Book: 002, A Few Thoughts on Books
janusworx.com·5h
ℹ️Information Theory
Computational phylogeny of Indo-European
languagelog.ldc.upenn.edu·9h
🔤Morphological Analysis
ICT2, the paperback!
logicmatters.net·1d
🎯Proof Tactics
From Beginner to Clean Coder: A Junior Developer's Journey
dev.to·4h·
Discuss: DEV
🔗Concatenative Programming
Associated, unassociated alpha channel compositing
medium.com·1d·
Discuss: Lobsters, Hacker News
🖼️JPEG XL
Analysis Paralysis!
aliexpress.us·7h·
Discuss: r/homelab
📐Linear Algebra
New Proof Dramatically Compresses Space Needed for Computation
scientificamerican.com·9h·
Discuss: Hacker News
🎯Performance Proofs
Ken Kocienda - Coding With AI using Cursor
kocienda.micro.blog·14h
🔄Language Evolution
[D] Thinking, Fast and Slow
reddit.com·12h·
Discuss: r/MachineLearning
🧮Theoretical Computer Science
Meshtastic: Why is it so popular?
jonlennartaasenden.wordpress.com·16h
🕸️Mesh Networking
Genomics coordinate systems
docs.rs·1d·
Discuss: Hacker News
🧬Copy Number Variants
Statically checking Python dicts for completeness
lukeplant.me.uk·10h
✅Format Verification
Slightly better named character reference tokenization than Chrome, Safari, and Firefox
ryanliptak.com·1d·
Discuss: Lobsters, Hacker News
🌳Trie Structures
On Context-Content Uncertainty Principle
arxiv.org·16h
🧠Machine Learning
The Furones Algorithm
dev.to·9h·
Discuss: DEV
🕸️Graph Algorithms
monads at a practical level
nyadgar.com·8h·
Discuss: r/programming
🧬Functional Programming
Visualizing CPU Pipelining (2024)
timmastny.com·9h·
Discuss: Hacker News
⚙️RISC-V Microcode