MADEinPARIS

6 ms·

1.
by MADEinPARIS 6d ago
Comments Welcome!
2.
by MADEinPARIS 11d ago
Discussion encouraged!
3.
by MADEinPARIS 13d ago
Comments welcome!
4.
by MADEinPARIS 20d ago
Go Mistral!
5.
Chasing the Moon's Shadow(apod.nasa.gov)
1 points by MADEinPARIS 21d ago|1 comments
6.
by MADEinPARIS 21d 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
7.
by MADEinPARIS 21d ago
Feedbacks and comments welcome! - you can check the results here as well - https://fraware.github.io/ai-adoption-us/explore/occupations...
8.
by MADEinPARIS 1mo ago
Please provide feedback - this is a community led effort!
9.
by MADEinPARIS 1mo ago
Please provide feedback! This is a community led effort
10.
Hit anything. Discover how it rings(fraware.github.io)
48 points by MADEinPARIS 1mo ago|25 comments
11.
Open computational evidence infrastructure for Lean(github.com)
2 points by MADEinPARIS 2mo ago|0 comments
12.
AIs-welcome Lean library downstream of Mathlib(github.com)
2 points by MADEinPARIS 2mo ago|0 comments
13.
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
14.
Show HN: Csrct – The Bottleneck Is the Strategy(csrct.substack.com)
1 points by MADEinPARIS 5mo ago|0 comments
15.
Python suite for neuroscience research across all modalities(github.com)
1 points by MADEinPARIS 5mo ago|0 comments
16.
The Open Anonymity Project(openanonymity.ai)
1 points by MADEinPARIS 7mo ago|0 comments
17.
On Making Room to Think(mateopetel.substack.com)
1 points by MADEinPARIS 10mo ago|0 comments
18.
by MADEinPARIS 11mo ago
How Corruption Enters When We Settle for Less
19.
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
20.
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.
21.
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
22.
Show HN: Containers for Lean 4 (polynomial functors, with M-types)(github.com)
1 points by MADEinPARIS 1y ago|0 comments
23.
Show HN: Provable Safety for AI Agents(sentinelops.xyz)
3 points by MADEinPARIS 1y ago|1 comments
24.
Why can't we ship agents we can trust?(sentinelops.xyz)
3 points by MADEinPARIS 1y ago|0 comments
25.
Show HN: Is it possible to secure AI Agents? We need you(github.com)
1 points by MADEinPARIS 1y ago|0 comments
26.
Show HN: Provability Fabric – Proof-carrying behavior for AI agents
2 points by MADEinPARIS 1y ago|0 comments
27.
by MADEinPARIS 1y ago
Congrats! Keep pushing!!
28.
Show HN: Provability Fabric – From Guardrails to Guarantees for AI Agents
3 points by MADEinPARIS 1y ago|1 comments
29.
by MADEinPARIS 1y ago
Join the discussion!
30.
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

More ›