| ▲ | bbor 3 hours ago | |
Until they find bugs in the formal proof program ;) https://www.lesswrong.com/posts/zHhGa3iQBQcdSifFL/a-critical... | ||
| ▲ | pmarreck 2 hours ago | parent | next [-] | |
The UB goes all the way down! | ||
| ▲ | 3 hours ago | parent | prev [-] | |
| [deleted] | ||