Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Mastodon gained 70k users after Musk’s Twitter takeover. Parent comment
Coq: still going strong after 33 years
I am not sure your examples make the point you think they make. Names don't seem to matter.
There are no comments on this comment yet.
Coq: still going strong after 33 years
I am not sure your examples make the point you think they make. Names don't seem to matter.