MADEinPARIS

6 ms·

1.
by MADEinPARIS 3d ago
Comments welcome!
2.
by MADEinPARIS 10d ago
Go Mistral!
3.
Chasing the Moon's Shadow(apod.nasa.gov)
1 points by MADEinPARIS 11d ago|1 comments
4.
by MADEinPARIS 11d ago
Check it out! - Chasing the shadow of a New Moon, NASA’s WB-57F high altitude research aircraft took to the skies off the coast of Iceland on August 12 to observe a total solar eclipse. At 50,000 feet the aircraft was piloted along the prec
5.
by MADEinPARIS 12d ago
Feedbacks and comments welcome! - you can check the results here as well - https://fraware.github.io/ai-adoption-us/explore/occupations...
6.
by MADEinPARIS 20d ago
Please provide feedback - this is a community led effort!
7.
by MADEinPARIS 20d ago
Please provide feedback! This is a community led effort
8.
Hit anything. Discover how it rings(fraware.github.io)
48 points by MADEinPARIS 20d ago|25 comments
9.
Open computational evidence infrastructure for Lean(github.com)
2 points by MADEinPARIS 2mo ago|0 comments
10.
AIs-welcome Lean library downstream of Mathlib(github.com)
2 points by MADEinPARIS 2mo ago|0 comments
11.
by MADEinPARIS 4mo ago
Deedy Das - Partner at Menlo Ventures "The vibes in SF feel pretty frenetic right now. The divide in outcomes is the worst I've ever seen. Over the last 5yrs, a group of ~10k people - employees at Anthropic, OpenAI, xAI, Nvidia, M
12.
Show HN: Csrct – The Bottleneck Is the Strategy(csrct.substack.com)
1 points by MADEinPARIS 5mo ago|0 comments
13.
Python suite for neuroscience research across all modalities(github.com)
1 points by MADEinPARIS 5mo ago|0 comments
14.
The Open Anonymity Project(openanonymity.ai)
1 points by MADEinPARIS 6mo ago|0 comments
15.
On Making Room to Think(mateopetel.substack.com)
1 points by MADEinPARIS 9mo ago|0 comments
16.
by MADEinPARIS 11mo ago
How Corruption Enters When We Settle for Less
17.
by MADEinPARIS 1y ago
We wrote “Agents won’t replace law. They need a constitution.” Thesis: agent-mediated markets can cut search/negotiation/enforcement costs—but only inside a rights-first frame: price what you can; protect what you must. Otherwise
18.
by MADEinPARIS 1y ago
Modern states already buy the future at auction. We discover the price of electrons with capacity markets and Contracts for Difference (CfDs). We allocate spectrum with bids, not favors. We set congestion tolls that reshape traffic in days.
19.
by MADEinPARIS 1y ago
The next step after thesis-driven philanthropy is not better selection; it is better settlement. If donors want Green-Revolution-scale outcomes in an AI age, they must fund not only field leaders and theses, but protocols that make impact f
20.
Show HN: Containers for Lean 4 (polynomial functors, with M-types)(github.com)
1 points by MADEinPARIS 1y ago|0 comments
21.
Show HN: Provable Safety for AI Agents(sentinelops.xyz)
3 points by MADEinPARIS 1y ago|1 comments
22.
Why can't we ship agents we can trust?(sentinelops.xyz)
3 points by MADEinPARIS 1y ago|0 comments
23.
Show HN: Is it possible to secure AI Agents? We need you(github.com)
1 points by MADEinPARIS 1y ago|0 comments
24.
Show HN: Provability Fabric – Proof-carrying behavior for AI agents
2 points by MADEinPARIS 1y ago|0 comments
25.
by MADEinPARIS 1y ago
Congrats! Keep pushing!!
26.
Show HN: Provability Fabric – From Guardrails to Guarantees for AI Agents
3 points by MADEinPARIS 1y ago|1 comments
27.
by MADEinPARIS 1y ago
Join the discussion!
28.
by MADEinPARIS 1y ago
In the 20th century, currency was the unit of power. In the 21st, it may be model weights. This essay explores how AI infrastructure is becoming the new substrate of foreign policy — from NVIDIA-enforced export controls and Chinese inferenc
29.
by MADEinPARIS 1y ago
I met a guy who raised $250MM, and dropped out of the program. Spoiled.
30.
Why Markets Can't Defend a Nation(mateopetel.substack.com)
1 points by MADEinPARIS 1y ago|1 comments

More ›