Broken proofs and broken provers
(lawrencecpaulson.github.io)
All
Programming (General) 798
Systems / Low-Level / OS 583
AI / Machine Learning 542
Programming Languages / CS Theory 429
Data / Databases / Infrastructure 377
Web Development 276
Security / Privacy 233
Culture / Philosophy / History / Reading 210
Productivity / Career / Business 162
Gaming / Retro Computing 129
Design / UX / Visualization 112
Maker / DIY / Hardware 112
Science / Math / Physics 72
Apple / macOS / iOS 67
Internet / Digital Culture 48
Health / Fitness / Lifestyle 5
Science / Math / Physics
The largest number representable in 64 bits
(tromp.github.io)
Lambda cube
(en.wikipedia.org)
GNU Units
(gnu.org)
Category Theory and Inclusivity
(youtu.be)
You can't handle the Buddhabrot! (2024)
(lcamtuf.substack.com)
A Simple fwd_diff<T> for Forward-Mode AD in C++
(solidean.com)
Implementing the transcendental functions in Ivy
(commandcenter.blogspot.com)
You CAN Average Percentiles (2016)
(rpubs.com)
Efficiently testing multiple primes at once
(johndcook.com)
Visualizing Delaunay Triangulation (2022)
(ianthehenry.com)
Nvidia Stock Crash Prediction
(entropicthoughts.com)
Floating-Point Printing and Parsing Can Be Simple And Fast
(research.swtch.com)
People cannot "just pay attention" to (boring, routine) things
(utcc.utoronto.ca)
The Astro Technology Company joins Cloudflare
(astro.build)
Ergonomic abstractions for numerical computing: My story so far
(ocramz.github.io)
Primecoin and Cunningham Prime Chains
(johndcook.com)
When Models Manipulate Manifolds: The Geometry of a Counting Task
(transformer-circuits.pub)
A Unique Performance Optimization for a 3D Geometry Language
(cprimozic.net)
Cloudspecs: Cloud Hardware Evolution Through the Looking Glass
(muratbuffalo.blogspot.com)
Celeste & TowerFall Physics
(maddymakesgames.com)
Lessons from Blogging and the Evolution of the Open Web
(openchannels.fm)
Relax for the same result (2015)
(sive.rs)
A4 Paper Stories
(susam.net)