How much math is knowable? [video](youtube.com)

85 points by diaphanous 1 year ago | 6 comments

Ed Zitron on CNBC: GenAI Doesn't Work, and Big Tech Is Out of Hypergrowth Ideas(youtube.com)

26 points by johnbarron 3 months ago | 19 comments

Oxford's Philosophy of Mathematics YouTube series [video](youtube.com)

21 points by FarhadG 2 years ago | 2 comments

15 sorting algorithms in 6 minutes (2013) [video](youtube.com)

30 points by akkartik 4 months ago | 4 comments

The Future of Programming (2013) [video](youtube.com)

146 points by jackdoe 11 months ago | 91 comments

How can a jigsaw have two distinct solutions? [video](youtube.com)

63 points by patrakov 2 years ago | 18 comments

Can AI do maths yet? Thoughts from a mathematician(xenaproject.wordpress.com)

372 points by mathgenius 1 year ago | 317 comments

Blog post on the Xena Project blog by a mathematician discussing whether AI systems can do research-level mathematics yet.

Terence Tao: Math 2.0 [pdf](teorth.github.io)

533 points by Anon84 15 days ago | 530 comments

PDF slide deck titled "Math 2.0" by mathematician Terence Tao, dated October 2026, apparently from a Caltech talk.

Terence Tao: The role of small organizations in society has shrunk significantly(mathstodon.xyz)

968 points by bertman 1 year ago | 490 comments

A Mastodon post by mathematician Terence Tao reflecting on how society operates at four scales and how the role of small organized groups has shrunk.

Jeff Dean: Trends in Machine Learning [video](youtube.com)

318 points by belter 2 years ago | 109 comments

YouTube video of Jeff Dean's Rice Ken Kennedy Institute distinguished lecture on exciting trends in machine learning, February 2024.

Human mathematicians are being outcounterexampled(xenaproject.wordpress.com)

456 points by artninja1988 3 months ago | 225 comments

A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.

PeerTube is a free, decentralized and federated video platform(github.com)

592 points by doener 3 months ago | 274 comments

GitHub repository for PeerTube, an AGPL-licensed ActivityPub-federated video streaming platform that uses P2P delivery in the browser.