- 11th
- 11:40 am
A weird sorting algorithm
- 10 comments
Tags:
- 15th
- 09:29 am
AGI-21: Oct 15-18, 2021
- 9 comments
Tags:
- 24th
- 12:38 am
Recent presentations
- 1 comment
Tags:
- 25th
- 02:38 pm
Токийские легенды (Tokyo kitanshu, Харуки Мураками)
- 2 comments
Tags:
- 27th
- 02:57 pm
"Deep Learning for AI" (the 2018 Turing Lecture)
- 4 comments
Active Entries
- 1: "Narrow AGI" this year?
- 2: Tao on coordinate vs coordinate-free math reasoning
- 3: "Aging as a loss of goal-directedness"
- 4: New integrated mode for GPT-4 in ChatGPT+
- 5: Китайский новый год начнётся 10-го февраля
- 6: Automating the Search for Artificial Life with Foundation Models
- 7: "Anatomy of a Formal Proof"
- 8: C to safe Rust automatic translation using LLMs and dynamic analysis
- 9: GonzoML
- 10: Transformers as a Computational Model (workshop)
Style Credit
- Style: Neutral Good for Practicality by
Expand Cut Tags
No cut tags