Sofia 🧹, Discover and Read the Best of Twitter Threads by @typeswitch

Sofia 🧹

typeswitch

I like nonstandard arithmetic...Here's a thread, a primer for the uninitiated.0/ What is "nonstandard arithmetic"? What is meant by "nonstandard"?The "nonstandard" refers to the use of non-standard models,

Types give you positive confidence, unlike tests. But how do you build confidence in the typechecker? By writing test for it...(Writing a typechecker is a bit like squaring the circle,

I can't get out of my head, the idea that it would be cool if Mirth could target DOS, you know, as a platform.But the only Mirth program is the