624 reputation
1515
bio website elehack.net/michael
location San Marcos, TX
age 30
visits member for 4 years, 5 months
seen 2 days ago

Assistant professor in computer science at Texas State University specializing in human-computer interaction, recommender systems, and information retrieval. FP (currently Scala and Haskell, previously OCaml) hacker.


2d
awarded  Commentator
2d
comment What terminal emulators offer tmux integration?
@bmargulies I just run tmux -CC in my SSH session from iterm2 and it works.
Mar
23
awarded  Necromancer
Mar
19
awarded  Yearling
Mar
12
asked What terminal emulators offer tmux integration?
Mar
8
comment How to enable systemd user sessions for remote logins on CentOS 7?
@Bratchley I have clarified; I can see the login session with loginctl, but there is not a systemd user session (usable with systemctl --user).
Mar
8
revised How to enable systemd user sessions for remote logins on CentOS 7?
Update for loginctl status
Mar
8
asked How to enable systemd user sessions for remote logins on CentOS 7?
Feb
7
asked How do I create a local repository for NixOS/nixpkgs?
Jan
26
comment Any reason to use or teach `…` substition for new development?
@MathematicalOrchid stackoverflow.com/questions/9405478/… seems pretty good. Backticks are very difficult to nest properly, especially when additional quotes are involved.
Jan
26
accepted Any reason to use or teach `…` substition for new development?
Jan
22
awarded  Nice Question
Jan
22
awarded  Curious
Jan
21
asked Any reason to use or teach `…` substition for new development?
Dec
31
revised FreeBSD is not Unix. But its Unix-Like Unix. Where is then the main Unix to read the source code?
spelling fix
Nov
24
awarded  Popular Question
Oct
17
awarded  Famous Question
Oct
1
awarded  Self-Learner
Aug
23
awarded  Popular Question
Mar
17
awarded  Yearling