- 2nd
- 04:58 pm
"Functional Collection Programming with Semi-Ring Dictionaries"
- 26 comments
Tags:
- 16th
- 07:18 am
"Mixture-of-Experts" and Transformers
- 3 comments
Tags:
- 19th
- 10:22 pm
Colorado Supreme Court decision
- 3 comments
Tags:
- 29th
- 09:34 am
DeepMind has formalized a theoretical result related to AI safety in Lean
- 3 comments
- 31st
- 08:01 pm
Китайский новый год начнётся 10-го февраля
- 9 comments
Tags:
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
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
Expand Cut Tags
No cut tags