For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | historyregister
user:ykonstant
created:October 25, 2018
karma:2659
about:I am a research mathematician working in homogeneous dynamics and number theory; also interested in proof assistants, math outreach and personalized mathematics education. I do shell scripting and general-purpose programming in Lean as a hobby.

Webpage: https://ykonstant1.github.io Contact: ykonstant@gmail.com

submissions
comments
favorites


HN For You