MADEinPARIS's submissions

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