mstdn.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A general-purpose Mastodon server with a 500 character limit. All languages are welcome.

Administered by:

Server stats:

11K
active users

Hacker News

The Foundation of a Generic Theorem Prover (1989) [pdf]
L: arxiv.org/pdf/cs/9301105
C: news.ycombinator.com/item?id=4
posted on 2024.05.10 at 03:41:22 (c=0, p=4)