News
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
[April 9th 2023] 503,169 new machines have been decided! Only 32,632 left to go!
Almost in sync with April 7th, International Beaver Day, after a long validation process, we are today officially applying the results of [Decider] Finite Automata Reduction (formally described here), initially introduce… |
|
4 | 666 | May 30, 2023 |
|
About the News category
|
|
0 | 141 | April 1, 2022 |
|
[December 25th 2022] 1,002,823 new machines have been decided!
|
|
2 | 325 | April 9, 2023 |
|
[October 2nd 2022] Bug in backward reasoning, back to 3,574,222 machines
|
|
6 | 241 | December 25, 2022 |
|
[May 13th 2022] Backward resoning has been debugged!
|
|
0 | 242 | May 13, 2022 |
|
[July 16th 2022] Standard text format for TMs and 2 deciders in review
|
|
0 | 283 | July 16, 2022 |
|
[April 5th 2022] Discord Server
|
|
3 | 372 | April 9, 2023 |
|
[April 2nd 2022] Explore mode!
|
|
0 | 160 | April 2, 2022 |
|
[April 1st 2022] Bug in backward reasoning & new git repo for undecided index
|
|
0 | 200 | April 1, 2022 |