A New Era for Mechanical CAD
(dl.acm.org)
All
Programming (General) 8177
Systems / Low-Level / OS 6631
Programming Languages / CS Theory 4253
Data / Databases / Infrastructure 3846
Web Development 2760
AI / Machine Learning 2325
Security / Privacy 2166
Culture / Philosophy / History / Reading 2105
Productivity / Career / Business 1501
Maker / DIY / Hardware 1281
Gaming / Retro Computing 995
Design / UX / Visualization 915
Science / Math / Physics 837
Apple / macOS / iOS 697
Internet / Digital Culture 332
Health / Fitness / Lifestyle 24
Crypto / Blockchain 10
Science / Math / Physics
Sierpiński triangle? In my bitwise AND?
(lcamtuf.substack.com)
A tool to verify estimates, II: a flexible proof assistant
(terrytao.wordpress.com)
Spatial Data-Management (1979)
(media.mit.edu)
Reservoir Sampling
(samwho.dev)
Barycentric Coordinates (2020)
(observablehq.com)
Summer of Math Exposition 4
(some.3b1b.co)
How prime factorizations govern the Collatz conjecture
(perette.barella.org)
Debugging a Logic Circuit in IDP-Z3
(simonvandevelde.be)
Post-Quantum Cryptography on NetBSD
(netmeister.org)
Uncovering the mechanics of The Games: Winter Challenge
(mrwint.github.io)
Correct application of the Lanczos filter in 2D
(github.com)
Astro Linker Chrome Extension - A Fun Personal Project
(thelinell.com)
Comparison with Traditional Mathematics
(aplwiki.com)
Reversing the Fossilization of Computer Science Conferences
(cacm.acm.org)
Good regulator theorem
(en.wikipedia.org)
The Elo Rating System in the MLB
(thelinell.com)
/usr/share/units/definitions.units
(salsa.debian.org)
Implementing Unsure Calculator in 100 lines of Haskell
(alt-romes.github.io)
The ‘trickonometry’ of math olympiad inequalities
(andreinc.net)
Floating point round trip radix conversion
(johndcook.com)
What is cosh(List(Bool))? Or beyond algebra: analysis of data types
(nikitadanilov.github.io)
A5 - Pentagonal Spatial Index
(a5geo.org)
On the cruelty of really teaching computing science (1988)
(cs.utexas.edu)
Efficient E-Matching for Super Optimizers
(blog.vortan.dev)
Matrix Calculus for Machine Learning and Beyond
(github.com)