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
Top network posts
- 10 How to add top level KDoc for a file?
- 8 How to serialize a library class to Protobuf with kotlinx.serialization?
- 8 What's the difference between Machine Learning classifications in Computer Science and Statistics on arXiv?
- 7 Where is the KTX toast extension function?
- 7 Kotlin Sequence to Array
- 7 Numbered headings and table of contents in Google Colab
- 7 Plugin [id: 'org.jetbrains.kotlin.jvm', version: '1.2.71'] was not found in any of the following sources
- View more network posts →
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
Keeping a low profile.
This user hasn't posted yet.