Cheney's Algorithm, Semispace Collection, Pointer Adjustment, Compaction

500x Faster Theseus Plots with Rust and Gitoxide
amedee.meยท1d
๐Ÿš‚Cranelift Backend
Telling the Difference Between Memories & Logical Guesses
lesswrong.comยท1d
๐Ÿง Memory Ordering
What is the correct answer to 50รท5ร—2 + 10 = ?
mindyourdecisions.comยท1d
๐Ÿ“Mathematical Computing
Memory leaks: the forgotten side of web performance (2022)
nolanlawson.comยท17hยท
Discuss: Hacker News
๐Ÿ”—Weak References
Timasomo 2025: Week 1 Updates
tildes.netยท11h
๐ŸŽฏ99-Line Tools
Bringing NumPy's type-completeness score to nearly 90% โ€“ Pyrefly
pyrefly.orgยท1dยท
โˆ€Quantified Types
Let's Prove Leftpad
github.comยท1dยท
Discuss: Hacker News
๐Ÿ“šSelf-Documenting Code
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.orgยท6h
๐Ÿ”ML Language
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.orgยท1d
๐ŸงฉConstraint Solvers
Emergence of Superposition: Unveiling the Training Dynamics of Chain of Continuous Thought
arxiv.orgยท1d
๐Ÿ”—Concatenative Theory
Gar's Tips & Tools - Issue #205
garstipsandtools.comยท17h
๐Ÿ“Rope Editors
I built a faster singleflight implementation for Go (zero allocations, ~4x faster than std)
reddit.comยท1dยท
Discuss: r/golang
๐Ÿ’พZero-Copy
StaMo: Unsupervised Learning of Generalizable Robot Motion from Compact State Representation
arxiv.orgยท1d
๐ŸŒฑMinimal ML
GaloisInc/parameterized-utils
github.comยท9h
๐Ÿ“Linear Haskell
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.orgยท2d
๐ŸงฉConstraint Solvers
digital-asset/cn-quickstart
github.comยท9h
๐ŸŒBrowser REPLs
Scaling Cron Job Performance from a Few Thousands to Millions Of Process
dev.toยท23hยท
Discuss: DEV
๐Ÿ”„Coroutines
Caching in Vector Database: What You Need to Know
dev.toยท2dยท
Discuss: DEV
โšกCache Optimization