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