Page Summary
Active Entries
- 1: Helion details
- 2: "Narrow AGI" this year?
- 3: Tao on coordinate vs coordinate-free math reasoning
- 4: "Aging as a loss of goal-directedness"
- 5: New integrated mode for GPT-4 in ChatGPT+
- 6: Китайский новый год начнётся 10-го февраля
- 7: Automating the Search for Artificial Life with Foundation Models
- 8: "Anatomy of a Formal Proof"
Style Credit
- Style: Neutral Good for Practicality by
Expand Cut Tags
No cut tags
no subject
Date: 2020-07-08 04:45 pm (UTC)From David Spivak to Everyone: 12:41 PM
• Alan Ransil (Protocol Labs)
• Ryan Wisnesky (Conexus)
• Jelle Herold (Statebox)
• Steve Huntsman (BAE)
• Arquimedes Canedo (Siemens Corporate Technology)
• Ilyas Khan (Cambridge Quantum Computing)
• Brendan Fong (Topos Institute)
• Alberto Speranzon (Honeywell)
A super-interesting session so far (at half-point).