Bitcoin
Blaisorblade's user avatar
Blaisorblade's user avatar
Blaisorblade's user avatar
Blaisorblade
  • Member for 8 years, 9 months
  • Last seen more than 8 years ago
Profile Activity
Stats
103
reputation
0
reached
0
answers
0
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
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
66
atomic operation cost
58
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
What to do with an overtly exasperating colleague in computer science?
26
Random Restarts with "Sleep Wake Failure" error on Mavericks

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.