Academia
Profile Activity
Meta user
Network profile
1,801
reputation
11
24

Blaisorblade

Researcher in functional (and object-oriented) programming languages and their theory. Last known focus was 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.

31
answers
2
questions
~116k
people reached

Communities (53)

Top network posts

Top tags (54)

Score 52
Posts 12
Posts % 36
Score 46
Posts 12
Score 28
Posts 2
Score 25
Posts 2
Score 21
Posts 4
Score 10
Posts 5
View all tags →

Top posts (33)

All Questions Answers
Votes Newest
25 What to do with an overtly exasperating colleague in computer science? Mar 8 '15
24 What do you wish you knew as a student before you became a researcher? Oct 12 '13
16 How often can the reviewers correctly guess the identity of the authors when the review is double-blind? Feb 11 '16
13 How do some researchers have such beautiful figures in publications, while their homepages look simple? Jul 10 '17
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 '15
12 Should I recommend rejection for a paper I referee if the authors don't make changes that they could have made? May 24 '15
10 Does some degree of stubbornness help for a researcher? Oct 12 '13
8 When should a supervisor be an author? Feb 11 '15
6 Is it a good idea to write a larger than expected project report? Feb 14 '16
6 Is it common that you can't finish the exam questions during PhD study? Feb 11 '16
View all questions and answers →

Badges (35)

Gold

—

Silver

11

Rarest

Bronze

24

Rarest

View all badges →