Skip to content

Instantly share code, notes, and snippets.

View zudsniper's full-sized avatar
🎲
snake eyes every time

zod zudsniper

🎲
snake eyes every time
View GitHub Profile
@zudsniper
zudsniper / PROPOSITIONAL_SYMBOLS_LATEX_OBSIDIAN.md
Last active April 19, 2025 17:36
📋 Propositional Logic symbols & their LaTeX formulas specifically for Obsidian flavor Markdown

obsidian.md markdown latex propositions

common propositional logic symbols for use in Obsidian markdown note-taking software - specifically for use with LaTeX - either inline ($..$) or equation ($$...$$)

  1. Conjunction (AND)

    • Symbol: ∧
    • Obsidian Markdown: $\land$ or $\wedge$
  2. Disjunction (OR)

  • Symbol: ∨
@zudsniper
zudsniper / DEB11_PACKAGES.md
Last active January 19, 2024 11:53
📦 The 'essential packages' for Debian 11 "Bullseye"

Essential Debian Packages 📦

A curated list of essential packages for Debian 11 'Bullseye' for developers and system administrators.

Prerequisites

Source Repositories

These packages may be included only in the contrib or non-free source repo for apt. These must be added manually in most debian distros. Here is a "1-liner" that will add them, respecting the current version of debian installed.

deb_add_sources.sh

@zudsniper
zudsniper / cgpt-cleaner.user.js
Last active December 1, 2023 07:08
🧹 Tampermonkey Userscript that Cleans ChatGPT weird Markdown to GH Markdown
// ==UserScript==
// @name CGPT Markdown Cleaner
// @namespace http://gh.zod.tf/
// @version 1.9.4
// @description Convert GPT Markdown to Standard GitHub Flavor Markdown on OpenAI Chat
// @author zudsniper
// @match https://chat.openai.com/*
// @grant none
// ==/UserScript==
@zudsniper
zudsniper / get_giphy_link.user.js
Last active December 28, 2023 14:16 — forked from mouiserat/get_giphy_link.user.js
🍴 fork of userscript to get the damn normal gif URL from giphy...
@zudsniper
zudsniper / .CLEAN_FILENAMES.md
Last active January 8, 2024 04:11
remove disgusting spaces and other weird stuff from filenames

Clean Filenames

A bash script that replaces spaces, +, and certain invalid characters in filenames with underscores. It processes all files in a directory.

Installation

Run the following command to download and make the script executable:

curl -sSL "https://gist.zod.tf/4bb1596111018a3d086b6e031ba64c98/raw/cleanFilenames.sh" -o cleanFilenames.sh && chmod +x cleanFilenames.sh
@zudsniper
zudsniper / clearMacOS.md
Last active January 18, 2024 04:29
🖥️ clear a macbook via Basically a grenade DO NOT USE THIS

Vaporize MacOS without firmware password

🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️

WARNING USE AT YOUR OWN RISK

DON'T RUN THIS!

🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️🟧⬛️

Known Issues

🧱 This bricks the device lol 🧱

@zudsniper
zudsniper / GlobalProtect-Portal-Linux.README.md
Last active January 22, 2024 13:45 — forked from iamdylanngo/GlobalProtect-Portal-Linux.readme
🌍 Setup Guide for GlobalProtect Portal on Linux

Setup Guide for Cisco GlobalProtect VPN on Linux

written by @dylanngo95
(styled by @zudsniper)

1️⃣ Setup GlobalProtect

sudo apt update -y && sudo apt upgrade -y
@zudsniper
zudsniper / cgpt-fullwidth.user.js
Created February 1, 2024 04:27
🔛 widen it! author is __nickerbocker__ on reddit
// ==UserScript==
// @name OpenAI Chat Full Width Adjustment for All Messages
// @namespace http://tampermonkey.net/
// @version 1.1
// @description Adjust the max-width of all message elements on OpenAI Chat website, for both user and ChatGPT messages
// @author __nickerbocker__
// @match https://chat.openai.com/*
// @grant none
// ==/UserScript==
@zudsniper
zudsniper / WINUPDATE_DOWNLOAD_STOP.md
Created February 2, 2024 18:31
💣 forcefully stop Windows from downloading random shit in the background and slowing your connection.

Forcefully Stop Windows Update Downloads

  1. Run Windows Command Prompt AS AN ADMINISTRATOR
  2. run these commands
net stop wuauserv
net stop bits
net stop doscvc

This can be reversed by simply using the start subcommand with net instead of stop.

@zudsniper
zudsniper / old-reddit-redirect.user.js
Created February 12, 2024 07:12 — forked from msanders/old-reddit-redirect.user.js
Userscript: Old Reddit Redirect
// ==UserScript==
// @name Old Reddit Redirect
// @description Redirects www.reddit.com to the old version of the website
// @downloadURL https://gist.githubusercontent.com/msanders/52700d5c5ed76f1114594ddb862b530e/raw/old-reddit-redirect.user.js
// @updateURL https://gist.githubusercontent.com/msanders/52700d5c5ed76f1114594ddb862b530e/raw/old-reddit-redirect.user.js
// @version 2023.10.19
// @run-at request
// ==/UserScript==
[