题叶 tiye

Configure Git to use a proxy

In Brief

You may need to configure a proxy server if you're having trouble cloning or fetching from a remote repository or getting an error like unable to access '...' Couldn't resolve host '...'.

Consider something like:

JPG:
$ brew install jpegoptim
$ find . -name "*.jpg" -exec jpegoptim -m80 -o -p --strip-all {} \;

- PNG:
$ brew install optipng
$ find . -name "*.png" -exec optipng -o7 {} \;

Types

Number, Boolean, Buffer, Pair

Expressions

Expressions form a tree and are not interruptable.

Literals

A lot of people mentioned other immutable JS libraries after reading my post. I thought it would be good to make a list of available ones.

There are two types of immutable libraries: simple helpers for copying JavaScript objects, and actual persistent data structure implementations. My post generally analyzed the tradeoffs between both kinds of libraries and everything applies to the below libraries in either category.

Libraries are sorted by github popularity.

Persistent Data Structures w/structural sharing

What forces layout / reflow

All of the below properties or methods, when requested/called in JavaScript, will trigger the browser to synchronously calculate the style and layout*. This is also called reflow or layout thrashing, and is common performance bottleneck.

Generally, all APIs that synchronously provide layout metrics will trigger forced reflow / layout. Read on for additional cases and details.

Element APIs

Getting box metrics

elem.offsetLeft, elem.offsetTop, elem.offsetWidth, elem.offsetHeight, elem.offsetParent

	<!doctype html>
	<html class="no-js" lang="">
	<head>
	<meta charset="utf-8">
	<meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
	<meta name="author" content="Green Ido \| @greenido \| plus.google.com/+greenido">
	<meta name="viewport" content="width=device-width, initial-scale=1.0" />
	<title>Geo - Calculate the distance</title>
	<meta name="description" content="Geo - Calculate the distance">
	<meta name="viewport" content="width=device-width, initial-scale=1">

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

	{-# LANGUAGE GeneralizedNewtypeDeriving #-}

	module Language.Brainfuck.Parser
	(parse)
	where

	import Control.Monad.Except
	import Control.Monad.State

	data ParseError = Unexpected Char

	// give it a name so it reuses the same window
	var win = window.open(null, "redux-devtools", "menubar=no,location=no,resizable=yes,scrollbars=no,status=no");

	// reload in case it's reusing the same window with the old content
	win.location.reload();

	// wait a little bit for it to reload, then render
	setTimeout(function() {
	React.render(
	<DebugPanel top right bottom left >

	/*
	UPDATED for 2023 - Now much simpler. The old tricks are no longer needed.

	The following code makes an 800×600 canvas that is always as sharp as possible for the device.

	You still draw on it as if it's the logical size (800×600 in this case), but everything just
	looks sharper on high-DPI screens. Regular non-sharp screens are not affected.
	*/

	const width = 800