BitsExplorer

BitsExplorer finds what people are building with AI, every day. See today's picks →

Preview of Heart Proofs

Heart Proofs

One proof a day keeps the doctor away One proof a day keeps the doctor away New proofs and lecture summaries by email (no off-topic) f:[a,b]→R be a continuous function from f:[a,b]→R be a continuous function from

Description read from the page itself, because the listing it was found in gave none.

Open it Source code

The week in AI-built software

Every Monday: how many projects were built with AI that week, which tools built them, where they came from, and the week's picks.

Read the latest week