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
no subject
Date: 2021-06-02 02:52 am (UTC)What if I try something aggressive, this (which is featured at the moment) might be a fit, strangely enough: https://addons.mozilla.org/en-US/firefox/addon/gamer-time/
Bit it's not good with my gmail; otherwise it's fine... Firefox, why did you need to do this to us?
Ah, also the suggestions folding down from the address bar are in red form a large red field... No, I guess... OK, it looks like I'll be switching this further, or cycling between them, or whatever...