Discover gists

Books

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

	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) {

	#!/usr/bin/env python3

	'''
	always getting the most recent frame of a camera
	================================================

	Usage:
	------
	freshest_camera_frame.py