Mathematics
user avatar
user avatar
user avatar
Rodrigo
  • Member for 7 years
  • Last seen this week
Profile Activity
Stats
5,325
reputation
282k
reached
61
answers
287
questions
Communities
View all
About

A good introduction to recursive types.

Badges
View all badges
3
gold badges
26
silver badges
50
bronze badges
Top tags
View all tags
24
Score
36
Posts
10
Posts %
13
Score
28
Posts
8
Posts %
11
Score
79
Posts
23
Posts %
7
Score
42
Posts
12
Posts %
7
Score
38
Posts
11
Posts %
4
Score
32
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
22
Multiplication of a random variable with constant
Jan 6, 2018
answer
12
Events in the tail $\sigma$-algebra
Dec 28, 2015
question
10
Expectation of gradient in stochastic gradient descent algorithm
Oct 10, 2016
question
8
Hierarchy in logical systems
Jan 26, 2021
question
7
Matrix irreducibility. Strongly connected graph
May 25, 2015
question
7
How is Bayesian inference better than classical inference on small samples?
Jan 2, 2018
answer
7
Does $S^{\perp\perp}=\overline{S}$?
Jan 31, 2018
question
6
Examples of interesting rings to study during an undergraduate course in non-commutative rings.
Apr 23, 2018
question
6
Why $\mathbb{Z}_{\lambda(n)}^* \le \mathbb{Z}_{\phi(n)}^*$ does not hold?
Jan 6, 2019
question
6
Assuming $ab^2 = b^3a$ and $a^2=1$ prove that the order of $b$ is $5$.
Mar 26, 2016
Top Meta posts
1
0
5
Challenge: can you draw the following triangular diagram?
Top network posts
View all network posts
29
What is a batch compiler?
19
How to demo Skype-decryption using FOSS tools?
14
Algebraic topology for termination proofs
12
Ruby protected visibility calling from superclass
11
Why are elliptic curves over a field of characteristic 2 or 3 insecure?

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.