A brief introduction to interval arithmetic(buttondown.email)193 points by zdw 2 years ago | 78 comments
What does “Undecidable” mean, anyway(buttondown.com)127 points by BerislavLopac 1 year ago | 126 comments
State and time are the same thing(buttondown.com)35 points by BerislavLopac 2 years ago | 20 comments
The Halting Problem is a terrible example of NP-Harder(buttondown.com)87 points by BerislavLopac 1 year ago | 92 comments