Skip to content

Instantly share code, notes, and snippets.

@zudsniper
zudsniper / PROPOSITIONAL_SYMBOLS_LATEX_OBSIDIAN.md
Created September 28, 2023 22:59
📋 Propositional Logic symbols & their LaTeX formulas specifically for Obsidian flavor Markdown

Certainly! Obsidian is a popular note-taking application that supports Markdown with LaTeX integration for mathematical notation. When using LaTeX in Obsidian's Markdown flavor, you typically enclose the LaTeX code within double dollar signs $$...$$ for block math and single dollar signs $...$ for inline math.

Here's an exhaustive list of the symbols for propositional logic and their formulas specifically formatted for Obsidian flavor Markdown:

  1. Conjunction (AND)

    • Symbol: ∧
    • Obsidian Markdown: $\land$ or $\wedge$
  2. Disjunction (OR)

  • Symbol: ∨
---
version: "2"
services:
vpn:
image: bubuntux/nordvpn
container_name: vpn
cap_add:
- net_admin
devices:
- /dev/net/tun
@drmikecrowe
drmikecrowe / docker-compose.yml
Last active October 10, 2022 10:49
Ultimate docker-compose setup for home media center
#Reference: https://www.smarthomebeginner.com/docker-home-media-server-2018-basic
version: "3"
# https://github.com/pi-hole/docker-pi-hole/blob/master/README.md
services:
radarr:
image: "linuxserver/radarr"
dns_search: local
@99darwin
99darwin / mup_migrate.md
Created January 11, 2019 19:41
Deploy Meteor App with MUP and Migrate Local MongoDB to Remote Server

Deploy Meteor app and migrate the built-in, local MongoDB to a remote server where the app is hosted.

It took me days to actually get this working, so I figured I would write out the steps I took to finally resolve the issue for my own assistance in the future and, hopefully, to help others who encounter this problem.

Create .deploy folder in your app's directory

cd .deploy
mup init

Configure the mup.js file to match your configuration. Here's an extremely basic example:

@mrkgnao
mrkgnao / ghostscript-pdf-crop.sh
Created October 8, 2018 16:32
Crop pdfs with GhostScript
#!/usr/bin/env bash
set -euo pipefail
origdir=$(pwd)
tmpdir=$(mktemp -d)
echo "tmpdir: $tmpdir"
read -r width height < <(pdfinfo $1 | grep "Page size:" | sed 's/[a-zA-Z: ]*\([0-9]\+\)[x ]*\([0-9]\+\).*/\1 \2/')
npages=$(pdfinfo $1 | grep "Pages:" | sed 's/Pages: \+\([0-9]\+\).*/\1/')
echo "page count: $npages"
echo "(width, height) = ($width, $height)"

Window Controls

  • ⌘ ← 0x02 0x70
  • ⌘ → 0x02 0x6E

Pane Controls

  • ⌘ ⌥ ↑ 0x02 0x1B 0x5B 0x41
@gauravchl
gauravchl / cryptography.md
Last active January 26, 2023 17:26
Useful commands for cryptography need

sha256 of a file

openssl sha -sha256 ws-test.js

sha256 of string

echo -n 'your string' | opsnssl sha -sha256

Random password 192 character

openssl rand 192

Random password in file

version: '3'
services:
plex:
image: plexinc/pms-docker:beta
container_name: plex
restart: always
network_mode: host
volumes:
- $PWD/plex/config:/config
@tywkeene
tywkeene / crypto.sh
Last active April 27, 2020 16:20
Encrypt files and directories securely with pgp/tar/gzip/shred all in a small shell script
#!/usr/bin/env bash
set -e
function yesno() {
read -p "$1 Continue? (y/n): "
case $(echo -e "$REPLY" | tr '[A-Z]' '[a-z]') in
y|yes) echo "yes" ;;
*) echo "no" ;;
esac
@agzam
agzam / all ex commands.org
Last active September 14, 2022 14:36
All ex commands
e[dit]evil-edit
w[rite]evil-write
wa[ll]evil-write-all
sav[eas]evil-save
r[ead]evil-read
b[uffer]evil-buffer
bn[ext]evil-next-buffer
bp[revious]evil-prev-buffer
bN[ext]bprevious
sb[uffer]evil-split-buffer