MADEinPARIS

12 ms·

1. 31.▲
   by MADEinPARIS 1y ago

   I met a guy who raised $250MM, and dropped out of the program. Spoiled.
2. 32.▲
   Why Markets Can't Defend a Nation(mateopetel.substack.com)

   1 points by MADEinPARIS 1y ago|1 comments
3. 33.▲
   Show HN: Verse – An AI writing tool for poets, not prompt engineers(versecraft.org)

   1 points by MADEinPARIS 1y ago|0 comments
4. 34.▲
   SolarSim – Interactive Physics-Based Solar System Simulator (Open Source)(solar-sim-showcase.lovable.app)

   2 points by MADEinPARIS 1y ago|0 comments
5. 35.▲
   Show HN: Open-Source Reversible Debugger – Step Backwards While Debugging(reversible-execution-lab.lovable.app)

   3 points by MADEinPARIS 1y ago|0 comments
6. 36.▲
   by MADEinPARIS 2y ago

   Check out: https://github.com/fraware/reversible-execution-lab
7. 37.▲
   Show HN: Formal Verification for Machine Learning Models Using Lean 4(github.com)

   52 points by MADEinPARIS 2y ago|14 comments
8. 38.▲
   by MADEinPARIS 2y ago

   We just launched IRD, an open-source interactive debugger that lets you execute programs forward and backward. Instead of restarting your whole session to track down a bug, you can now reverse step through execution and inspect state change