Code Golf
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 11 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
1,023
reputation
71k
reached
4
answers
1
question
Communities
View all
About

phd student in (categorical) type theory. Interested in higher categories and modal type theory.

Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
12
bronze badges
Top tags
75
Score
4
Posts
80
Posts %
30
Score
1
Posts
20
Posts %
30
Score
1
Posts
20
Posts %
2
Score
1
Posts
20
Posts %
2
Score
1
Posts
20
Posts %
2
Score
1
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
answer
43
Shortest code to produce infinite output
Jan 29, 2014
answer
30
Program that creates larger versions of itself (quine-variant)
Feb 24, 2014
question
15
Finding Local Extremes
Feb 26, 2014
answer
2
string length comparer
Oct 16, 2013
answer
2
How do I find the factorial of a positive number?
Dec 30, 2013
Top network posts
View all network posts
147
Setting an int to Infinity in C++
141
What is the purpose of the "send" function on Python generators?
121
How can I write multiline strings in Haskell?
119
Why doesn't Java 8 include immutable collections?
86
Setting an int to Infinity in C++

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.