Skip to main content
Raspberry Pi
Blaisorblade's user avatar
Blaisorblade's user avatar
Blaisorblade's user avatar
Blaisorblade
  • Member for 11 years, 8 months
  • Last seen more than 8 years ago
Profile Activity
Stats
256
reputation
24k
reached
4
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
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
View all tags
10
Score
2
Posts
50
Posts %
4
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
2
Score
1
Posts
25
Posts %
2
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
answer
8
Would you recommend a Raspberry Pi as a remote file backup device?
Mar 2, 2013
answer
4
Low bandwidth internet over VPN
Mar 2, 2013
answer
2
External Hard-drive backing up using Time-Machine
Mar 2, 2013
answer
0
How to install the Java JDK on Raspberry Pi
Sep 14, 2013
Top network posts
View all network posts
69
What is the cost of atomic operations?
62
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
26
What to do with an overtly exasperating colleague in computer science?