Initial CUDA Performance Lessons(probablydance.com)

152 points by ibobev 2 years ago | 36 comments

Fibonacci Hashing: An optimization that the world forgot (2018)(probablydance.com)

167 points by djoldman 3 years ago | 39 comments

C++ coroutines do not spark joy (2021)(probablydance.com)

51 points by signa11 2 years ago | 38 comments

Fibonacci Hashing: The Optimization That the World Forgot(probablydance.com)

95 points by juancampa 1 year ago | 19 comments

Revisiting Knuth's “Premature Optimization” Paper(probablydance.com)

176 points by signa11 1 year ago | 109 comments

Why Does Integer Addition Approximate Float Multiplication?(probablydance.com)

165 points by ibobev 1 year ago | 64 comments

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.

Writing a C compiler in 500 lines of Python(vgel.me)

454 points by vgel 3 years ago | 142 comments

Blog post by vgel describing the design and architecture of a small C compiler written in about 500 lines of Python.

My first contribution to Linux(vkoskiv.com)

633 points by vkoskiv 1 year ago | 76 comments

A blog post recounting the author's experience upstreaming their first Linux kernel patch, fixing a hardware issue on a 2005 Fujitsu Lifebook S2110.

I built a programming language that LLMs can't use(blog.picheta.me)

244 points by dom96 8 days ago | 179 comments

Blog post by Dominik Picheta introducing KillSwitch, a programming language he designed so that large language models cannot use it.

SciPy builds for Python 3.12 on Windows are a minor miracle(labs.quansight.org)

425 points by todsacerdoti 3 years ago | 225 comments

Quansight Labs blog post on how SciPy was built for Python 3.12 on Windows, including the move to the Flang Fortran compiler.

Notes on OpenAI's new o1 chain-of-thought models(simonwillison.net)

641 points by loganfrederick 2 years ago | 566 comments

Simon Willison's blog post with notes on OpenAI's o1-preview and o1-mini models, covering chain-of-thought training, API details, hidden reasoning tokens and examples.