In R.F. Kuang’s novel ‘Katabasis,’ two philosopher-magicians wander Hell to rescue their thesis supervisor. Jejunity ensues.

New research from the University of Waterloo is making inroads on one of the biggest problems in theoretical computer science ...