- 4th
- 11:14 am
update on AI progress and AI safety
- 8 comments
Tags:
- 6th
- 12:27 pm
"Towards Categorical Foundations of Learning"
- 9 comments
- 12th
- 01:51 am
Bird sounds visualized by Andy Thomas
- 1 comment
Tags:
- 18th
- 02:50 pm
Соблазнительный план по регулированию климата
- 3 comments
Tags:
- 20th
- 11:25 am
CodeGeeX, Riffusion, etc.
- 7 comments
Tags:
- 25th
- 11:54 am
Rereading "An introduction to quantaloid-enriched categories"
- 2 comments
Tags:
- 26th
- 12:33 pm
"MPLP: Learning a Message Passing Learning Protocol"
- 4 comments
Tags:
- 30th
- 11:00 am
free book: "The Discrete Algebra of the Fourier Transform"
- 2 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
Expand Cut Tags
No cut tags