MADEinPARIS's submissions

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