Thread pools on the JVM should usually be divided into the following three categories:
- CPU-bound
- Blocking IO
- Non-blocking IO polling
Each of these categories has a different optimal configuration and usage pattern.
# See commit changes | |
git whatchanged -m -n 1 -p <sha of merge commit> | |
# Delete branch | |
git branch -d the_local_branch | |
# Delete remote branch | |
git push origin --delete <branchName> |
# open/edit the GHC compiler seetings | |
code $(stack ghc -- --print-libdir)/settings | |
# searh process using the port | |
lsof -i tcp:<port> | |
# kill a process | |
sudo kill -9 <pid> | |
# list process |