Skip to main content
Theoretical Computer Science
uhbif19's user avatar
uhbif19's user avatar
uhbif19's user avatar
uhbif19
  • Member for 6 years, 7 months
  • Last seen more than a week ago
Profile Activity
Stats
315
reputation
3k
reached
4
answers
6
questions
Communities
View all
About

Backend programmer. Use Scala/Lift and Python/Django. Also I write web-scrapers and another web-automatisation.

Working as a freelancer for 2 years.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
View all tags
0
Score
2
Posts
20
Posts %
0
Score
2
Posts
20
Posts %
0
Score
2
Posts
20
Posts %
0
Score
2
Posts
20
Posts %
0
Score
2
Posts
20
Posts %
0
Score
2
Posts
20
Posts %
Top posts
10
What is the difference between System F and Hindley-Milner type system?
Dec 20, 2017
4
Formalization of matching logic (logic behind K Framework)
Jul 16, 2023
3
What is formal definition of non-deterministic algorithm in context of primitive/general recursion?
Aug 4, 2023
3
Do pseudo-random number generator test batteries have any theoretical grounding?
Sep 28, 2023
1
Do game semantics for logic have Curry-Howard-like correspondence with game semantics for programming languages?
Oct 3, 2023
0
Formalization of matching logic (logic behind K Framework)
Jul 16, 2023
0
Do pseudo-random number generator test batteries have any theoretical grounding?
Oct 2, 2023
0
Can one do descriptive complexity theory using abstract state machines?
Nov 12, 2023
-1
What is formal definition of non-deterministic algorithm in context of primitive/general recursion?
Aug 4, 2023
-3
Can one do descriptive complexity theory using abstract state machines?
Nov 8, 2023
Top network posts
View all network posts
69
UnicodeDecodeError: 'ascii' codec can't decode byte 0xc2
32
Как проверить существование файла?
30
What are the main results in combinatorial game theory regarding Go?
27
Use ipdb instead of pdb with py.test --pdb option
26
Как проверить существование файла?