math/cs theory enthusiast