Skip to main content
MathOverflow
kaya3's user avatar
kaya3's user avatar
kaya3's user avatar
kaya3
  • Member for 5 years, 1 month
  • Last seen this week
Profile Activity
Stats
441
reputation
12k
reached
2
answers
0
questions
Communities
View all
About

I used to be a CS lecturer, now I design programming languages as a hobby:

  • Papyri, a programmable markup language.
  • MJr, a probabilistic programming language based on pattern-rewriting.
  • fffff, the silliest stack-based concatenative language.

I mostly write in Typescript, Python and Java. I also have a new blog here.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
7
bronze badges
Top tags
View all tags
34
Score
1
Posts
50
Posts %
34
Score
1
Posts
50
Posts %
34
Score
1
Posts
50
Posts %
34
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
answer
34
Why do we make such big deal about the 'unsolvability' of the quintic?
Jan 10, 2022
answer
2
Taking a theorem as a definition and proving the original definition as a theorem
Sep 27, 2021
Top network posts
View all network posts
224
Statement from SO: June 5, 2023 Moderator Action
120
New blog post from our CEO Prashanth: Community is the future of AI
116
Typescript Key-Value relation preserving Object.entries type
98
New post summary designs on site home pages and greatest hits now; everywhere else eventually
92
Why is the infer keyword needed in Typescript?