Academia
user avatar
user avatar
user avatar
Blaisorblade
  • Member for 8 years, 7 months
  • Last seen more than a week ago
Profile Activity
Stats
1,849
reputation
111k
reached
31
answers
2
questions
Communities
View all
About

Researcher in functional (and object-oriented) programming languages and their theory, especially Scala. Currently working in industry on machine-checked proofs of functional correctness for concurrent imperative programs.

Ex Linux kernel programmer, Scala/Java/Haskell/C/C++/Java developer.

Badges
View all badges
This user doesn’t have any gold badges yet.
12
silver badges
24
bronze badges
Top tags
View all tags
53
Score
12
Posts
36
Posts %
47
Score
12
Posts
36
Posts %
28
Score
2
Posts
6
Posts %
26
Score
2
Posts
6
Posts %
22
Score
4
Posts
12
Posts %
11
Score
5
Posts
15
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
26
What to do with an overtly exasperating colleague in computer science?
Mar 8, 2015
answer
24
What do you wish you knew as a student before you became a researcher?
Oct 12, 2013
answer
16
How often can the reviewers correctly guess the identity of the authors when the review is double-blind?
Feb 11, 2016
answer
14
How do some researchers have such beautiful figures in publications, while their homepages look simple?
Jul 10, 2017
answer
13
I am a PhD student and hate it here. How can I warn prospective students during admit weekend without ruining my reputation?
Feb 11, 2015
answer
12
Should I recommend rejection for a paper I referee if the authors don't make changes that they could have made?
May 24, 2015
question
10
Does some degree of stubbornness help for a researcher?
Oct 12, 2013
answer
8
When should a supervisor be an author?
Feb 11, 2015
answer
6
Is it a good idea to write a larger than expected project report?
Feb 14, 2016
answer
6
Is it common that you can't finish the exam questions during PhD study?
Feb 11, 2016
Top network posts
View all network posts
63
atomic operation cost
56
Realizability theory: difference in power between Lambda calculus and Turing Machines
37
What are the disadvantages of the Spirit parser-generator framework from boost.org?
26
Random Restarts with "Sleep Wake Failure" error on Mavericks
18
Case classes, pattern matching and varargs

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.