New

The latest blog posts to take off on Hacker News. 4,763 posts.

Any topic
2017
3713

Bootstrapping a Type System (2010)

Magpie has reached a strange but neat little milestone on the road from “weird experiment” to “real language”: the type system is now bootstrapped. I’m not aware of any other languages where a statement like that is even meaningful (maybe Typed Scheme ?), much less true , so I’ll try to break that down.

3715

TreeMaker: Origami Design Software

In 1989, I wrote an article for the magazine Engineering & Science about the state of technical folding, which, even then, seemed to be progressing by leaps and bounds due to an infusion of scientific and mathematical principles. In recounting some of the connections between origami, math, and technology, I wrote:

3717

YC AI

Some think the excitement around Artificial Intelligence is overhyped. They might be right. But if they’re wrong, we’re on the precipice of something really big. We can’t afford to ignore what might be the biggest technological leap since the Internet. In an effort to usher in more innovation with AI, Y Combinator is…

3718

They Used To Last 50 Years

Now refrigerators last 8–10 years, if you are fortunate. How in the world have our appliances regressed so much in the past few decades? I’ve bought and sold refrigerators and freezers from the 1950’s that still work perfectly fine. I’ve come across washers and dryers from the 1960’s and 1970’s that were still working…