| 1. | | Show HN: Csrct – The Bottleneck Is the Strategy (csrct.substack.com) |
| 1 point by MADEinPARIS 23 hours ago | past | discuss |
|
| 2. | | Python suite for neuroscience research across all modalities (github.com/facebookresearch) |
| 1 point by MADEinPARIS 10 days ago | past | discuss |
|
| 3. | | The Open Anonymity Project (openanonymity.ai) |
| 1 point by MADEinPARIS 54 days ago | past |
|
| 4. | | On Making Room to Think (mateopetel.substack.com) |
| 1 point by MADEinPARIS 4 months ago | past |
|
| 5. | | Show HN: Containers for Lean 4 (polynomial functors, with M-types) (github.com/fraware) |
| 1 point by MADEinPARIS 7 months ago | past |
|
| 6. | | Show HN: Provable Safety for AI Agents (sentinelops.xyz) |
| 3 points by MADEinPARIS 7 months ago | past | 1 comment |
|
| 7. | | Why can't we ship agents we can trust? (sentinelops.xyz) |
| 3 points by MADEinPARIS 8 months ago | past |
|
| 8. | | Show HN: Is it possible to secure AI Agents? We need you (github.com/sentinelops-ci) |
| 1 point by MADEinPARIS 8 months ago | past |
|
| 9. | | Show HN: Provability Fabric – Proof-carrying behavior for AI agents |
| 2 points by MADEinPARIS 8 months ago | past |
|
| 10. | | Show HN: Provability Fabric – From Guardrails to Guarantees for AI Agents |
| 3 points by MADEinPARIS 8 months ago | past | 1 comment |
|
| 11. | | Why Markets Can't Defend a Nation (mateopetel.substack.com) |
| 1 point by MADEinPARIS 9 months ago | past | 1 comment |
|
| 12. | | Show HN: Verse – An AI writing tool for poets, not prompt engineers (versecraft.org) |
| 1 point by MADEinPARIS 10 months ago | past |
|
| 13. | | SolarSim – Interactive Physics-Based Solar System Simulator (Open Source) (lovable.app) |
| 2 points by MADEinPARIS on April 19, 2025 | past |
|
| 14. | | Show HN: Open-Source Reversible Debugger – Step Backwards While Debugging (lovable.app) |
| 3 points by MADEinPARIS on April 9, 2025 | past |
|
| 15. | | 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 |
|
