Salvador Guzman sguzman

## CuTT.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                sguzman
                / CuTT.md
            
            
              Created
              May 10, 2024 15:29
                — forked from AndyShiue/CuTT.md
            
              
                Cubical type theory for dummies
              
          
    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.

  
## netflix-lang.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                sguzman
                / netflix-lang.md
            
            
              Created
              December 3, 2023 01:01
            
              
                A bunch of shows to watch in their original language on netflix
              
          
    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.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                sguzman
                / zelda.md
            
            
              Created
              November 29, 2023 20:05
            
              
                Zelda Games in Different Languages
              
          
    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


## prog-typology.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                sguzman
                / prog-typology.md
            
            
              Last active
              November 29, 2023 07:41
            
              
                Making a list of different programming languages what niche they fill. I will reach for these languages when programming in specific domains
              
          
    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


## index.html
<!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">

## alphabet.md

      
              10 files
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                sguzman
                / alphabet.md
            
            
              Last active
              November 11, 2023 18:42
            
              
                A series of pedagogical 
              
          
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


## productive.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                sguzman
                / productive.md
            
            
              Created
              November 7, 2023 23:35
            
              
                A list of productive software thats free, open source and self-hosted. As suggested by chat-gpt and chose by me
              
          
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


## games-by-lang.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                sguzman
                / games-by-lang.md
            
            
              Last active
              October 22, 2023 06:23
            
              
                Games and diff langs I play them in
              
          
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
❌
✅
✅


## build.sbt
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(

## README.md

      
              1 file
            
          
              0 forks
            
          
              4 comments
            
          
              0 stars
            
          
                sguzman
                / README.md
            
            
              Last active
              September 25, 2023 18:39
                — forked from kinnala/README.md
            
              
                Install Mathematica in NixOS
              
          
    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
) {}
Title	Language	Link
Dark	German	Link
Equinox	Danish	Link
Ares	Dutch	Link
Cracow Monsters	Polish	Link
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
	<!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">
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	❌	✅	✅
	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(