A normal order lambda calculator, by Oleg Kiselyov.
“The present calculator implements what seems to be an efficient and
elegant algorithm of normal order reductions. The algorithm is “more
functional” than the traditionally used approach.”
Sexy primes are pairs of prime numbers that differ by six. Genius naming.
Hard drive sounds, the horror!
a coding machine. Read the novel or skip straight to the
O’Browser, an OCaml in a browser. “We present a way to run OCaml
programs on a standard, unmodified web browser. To achieve this, we
implementation of the standard library.”
Blogging Like a Hacker, the return of minimalist blogging systems!
I gotta release Trivium too…
Trivium, my minimalist blogging engine that runs this site.
I don’t think life in our Solar System is possible.