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
This is the inaugural issue of Cryptography Dispatches, meant to be quick, frequent and lightly edited discussions of cryptographic topics. Longer form can be found at blog.filippo.io. If you are not reading this in your email client, you can subscribe here .
I'm sick of it. In the world of mobile development (though likely also elsewhere), we sink so much engineering talent into making tools that are great...
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! CSS deviants! One thing I’ve always loved about CSS, besides its obvious and immediate effect on a webpage—wow this table is now red!—is that...
TLA+ Workshop Last Call The TLA+ workshop is next week! Oct 20-22, register here, use the code COMPUTRONSTUFF for $500 off. Learn how a few hours of...
Chronicling, plugin systems, and six other disjointed ideas combine in an argument of how to "engineerize" software more
For some inane reason, Github classifies me as a "major open source maintainer", which means I get a free copilot subscription.1 I've been using it for a...
Once more: we are not modeling reality, but the way information about reality is processed, by people. — Bill Kent I've got this working theory that you can...
A brief overview of the formal specification landscape
They have potential to be more than "no static types", but that hasn't happened.
The Stack Overflow blog recently published Modern IDEs are magic. Why are so many coders still using Vim and Emacs? Posts about Vim vs Emacs vs IDEs are...
It's pretty easy to imagine how to represent relational algebra expressions as a tree—they are already structurally rooted trees where each operator has its...
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...
Hello there, I'm betting that you need a break from curve flattening, and disinfectants, and Twitter, and Slack, and Zoom, and asking if people can see your...
I've tried to write a blog post on tag systems for years now. Literally years, I think I first started drafting it out in 2018 or so? The problem is that...
Five not-quite-normal uses
Monorepos and Forced Migrations By most metrics, Google is a great place to work. Top tier compensation, free food, and largely co-workers who want do...