/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 gist.github.com
pair_init.h · GitHub
| | brianreiter.org
SSH muddles the Terminal.app title | Brian Reiter's Thoughtful Code
0.7 parsecs away

Travel
| | Normally, the macOS Terminal.app title bar includes the current directory name. When you connect to a remote host with openssh on macOS, the title bar gets updated to be "$(whoami)@$(hostname): $(pwd)" instead. Unfortunately when you exit ssh, the terminal title bar is not restored and continues to say you are on a remote host. Once...
| | github.com
GitHub - brycewilner/Standard
0.5 parsecs away

Travel
| | Contribute to brycewilner/Standard development by creating an account on GitHub.
| | crpt.fyi
Call For Proposal · francep2p/community Wiki · GitHub
0.7 parsecs away

Travel
| | Issues for organizations and discussions, repo for debriefs and resources - Call For Proposal · francep2p/community Wiki
| | github.com
GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. · GitHub
2.4 parsecs away

Travel
| The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.