Skip to content

Instantly share code, notes, and snippets.

View DenverCoder1's full-sized avatar
👨‍💻
Always learning!

Jonah Lawrence DenverCoder1

👨‍💻
Always learning!
View GitHub Profile
@DenverCoder1
DenverCoder1 / token-checklist.md
Last active June 2, 2026 08:50
GitHub Copilot Token-Saving Checklist

GitHub Copilot Token-Saving Checklist

Use this checklist to keep GitHub Copilot usage efficient and reduce the chance of hitting limits. GitHub now distinguishes between session and weekly usage limits, and both depend on token consumption and the model’s multiplier.

https://github.blog/news-insights/company-news/changes-to-github-copilot-individual-plans

Core rules

  • Start a new chat when the task changes.
  • Keep each prompt focused on one task.
@DenverCoder1
DenverCoder1 / README.md
Last active November 5, 2024 16:48
Convert MovieLens CSV export to Letterboxd import format

Script for converting watched movies and Wishlist CSVs from MovieLens to Letterboxd format.

Steps:

  1. Download movielens-ratings.csv and movielens-logs.csv from https://movielens.org/profile/settings/import-export by clicking "export ratings" and "export activity logs". For watchlist import, also download movielens-wishlist.csv by clicking "export wishlist".
  2. Change the RATINGS_CSV, LOGS_CSV, and WISHLIST_CSV to the paths of the movielens-ratings.csv, movielens-logs.csv, and movielens-wishlist.csv files respectively.
@DenverCoder1
DenverCoder1 / README.md
Last active January 18, 2023 22:48
Import MovieLens Ratings to Trakt.tv

Script for importing ratings and watched movies from MovieLens to Trakt.

Steps for running the script:

  1. Download movielens-ratings.csv and movielens-logs.csv from https://movielens.org/profile/settings/import-export by clicking "export ratings" and "export activity logs"
  2. Change the RATINGS_CSV and LOGS_CSV variables in secrets.py to point to the paths of the downloaded files
  3. Change the ACCESS_TOKEN and CLIENT_ID variables to your Trakt API access token and client ID (see steps below)
  4. Run the Python script

Steps to get Trakt API access token and client ID:

@DenverCoder1
DenverCoder1 / codenames.gs
Created July 22, 2022 22:36
Codenames Key Board Generator
/**
* Codenames.gs - JavaScript Codenames Key Board Generator
*
* This script was created for use in a Google Spreadsheet. See this link below
* for a printable version of the game and spreadsheets that generate the key boards.
*
* https://drive.google.com/drive/folders/1KHwA2W96sawlWOQq8Hl3FiUygB6PxG8o
*
* (c) 2020-2022, Jonah Lawrence
*
@DenverCoder1
DenverCoder1 / update-wordle-stats.js
Created April 28, 2022 20:39
Script to manually update Wordle stats
/**
* Script to manually update Wordle stats
*
* This can be useful for overriding stats if you want to transfer stats from
* another device, or you simply want to set your stats manually.
*
* @author Jonah Lawrence
* @version 1.0
* @license MIT
*
@DenverCoder1
DenverCoder1 / pypi-stats.md
Last active September 5, 2023 04:06
Pypi Download Statistics for Discord.py Forks and Related Projects
@DenverCoder1
DenverCoder1 / github.inc
Created February 6, 2022 02:15
Webhook endpoint to pull code from GitHub when the repo is updated
<?php
define('GH_USERNAME', ''); // Username for authentication
define('GH_PASSWORD', ''); // GitHub Personal Access Token with repo scope* (starting with 'ghp_')
define('GH_REPO', ''); // GitHub Repo URL (eg. 'github.com/UserName/RepoName.git')
define('GH_SECRET', ''); // Webhook secret provided to GitHub when creating the webhook
// Steps:
// 1. Visit the repository on GitHub, select 'Settings', then 'Webhooks'
// How to get Math Autocorrect on Google Docs
// Type shortcuts inspired by LaTeX anywhere in Google Docs
// Script by Jonah Lawrence (c) 2021
//
// Steps:
// 1. Open a Google Doc
// 2. Click the Tools tab, then Preferences
// 3. Switch to the Substitutions Tab
// 4. Paste this script in the Console
@DenverCoder1
DenverCoder1 / Chrome Dino Hacks.js
Last active May 7, 2021 06:27
Simple ways to cheat in the chrome://dino game
/* Chrome://dino Hacks
* Jonah Lawrence
* February 2021
* Head to chrome://dino and paste this code in the console to add a couple cheats!
* - press 's' to toggle "safe mode" where you can't lose
* - press 'p' to add 100 points to your score
*/
// toggles a mode where the player is not able to lose from collisions
Runner.prototype.toggleSafeMode = () => {
@DenverCoder1
DenverCoder1 / settings.jsonc
Last active November 24, 2021 15:11
My VS Code Theme Customizations
{
"workbench.colorTheme": "Cobalt2",
"workbench.iconTheme": "material-icon-theme",
"workbench.colorCustomizations": {
"editor.lineHighlightBackground": "#0088aa20",
"editor.lineHighlightBorder": "#0088aa20",
"editorCursor.foreground": "#00ffd5",
"editor.background": "#00141d",
"editorGutter.background": "#00141d",
"editor.selectionBackground": "#00ffff55",