Sean Leffler

sdleffler.github.io

A countable set of sanities and insanities, by Shea Leffler.

Popular posts: 1
Total points: 280
HN comments: 204
Rank: #9,506 personal

Visit sdleffler.github.io → RSS feedOn Hacker News Mar 2017 – Mar 2017

Software Engineering 1 Programming Languages 1

Most points Most discussed Most cited Newest

Rust's Type System Is Turing-Complete: Type-Level Programming in Rust

2017280 points204 commentscited by 7Programming Languages details

(N.B. The word “fuck” appears multiple times in this post. I recommend that the reader temporarily not consider “fuck” as profanity, as it isn’t used that way here.)