Discover gists

ANSI Escape Sequences

Standard escape codes are prefixed with Escape:

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

http://wiki.thorx.net/wiki/GRUB

Super Mario

GRUB_INIT_TUNE="1000 334 1 334 1 0 1 334 1 0 1 261 1 334 1 0 1 392 2 0 4 196 2"

Demo

Super Mario - Coin

How to GDB android native libraries

[1] Install NDK from android studio

[2] Push appropriate gdb-server to phone

adb push ~/android-sdk-linux/ndk-bundle/prebuilt/android-<arch>/gdbserver/gdbserver /data/local/tmp
adb shell "chmod 777 /data/local/tmp/gdbserver"
adb shell "ls -l /data/local/tmp/gdbserver"

[4] Forward ports

adb forward tcp:1337 tcp:1337

Understanding how HVM works

Introduction

HVM takes the ideas of Interaction Combinators and combines it with the ideas of Type Systems, Functional Programming, and Compilers, to create an implementation of Yves Lafont's ideas into a highly parallelized runtime.

Resources

Start with the HVM whitepaper and HOW page of the repo, and if that makes sense to you, great! You're probably too smart for everything after. Otherwise, read into the next sections to develop the knowledge you're missing.

Intro to Lambda Calculus

Much of the Interaction Combinator papers are written with an audience presumed to be familiar with lambda calculus, so it is good to have some knowledge here before jumping into the Interaction Combinators section.

[Programming Languages](htt

	import time
	from datetime import datetime
	import os

	import boto3
	from botocore.exceptions import WaiterError
	from botocore.waiter import create_waiter_with_client
	from celery import shared_task

	from .custom_waiter import waiter_model

	// Function to adjust the volume of a video element
	function adjustVideoVolume(videoElement, volume) {
	// Create an audio context
	const audioCtx = new (window.AudioContext \|\| window.webkitAudioContext)();

	// Create a media element source from the video element
	const source = audioCtx.createMediaElementSource(videoElement);

	// Create a gain node to control the volume
	const gainNode = audioCtx.createGain();

	# SGR color constants
	# rene-d 2018

	class Colors:
	""" ANSI color codes """
	BLACK = "\033[0;30m"
	RED = "\033[0;31m"
	GREEN = "\033[0;32m"
	BROWN = "\033[0;33m"
	BLUE = "\033[0;34m"