Skip to content

Instantly share code, notes, and snippets.

Discover gists

@zzstoatzz
zzstoatzz / alt text output
Created December 22, 2025 03:17
Grid of 16 album covers: The Dismemberment Plan - Emergency and I, Radiohead - OK Computer, Into It. Over It. - Proper, American Football - LP3, Geese - 3D Country, PUP - Morbid Stuff, A Wilhelm Scream - Partycrasher, Comeback Kid - Symptoms + Cures, Turnstile - Time & Space, Aesop Rock - The Impossible Kid, Grouper - Dragging a Dead Deer Up a Hill, Brian Eno - Ambient 1: Music for Airports, King Gizzard & The Lizard Wizard - Nonagon Infinity, Glassjaw - Worship and Tribute, Pavement - Crooked Rain Crooked Rain, Broken Social Scene - Broken Social Scene.
@oanhnn
oanhnn / using-multiple-github-accounts-with-ssh-keys.md
Last active December 22, 2025 11:00
Using multiple github accounts with ssh keys

Problem

I have two Github accounts: oanhnn (personal) and superman (for work). I want to use both accounts on same computer (without typing password everytime, when doing git push or pull).

Solution

Use ssh keys and define host aliases in ssh config file (each alias for an account).

How to?

  1. Generate ssh key pairs for accounts and add them to GitHub accounts.
@ydewit
ydewit / lean-ffi-article.md
Last active December 22, 2025 10:59
Understanding Lean's Foreign Function Interface (FFI)

Understanding Lean's Foreign Function Interface (FFI)

WARNING

Note on FFI Interface Stability The current Foreign Function Interface (FFI) in Lean 4 was primarily designed for internal use within the Lean compiler and runtime. As such, it should be considered unstable. The interface may undergo significant changes, refinements, and extensions in future versions of Lean. Developers using the FFI should be prepared for potential breaking changes and should closely follow Lean's development and release notes for updates on the FFI system.

Table of Contents

@Neilblaze
Neilblaze / CPP_Template.cpp
Last active December 22, 2025 10:56
CP Template — C++ </>
#include <bits/stdc++.h>
using namespace std;
/* clang-format off */
/* TYPES */
#define ll long long
#define pii pair<int, int>
#define pll pair<long long, long long>
#define vi vector<int>
@bagder
bagder / slop.md
Last active December 22, 2025 10:54
AI slop security reports submitted to curl

Slop

This collection is limited to only include the reports that were submitted as security vulnerabilities to the curl bug-bounty program on Hackerone.

Several other issues not included here are highly suspcious as well.

Reports

  1. [Critical] Curl CVE-2023-38545 vulnerability code changes are disclosed on the internet. #2199174
@mrkhachaturov
mrkhachaturov / Wireguard DPI обход РКН - AsusWRT-Merlin.md
Last active December 22, 2025 10:53
WireGuard DPI обход РКН на роутерах ASUS с прошивкой AsusWRT-Merlin

Обход блокировок WireGuard с помощью скрипта на AsusWRT-Merlin

В связи с блокировками со стороны Роскомнадзора, возникает необходимость обойти такие ограничения для WireGuard на вашем роутере. Это можно сделать путем отправки одного произвольного UDP-пакета, который нарушает первоначальное распознавание протокола WireGuard. Следуйте этим шагам, чтобы настроить решение на базе прошивки AsusWRT-Merlin.

Сейчас я разрабатываю установку AmneziaWG для роутеров ASUS с прошивкой AsusWRT-Merlin, что обеспечит более устойчивое и автоматизированное решение этих проблем. Отправка UDP-пакета является временным решением для обхода текущих ограничений, пока не будет завершена интеграция AmneziaWG

Шаг 1: Установка прошивки [AsusWRT-Merlin](https://www.asuswrt-merlin.net/) Начнем с того, что роутер должен быть прошит прошивкой AsusWRT-Merlin. Проверьте, поддерживается ли ваш роутер, перейдя на сайт AsusWRT-Merlin. Следуйте инструкциям на сайте для установки прошивки.
@appleneko2001
appleneko2001 / voxy_mod_shaders_support_list.md
Last active December 22, 2025 10:47
Known shader listing that supports voxy LoD mod

Unstable state or working in progress:

  • Merlin1809's Eclipse Shader (based on Bliss)
    An another fork based on Chocapic13's V9 shader, which looks so realistic
    Notes: TAA can be disabled easily and the ghosting issue wont appear(ghosting issue happen by volumetric effects, not only TAA).
    Known issues: The RP sky support is broken. Do not use RP sky or you will notice smth like broken beacon beam.
  • Glimmer (no OptiFine support)
    shader for low-end PC, vanilla style.
    Known issues: Underwater view quite weird if you dont go down far. Also, no OptiFine support if you want use this shader by other reason.
@marshallrichards
marshallrichards / instructions.md
Last active December 22, 2025 10:41
Android Termux Minecraft Server Instructions

VER=1.18.1

Mojang offical minecraft server:

MANIFEST="https://launchermeta.mojang.com/mc/game/version_manifest_v2.json"
META_URL="$(curl -sL "$MANIFEST" | jq -r --arg v "$VER" '.versions[] | select(.id==$v) | .url')"
SERVER_URL="$(curl -sL "$META_URL" | jq -r '.downloads.server.url')"
curl -L -o "server-$VER.jar" "$SERVER_URL"

PaperMC minecraft server (recommended):

@JiriLojda
JiriLojda / tsTypeLevelNumberAdditionAndMultiplication.ts
Last active December 22, 2025 10:40
Typescript type-level number addition and multiplication
type Digit = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9;
type DigitToTupleMap = {
'0': [];
'1': [0];
'2': [0, 0];
'3': [0, 0, 0];
'4': [0, 0, 0, 0];
'5': [0, 0, 0, 0, 0];
'6': [0, 0, 0, 0, 0, 0];
@tjunxiang92
tjunxiang92 / AndroidManifest.xml
Last active December 22, 2025 10:39
Flutter: Receiving Shared Data from other Apps
<activity
android:name=".MainActivity"
android:launchMode="singleTop"
android:theme="@style/LaunchTheme"
android:configChanges="orientation|keyboardHidden|keyboard|screenSize|locale|layoutDirection|fontScale|screenLayout|density"
android:hardwareAccelerated="true"
android:windowSoftInputMode="adjustResize">
<!-- Add This intent-filter -->
<intent-filter>
<action android:name="android.intent.action.SEND" />