News for hackers. Stuff that matters.

A comment on More Speech and Fewer Mistakes. Parent comment

Re:More Speech and Fewer Mistakes by huijzer on Tuesday January 07, 2025 @03:02PM (#42626736)
Same would probably happen when talking in a video about the French theorem proofer called Coq.
[ Parent | on HN ]

There are no comments on this comment yet.