Month: March 2006
-
Types and Programming Languages: Chapter 4
I’m working through Types and Programming Languages, by Benjamin Pierce. I’m up to somewhere around chapter 13, References, but it’s starting not to make sense. Which means it’s time to back up and do more of the work, instead of just nodding as though I really understand it. One of the things he does is…
-
Solaris network install using Linux DHCP server
This weekend’s tech project was getting an old Sun Ultra 5 up and running with a new version of Solaris, in this case Solaris Nevada b33, so I can play with toys like opensolaris, dtrace, zfs,etc. This particular machine doesn’t have a cdrom, so in order to get things working I had to do a…
-
Epsilon-Delta: Mathematics and Computer Programming » Number Sequence Puzzles are Arbitrary
Epsilon-Delta: Mathematics and Computer Programming » Number Sequence Puzzles are Arbitrary