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
-
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…
-
Course retrospective: SMT Solving and Solver-Aided Systems
New blog post, in which I am better late than never. This entry was originally posted at https://lindseykuper.dreamwidth.org/34629.html. Please…
-
Yet another post telling you to apply to PLMW
New blog post, in which I am back on my bullshit. This entry was originally posted at https://lindseykuper.dreamwidth.org/34546.html. Please…
- Post a new comment
- 6 comments
- Post a new comment
- 6 comments
