Discover gists

tmux shortcuts & cheatsheet

start new:

tmux

start new with session name:

tmux new -s myname

A list of links containing cool references, resources and things related to books about Computer Science and related.

For excessively paranoid client authentication.

openssl x509 -in server.crt -out server.der -outform DER
openssl x509 -in server.der -inform DER -out server.pem -outform PEM

Note

This no longer works in browser!

Note

This no longer works if you're alone in vc! Somebody else has to join you!

How to use this script:

Go to the video url you want to download
Open devtools into browser (ctrl+shift+i in firefox)
Show the network tab
Reload tab with video and look into devtools
Find line with text 1080p.m3u8 and copy url (like: https://edge-7.facecast.net/secure/VgTub-XSFSFFSFSF/DFSDGDSGDSGGD-pyJiOPQ/34634636/4367546/235235/1080p.m3u8)

Download and install Streamlink
Open console and execute: streamlink hls://URL_FROM_STEP_5 best -o video1080p.ts

	<?php

	$originalPath = "/root/servers/miscs/converting/lobby";
	$backupPath = "/root/servers/miscs/converting/backup"; //this will create a folder under this one with the name of the world

	$providerManager = new WorldProviderManager();
	$writableFormats = array_filter($providerManager->getAvailableProviders(), fn(WorldProviderManagerEntry $class) => $class instanceof WritableWorldProviderManagerEntry);
	$requiredOpts = [
	"world" => "path to the input world for conversion",
	"backup" => "path to back up the original files",

	module SystemF where

	open import Agda.Primitive
	open import Prelude
	open import Data.List

	weaken-∈ : ∀ {a : Set} (Γ₁ : List a) {Γ x y} → x ∈ (Γ₁ ++ Γ) → x ∈ (Γ₁ ++ y ∷ Γ)
	weaken-∈ [] (zero refl) = suc (zero refl)
	weaken-∈ [] (suc i) = suc (suc i)
	weaken-∈ (x ∷ Γ₁) (zero p) = zero p

	/*
	Pass in two WGS84 points as arrays in x y order to calcuate the
	meter distance between them.

	distance([longitude1, latitude1], [longitude2, latitude2])

	The distance is calculated with the help of the harvesin formula
	*/
	var distance = function(coords1, coords2) {