mself

6 ms·

1.
"LISP: Programming and Proving" by John McCarthy and Carolyn Talcott (1980)(archive.org)
9 points by mself 6mo ago|1 comments
2.
by mself 6mo ago
This important unpublished work was not available anywhere online, so I scanned my copy. These are the course notes for CS 206: Computing with Symbolic Expressions taught by John McCarthy at Stanford University in the 70s, 80s, and 90s. I p
3.
by mself 6y ago
Doesn’t make any sound?
4.
by mself 6y ago
I think the author has mixed up underfitting and overfitting.
5.
FDA approves AI software that helps non-experts take ultrasound heart images(statnews.com)
4 points by mself 7y ago|0 comments
6.
by mself 7y ago
6
7.
by mself 7y ago
Here’s another version that helps clarify it... There are three doors, one has a prize and the other two are empty. You pick a door (say, Door 1). Monty then says that his assistant will move whatever is behind Door 2 (if anything) to Doo
8.
by mself 7y ago
Unlike what the OP stated, the key is NOT to list you phone number as an SMS 2FA recovery option. Only use the non-SMS options (e.g. app-based recovery, Google Authenticator, recovery codes). Adding SMS as an option makes your account les
9.
by mself 7y ago
Yes, it’s called Skack now.
10.
by mself 7y ago
I love the idea of making an approachable version of Ed Jaynes’s classic.
11.
by mself 8y ago
Stop calling it “rideshare”. The driver is a not “talking a ride” and “sharing” it with you. They are a paid driver. This is a taxi service — not a carpooling service.