Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·2h·
Discuss: Hacker News
🧮Algebraic Datatypes
The Closure Phenomenon: Functions That Remember
dev.to·1d·
Discuss: DEV
💻Programming languages
An MVCC-like columnar table on S3 with constant-time deletes
shayon.dev·1d·
Discuss: Hacker News
🔗Archive Combinators
On This Day in Math - October 5
pballew.blogspot.com·16h·
📜Manuscript Algebras
Nix pills
nixos.org·12h
❄️Nixpkgs
News for September 2025
ptreview.sublinear.info·1d
🧪Property-Based Testing
The Making of Digital Identity – The Birth of Digital Authentication
syntheticauth.ai·6h·
Discuss: Hacker News
🔐PKI Archaeology
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·16h·
Discuss: Hacker News
🧮SMT Solvers
What if the Universe Remembers Everything? New Theory Rewrites the Rules of Physics
scitechdaily.com·2d
Time Crystals
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·1d·
Discuss: Hacker News, r/LLM
λLambda Encodings
Announcing cost-efficient storage with Network file storage, cold storage, and usage-based backups
digitalocean.com·3d
🏠Homelab Preservation
Generalizing the central dogma as a cross-hierarchical principle of biology
royalsocietypublishing.org·12h·
Discuss: Hacker News
🔲Cellular Automata
Packing the World for Longest Lines of Sight
tombh.co.uk·47m·
📊Computational Geometry
The Algorithmic Archive: a project overview
blogs.bodleian.ox.ac.uk·2d
🗜️Zstandardized Archives
Measuring scaleup for Postgres 18.0 with sysbench
smalldatum.blogspot.com·4h·
📊Performance Profiling
EEFSUVA: A New Mathematical Olympiad Benchmark
arxiv.org·2d
🎯Performance Proofs
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·2d
⚔️Lean Theorem
sopass and cross-device syncing in a password manager
blog.liw.fi·1d
🔀CRDT
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·2d·
Discuss: Hacker News
🔬Lean