Aug
13
revised cabal test in a sandbox
deleted 25 characters in body
Aug
13
comment cabal test in a sandbox
That's somewhat awkward as we're actually using sandboxes as "build flavours", with optimisation and other flags turned on/off etc.
Aug
13
awarded Supporter
Aug
13
asked cabal test in a sandbox
Aug
1
comment "What part of Milner-Hindley do you not understand?"
Ah, that was my idea. Shirts are still available apparently: I bought one but rarely wear it.
Jul
22
comment GHC options in cabal sandboxes
So in that case, I want to build the entire sandbox with -O2, correct? How do I do that?
Jul
21
comment GHC options in cabal sandboxes
So if I apply -O2 to my executable package, that's as good as applying -O2 to all the packages?
Jul
21
asked GHC options in cabal sandboxes
Jul
19
awarded Student
Jul
19
asked Resolving pkg-config to packages
Jul
16
awarded Scholar
Jul
16
awarded Supporter
Jul
16
accepted sudo for users with empty passwords
Jul
16
answered sudo for users with empty passwords
Jul
7
awarded Curious
Jul
6
accepted Coq tactic for record equality?
Jul
6
asked Coq tactic for record equality?
Jul
2
comment Equivalence of continuous functions
That doesn't seem related? Germ is a local property (agreement of two functions in a neighbourhood) whereas this is conceptually almost the opposite: the same preimage sets regardless of how the functions behave within those sets.
Jun
29
comment sudo for users with empty passwords
I created the user with useradd --password ''
Jun
29
comment sudo for users with empty passwords
I wouldn't mind sudo asking for a password, and the user just hitting enter, but it doesn't. It just gives the output above.
1 2 3