Salvador Guzman sguzman

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.

Scary shows to watch in their native language (with subtitles) on Netflix

Table

Title	Language	Link
Dark	German	Link
Equinox	Danish	Link
Ares	Dutch	Link
Cracow Monsters	Polish	Link

Zelda Games in Different Languages

Executive Summary

This file is my attempt to garner material for learning new languages by playing video games. I plan to play classic Zelda games in different language. Each language will have at least one game associated with it. I may pick multiple games for difficult video games. The consoles will span different generations.

Games

ID	Game	Console	Language

Programming Niche

|----|-----|-----|----|

ID	Lang	Niche	Desc
1	Rust	Systems,Performance	Rust is a systems programming language that runs blazingly fast, prevents segfaults, and guarantees thread safety.
2	Python	General,Algo,Scripting	Python is a programming language that lets you work quickly and integrate systems more effectively.
3	Uiua	Stack,Arrays,Lite,Quick	Uiua is a programming language that lets you work quickly with arrays.
4	JavaScript	Web,Scripting,General	JavaScript is a programming language of the web.
5	CSound	Web,audio,live	CSound is a declarative language for audio live coding

Letter	Words
A	apple, ant, anchor
B	ball, banana, butterfly
C	cat, cup, carrot
D	dog, duck, dolphin
E	elephant, egg, eagle
F	fish, frog, flower
G	goat, grape, giraffe
H	hat, horse, house

Category	Your Choice	Additional Options	Notes
Email & Communication	Thunderbird	Mailspring, K-9 Mail	Thunderbird is a solid choice for email.
Spreadsheets & Databases	NocoDB	Airtable (not open-source)	NocoDB is a versatile tool similar to Airtable.
Office Suite	LibreOffice	ONLYOFFICE, Apache OpenOffice	LibreOffice is a comprehensive suite.
Task Management & To-Do Lists	Taskwarrior	Kanboard, Todo.txt	Taskwarrior is CLI-based, Kanboard offers a GUI.
Project Management	Redmine, Kanboard	Taiga.io, Phabricator	Redmine is feature-rich, Kanboard focuses on Kanban.
Time Tracking	Watso

ID	Game	Language	Voice	Subtitles	Interface
1	Dredge	Italian	❌	✅	✅
2	Genesis Noire	Italian	❌	✅	✅
3	Bugsnax	Portuguese	❌	✅	✅
4	Kentucky Route Zero	Spanish	❌	✅	✅
5	The Witcher 3	Polish	✅	✅	✅
6	Atomic Heart	Russian	✅	✅	✅
7	Ad Nauseum	German	✅	✅	✅
8	Eastward	German	❌	✅	✅

Reading List

~~Tragedy and Hope, Carroll Quigley~~
The Evolution of Civilizations, Carroll Quigley
Bloodlands, Timothy Snyder
Liberalism, Paul Gottfried
War in Human Civilization, Azar Gat
The Master and His Emissary, McGhilchrist
Man and His Symbols, Carl Jung
The Origin of Ideology, Todd Immanuel

	<!DOCTYPE html>
	<html lang="en">
	<head>
	<meta charset="UTF-8">
	<meta name="viewport" content="width=device-width, initial-scale=1.0">
	<title>Document</title>
	</head>
	<body>
	<h1>Hi</h1>
	<svg width="500" height="100">

	val scala3Version = "3.3.1"

	lazy val root = project
	.in(file("."))
	.settings(
	name := "Runelite-scala",
	organization := "net.runelite",
	version := "0.1.0-SNAPSHOT",
	scalaVersion := scala3Version,
	resolvers ++= Seq(