Phil

Age: 26

1d
asked View for efficient and smooth auto scrolling of text
Apr
26
accepted Ur/Web new purely functional language for web programming?
Apr
25
asked Android runtime - does ART miss optimization opportunities over Dalvik?
Apr
25
comment 15.04 - Closing lid does not suspend laptop if connected to external monitor
I see. So it seems like a bug. But I use Intel graphics. Is the fix different? Many thanks.
Apr
25
revised 15.04 - Closing lid does not suspend laptop if connected to external monitor
added 20 characters in body
Apr
25
asked 15.04 - Closing lid does not suspend laptop if connected to external monitor
Apr
23
awarded Editor
Apr
23
revised How can I install Sun/Oracle's proprietary Java JDK 6/7/8 or JRE?
update for JDK 8 option
Apr
16
comment What exactly makes the Haskell type system so revered (vs say, Java)?
@BenjaminGruenbaum it's a nice feature, but it's not related to static types. There are untyped languages with pattern matching, as well as typed languages without pattern matching.
Apr
13
awarded Caucus
Apr
7
asked Java's efficient imperative loop through Scala macros?
Mar
25
awarded Notable Question
Mar
19
awarded Popular Question
Mar
16
comment Why applying functions using the pair "dot" notation can be a syntax error in Racket?
What's a use case of that? Could you elaborate more? The purpose of allowing rest parameters is to allow defining multiple-arity functions, which is more or less for syntactic convenience. It is not obvious that allowing parameters of an arbitrary tree shape as such would buy us anything worth the complexity.
Mar
15
answered Why applying functions using the pair "dot" notation can be a syntax error in Racket?
Mar
8
comment Answer to life, the universe, and everything
@mbomb007 and number 2 in the link you sent says exactly what I say. Read that again. You understand it backwards.
Mar
7
comment Answer to life, the universe, and everything
@mbomb007 your statement was doubly erroneous. First, A only if B is not equivalent to if B then A. Instead, it's equivalent to B if A, or if A then B. Second, I didn't say there was anything wrong with his wording/logic. I said that was not an optimal way to do thing.
Mar
7
comment Answer to life, the universe, and everything
@BobTheAwesome: thanks. Finally somebody on here who knows what I'm talking about. This was 4 years ago lol ^^.
Mar
3
comment Customize proof-general's dark theme for Isabelle
Well thanks makarius :). Emacs is my favorite editor, that's why I look for Proof General. It's actually great that you used to be an Emacs person too, because I can ask you for experience in how to transition from Emacs to say jEdit for Isabelle without losing the benefits (e.g. being keyboard centric, hackability, etc.)
Mar
3
awarded Teacher
1 2 3 4 5