Salvador Guzman sguzman

My Cards

Name	Quantity	Cost	Power
Abomination	1	5	9
America Chavez	1	1	2
Angel	1	2	3
Angela	1	2	3
Ant-man	1	1	1
Apocalypse	1	6	8

Introduction

Welcome to Pokémon TCG Pocket, the ultimate destination for fans of the Pokémon Trading Card Game! Our website, pokemontcgpocket.xyz, is designed to provide players with everything they need to build competitive decks, improve their gameplay, and connect with the Pokémon community. Whether you're a seasoned player or just starting out, Pokémon TCG Pocket has something for everyone.

Key Features

Comprehensive Deck Building Guides: Learn how to create effective decks with our step-by-step guides. Understand deck restrictions, card composition, and strategies to choose your ace Pokémon.
Card Database: Access an extensive database of Pokémon cards, including their abilities and synergies. Stay updated on the latest card releases and expansions.

Ideas

Runtime Morphism
Stable compilation stages
Extremely greedy cache
Redundant OS monolithic layers
*Minimal host viability for IoT devices
Measuring Online resource accesibility
Online resources as extended read-only filesystem
Segmented isolated silos like QubeOS

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

	{
	description = "Dev-shell with all runtime libs for Ishiiruka-Slippi v3.4.6";

	inputs = {
	nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
	flake-utils.url = "github:numtide/flake-utils";
	};

	outputs = { self, nixpkgs, flake-utils }@inputs:
	flake-utils.lib.eachDefaultSystem (system:

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