Salvador Guzman sguzman

The RSS Endpoint List

Please refer to this blogpost to get an overview.

Replace *-INSTANCE with one of the public instances listed in the scrapers section. Replace CAPITALIZED words with their corresponding identifiers on the website.

Social Media

Twitter

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.

First you find a copy of Mathematica_13.2.1_LINUX.sh or similar and find its sha256sum. Then you go to nixpkgs and copy all Mathematica files to a local directory. You need to modify default.nix and wrap its contents into

let pkgs = import <nixpkgs> {};
in pkgs.callPackage (
  # whatever is in default.nix
) {}

» sudo systemctl daemon-reload

System has not been booted with systemd as init system (PID 1). Can't operate. Failed to connect to bus: Host is down

just try:

sudo apt-get update && sudo apt-get install -yqq daemonize dbus-user-session fontconfig

sudo daemonize /usr/bin/unshare --fork --pid --mount-proc /lib/systemd/systemd --system-unit=basic.target

	# Got a bunch of .ckpt files to convert?
	# Here's a handy script to take care of all that for you!
	# Original .ckpt files are not touched!
	# Make sure you have enough disk space! You are going to DOUBLE the size of your models folder!
	#
	# First, run:
	# pip install torch torchsde==0.2.5 safetensors==0.2.5
	#
	# Place this file in the SAME DIRECTORY as all of your .ckpt files, open a command prompt for that folder, and run:
	# python convert_to_safe.py

	./tokenizer_checklist.chk 50
	./tokenizer.model 499723
	./7B/checklist.chk 100
	./7B/consolidated.00.pth 13476939516
	./7B/params.json 101
	./13B/checklist.chk 154
	./13B/consolidated.00.pth 13016334699
	./13B/consolidated.01.pth 13016334699
	./13B/params.json 101
	./30B/checklist.chk 262

	#!comment: This is a list of the top 100,000 most frequently-used English words
	#!comment: according to Wiktionary.
	#!comment:
	#!comment: It was compiled in August 2005 and coalesced into a handy list for
	#!comment: use in John the Ripper.
	#!comment:
	#!comment:
	#!comment: Pull date: Sun Jan 15 22:03:54 2012 GMT
	#!comment:
	#!comment: Sources:

	# this file contains keys needed for decryption of file system data (WUD/WUX)
	# 1 key per line, any text after a '#' character is considered a comment
	# the emulator will automatically pick the right key
	541b9889519b27d363cd21604b97c67a # example key (can be deleted)

	d7b00402659ba2abd2cb0db27fa2b656 # Common
	805e6285cd487de0faffaa65a6985e17 # Espresso Ancast
	b5d8ab06ed7f6cfc529f2ce1b4ea32fd # Starbuck Ancast

	9a164ee15ac7ceb64d3cc130094095f6 # 007 Legends [EUR, NUS]

	"""
	this code is not mine! i shamelessly copied it from http://stackoverflow.com/questions/19790188/expanding-english-language-contractions-in-python
	all credits go to alko and arturomp @ stack overflow.

	basically, it's a big find/replace.
	"""

	import re
	cList = {
	"ain't": "am not",

	A



	A- prefix (also an- before a vowel sound) not, without (amoral). [greek]

	Aa abbr. 1 automobile association. 2 alcoholics anonymous. 3 anti-aircraft.

	Aardvark n. Mammal with a tubular snout and a long tongue, feeding on termites. [afrikaans]