Human folly for 02024-01-30

older newer index

• Browse Edgar (sec.gov):

  EDGAR filings for Booking.com (formerly Priceline, the patent abusers) #criminals

• (dl.acm.org):

  Hoare’s #paper “developing Brinch-Hansen’s concept of [#monitors]” for #concurrency

• UEFI (en.wikipedia.org):

  the #UEFI "Compatibility Support Module" supports booting from an MBR

• What is going on genetically that restricts the number of generations a yogurt s (cooking.stackexchange.com):

  #yogurt making theory #food #cooking #fermentation

• The Soviet 1801vm2 lsi 11 processor (cpushack.com):

  Angstrem still manufactures their 1806VM2 #PDP-11 on a chip. #retrocomputing

• CBMC (github.com):

  "CBMC" is a bounded model checker for #C and C++ programs, part of #CProver. #formal-methods