Identifying Leap Years (2020)(davecturner.github.io)

27 points by g0xA52A2A 2 years ago | 4 comments

Evolution of Rust Compiler Errors(kobzol.github.io)

131 points by ingve 1 year ago | 29 comments

Generalised plusequals(leontrolski.github.io)

12 points by leontrolski 6 months ago | 6 comments

Excessive nil pointer checks in Go(konradreiche.com)

91 points by ingve 4 months ago | 68 comments

How a new DSL may survive in the era of LLMs(williamcotton.com)

40 points by williamcotton 4 months ago | 13 comments

Scheming a mise-en-abîme in BQN(panadestein.github.io)

38 points by todsacerdoti 1 year ago | 0 comments

Making any integer with four 2s(eli.thegreenplace.net)

338 points by LorenDB 1 year ago | 144 comments

Eli Bendersky's blog post on the puzzle of generating any natural number using exactly four 2s and arbitrary mathematical operations.

Borrow Checking Zero-Cost Cyclic Mutability(antelang.org)

35 points by jfecher 7 days ago | 2 comments

A blog post from the Ante programming language project describing a borrow-checking approach that allows zero-cost cyclic shared mutability.

A new way to think about borrow checking (in reverse)(verdagon.dev)

104 points by verdagon 8 days ago | 10 comments

Blog post by Evan Ovadia explaining a borrow checker for the Vale language that analyzes functions by walking them backwards to check memory safety.

The Year of Internal Tools(geocod.io)

55 points by thecodemonkey 1 month ago | 21 comments

Geocodio engineering blog post on moving from bash scripts to full internal apps, keeping them maintainable, and deciding when to build versus buy.

20 years working on the same software product(successfulsoftware.net)

431 points by hermitcrab 1 year ago | 149 comments

A Successful Software blog post reflecting on 20 years of developing and selling the same software product as an independent developer.

Claude Code can debug low-level cryptography(words.filippo.io)

446 points by Bogdanp 11 months ago | 199 comments

Filippo Valsorda's blog post on using Claude Code to debug his new Go implementation of the ML-DSA post-quantum signature algorithm.