| 1. | | Chasing the Moon's Shadow (nasa.gov) |
| 1 point by MADEinPARIS 17 days ago | past | 1 comment |
|
| 2. | | Hit anything. Discover how it rings (fraware.github.io) |
| 48 points by MADEinPARIS 25 days ago | past | 25 comments |
|
| 3. | | Open computational evidence infrastructure for Lean (github.com/fraware) |
| 2 points by MADEinPARIS 57 days ago | past |
|
| 4. | | AIs-welcome Lean library downstream of Mathlib (github.com/taucetiproject) |
| 2 points by MADEinPARIS 59 days ago | past |
|
| 5. | | Show HN: Csrct – The Bottleneck Is the Strategy (csrct.substack.com) |
| 1 point by MADEinPARIS 4 months ago | past |
|
| 6. | | Python suite for neuroscience research across all modalities (github.com/facebookresearch) |
| 1 point by MADEinPARIS 5 months ago | past |
|
| 7. | | The Open Anonymity Project (openanonymity.ai) |
| 1 point by MADEinPARIS 6 months ago | past |
|
| 8. | | On Making Room to Think (mateopetel.substack.com) |
| 1 point by MADEinPARIS 9 months ago | past |
|
| 9. | | Show HN: Containers for Lean 4 (polynomial functors, with M-types) (github.com/fraware) |
| 1 point by MADEinPARIS on Sept 16, 2025 | past |
|
| 10. | | Show HN: Provable Safety for AI Agents (sentinelops.xyz) |
| 3 points by MADEinPARIS on Sept 4, 2025 | past | 1 comment |
|
| 11. | | Why can't we ship agents we can trust? (sentinelops.xyz) |
| 3 points by MADEinPARIS on Aug 24, 2025 | past |
|
| 12. | | Show HN: Is it possible to secure AI Agents? We need you (github.com/sentinelops-ci) |
| 1 point by MADEinPARIS on Aug 20, 2025 | past |
|
| 13. | | Show HN: Provability Fabric – Proof-carrying behavior for AI agents |
| 2 points by MADEinPARIS on Aug 18, 2025 | past |
|
| 14. | | Show HN: Provability Fabric – From Guardrails to Guarantees for AI Agents |
| 3 points by MADEinPARIS on Aug 17, 2025 | past | 1 comment |
|
| 15. | | Why Markets Can't Defend a Nation (mateopetel.substack.com) |
| 1 point by MADEinPARIS on July 16, 2025 | past | 1 comment |
|
| 16. | | Show HN: Verse – An AI writing tool for poets, not prompt engineers (versecraft.org) |
| 1 point by MADEinPARIS on June 14, 2025 | past |
|
| 17. | | SolarSim – Interactive Physics-Based Solar System Simulator (Open Source) (lovable.app) |
| 2 points by MADEinPARIS on April 19, 2025 | past |
|
| 18. | | Show HN: Open-Source Reversible Debugger – Step Backwards While Debugging (lovable.app) |
| 3 points by MADEinPARIS on April 9, 2025 | past |
|
| 19. | | Show HN: Formal Verification for Machine Learning Models Using Lean 4 (github.com/fraware) |
| 52 points by MADEinPARIS on March 23, 2025 | past | 14 comments |
|
