home
code
articles
other
20 May 2011 »
Building APIs With Rails
14 Apr 2011 »
What the ɮɊɣͲɁѬȱ Is
UTF
-8? A Character Encoding Primer
14 Oct 2010 »
Database Translation Guide
24 Sep 2010 »
Vim Heresy
02 Sep 2010 »
Testing Serialized Fixtures in Rails 3
20 Jul 2010 »
Duplicate link_to_remote With Rails 3 and
UJS
23 Apr 2010 »
You Don’t Understand Edward Tufte
15 Apr 2010 »
Time in Words
17 Mar 2010 »
When You Disagree With Your Client
10 Mar 2010 »
Sending Email From Your Web Site
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
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
…