@peidran computational complexity, ie big-O theore…

@peidran computational complexity, ie big-O theorem proving, largely disjoint from HCI practice