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 build typecheckers …

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 network …