Results and trends in theoretical computer science | lit.salon