Code Golf
univalence's user avatar
univalence's user avatar
univalence's user avatar
univalence
  • Member for 7 years, 7 months
  • Last seen this week
Profile Activity
Stats
1,653
reputation
167k
reached
25
answers
9
questions
Communities
View all
About

I am very interested in languages like Haskell, Agda or idris, and type theory in general

Badges
View all badges
1
gold badge
13
silver badges
16
bronze badges
Top tags
View all tags
13
Score
24
Posts
71
Posts %
9
Score
4
Posts
12
Posts %
7
Score
4
Posts
12
Posts %
6
Score
7
Posts
21
Posts %
3
Score
5
Posts
15
Posts %
3
Score
3
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
86
Shortest code to throw SIGILL
Nov 20, 2016
answer
8
Showcase of Languages
May 4, 2016
answer
6
Showcase of Languages
May 5, 2016
answer
5
Make a long type signature
Mar 24, 2019
question
4
Write a fast-growing assembly function
Apr 25, 2021
question
3
Hello... eh, who?
Apr 23, 2017
question
2
The fastest square root calculator
Jul 17, 2016
answer
2
If a program terminates and there is no one to see it, does it halt?
Jun 25, 2016
answer
2
Simple cat program
Jul 11, 2016
answer
2
PPCG Jeopardy: Cops
Nov 19, 2016
Top network posts
View all network posts
11
Strength of "Cofinite Choice"
7
Elementary proof of "generalized reverse Bernoulli inequality"
6
Simple proof that the Catalan numbers are integers
5
When does classical logic speed up arithmetic?
5
Isometry between vector spaces with different dimensions

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.