March 2004
M T W T F S S
« Feb   Jul »
1234567
891011121314
15161718192021
22232425262728
293031  

Categories

Archives

Archives

Set Theoretic Programming Language

If set theory is the foundation of all mathematics, then why not also programming (which is a kind of constructive mathematics). The closest to that existing today is, of course, Haskell.

Don’t neglect the cool multimedia things that it can do, according to this book review.

Blasphemous Ideas

I was on the bus and these two old men boarded at a stop and were embroiled in some sorta argument. One was sorta bummish, and was saying “there is no fear, I love everything” while the other, kept repeating “shut up, motherfucker.” The bummish guy, at one point said “I’m a buddah,” which completely […]