| user: | agnishom |
| created: | April 3, 2024 |
| karma: | 1.4k |
| 1. | SpecForge – A Platform for Authoring Formal Specifications(docs.imiron.io) |
| 2. | Hannah Fry Wins the Leelavati Prize in 2026 for Mathematics Outreach(maths.cam.ac.uk) |
| 3. | 36 days ago | discuss |
| 4. | Ergo: Long Form Philosophy Lectures(ergo.org) |