Active Entries
- 1: some Oct-Nov posts I wrote
- 2: Helion details
- 3: "Narrow AGI" this year?
- 4: Tao on coordinate vs coordinate-free math reasoning
- 5: "Aging as a loss of goal-directedness"
- 6: New integrated mode for GPT-4 in ChatGPT+
- 7: Китайский новый год начнётся 10-го февраля
- 8: Automating the Search for Artificial Life with Foundation Models
- 9: "Anatomy of a Formal Proof"
Style Credit
- Style: Neutral Good for Practicality by
Expand Cut Tags
No cut tags
no subject
Date: 2019-12-31 12:40 pm (UTC)https://en.wikipedia.org/wiki/Smooth_infinitesimal_analysis
и
https://en.wikipedia.org/wiki/Synthetic_differential_geometry