Skip to content

Instantly share code, notes, and snippets.

@sguzman
sguzman / RSS.md
Created August 26, 2024 04:17 — forked from thefranke/RSS.md
A list of RSS endpoints, readers and resources

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

@sguzman
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.

@sguzman
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
@sguzman
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
@sguzman
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
@sguzman
sguzman / index.html
Created November 18, 2023 18:55
Nice looking transitions
<!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">
@sguzman
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
@sguzman
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
@sguzman
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
@sguzman
sguzman / build.sbt
Created October 5, 2023 18:51
Working SBT version of the maven pom file for runelite project
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(