Peter Norvig: New Python Operators(betterprogramming.pub)17 points by behnamoh 2 years ago | 5 comments
How to write correct code by construction using the Coq Proof Assistant(betterprogramming.pub)138 points by ingve 3 years ago | 44 comments
Load Balancing: The Intuition Behind the Power of Two Random Choices(betterprogramming.pub)80 points by fagnerbrack 3 years ago | 27 comments
Decoupling a core service from your monolith the right way(betterprogramming.pub)42 points by eallam 3 years ago | 34 comments