jlollis

Oh my zsh.

Install with curl

sh -c "$(curl -fsSL https://raw.githubusercontent.com/robbyrussell/oh-my-zsh/master/tools/install.sh)"

Enabling Plugins (zsh-autosuggestions & zsh-syntax-highlighting)

Download zsh-autosuggestions by

(dominic: this list of papers was originally recommended to me by Brain Noguchi @bnoguchi, and was a great start to understanding distributed systems)

Here's a selection of papers that I think you would find helpful and interesting:

Time, Clocks, and the Ordering of Events in a Distributed System

The seminal paper about event ordering and concurrency. The important result is that events in a distributed system define a partially ordered set. The connection to what we're working on is fundamental, as this defines how to detect concurrent updates. Moreover, the chosen algorithm to turn the partially ordered set into a totally ordered set defines the conflict resolution algorithm.

http://research.microsoft.com/en-us/um/people/lamport/pubs/time-clocks.pdf

Fix SVG in `<img>` tags not scaling in IE9, IE10, IE11

IE9, IE10, and IE11 don't properly scale SVG files added with img tags when viewBox, width and height attributes are specified. View this codepen on the different browsers.

Image heights will not scale when the images are inside containers narrower than image widths. This can be resolved in 2 ways.

Use `sed` in bash to remove width and height attributes in SVG files

As per this answer on Stackoverflow, the issue can be resolved by removing just the width and height attributes.

This code how to replace the traditional radio-buttons, for custom images. You can do the same with checkboxes.

Demo: http://jsfiddle.net/La8wQ/10/
A mod: http://jsfiddle.net/La8wQ/22/

People

`:bowtie:`	😄 `:smile:`	😆 `:laughing:`
😊 `:blush:`	😃 `:smiley:`	☺️ `:relaxed:`
😏 `:smirk:`	😍 `:heart_eyes:`	😘 `:kissing_heart:`
😚 `:kissing_closed_eyes:`	😳 `:flushed:`	😌 `:relieved:`
😆 `:satisfied:`	😁 `:grin:`	😉 `:wink:`
😜 `:stuck_out_tongue_winking_eye:`	😝 `:stuck_out_tongue_closed_eyes:`	😀 `:grinning:`
😗 `:kissing:`	😙 `:kissing_smiling_eyes:`	😛 `:stuck_out_tongue:`

	function Set-FileTime{
	param(
	[string[]]$paths,
	[bool]$only_modification = $false,
	[bool]$only_access = $false
	);

	begin {
	function updateFileSystemInfo([System.IO.FileSystemInfo]$fsInfo) {
	$datetime = get-date

	/* Random.jack
	* By Mark Armbrust
	* http://nand2tetris-questions-and-answers-forum.32033.n3.nabble.com/Random-number-generator-for-hack-cpu-td4025503.html
	* Also see:
	* http://nand2tetris-questions-and-answers-forum.32033.n3.nabble.com/Pseudo-Random-Number-Generator-td4026059.html#a4027617
	*/

	class Random {
	static int seed;

	I made these steps using the tools provided by DigitalOcean, but these steps should work verbatim on any Ubuntu Server.
	Download Terminfo: http://cvs.synchro.net/cgi-bin/viewcvs.cgi/checkout/install/terminfo
	Download Termcap: http://cvs.synchro.net/cgi-bin/viewcvs.cgi/checkout/install/termcap

	I. Pre-Requisites:
	apt-get update
	apt-get install make g++ linux-libc-dev libncurses5-dev libnspr4-dev cvs libcap2-dev gdb zip unzip lrzsz gkermit
	apt-get install dosemu

	II. BBS Install:

	;; 1
	;; 1 1
	;; 1 2 1
	;; 1 3 3 1
	;; 1 4 6 4 1

	;; pascal's triangle
	(define (pascals-triangle h)
	;; row iterator
	(define (gen-row row)