Salvador Guzman sguzman

Keybase proof

I hereby claim:

I am sguzman on github.
I am sguzman (https://keybase.io/sguzman) on keybase.
I have a public key ASB2u-IHSrBr9nTrNejFS-OCSduHcjH1VcPYLeqQYemzVgo

To claim this, I am signing this object:

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.

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

	[app]
	# LLM used for internal operations, like deriving conversation names
	fast_llm = "ollama/gemma3:12b"

	# LLM used for user-facing output, like RAG replies
	quality_llm = "ollama/gemma3:12b"

	# LLM used for ingesting visual inputs
	vlm = "ollama/gemma3:12b"

	<!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">