Who Can Understand the Proof? A Window on Formalized Mathematics

Article URL: https://blog.ivnj.org/post/function-coloring-is-inevitable

Comments URL:

Article URL: https://blog.johnluttig.com/p/hypercapitalism-and-the-ai-talent

Comments URL:

Amidst the nascent concerns of AI replacing software engineers, it seems a proxy for that might be the amount of code written at OpenAI by the various models they have.

If AI is a threat to soft

Article URL: https://abcnews.go.com/Business/wireStory/investors-snap-growing

Article URL: https://arxiv.org/abs/2502.17424

Comments URL: https://news.ycombinator.c

Article URL: https://gizmodo.com/astronomers-detect-a-black-hole-merger-thats-so-

Article URL: https://www.theguardian.com/books/2025/jul/13/are-a-few-people-ruining