- 22nd
- 09:16 pm
Voevodsky links
- 12 comments
Tags:
- 23rd
- 11:03 pm
A war :-(
- 4 comments
Tags:
- 26th
- 10:28 am
Some Scott Alexander links
- 8 comments
Tags:
02:40 pmInternation Congress of Mathematicians will be online, free of charge
- 2 comments
Tags:
07:23 pmЗеленский хорошо говорит
- 1 comment
Tags:
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
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
Expand Cut Tags
No cut tags