Phil

Age: 26

1d
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
Feb
19
comment Customize proof-general's dark theme for Isabelle
@Chris works! You're my hero. Thanks a bunch!!
Feb
19
asked Customize proof-general's dark theme for Isabelle
Feb
12
awarded Nice Question
Jan
3
awarded Notable Question
Dec
19
awarded Popular Question
Dec
11
comment How to properly use SoundPool on a game?
How does this affect the battery life?
Nov
15
awarded Organizer
Nov
15
revised Why aren't we researching more towards compile time guarantees?
add more tags
Nov
15
comment Why aren't we researching more towards compile time guarantees?
How do you know there's little research on this? Try googling dependent type or refinement type.
Oct
28
awarded Student
Oct
24
asked `indicator-cpufreq` doesn't seem to work on 14.10
1 2 3 4 5