31
Programming AIs worry me
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...
Hillel Wayne
Buttondown is the last email platform you'll migrate to. We're focused on your success, not on bleeding you dry.
- Popular posts
- 47
- Total points
- 11,927
- HN comments
- 9,157
- Rank
- #63 personal
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
32
Read “Data and Reality”
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...
33
The seven specification ur-languages
A brief overview of the formal specification landscape
34
Dynamic types have the potential to be more than "no static types"
They have potential to be more than "no static types", but that hasn't happened.
35
I Still Use Vim
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...
36
Not all graphs are trees
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...
37
Tag Systems
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...
38
Creatively Misusing TLA+
Five not-quite-normal uses
39
Monorepos and Forced Migrations
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...