1"LISP: Programming and Proving" by John McCarthy and Carolyn Talcott (1980) (opens in new tab)archive.org9mself1mo ago1
2FDA approves AI software that helps non-experts take ultrasound heart images (opens in new tab)statnews.com4mself6y ago0
