Stack Overflow
Stack Overflow

Shreck Ye
1,591
reputation
2
16
32
  • Member since July 05 2015
  • 293 profile views
  • Last seen Aug 21 '23 at 12:28

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