A place for Snippets ...
On second thoughts, Tumblr is actually a great place for snippets, the kind of stuff that I would otherwise “+1” or “Like” and spam my “wall” with.…
Moved to Wordpress
Decided that Tumblr isn’t really a good substitute for a blog (and Wordpress is? Are you joking? Maybe), so went with wordpress instead ……
Calculating, Scheming, and Paul Graham
Calculating, Scheming, and Paul Graham I came across [this paper] recently, and it challenged some of the thoughts/assumptions that had been building in my mind for a while (it discusses Scheme vs Mi…
Calculating, Scheming, and Paul Graham
I came across [this paper] recently, and it challenged some of the thoughts/assumptions that had been building in my mind for a while (it discusses Scheme vs Miranda, but you can imagine Lisp vs Haske…
Trying out Haskell again
Because, you know, every once in a while … Clear out existing stuff rm ~/.ghc ~/.cabal Get basic stuff sudo apt-get update sudo apt-get install ghc cabal-install Set up cabal cabal update cabal…
(Untitled)
Having to reimplement basic functionality is not as illuminating as reading and understanding a professional programmer’s implementation of it – “learn by doing” is good for muscular training. Progra…
(Untitled)
I agree that Common Lisp a very powerful language, but I can’t live with all that power uncontrollably thrown on me. Common Lisp grossly lacks self-discipline and self-limitation when it’s needed. ht…
(Untitled)
The difference between a hobbyist and a professional programmer should have been accountability. The difference today is whether he gets paid. http://xach.com/naggum/articles/3224708561252229@naggum…
Back from the dead
Frustrations with my Octopress/Jekyll/Github setup led me to consider alternatives, so looking at Wordpress/Tumblr/Ghost/Svbtle, I ended up here. I was honestly surprised to realize that I once starte…
(Untitled)
nothingspookI really wonder why XML does not.…
The "trinity of computation"
The “trinity of computation” I never thought of it this way Logic tells us what propositions exist (what sorts of thoughts we wish to express) and what constitutes a proof (how we can communicate o…
The "trinity of computation"
I never thought of it this way LogicLanguagesCategoriesall three have ontological force; they codify what is, not how to describe what is already given to us. In this sense they are foundational; if…