/explore
|
You are here 
|
queuea9.wordpress.com | ||
| | | | |
boxbase.org
|
|
| | | | | These ideas and thoughts have converged towards type theory, and I remembered familiar patterns so I did a closer study at the Hindley-Milner, to understand it much better than before. | |
| | | | |
xorshammer.com
|
|
| | | | | Nonstandard Analysis is usually used to introduce infinitesimals into the real numbers in an attempt to make arguments in analysis more intuitive. The idea is that you construct a superset $latex \mathbb{R}^*$ which contains the reals and also some infinitesimals, prove that some statement holds of $latex \mathbb{R}^*$, and then use a general "transfer principle"... | |
| | | | |
www.pl-enthusiast.net
|
|
| | | | | This blog post is the first in my series on secure computationand will be presented in two parts. It briefly introduces some work my collaborators and I published this year, which illustrates a pleasant application of programming languages ideas to ... Continue reading | |
| | | | |
nguyenhuythanh.com
|
|
| | | "Y Combinator" is the name of a "meta" startup (one that powers other startups), and also is considered the most beautiful term of Computer Science, or Lambda Calculus. You may encountered this kind of post somewhere else, but I cannot stop doing the same. It blown my mind. Spares the techinal jargons, we should just jump straight into Lisp code. I will try to go step by step in the hope that you will "get" it. | ||
