Alba Mendez mildsunrise

Discord Timestamps

Discord timestamps can be useful for specifying a date/time across multiple users time zones. They work with the Unix Timestamp format and can be posted by regular users as well as bots and applications.

The Epoch Unix Time Stamp Converter is a good way to quickly generate a timestamp. For the examples below I will be using the Time Stamp of 1543392060, which represents November 28th, 2018 at 09:01:00 hours for my local time zone (GMT+0100 Central European Standard Time).

Formatting

Style	Input	Output (12-hour clock)	Output (24-hour clock)
Default	`<t:1543392060>`	November 28, 2018 9:01 AM	28 November 2018 09:01

How to run Windows 10 on ARM or Ubuntu for ARM64 in QEMU on Apple Silicon Mac

Here is easy steps to try Windows 10 on ARM or Ubuntu for ARM64 on your Apple Silicon Mac. Enjoy!

NOTE: that this is current, 10/1/2021 state.

Running Windows 10 on ARM

Install Xcode from App Store or install Command Line Tools on your Mac

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.

	# pseudo-assembly for a turing machine

	# tape layout for SAT problem in nvar variables with CNF of length len
	# (convenient to assume len >= nvar to make a single measure of complexity)
	# we will be deleting clauses as we go, but otherwise the tape stays constant

	# nvar variables, 3 bits each
	nvar * <notSIGIL=0><mut mark=0><value>
	# sigil separating variable table from CNF
	<SIGIL=1>

	#if 0
	Apple A11 (H10) introduces 2 propietary instructions called mul53lo.2d and mul53hi.2d. All of which belongs to Mul53 extensions.

	Defintions:
	- mul53lo.2d Vd, Vm: Multiplies 2 53-bit doublewords in the Vn vector with 2 53-bit doublewords in Vm vector and store 53 lowest bits in the Vn vector.
	- mul53hi.2d Vd, Vm: Multiplies 2 53-bit doublewords in the Vn vector with 2 53-bit doublewords in Vm vector and store the result shifted 53 bits in the Vn vector.

	Encodings:
	- mul53lo.2d Vd, Vm: 0x00200000 \| (m << 5) \| (d << 0)
	- mul53hi.2d Vd, Vm: 0x00200400 \| (m << 5) \| (d << 0)

	from zipfile import ZipFile
	from struct import Struct


	class Deserializer:
	u16 = Struct('<H')
	u32 = Struct('<I')

	def __init__(self, stream):
	self.stream = stream

	[Unit]
	Description=Scheduled Reboot

	[Service]
	Type=simple
	ExecStart=/usr/bin/systemctl --force reboot

	/*

	tilejpeg : lossless JPEG tiling program for non-optimized images

	tilejpeg.cpp
	Tile JPEG Program

	Copyright (C) 2016 Tsukasa OI <[email protected]>
	Based on the program code on <http://apostata.web.fc2.com/tilejpeg/index.html>.

	#!/bin/ash
	#
	# angry_wifi.sh
	#
	# auto disconnects clients with a low signal strength on LEDE / OpenWRT. great
	# for clients who hold onto a lower-signal-strength accesspoint instead of
	# roaming. before running, make sure to download the latest MAC addresses with:
	#
	# wget --no-check-certificate -O - 'https://services13.ieee.org/RST/standards-ra-web/rest/assignments/download/?registry=MAC&text=apple' \| cut -d, -f2 > apple_mac_addresses
	#

	#!/usr/bin/env python
	# Extract .cpio file from a pbzx Payload file.
	#
	# Based on https://gist.github.com/pudquick/ac29c8c19432f2d200d4,
	# this version adds a command-line interface, improves efficiency (1 MiB chunks
	# instead of a full copy in memory), adds Python 3 compatibility and
	# automatically decompresses stuff (some blocks may not be compressed).
	#
	# Example usage (from Python):
	#