Computer Science
Max Heiber's user avatar
Max Heiber's user avatar
Max Heiber's user avatar
Max Heiber
  • Member for 7 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
346
reputation
5k
reached
1
answer
10
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
11
bronze badges
Top tags
View all tags
2
Score
5
Posts
45
Posts %
2
Score
2
Posts
18
Posts %
2
Score
2
Posts
18
Posts %
0
Score
1
Posts
9
Posts %
0
Score
1
Posts
9
Posts %
0
Score
1
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
9
Can a total programming language be Turing-complete?
Dec 11, 2020
question
4
Why are all polymorphic functions between functors natural transformations?
Feb 1, 2020
question
4
What are the applications of homotopy type theory to everyday programming?
Aug 13, 2020
question
4
Is occurrence typing (flow-sensitive typing) a form of dependent typing?
Nov 18, 2020
question
4
What's the relationship between "semantic type soundness" and "functional correctness"?
Apr 11, 2021
question
3
How to generate an LL(2) parse table?
Mar 12, 2017
question
2
How do type classes make ad-hoc polymorphism less ad hoc?
Aug 10, 2020
answer
2
How do type classes make ad-hoc polymorphism less ad hoc?
Mar 15
question
1
Is there a relationship between visitor pattern and DeMorgan's Law?
Apr 16, 2021
question
1
How is a homeomorphic embedding a homeomorphism?
Sep 14, 2021
Top network posts
View all network posts
130
How to get selected value of a dropdown menu in ReactJS
113
How can I print to Stderr in Go without using log
84
What technology does Google Drive use to get real-time updates?
64
What technology does Google Drive use to get real-time updates?
54
In Vim, how do I apply a macro to a set of lines?

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.