Sergey Kazenyuk nvmd

## NixOS-guide.md

      
              1 file
            
          
              3 forks
            
          
              0 comments
            
          
              21 stars
            
          
                hadilq
                / NixOS-guide.md
            
            
              Last active
              March 23, 2024 14:17
            
              
                Encypted LUKS LVM Btrfs Root with Opt-in State on NixOS
              
          
    I'm trying to follow this guide to install NixOS
using Btrfs, LUKS and LVM. The main usage of this page for me will be remembering what I did! My laptop is ASUS ROG GL553VD.
Just downloaded Plasma Desktop, 64bit and
create a bootable Flash Drive. Then boot up to NixOS Live CD.
Using gparted to create two partitions, One 200MB vfat EFI partittion and the rest of SSD drive will be an encrypted
partition.
DISK=/dev/nvme0n1


## YubiKey-GPG-SSH-guide.md

      
              2 files
            
          
              40 forks
            
          
              8 comments
            
          
              279 stars
            
          
                ageis
                / YubiKey-GPG-SSH-guide.md
            
            
              Last active
              March 16, 2024 13:18
            
              
                Technical guide for using YubiKey series 4 for GPG and SSH
              
          
    YubiKey 4 series GPG and SSH setup guide

Written for fairly adept technical users, preferably of Debian GNU/Linux, not for absolute beginners.


You'll probably be working with a single smartcard, so you'll want only one primary key (1. Sign & Certify) and two associated subkeys (2. Encrypt, 3. Authenticate). I've published a Bash function which automates this slightly special key generation process.

  
## Backup_iPhone_TimeCapsule.sh
# Create the appropriate directory structure on the TimeCapsule and mount the root folder ('Data' in this example)
# Backup path: /Volumes/Data/iOS/Backup/

$ cp -r ~/Library/Application\ Support/MobileSync/Backup/ /Volumes/Data/iOS
$ cd ~/Library/Application\ Support/MobileSync/
$ rm -r Backup/

$ ln -s /Volumes/Data/iOS/Backup/ ~/Library/Application\ Support/MobileSync/

# Open iTunes select your iPhone/iPad and click 'Back Up Now'-buttom

## nginx.conf
# UPDATED 17 February 2019
# Redirect all HTTP traffic to HTTPS
server {
   listen 80;
   listen [::]:80;
   server_name www.domain.com domain.com;
   return 301 https://$host$request_uri;
}

# SSL configuration

## combinators.js
const I  = x => x
const K  = x => y => x
const A  = f => x => f (x)
const T  = x => f => f (x)
const W  = f => x => f (x) (x)
const C  = f => y => x => f (x) (y)
const B  = f => g => x => f (g (x))
const S  = f => g => x => f (x) (g (x))
const S_ = f => g => x => f (g (x)) (x)
const S2 = f => g => h => x => f (g (x)) (h (x))

## mistweb3.js

/*
Basically "web3" comes from Mist,
but "Web3" CAN come from  the dapp.

A Dapp has 3 ways to use web3.
2. and 3. would work when in Mist and outside.
*/

// 1. simply use, web3 comes already defined

## index.html
<!DOCTYPE html>
<html>
  <head>

    <!-- Add leaflet css -->
    <link
      rel="stylesheet" href="https://unpkg.com/leaflet@1.5.1/dist/leaflet.css"
      integrity="sha512-xwE/Az9zrjBIphAcBb3F6JVqxf46+CDLwfLMHloNu6KEQCAWi6HcDUbeOfBIptF7tcCzusKFjFw2yuvEpDL9wQ=="
      crossorigin=""
    />

## p-a-t.md

      
              1 file
            
          
              1 fork
            
          
              0 comments
            
          
              7 stars
            
          
                matthieubulte
                / p-a-t.md
            
            
              Last active
              October 4, 2015 21:22
            
              
                Propositions as Types
              
          
    List of papers (with links to the PDF versions) mentioned in Philip Wadler's presentation on Propositions as Types at StrangeLoop 2015 (https://www.youtube.com/watch?v=IOiZatlZtGU)

Propositions as Types, Philip Wadler 2014
Grundzuge der Theoretischen Logik, David Hilbert and Wilhelm Ackermann 1928

Unfortunately I couldn't find it available online for free, but you can find it on amazon!


Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (original, translated), Kurt Gödel 1930
Proof of normalization for natural deduction, Gerhard Gentzen 1935
An Unsolvable Problem of Elementary Number Theory, Alonzo Church 1936
[General recursive functions of na


## wss.hs
-- base ==4.7.0.1
-- bytestring ==0.10.4.0
-- connection ==0.2.4
-- network ==2.4.2.3
-- text ==1.1.0.0
-- websockets ==0.9.3.1

import Control.Concurrent (forkIO)
import Control.Monad (forever, void)
import qualified Data.ByteString as BS

## openpgp-card-guide.md

      
              1 file
            
          
              8 forks
            
          
              9 comments
            
          
              54 stars
            
          
                ageis
                / openpgp-card-guide.md
            
            
              Last active
              December 11, 2023 09:36
            
              
                Quick GPG Smartcard Guide
              
          
    ⚠️ Content below I now consider obsolete. My latest guide is now located here: Technical guide for using YubiKey series 4 for GPG and SSH. Please consult that resource instead.


Quick GPG Smartcard Guide
	# Create the appropriate directory structure on the TimeCapsule and mount the root folder ('Data' in this example)
	# Backup path: /Volumes/Data/iOS/Backup/

	$ cp -r ~/Library/Application\ Support/MobileSync/Backup/ /Volumes/Data/iOS
	$ cd ~/Library/Application\ Support/MobileSync/
	$ rm -r Backup/

	$ ln -s /Volumes/Data/iOS/Backup/ ~/Library/Application\ Support/MobileSync/

	# Open iTunes select your iPhone/iPad and click 'Back Up Now'-buttom
	# UPDATED 17 February 2019
	# Redirect all HTTP traffic to HTTPS
	server {
	listen 80;
	listen [::]:80;
	server_name www.domain.com domain.com;
	return 301 https://$host$request_uri;
	}

	# SSL configuration
	const I = x => x
	const K = x => y => x
	const A = f => x => f (x)
	const T = x => f => f (x)
	const W = f => x => f (x) (x)
	const C = f => y => x => f (x) (y)
	const B = f => g => x => f (g (x))
	const S = f => g => x => f (x) (g (x))
	const S_ = f => g => x => f (g (x)) (x)
	const S2 = f => g => h => x => f (g (x)) (h (x))

	/*
	Basically "web3" comes from Mist,
	but "Web3" CAN come from the dapp.

	A Dapp has 3 ways to use web3.
	2. and 3. would work when in Mist and outside.
	*/

	// 1. simply use, web3 comes already defined
	<!DOCTYPE html>
	<html>
	<head>

	<!-- Add leaflet css -->
	<link
	rel="stylesheet" href="https://unpkg.com/leaflet@1.5.1/dist/leaflet.css"
	integrity="sha512-xwE/Az9zrjBIphAcBb3F6JVqxf46+CDLwfLMHloNu6KEQCAWi6HcDUbeOfBIptF7tcCzusKFjFw2yuvEpDL9wQ=="
	crossorigin=""
	/>
	-- base ==4.7.0.1
	-- bytestring ==0.10.4.0
	-- connection ==0.2.4
	-- network ==2.4.2.3
	-- text ==1.1.0.0
	-- websockets ==0.9.3.1

	import Control.Concurrent (forkIO)
	import Control.Monad (forever, void)
	import qualified Data.ByteString as BS