Sign Up
Kata
Kumite
Forum
Wiki
Leaders
Log In
Sign Up
Name:
Anders Kaseorg
Clan:
@zulip
Member Since:
Apr 2019
Last Seen:
Jun 2019
Profiles:
Following:
0
Followers:
6
Allies:
0
View Profile Badges
Earn extra honor and gain new allies!
Honor is earned for each new codewarrior who joins.
Learn more
Stats
Kata
Collections
Kumite
Social
Discourse
Completed (121)
Authored
Beta
A special set of matrices closed under matmul and transpose
2
2
0
100%
of
6
5
solitude
Completed Languages:
3 kyu
Rewriting on any binary equivalence relation
1
1
0
100%
of
4
6
solitude
Completed Languages:
2 kyu
Exploring ways to evaluate and compile a trivial language
2
2
1
100%
of
4
9
solitude
Completed Languages:
4 kyu
Finding the maximal program
1
1
0
100%
of
3
6
donaldsebleung
Completed Languages:
2 kyu
EM implies LPO, LPO implies LLPO
1
1
1
100%
of
4
10
solitude
Completed Languages:
4 kyu
Simplifying conditional statements, again
1
1
0
100%
of
3
7
donaldsebleung
Completed Languages:
4 kyu
Yet another introduction to bisimulation, Chicken's style
1
1
0
100%
of
3
6
solitude
Completed Languages:
Beta
Simply typed lambda calculus type checker
1
1
0
100%
of
1
3
ice1000
Completed Languages:
3 kyu
Lens Apprentice
6
6
0
100%
of
16
28
glebec
Completed Languages:
1 kyu
Maybe Injective
0
0
0
100%
of
3
4
lwoo1999
Completed Languages:
Beta
Cardinality of N and N x N
2
2
0
100%
of
2
4
solitude
Completed Languages:
6 kyu
Most consecutive 0's in a row [Code-golf]
2
2
2
92%
of
45
143
___i
Completed Languages:
7 kyu
[ Code Golf ] Add 2 values for each
6
6
1
84%
of
93
218
jamad
Completed Languages:
4 kyu
Church numbers
14
14
6
93%
of
56
157
CarstenKoenig
Completed Languages:
4 kyu
Fix it
67
67
10
92%
of
90
344
gans
Completed Languages:
Loading more items...
Confirm
