Please read the paper before you comment
Each day on twitter there is one main character. The goal is to never be it— maple cocaine (@maplecocaine) January 3, 2019 Yesterday the main character of...
Buttondown is the last email platform you'll migrate to. We're focused on your success, not on bleeding you dry.
Visit buttondown.email → RSS feedOn Hacker News Jul 2019 – Jul 2024
Software Engineering 39Math & Algorithms 9Career & Management 8Programming Languages 6Tools & Productivity 5Life, Learning & Writing 5
Each day on twitter there is one main character. The goal is to never be it— maple cocaine (@maplecocaine) January 3, 2019 Yesterday the main character of...
From a person who really shouldn't be giving others advice.
I'm a big advocate of Empirical Software Engineering. I wrote a talk on it. I wrote a 6000-word post covering one controversy. I spend a lot of time reading...
They're not all good and not all bad
New Post: ADTs in TLA+ Using Abstract Data Types in TLA+. It's an adaptation of part of my TLAConf talk. It's also a lot more advanced than most of the...
I am really, really into cooking. In the heady days of 2016 I regularly threw dinner parties for 30+ people. These days I don't hate myself that much, but...
No Newsletter Next Week I'll be on vacation in the Caribbean, sipping drinks and juggling for Hermit crabs. The Actual Thing I'm a vim user. I've used Vim...
Friends! Pals! Treasured work associates! Last month Mandy Brown wrote about how she struggled to quit her job and this bit hit me like a sledgehammer: “I...