Skip to content

Instantly share code, notes, and snippets.

View jeremyredhead's full-sized avatar

j. redhead jeremyredhead

4 followers · 1 following
  • 10:00 (UTC -05:00)
View GitHub Profile
@jeremyredhead
jeremyredhead / 2026 Euphoria April Fools.md
Last active April 2, 2026 21:13
2026 Euphoria April Fools JS/CSS files

Compiled JS/CSS files for Euphoria's 2026 Aprils Fools event (code from commit b3f7639ca27a80aca3394530c802b538616bf814)

I omitted the JS source mapping file cuz the source is above :P

Not sure how one would easily load these files instead of the current ones... but there they are

TODO: figure out an easy way for anyone to load these files instead of normal ones

@jeremyredhead
jeremyredhead / userChrome-proton-tab-tweaks.css
Last active November 5, 2025 04:51
/*** Proton Tabs Tweaks ***/
/* Adjust tab corner shape, optionally remove space below tabs */
#tabbrowser-tabs {
--user-tab-rounding: 0px;
}
.tab-background {
border-radius: var(--user-tab-rounding) var(--user-tab-rounding) 0px 0px !important; /* Connected */
@jeremyredhead
jeremyredhead / Instantly_Cozier.user.css
Created November 25, 2023 02:25
Userstyle to make Instant ever so slightly more comfortable/familiar for those used to vanilla euphoria
@-moz-document domain("instant.leet.nu") {
.replies > .message:first-child,
.message + .message {
margin-top: 4px;
}
.message-box > .message,
.message-box > .input-bar {
margin-top: 8px;
}
@jeremyredhead
jeremyredhead / py-activate.sh
Created September 4, 2022 08:28
Activate Python Venv (source this from your .bashrc or similiar to use, then py-activate)
#!/bin/true
# Activate Python Venv
# Can't be an actual shell script b/c child processes cant alter parents ENV
_no_dir() {
echo >&2 "Could not locate $1 directory"
#exit 1
}
@jeremyredhead
jeremyredhead / game.txt
Created June 23, 2022 11:23
tinychoice game
{"START":[["I think I discovered an exploitable bug, hehe..."],[""],["Test exploit","TEST',_=![]+[],Y=!![]+[],U=[][[]]+[],T=Y[0],F=[]+[][_[0]+_[2]+_[1]+T],C=F[3],O=F[6],R=Y[1],([][_[1]+T])[C+O+U[1]+_[3]+T+R+U[0]+C+T+O+R](F[11]+F[10]+Y[3]+R+T+F[13]+42+F[14])(),'"],[""]],"__STARTSECTION__":"START","TEST":[["Did the number \"42\" pop up in a box just now?"],[""],["Yes","BUGGY"],["No","FIXED"],[""]],"BUGGY":[["The bug is still exploitable >:3"]],"FIXED":[["The bug has sadly likely been fixed :["],[""]]}
@jeremyredhead
jeremyredhead / README.md
Last active February 3, 2023 20:00
Easily run a BotBot botling standalone, i.e. without BotBot itself

run_botling.py

(i don't have a better name yet)

Moved: Please see repository at https://github.com/jeremyredhead/run_botling

Easily run a BotBot botling standalone, i.e. without BotBot itself.

Once the dependencies are installed, just plop run_botling.py down in any folder,
and pass it the name of a file containing your bot's code. (e.g. py run_botling.py spambot.txt)

@jeremyredhead
jeremyredhead / simple-mouse-keys.ahk
Created March 5, 2021 03:46
Simple Mouse Keys AutoHotKey script
#NoEnv
; #Warn
SetWorkingDir %A_ScriptDir%
SendMode Event ; can't set mouse speed in Input/Play modes
MouseKeysEnabled := false
HotKey, *z, Off
HotKey, *z UP, Off
HotKey, *x, Off
@jeremyredhead
jeremyredhead / toggle-youtube-controls.js
Created December 18, 2020 01:35
Hide/Toggle ALL YouTube Player Controls & UI
// ==UserScript==
// @name Hide/Toggle YouTube Player Controls/UI
// @description Hide/Toggle YT Player Controls & UI with the "H" key
// @version 0.1
// @match https://www.youtube.com/watch?*
// ==/UserScript==
var css = "#movie_player > :not(.html5-video-container) { display: none !important }"
var style = document.createElement('style')
@jeremyredhead
jeremyredhead / README.md
Last active July 3, 2020 23:54
Unlock all the badges on StackEdit!

This is code which should allow one to unlock all badges in StackEdit, in order to prevent them from distracting you. The code is still a mess, apologies, but I will work on it. This seemed to work but some more testing should probably be done first.

Run this in the JS console (or some such):

  • run this code as instructed in stackedit-badges-gen.js
  • then run minimal-utils.js not stackedit-badges-gen.js
  • then run stackedit-badges-gen.js
  • you'll want to copy the string produced, and paste it into the "approprate location" in localStorage browsers vary in this area... // TODO: write better instructions of where to put the string produced
@jeremyredhead
jeremyredhead / README.txt
Created June 1, 2020 03:53
"The End of Twitter", a semi-artistic anti-binging user style for legacy twitter, written sometime before september 2019
According to Stylus, I "installed" (wrote) this user css on September 23, 2019,
and last updated it December 23, 2019 (noice).
But I recall that I had come up with the idea and written a earlier version sometime before that.
Alas, I lost my user styles without having a backup (like several times iirc),
so I lost the original version (which didn't use css variables iirc).
It should really say @version 2.0.0!
Anyway, I'll get screenshots up eventually. maybe. (or not)