the publications listed on the SIAI page—including TDT—are mostly high-level arguments that don’t meet this standard. How do you plan to change this?
This is my favorite of the questions so far.
This is my favorite of the questions so far.