-
http://nksecur5aoxbew7x4t2jebk7ordomil3a4xubeamno76zexicppwhiad.onion/advanced-security-guide.html
Data and search Don’t leave your Tails device somewhere easy to find. Leave a dummy instead. Don't store your CP on an internal disk - even encrypted. If you ever get raided, they will expect you can unlock every disk or large encrypted...
-
shrineadmin/sacredground @ f46f25cf66dd5d7bdafdcd3cb8e19d1cc887ce49 - SACRED REVISION CONTROL
http://xdhbqaloeg5bid3tzjpllhnxisdguz34xtoc7qegnmh3essuesfdyqid.onion/shrineadmin/sacredground/src/f46f25cf66dd5d7bdafdcd3cb8e19d1cc887ce49/content/howto/extensions/provision-ext.sh
the Git server SACREDGIT_ONION=$(cat /var/lib/tor/services/sacredgit/hostname) if ! test -e /etc/gogs/conf/app.ini.dist; then cp /etc/gogs/conf/app.ini /etc/gogs/conf/app.ini.dist fi # We only set the config file if it doesn't have our...
-
http://dswarmsikhttkg7jgsoyfiqpj3ighupfrvuz5ri3lu5q2dlqyrpgk7ad.onion/notes/lsg.html
implies introduction (conditional introduction, arrow-introduction, or Conditional proof (CP)) We can think of \(p\to q\) as a type of a procedure. Showing \(p\to q\) using the rule \(\to i\) is now called type checking , an topic in the...