Skip to content

Instantly share code, notes, and snippets.

@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)
@jeremyredhead
jeremyredhead / wifi-toggle.ps1
Last active May 21, 2020 17:20
WiFi Toggling Script for AT&T BGW210 routers
$wifiUrl = 'http://192.168.1.254/cgi-bin/wmacauth.ha'
$deviceCode = ';)' # in plaint sight... ah well
function hex_md5($str) {
$md5 = New-Object -TypeName System.Security.Cryptography.MD5CryptoServiceProvider
$utf8 = New-Object -TypeName System.Text.UTF8Encoding
$hash = [System.BitConverter]::ToString($md5.ComputeHash($utf8.GetBytes($str)))
return $hash.Replace('-', '').ToLower()
}
@jeremyredhead
jeremyredhead / parse-wp-changelog.js
Last active March 16, 2022 09:45
semi-throwaway code to parse a wordpress readme.txt-style formated document
// ==UserScript==
// @name WP Changelog Parser
// @version 0.1
// @match *://*/*/changelog.txt
// @match file:///*/*/changelog.txt
// @grant none
// ==/UserScript==
var doc = document
var btnText, btnHTML