Profile cover photo
Profile photo
Craig Stuntz
217 followers
217 followers
About
Craig's posts

Post has shared content
We'll be covering the suggestion is Chapters 1 and 2 of Practical Foundations of Programming Languages by Bob Harper.

We'll be using the second edition, currently this may be found online at http://www.cs.cmu.edu/~rwh/plbook/2nded.pdf (warning, large pdf).

As a rough content summary, these chapters lay the groundwork for the rest of the book by establishing all the math we'll be using. Because these chapters are somewhat dry, it may be interesting for us to discuss actually implementing some of the things discussed in $(your favorite PL).

Joseph Abrahamson, Craig Stuntz, and Danny Gratzer will handle leading that discussion.

Post has attachment

Post has attachment
James Bamford 

Post has attachment
Dinesh D'Souza is an even bigger idiot than you might have expected. 

Post has attachment

Post has attachment

Post has attachment
A market failure: Nobody knows what the actual price of a prescription drug is. 

Post has attachment
Third major car recall due to probability of spider infestation. 

Post has attachment
Stuff I never knew: US judges can and do order defendants to be electrically shocked in court if they talk out of turn. 

Post has attachment
Wait while more posts are being loaded