New

The latest blog posts to take off on Hacker News. 2,668 posts.

Any topic
2019
2502

Capitalism and Inequality

I was talking to a friend about AOC’s proposal to increase marginal federal rates to 70% to fund investments in fighting climate change. My friend said he was disappointed that she didn’t propose a top federal rate of 83.25% so that the marginal rate in NYC would be 100%. He was joking but his remark […]

2506

Let’s stop copying C (2016)

Ah, C. The best lingua franca we have… because we have no other lingua francas. Linguae franca. Surgeons general? C is fairly old — 44 years, now! — and comes from a time when there were possibly more architectures than programming languages. It works well for what it is, and what it is is a relatively simple layer of…

2516

Why Don't People Use Formal Methods?

I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like “its too expensive!!!” or “website isn’t airplane!!!” These are sorta kinda true but don’t explain…