A great little thread that starts with a simple-seeming syntax question that rapidly becomes a discussion of type theory.
'a unification
A great little thread that starts with a simple-seeming syntax question that rapidly becomes a discussion of type theory.
-
memcache job offers
I get occasional recruiter spam that specifically calls out "my work on memcached". This is pretty funny because all I did was make some trivial…
-
application stack
"Put yourself in 1995. I'm going to tell the you of 1995 that in 2010, there will be a software platform with the following properties:" Luis Villa…
-
bsd license advertising
Did you know that the 3-clause BSD (that is, the one with the "advertising" clause stripped) license still has an advertising requirement? Read it…
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments