Interview
summary
Two concrete proposals: strengthening and weakening Java's type system with actual tools, proofs and implementations rather than vague examples. One project is real enough that Oracle plans to incorporate in Java 8. Experiments combine theory and practice, with tangible outcomes and a blunt success rate: about half the time it's a big success and half the time it's a terrible failure. Talks show what was built, how it was evaluated, and whether it worked.
AI-written summary · about
chapters (7)
- 0:00Introduction
- 0:22What are you speaking about
- 0:46What do you want to do
- 1:19How did you get involved
- 2:15How would you get more people involved
- 4:35Why do half of your projects fail
- 6:58Other passions
