I think that "Sound and Complete Models of Contracts" might be the most difficult paper I've ever tried to read. I feel like I'm drowning in an ocean of stuff I don't understand, and every now and then a piece of driftwood (representing the occasional part that I do understand) floats up and I clutch at it for a while, and just when I'm starting to catch my breath, a giant wave comes along and rips it out of my grasp. Then the piece of driftwood comes back and bonks me on the head.
-
- Lindsey Kuper (
lindseykuper) wrote,
Lindsey Kuper
lindseykuper
-
Join us at the Programming Languages Mentoring Workshop at ICFP next month
New blog post, in which it is time for my annual exhortation. This entry was originally posted at…
-
How to create an .srt caption file for a video
New blog post, in which I serve in my capacity as ICFP accessibility co-chair, or something. This entry was originally posted at…
-
How not to email prospective grad school advisors
New blog post, in which I dispense advice. This entry was originally posted at https://lindseykuper.dreamwidth.org/35335.html. Please comment…
- Post a new comment
- 6 comments
- Post a new comment
- 6 comments
