Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
Theoretical Computer Science
user avatar
user avatar
user avatar
Konstantin Solomatov
  • Member for 8 years, 3 months
  • Last seen more than 1 year ago
  • NYC Area
Profile Activity
Stats
1,712
reputation
19k
reached
1
answer
17
questions
Communities
View all
About

2019 - Now Software Engineer at Facebook, Inc

2003-2019 Work at JetBrains. Started as an Intern. Participated in JetBrains MPS Project (http://www.jetbrains.com/mps). Currently work on a new project, some part of which are open sourced:

2001-2006 Studied at Saint-Petersburg State University at department of Mathematics and Mechanics. Graduated in Computer Science.

1997-2001 I attended School 239 in Saint-Petersburg

Badges
View all badges
This user doesn’t have any gold badges yet.
11
silver badges
20
bronze badges
Top tags
View all tags
1
Score
2
Posts
11
Posts %
1
Score
1
Posts
6
Posts %
0
Score
13
Posts
72
Posts %
0
Score
13
Posts
72
Posts %
0
Score
9
Posts
50
Posts %
0
Score
3
Posts
17
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
40
Why does Coq have Prop?
Mar 31, 2014
question
19
Why it's impossible to declare an induction principle for Church numerals
Mar 25, 2015
question
11
Logical framework vs type theory
Feb 18, 2015
question
11
W-types vs Inductive types
Apr 17, 2014
question
10
Example of where violation of strict positivity condition in inductive types leads to inconsistency
Apr 1, 2014
question
8
Squash type vs Propositional truncation type
Feb 18, 2015
question
7
How Univalence can be used for proofs about algorithm correctness
Dec 23, 2014
question
7
"Correctness" of type theory
Apr 4, 2014
question
6
Types which correspond to sets of cardinality of continuum
May 7, 2014
question
5
What does consistency mean for "computational theories" corresponding to inductive types?
Apr 17, 2014
Top network posts
View all network posts
109
How is it possible that validation loss is increasing while validation accuracy is increasing as well
32
How to learn agda
30
Name conflicts in Haskell records
24
How to load tests in ghci with stack
19
Good examples of idiomatic scala code

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.