Discover gists

Open AI で出力したものを手直ししたものなので荒はあるかも

Thinkfan setup

Note: I configured this thinkfan setup for my old Thinkpad w520 on Ubuntu 17.10.

1. Install necessary programs

Install lm-sensors and thinkfan.

sudo apt-get install lm-sensors thinkfan

Here's a comparison between how the same simple user definition would be defined using ArkType and Zod:

ArkType's definition syntax is more concise (definitions are about 50% shorter on average) as well as making it more visually obvious what the inferred TypeScript type will be. The ability to infer TypeScript definitions directly is the same, but ArkType's syntax is again more concise by allowing you to use typeof on a property of arkUser directly instead of using an extra "infer" helper.

In general, we also have taken significant steps to optimize and clarify our type hints when hovering over validators. For example, in the case above, this is what you see when you mouse over "zodUser":

Hack script to convert a PDF of Tiers 2 and 5 sponsors into a tab-separated value format file, reproduced here under the terms of the Open Government Licence and loaded as a Google Doc.

Docker Hub 镜像加速器

国内从 Docker Hub 拉取镜像有时会遇到困难，此时可以配置镜像加速器。

Dockerized 实践 https://github.com/y0ngb1n/dockerized

1️⃣ Docker daemon 配置代理（推荐）

参考 Docker daemon 配置代理

	DROP DATABASE IF EXISTS grades_leaderboard;
	CREATE DATABASE IF NOT EXISTS grades_leaderboard CHARACTER SET utf8 COLLATE utf8_general_ci;

	USE grades_leaderboard;

	DROP TABLE IF EXISTS grades;
	DROP TABLE IF EXISTS study_sessions;
	DROP TABLE IF EXISTS users;
	DROP TABLE IF EXISTS courses;
	DROP VIEW IF EXISTS modules_with_grades;

	! References:
	!
	! -dt-interface user-medium-r-normal-s sans-12-120-75-75 (lucidatypewriter)
	! -dt-interface system-medium-r-normal-s sans-14-140-75-75 (lucida)
	! -dt-interface user-medium-r-normal-m sans-14-140-75-75 (lucidatypewriter)
	! -dt-interface system-medium-r-normal-m sans-18-180-75-75 (lucida)
	!
	! sunos# cat Default.dp
	! #b2004d007a00
	! #ae00b200c300


	const onMouseDown = (
	event: React.MouseEvent<HTMLCanvasElement, MouseEvent>
	) => {
	setIsDrawing(true);

	// Obtener las coordenadas del mouse relativo al canvas
	const startX =
	event.clientX - canvasRef.current!.getBoundingClientRect().left;
	const startY =

	## IPv6 Tests
	http://[::ffff:169.254.169.254]
	http://[0:0:0:0:0:ffff:169.254.169.254]

	## AWS
	# Amazon Web Services (No Header Required)
	# from http://docs.aws.amazon.com/AWSEC2/latest/UserGuide/ec2-instance-metadata.html#instancedata-data-categories
	http://169.254.169.254/latest/meta-data/iam/security-credentials/dummy
	http://169.254.169.254/latest/user-data
	http://169.254.169.254/latest/user-data/iam/security-credentials/[ROLE NAME]

	### How to install github desktop on ubuntu:
	## download .deb file:
	sudo wget https://github.com/shiftkey/desktop/releases/download/release-3.2.0-linux1/GitHubDesktop-linux-3.2.0-linux1.deb

	## gdebi:
	# sudo apt install gdebi-core -y
	# sudo gdebi GitHubDesktop-linux-3.2.0-linux1.deb

	## dpkg:
	sudo dpkg -i GitHubDesktop-linux-3.2.0-linux1.deb