Remix clone Hacker News

user:	ykonstant
created:	2018-10-25
karma:	2222
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