Hackernews posts about Leo
- The Pentagon Threatened Pope Leo XIV's Ambassador with the Avignon Papacy (www.thelettersfromleo.com)
- Amazon to acquire Globalstar and expand Amazon Leo satellite network (www.businesswire.com)
- Leonardo, Borgia, and Machiavelli: A Fateful Collusion (www.historytoday.com)
- Pope Leo called his bank's customer service line. They hung up on him (www.usatoday.com)
- Amazon to acquire Globalstar and expand Amazon Leo satellite network (www.aboutamazon.com)
- SpaceX Files FCC Complaint over Ariane 64 Amazon Leo Launch (europeanspaceflight.com)
- Vance tells Pope Leo to "be careful" (thehill.com)
- What Leopold's $5.5B portfolio reveals about powering the AI boom (theloadgrowth.substack.com)
- Mac OS X 10.6 Snow Leopard – Now Available (2009) (news.ycombinator.com)
- Vatican Observatory has asteroid named after Pope Leo XIII (www.vaticannews.va)
- "Would It Matter If I Told You I'm Pope Leo?" (www.thelettersfromleo.com)
- Amazon Leo introduces gigabit-speed antenna for commercial aviation (www.aboutamazon.com)
- Live coverage: ULA to launch 29 Amazon Leo satellites on Atlas 5 LIVE in ~2hrs (spaceflightnow.com)
- Generalised plusequals (leontrolski.github.io)
- Why Silicon Valley Is Turning to the Catholic Church (www.theatlantic.com)
- Signal Shot: verify the Signal protocol and its Rust implementation using Lean (leodemoura.github.io)
- Economic Civil War: States Push Laws to Shield Oil Companies from Accountability (www.propublica.org)
- Signal Shot: Verifying the Signal Protocol and Rust Implementation with Lean (leodemoura.github.io)
- The Pope Had to Call Customer Service (www.nytimes.com)
- Giving RISC-V 1024 registers for zkVMs (leonardoalt.github.io)
- A3: Kubernetes for autonomous AI agent fleets (www.leonidasr.com)
- EvoForge: Evolutionary Harness Optimization (twitter.com)
- The Lean Programming Language and Theorem Prover (leodemoura.github.io)