Blaisorblade

Berlin, Germany

http://www.informatik.uni-marburg.de/~pgiarrusso

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.

top accounts reputation activity subscriptions

Realizability theory: difference in power between Lambda calculus and Turing Machines

computability lambda-calculus turing-machines asked Sep 9, 2010 at 10:31

cstheory.stackexchange.com

26 votes

Random Restarts with "Sleep Wake Failure" error on Mavericks

mavericks sleep-wake power-nap asked Jan 31, 2014 at 14:05

apple.stackexchange.com

16 votes

"Whole-team" C++ features?

c++ programming-languages asked Oct 26, 2013 at 0:02

softwareengineering.stackexchange.com

16 votes

What are the upsides and downsides of typed vs untyped conversion?

coq agda type-theory dependent-type equality asked Feb 19, 2022 at 14:39

proofassistants.stackexchange.com

16 votes

Can we distinguish strictly syntactic and semantic methods in programming language?

lo.logic pl.programming-languages operational-semantics asked Mar 13, 2014 at 23:05

cstheory.stackexchange.com

15 votes

Why do case classes extend only Product and not Product1, Product2, ..., ProductN?

scala scala-2.9 asked Sep 7, 2011 at 18:33

stackoverflow.com

14 votes

η-conversion vs extensionality in extensions of lambda-calculus

pl.programming-languages lambda-calculus asked May 15, 2013 at 15:45

cstheory.stackexchange.com

13 votes

For what languages is there already a theory of observational equivalence?

pl.programming-languages type-theory operational-semantics asked Mar 6, 2015 at 15:10

cstheory.stackexchange.com

10 votes

How is floating-point arithmetic implemented in TeX

tex-core performance floating-point asked Jul 26, 2017 at 23:37

tex.stackexchange.com

10 votes

Does some degree of stubbornness help for a researcher?

research asked Oct 12, 2013 at 0:01

academia.stackexchange.com

Top Answers

What is the cost of atomic operations?

stackoverflow.com

What are the disadvantages of the Spirit parser-generator framework from boost.org?

stackoverflow.com

What to do with an overtly exasperating colleague in computer science?

academia.stackexchange.com

What do you wish you knew as a student before you became a researcher?

academia.stackexchange.com

Lazy Cartesian product of several Seqs in Scala

stackoverflow.com

Case classes, pattern matching and varargs

stackoverflow.com

Is there a "SELF" type in scala that represents the current type?

stackoverflow.com

How often can the reviewers correctly guess the identity of the authors when the review is double-blind?

academia.stackexchange.com

Small Caps and Bold Face

tex.stackexchange.com

Why was Schönfinkel's work on eliminating "bound variables" in logic so crucial?

cstheory.stackexchange.com

Why does boolean consume more memory than char?

stackoverflow.com

How do some researchers have such beautiful figures in publications, while their homepages look simple?

academia.stackexchange.com

How does one submit a potential patch to the Linux kernel?

stackoverflow.com

How to declare traits as taking implicit "constructor parameters"?

stackoverflow.com

How to generate TAGS for Haskell projects?

stackoverflow.com

Checking stack usage at compile time

stackoverflow.com

Should I recommend rejection for a paper I referee if the authors don't make changes that they could have made?

academia.stackexchange.com

I am a PhD student and hate it here. How can I warn prospective students during admit weekend without ruining my reputation?

academia.stackexchange.com

Guava r07, GWT and javax.annotation.Nullable

stackoverflow.com

why does this compile?

stackoverflow.com

Random Restarts with "Sleep Wake Failure" error on Mavericks

apple.stackexchange.com

What did Coq 8.15 change about divmod?

proofassistants.stackexchange.com

HTTPS request with Boost.Asio and OpenSSL

stackoverflow.com

copy contents of immutable map to new mutable map

stackoverflow.com

How to know if an object is an instance of a TypeTag's type?

stackoverflow.com

Why do C# and Java bother with the "new" operator?

stackoverflow.com

Passing object ownership in C++

stackoverflow.com

What is git hawser?

stackoverflow.com

When should a supervisor be an author?

academia.stackexchange.com

Technical article vs. research paper

cstheory.stackexchange.com