Area 51
Shreck Ye's user avatar
Shreck Ye's user avatar
Shreck Ye's user avatar
Shreck Ye
  • Member for 2 years
  • Last seen more than 1 year ago
Profile Activity
Stats
151
reputation
0
reached
1
answer
0
questions
Communities
View all
About

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

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
1
Score
1
Posts
100
Posts %
1
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
1
Choosing a name for the Proof Assistants site
Nov 29, 2021
Top network posts
View all network posts
21
Plugin [id: 'org.jetbrains.kotlin.jvm', version: '1.2.71'] was not found in any of the following sources
14
Kotlin Sequence to Array
12
How to add top level KDoc for a file?
11
Numbered headings and table of contents in Google Colab
9
Get an element with its index counting from the end in Kotlin

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.