Mathematics
kaya3's user avatar
kaya3's user avatar
kaya3's user avatar
kaya3
  • Member for 3 years, 11 months
  • Last seen more than a week ago
Profile Activity
Stats
913
reputation
17k
reached
11
answers
0
questions
top 6% this year
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.
4
silver badges
9
bronze badges
Top tags
View all tags
32
Score
1
Posts
9
Posts %
32
Score
1
Posts
9
Posts %
32
Score
1
Posts
9
Posts %
32
Score
1
Posts
9
Posts %
17
Score
2
Posts
18
Posts %
10
Score
3
Posts
27
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
32
How is the logarithm of an integer analogous to the degree of a polynomial?
Jun 5
answer
9
Why do we not name $-a+bi$ in relation to $a+bi$?
Jan 10, 2022
answer
8
Why are tetrations not useful?
Nov 7, 2021
answer
8
What is the difference between 'formula' and 'function'?
Nov 26, 2021
answer
6
In what sense does a number "exist" if it is proven to be uncomputable?
Dec 3, 2021
answer
4
Why choose sets to be the primitive objects in mathematics rather than, say, tuples?
Aug 1, 2021
answer
4
Does the Units of a Ring always form an Abelian Group?
Sep 16, 2021
answer
4
With the epsilon-delta definition of continuity, are the rationals continuous?
May 17
answer
2
Negation of "If ... then" statements
Jan 25, 2020
answer
2
Can "that dog is a mammal" be considered a tautology?
Aug 7, 2022
Top network posts
View all network posts
223
Statement from SO: June 5, 2023 Moderator Action
119
New blog post from our CEO Prashanth: Community is the future of AI
98
New post summary designs on site home pages and greatest hits now; everywhere else eventually
92
Typescript Key-Value relation preserving Object.entries type
87
Why is the infer keyword needed in Typescript?

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.