Stack Overflow
Stack Overflow

Shreck Ye
1,381
reputation
1
12
28
  • Member since July 05 2015
  • 229 profile views
  • Last seen Jun 04 '22 at 08:36

Bachelor in mathematics and software engineering, interested in JVM development (Kotlin, Scala, Android), functional programming and type theory (Haskell, Agda), algorithms, logic, and machine learning