Hacker News new | ask | show | jobs
by antidesitter 2870 days ago
The goal of AIT is to study the complexity of mathematical objects as defined through models of computation.