Discover gists

A Taxonomy of Self-Types

Part I: Introduction to Self-Types

Datatypes in the Formality programming language are built out of an unusual structure: the self-type. Roughly speaking, a self-type is a type that can depend or be a proposition on it's own value. For instance, the consider the 2 constructor datatype Bool:

ANSI Escape Sequences

Standard escape codes are prefixed with Escape:

Ctrl-Key: ^[
Octal: \033
Unicode: \u001b
Hexadecimal: \x1B
Decimal: 27

转载自粉丝日志 #在Ubuntu上安装PPTP VPN服务

1. 使用apt源服务来安装PPTPD服务

sudo apt-get update
sudo apt-get install pptpd

2. 安装完成之后编辑pptpd.conf配置文件

sudo vim /etc/pptpd.conf

based on https://www.reddit.com/r/vim/comments/24g8r8/italics_in_terminal_vim_and_tmux/

Check if italic font is supported:

$ echo -e "\e[3mitalic\e[23m"

Also check:

$ infocmp $TERM | grep sitm
 sgr0=\E(B\E[m, sitm=\E[3m, smacs=\E(0, smam=\E[?7h,

Use Multiple SSH Keys for Git host websites (Github, Gitlab)

This is guide about how to configure multiple SSH keys for some Git host websites such as Github, Gitlab, among others.

Creating SSH keys

Create SSH directory:

	var bms = await getAllBms();
	for (let i = 0; i < bms.data.length; i++) {
	let bm = bms.data[i];
	console.log(
	`%cProcessing BM: ${bm.name}`,
	"font-size:15px;font-weight:bold;"
	);
	console.log(`Ad Account creation limit is: ${await getBMAdAccountCreationLimit(bm.id)}`);
	}

	import javafx.application.Application;
	import javafx.beans.property.ObjectProperty;
	import javafx.beans.property.SimpleObjectProperty;
	import javafx.geometry.Insets;
	import javafx.geometry.Point2D;
	import javafx.geometry.Pos;
	import javafx.geometry.Rectangle2D;
	import javafx.scene.Scene;
	import javafx.scene.control.Button;
	import javafx.scene.control.Hyperlink;

	// ==UserScript==
	// @name TweetXer
	// @namespace https://gist.github.com/lucahammer/a4d1e957ec9e061e3cccafcbed599e16/
	// @version 0.5
	// @description Delete all your Tweets for free.
	// @author Luca
	// @match https://twitter.com/*
	// @icon https://www.google.com/s2/favicons?domain=twitter.com
	// @grant unsafeWindow
	// ==/UserScript==

	.rounded-corners-gradient-borders {
	width: 300px;
	height: 80px;
	border: double 4px transparent;
	border-radius: 80px;
	background-image: linear-gradient(white, white), radial-gradient(circle at top left, #f00,#3020ff);
	background-origin: border-box;
	background-clip: padding-box, border-box;
	}

	// This source code is subject to the terms of the Mozilla Public License 2.0 at https://mozilla.org/MPL/2.0/
	// © faiyaz7283
	//@version=5

	indicator(title="Watchlist Heatmap", shorttitle="WL Heatmap", overlay=true)

	// ::Imports:: {

	import faiyaz7283/tools/9 as tools
	import faiyaz7283/printer/6 as prnt