C.H. Yang cyang-el

Each of these commands will run an ad hoc http static server in your current (or specified) directory, available at http://localhost:8000. Use this power wisely.

Discussion on reddit.

Python 2.x

$ python -m SimpleHTTPServer 8000

Installation of NixOS with encrypted root

These are my notes on instaling NixOS 16.03 on a Lenovo ThinkPad X1 Carbon (4th generation) with an encrypted root file system using UEFI.

Most of this is scrambled from the following pages:

Keybase proof

I hereby claim:

I am cyang-el on github.
I am cyang_el (https://keybase.io/cyang_el) on keybase.
I have a public key ASDVZ3dFXrnNxObMa4iDo8hV48KmSYU4Y7UO_e0tDHmy9Ao

To claim this, I am signing this object:

	SPECIFICATION Spec

	CONSTANTS
	C = {c1, c2, c3}
	Srv = {s1}
	DB = {d1}
	MaxID = 10
	SrvCap = 1
	ProcTime = 4
	ReqRate = 1

	---- MODULE break ----
	EXTENDS Integers, Sequences, TLC, FiniteSets

	Max(S) == CHOOSE x \in S : \A y \in S : x >= y

	CONSTANTS
	C,
	Srv,
	DB,
	MaxID,

	---- MODULE 3_tier_1 ----
	EXTENDS Integers, Sequences, TLC, FiniteSets
	CONSTANTS Clients, Srvrs, DBs, MaxID
	VARIABLES
	clReqs, \* Client requests
	clResps, \* Client responses
	srvQueue, \* Server queue
	srvProc, \* Server processing
	dbQ, \* Database queries
	dbDat, \* Database data

	require 'io/console'

	# RC
	module RC
	# IOLoop
	class IOLoop
	def initialize(io, game)
	@io = io
	@handle_game = game.method(:handle)
	@update_game = game.method(:update)

	# frozen_string_literal: true

	require 'io/console'

	SIZE = 5

	def run
	$stdin.echo = false
	board = init_board
	render!(board)

	{
	description = "C/C++ environment";

	inputs = {
	nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
	utils.url = "github:numtide/flake-utils";
	};

	outputs = { self, nixpkgs, utils, ... }@inputs:
	utils.lib.eachDefaultSystem (

	xml2_sax_sample: xml2_sax_sample.c
	gcc -o xml2_sax_sample `xml2-config --cflags --libs` xml2_sax_sample.c

	clean:
	rm xml2_sax_sample