Skip to content

Instantly share code, notes, and snippets.

View dardo82's full-sized avatar
🏠
Working from home

Michele Venturi dardo82

🏠
Working from home
View GitHub Profile
@dardo82
dardo82 / com.zerowidth.launched.icdc.plist
Last active January 19, 2021 10:29
RTV38 Comparini
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>Label</key>
<string>com.zerowidth.launched.icdc</string>
<key>ProgramArguments</key>
<array>
<string>sh</string>
<string>-c</string>
@dardo82
dardo82 / sort-macport-size.sh
Last active November 16, 2019 03:15
Sort PIP pkgs by size
#!/bin/sh
for port in $(port info --line --name installed); do
port contents $port | grep / | xargs du -cks \
| grep "\ttotal" | sed s/total/$port/; done | sort -n
@dardo82
dardo82 / opencv-samples.sh
Last active June 22, 2019 02:16
Install OCV samples
#!/bin/zsh
PMS="macports"; PKG="opencv"; DIR="samples/cpp"; BIN="$1"
sudo port install $PKG; sudo port fetch $PKG; sudo port extract $PKG
MPP=$(man -w $PMS.conf); prefix=$(zegrep -m1 '^/' $MPP)
cd ${$(eval grep 'cache$' ${$(zegrep -m1 $PMS'\\&.conf$' $MPP)/\\&/} | cut -f2)%/*}/*$PKG*/*$PKG*/*/*$PKG*/$DIR
sudo g++ $(pkg-config --cflags --libs $PKG) $BIN.cpp -o $BIN
@dardo82
dardo82 / mac-askpass.sh
Last active June 8, 2023 22:27
OSX sudo helper
#!/bin/sh
BIN="/usr/local/bin/askpass"; touch $BIN; chmod 755 $BIN
security add-generic-password -a $USER -s login -T "" -w
echo "#!/bin/sh\\nsecurity find-generic-password -a $USER -s login -w" > $BIN
echo "\\n# Set sudo helper.\\nexport SUDO_ASKPASS=$BIN" >> ~/.${SHELL##/*/}rc
@dardo82
dardo82 / mac-passwd2hashcat.sh
Created June 2, 2019 18:26
OSX user PW to HC format
#!/bin/sh
sudo dscl . read /Users/$USER ShadowHashData | tail -1 | xxd -p -r | plutil -convert xml1 - -o - | sed s/data/string/ | plutil -convert json - -o $USER.json
ITERATIONS=$(jq '."SALTED-SHA512-PBKDF2".iterations' $USER.json)
SALT=$(jq '."SALTED-SHA512-PBKDF2".salt' $USER.json | sed -E 's/"?\\n\\t\\t"?//g' | base64 -D | xxd -c 256 -p)
ENTROPY=$(jq '."SALTED-SHA512-PBKDF2".entropy' $USER.json | sed -E 's/"?\\n\\t\\t"?//g' | base64 -D | xxd -c 256 -p | cut -c -128)
echo "\$ml\$$ITERATIONS\$$SALT\$$ENTROPY" > $USER.hash
hashcat -m 7100 --example-hashes | awk '/HASH/{print $2}' > example.hash
hashcat -a 3 -m 7100 example.hash "?l?l?l?l?l?l?l"
@dardo82
dardo82 / yt2videoindexer.sh
Last active May 26, 2019 01:10
YT to VideoIndexer
#!/bin/sh
API="https://api.videoindexer.ai/auth/trial/Accounts/be4863e0-b5be-416d-9de2-91dbdd0afd11"
TOKEN=$(curl -s -H "Ocp-Apim-Subscription-Key:5ebebe8abada42c4a04065544942edf5" "$API/AccessToken?allowEdit=true" | tr -d \")
NAME=$(youtube-dl --get-title $1 | tr \ _); URL=$(curl -s "https://tinyurl.com/api-create.php?url=$(youtube-dl -g -f mp4 $1)")
curl -s -X POST -H "Content-Length:0" "${API//\/auth/}/Videos?language=auto&name=$NAME&videoUrl=$URL&accessToken=$TOKEN"
@dardo82
dardo82 / GDrive-Trash -Mount.sh
Last active May 27, 2019 12:55
Google Drive Trash Mount
#!/bin/zsh
GDOF="google-drive-ocamlfuse";GDMP="$HOME/${(C)${GDOF%-*}/-/ }";mkdir -v "$GDMP"
opam install -qvy $GDOF;$GDOF -browser open;$GDOF "$GDMP";open -R "$GDMP/.Trash"
@dardo82
dardo82 / install-opam.sh
Last active March 21, 2019 12:52
Install OPAM
#!/bin/sh
OPAMROOT="${1-/usr/local/opam}"; SH="${SHELL-/bin/sh}"; SC="$HOME/.${SH//*\/}rc"
echo "\n# Set OPAM root dir.\nexport OPAMROOT=\"$OPAMROOT\"\n\n# Set OPAM PATHs.\nexport PATH=\"" \$OPAMROOT/default/{,s}bin: \$PATH\" | sed "s/ \\$/$/g" >> $SC
sudo sh -c "port install opam;mkdir -v $OPAMROOT;chown -v $USER:admin $OPAMROOT"
opam init --auto-setup --root=$OPAMROOT
@dardo82
dardo82 / Fibonaria.tex
Created March 7, 2019 07:06
Binary Fibonacci
\begin{align*}
a,k,n,m \in \mathbb{N} \quad b \in \{0;1\} \\
A=\{a|a<2^{m}\} \quad a=\sum_{k=0}^{m-1} b_{k} \cdot 2^{k} \\
F_0=0; \ F_1=1; \ F_{n}=F_{n-1}+F_{n-2} \\
\forall k \ \ b_{k}=1 \Rightarrow b_{k+1}=0 \quad |A|=F_{m+2} \\
\end{align*}
@dardo82
dardo82 / srfcp.tex
Created March 7, 2019 06:57
Sum of Ratio of Factorial of Consecutive Primes
$$ Michele Venturi \\ dardo82@gmail.com \\ 2019-03-07 $$
$$$$
$$$$
$$ \not\exists \ x \in \mathbb{N} : x \not= 1,\ x \not=P_{n},\ x|P_{n} \\
n \in \mathbb{N}, n \not= 0; P_{n} \in \mathbb{N}, P_{n} \not= 1; p=P_{2n-1},\ q=P_{2n} $$
$$$$
$$ \sqrt{2\pi}\ n^{n+\frac12} e^{-n} \le n! \le e\ n^{n+\frac12} e^{-n} \\
\Downarrow \\
\frac{\sqrt{2\pi}\ p^{p+\frac12} e^{-p}}{\sqrt{2\pi}\ q^{q+\frac12} e^{-q}} \le
\frac{p!}{q!} \le \frac{e\ p^{p+\frac12} e^{-p}}{e\ q^{q+\frac12} e^{-q}} \\