Discover gists

Generating UUID v4 in MySQL

SELECT
  LOWER(
    CONCAT(
      # 1th and 2nd block are made of 6 random bytes
      HEX(RANDOM_BYTES(4)),
      '-',
 HEX(RANDOM_BYTES(2)),

ANSI Escape Sequences

Standard escape codes are prefixed with Escape:

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

Go - The Ultimate Folder Structure

Organizing your Go (Golang) project's folder structure can help improve code readability, maintainability, and scalability. While there is no one-size-fits-all structure, here's a common folder structure for a Go project:

project-root/
    ├── cmd/
    │   ├── your-app-name/
    │   │   ├── main.go         # Application entry point
    │   │   └── ...             # Other application-specific files

I think I’ve figured out most parts of the cubical type theory papers; I’m going to take a shot to explain it informally in the format of Q&As. I prefer using syntax or terminologies that fit better rather than the more standard ones.

Q: What is cubical type theory?

A: It’s a type theory giving homotopy type theory its computational meaning.

Q: What is homotopy type theory then?

A: It’s traditional type theory (which refers to Martin-Löf type theory in this Q&A) augmented with higher inductive types and the univalence axiom.

Firewatch Parallax in CSS

I recreated the parallax header on the Firewatch website in CSS. It was originally meant as a daft experiment but it seems to have blown-up.

I've base-64 encoded the images to avoid hot-linking to the Firewatch site.

A Pen by Sam Beckham on CodePen.

License.

	Visual Studio 2019 Product Key

	Visual Studio 2019 Enterprise
	BF8Y8-GN2QH-T84XB-QVY3B-RC4DF

	Visual Studio 2019 Professional
	NYWVH-HT4XC-R2WYW-9Y3CM-X4V3Y

	# Install Zsh and Oh-my-zsh
	git config --global core.autocrlf false && \
	sudo apt update && \
	sudo apt install zsh -y && \
	sh -c "$(curl -fsSL https://raw.githubusercontent.com/ohmyzsh/ohmyzsh/master/tools/install.sh)";

	# Next lines is the commands you need to run:
	sudo apt install python3-pip -y && \
	pip install thefuck && \
	git clone https://github.com/zsh-users/zsh-autosuggestions.git $ZSH_CUSTOM/plugins/zsh-autosuggestions && \

	{
	"editor.fontSize": 12,
	"editor.tabSize": 4,
	"editor.multiCursorModifier": "ctrlCmd",
	"editor.snippetSuggestions": "top",
	"beautify.language": {
	"js": {
	"type": [
	"javascript",
	"typescript",

	//
	// _oo0oo_
	// o8888888o
	// 88" . "88
	// (\| -_- \|)
	// 0\ = /0
	// ___/`---'\___
	// .' \\\| \|// '.
	// / \\\|\|\| : \|\|\|// \
	// / _\|\|\|\|\| -:- \|\|\|\|\|- \

	Note : These are the settings i wrote by observing the Mediainfo of RARBG Encodes , these might not be 100% identical to RARBG Encodes.

	These are FFMPEG Settings.
	See comment below to see the code