dr. heap
| Date | Title | Author |
|---|---|---|
| Aug 30, 2026 | Is every human being an Autonomous System? | |
| Aug 3, 2026 | The Internet: A Failed Mass Experiment? | |
| Jun 29, 2024 | A sound and complete proof system for separation logic (part 1) | |
| Feb 16, 2024 | On invariance and inconsistency | |
| Nov 1, 2023 | Can the Collatz conjecture be proven, or not? | |
| May 6, 2023 | What is an education? | |
| Mar 15, 2023 | Correctness of two sorting algorithms | |
| Feb 23, 2023 | Can ChatGPT do an exam? |
No matching items