Skip to main content
Code Review
Daniil's user avatar
Daniil's user avatar
Daniil's user avatar
Daniil
  • Member for 13 years, 10 months
  • Last seen more than 7 years ago
  • Moscau
Profile Activity
Stats
281
reputation
2k
reached
0
answers
2
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
14
LL(1) tokenizer for LISP
Feb 7, 2011
question
4
LISP-like list class
Apr 12, 2011
Top network posts
View all network posts
34
How many k-dimensional subspaces there are in n-dimensional vector space over $\mathbb F_p$?
33
Equivalence of Büchi automata and linear $\mu$-calculus
32
What does 'true concurrency' mean?
27
What are the conditions for a NFA for its equivalent DFA to be maximal in size?
24
Dependent types vs refinement types