#pdf scan of HP Digest from 1978, which, despite its advertising nature, goes into substantial depth in describing the user experience of programming the HP RPN calculators of the time.
Jon Watkins’s #predictions from 1900 of what life would be like in the year 2000.
Mauricio #Macri is giving the military of #Argentina more autonomy from civilian oversight; #human-rights organizations protest. #politics
#pdf #ebook from Sørensen and Urzyczyn on the #Curry-Howard isomorphism, covering Barendregt’s λ-cube, among other things. #toread