redesigning the machinery (i.e. interfaces, infrastructure, methodology) underlying formal theories to take advantage of AI assistance seems worth exploring 👍
@orpheus
$150 in pending offers
Orpheus Lummis
7 days ago
redesigning the machinery (i.e. interfaces, infrastructure, methodology) underlying formal theories to take advantage of AI assistance seems worth exploring 👍
| For | Date | Type | Amount |
|---|---|---|---|
| Fatebook and Quantified Intuitions | about 2 months ago | project donation | 50 |
| CEEALAR | about 2 months ago | project donation | 100 |
| AI Animals and Digital Minds 2025 | about 2 months ago | project donation | 100 |
| MATS Program | about 2 months ago | project donation | 50 |
| Lightcone Infrastructure | about 2 months ago | project donation | 50 |
| Manifund Bank | 3 months ago | deposit | +500 |