Top Network Posts
- 58What is the difference between fixed effect, random effect and mixed effect models?
- 33How do 'tactics' work in proof assistants?
- 31What is the most intuitive dependent type theory I could learn?
- 20Weakly informative prior distributions for scale parameters
- 18Do dependent types give you everything subtyping does?
- 15What invariant do RRB-trees maintain?
- 13zip(list1, list2) in Jinja2?
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.