Human Folly about “John-Nagle”

index

• 2Up (archive.org):

  #ebook of the Pascal-F verifier from 01985 by Scott D. Johnson and #John-Nagle. #formal-methods

  on 02026-06-14
• Item (news.ycombinator.com):

  discussion of #formal-methods in the context of #Jane-Street, including #John-Nagle. #toread

  on 02026-06-14