18h
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?
19h
asked GHC options in cabal sandboxes
2d
awarded Student
2d
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.
Jun
29
asked Equivalence of continuous functions
Jun
29
comment sudo for users with empty passwords
This will be running in a VM, with no security at all: there will be a default user with no password, auto-login, and root access. However, the user can set a password purely to protect themselves from their own mistakes.
Jun
28
comment sudo for users with empty passwords
That fails condition 1. I want users to be prompted for a password if they have one.
Jun
27
asked sudo for users with empty passwords
Jun
20
asked How to make a PAM substack "requisite"?
Jun
9
accepted Coq: unfolding class instances
1 2 3