Phil

Age: 26

1d
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.)
1d
awarded Teacher
Feb
28
comment Improving Haskell code performance of this particular piece of code
Please don't cross post ^^
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
Oct
5
awarded Famous Question
Sep
12
revised Why does ternary operator fail with a type mismatch error?
edit tags
Aug
21
comment Can regexp be used to check for palindromes?
Just to add, Perl's regular expression is more powerful than what is usually understood as such. So the answer is no, you can't check for palindromes with regular expressions.
Aug
20
awarded Yearling
Aug
3
answered Tail-recursive Pascal triangle in Scheme
Aug
3
revised Tail-recursive Pascal triangle in Scheme
add link for Racket
1 2 3 4 5