My Mathematical Regression(blog.dahl.dev)

346 points by aleda145 4 months ago | 134 comments

Blog post in which the author revisits a decade-old Project Euler solutions repo and reflects on a plain-text answer to problem 15, Lattice Paths.

Long division verified via Hoare logic(cofault.com)

98 points by ndanilov 1 year ago | 55 comments

Feynman's Garden(marginalia.nu)

106 points by EvgeniyZh 2 years ago | 46 comments

Moving integer division to floating-point is trivial(marc-b-reynolds.github.io)

34 points by matt_d 2 months ago | 13 comments

Leaving Neovim for Zed(stevedylan.dev)

289 points by mxstbr 2 years ago | 252 comments

A software engineering interview question I like: computing the median(krisshamloo.com)

45 points by speckx 3 months ago | 40 comments