title: Design & Implementation of Human-Computer Interfaces papersize: a4 numbersections: false documentclass: scrartcl toc: false toc-title: 'Contents' geometry:
- margin=0.5in colorlinks: true
KorigamiK KorigamiK
🦚
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Place your key bindings in this file to override the defaultsauto[] | |
| [ | |
| { | |
| "command": "workbench.action.nextEditor", | |
| "key": "shift+l", | |
| "when": "vim.mode == 'Normal' && (editorTextFocus || !inputFocus)" | |
| }, | |
| { | |
| "command": "workbench.action.previousEditor", | |
| "key": "shift+h", |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| VK_ICD_FILENAMES=/usr/share/vulkan/icd.d/radeon_icd.x86_64.json vulkaninfo --summary |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // ==UserScript== | |
| // @name New script github.com | |
| // @namespace Violentmonkey Scripts | |
| // @match https://claude.ai/* | |
| // @grant none | |
| // @version 1.0 | |
| // @author - | |
| // @description 8/18/2024, 12:49:16 AM | |
| // ==/UserScript== |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [ | |
| { | |
| "command": "editor.action.moveLinesDownAction", | |
| "key": "alt+j", | |
| "when": "editorTextFocus && !editorReadonly" | |
| }, | |
| { | |
| "command": "workbench.action.previousEditor", | |
| "key": "ctrl+shift+tab" | |
| }, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // ==UserScript== | |
| // @name Claude MathJaX | |
| // @namespace http://tampermonkey.net/ | |
| // @version 0.5 | |
| // @description Render LaTeX math formulas on the page using MathJax | |
| // @match https://claude.ai/* | |
| // @grant none | |
| // ==/UserScript== | |
| // deno-lint-ignore-file no-window no-window-prefix |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| \documentclass{article} | |
| \usepackage[utf8]{inputenc} | |
| \usepackage[inline]{enumitem} | |
| \usepackage[table,xcdraw]{xcolor} % for table color | |
| \setlength\parindent{0pt} | |
| \newcommand{\entry}[2]{\begin{tabular}{c}\\#1\\#2\\\phantom{ }\end{tabular}} | |
| \pagenumbering{gobble} | |
| \usepackage{geometry} | |
| \geometry{ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "lock": false, | |
| "tasks": { | |
| "start": "deno run -A --watch=static/,routes/ dev.ts", | |
| "update": "deno run -A -r https://fresh.deno.dev/update ." | |
| }, | |
| "imports": { | |
| "$fresh/": "https://deno.land/x/fresh@1.2.0/", | |
| "preact": "https://esm.sh/preact@10.15.1", | |
| "preact/": "https://esm.sh/preact@10.15.1/", |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import os, io | |
| import webbrowser | |
| import json | |
| from urllib import request | |
| videos = [] | |
| getVideoId = lambda s: s.split("=")[-1] | |
| with open("playlist.json") as data_file: | |
| data = json.load(data_file) |