home
code
articles
other
05 Mar 2010 »
JavaScript Framework Translation Guide
10 Feb 2010 »
Keeping Daemons Alive With Upstart
27 Jan 2010 »
Intro to Event-Driven Programming: Using a
SAX
Parser
18 Jan 2010 »
Anatomy of a Ruby Web Application
10 Dec 2009 »
Single Table Inheritance in Rails
04 Dec 2009 »
A Standard for Open Source Code Documentation
01 Dec 2009 »
Troubleshooting Ubuntu Boot Problems
25 Nov 2009 »
Ruminating on Text Editors
18 Nov 2009 »
CSS
Consistency vs. Payload
06 Nov 2009 »
Growing Up With Computers
30 Oct 2009 »
Brief Timeline of the Internet
26 Oct 2009 »
The Influence of Vi
14 Oct 2009 »
Google Custom Search
07 Oct 2009 »
Simulate Has Many Through
HABTM
22 Sep 2009 »
How to Cause Useful Accidents
16 Sep 2009 »
Build Web Applications In Static
HTML
26 Jul 2009 »
Informant
30 Jun 2009 »
Punting on Feedzirra Dependencies
15 Apr 2009 »
Geocoder
06 Nov 2008 »
Form Builders in Rails
How to count:
0 ≡
λsz.z
S ≡
λwyx.y(wyx)
S0 ≡
(λwyx.y(wyx))(λsz.z)
λyx.y((λsz.z)yx)
λyx.y((λz.z)x)
λyx.y(x) ≡
1
S1 ≡
(λwyx.y(wyx))(λsz.s(z))
λyx.y((λsz.s(z))yx)
λyx.y((λz.y(z))x)
λyx.y(y(x)) ≡
2
…