- 19th
- 12:27 am
C to safe Rust automatic translation using LLMs and dynamic analysis
- 3 comments
- 24th
- 02:19 am
Automating the Search for Artificial Life with Foundation Models
- 5 comments
Active Entries
- 1: Scott-Solovay approach to Continuum Hypothesis
- 2: Tao on coordinate vs coordinate-free math reasoning
- 3: From the latest Scott Aaronson
- 4: some Oct-Nov posts I wrote
- 5: Helion details
- 6: "Narrow AGI" this year?
- 7: "Aging as a loss of goal-directedness"
- 8: New integrated mode for GPT-4 in ChatGPT+
- 9: Китайский новый год начнётся 10-го февраля
Style Credit
- Style: Neutral Good for Practicality by
Expand Cut Tags
No cut tags