Who Can Understand the Proof? A Window on Formalized Mathematics

Article URL: https://www.nytimes.com/2025/01/09/arts/dr-ruth-kinsey-sex.html

Comments URL:

For example: apart from HN, I take part in Reddit and Bluesky. Facebook and Instagram ane inertia. Twitter/X is never more.

Comments URL:

Article URL: https://hackaday.com/2025/01/09/all-band-receiver-lets-you-listen-to-all-the-radi

Article URL: https://blog.anj.ai/2025/01/llm-token-generation-probabilities.html

Comments URL:

When people have a pain point they'd like solved, I find that many of them resort to posting a Tweet about it. I made these posts easy to find.

Comments URL:

Article URL: https://www.ycombinator.com/companies/yhangry/jobs/JiN1myL-senior-full-stack-engineer

Article URL: https://mena-forum.com/innovative-float-skyscraper-sized-wind-turbines/

Comments URL: