Skip to content

Instantly share code, notes, and snippets.

@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" />
@greymd
greymd / sudo新一.md
Last active December 22, 2025 10:37
sudo新一

 オレは高校生シェル芸人 sudo 新一。幼馴染で同級生の more 利蘭と遊園地に遊びに行って、黒ずくめの男の怪しげな rm -rf / 現場を目撃した。端末をみるのに夢中になっていた俺は、背後から近づいてきたもう1人の --no-preserve-root オプションに気づかなかった。 俺はその男に毒薬を飲まされ、目が覚めたら・・・ OS のプリインストールから除かれてしまっていた!

sudo がまだ $PATH に残っていると奴らにバレたら、また命を狙われ、他のコマンドにも危害が及ぶ』

 上田博士の助言で正体を隠すことにした俺は、 which に名前を聞かれて、とっさに『gnuplot』と名乗り、奴らの情報をつかむために、父親がシェル芸人をやっている蘭の $HOME に転がり込んだ。ところが、このおっちゃん・・・とんだヘボシェル芸人で、見かねた俺はおっちゃんになりかわり、持ち前の権限昇格能力で、次々と難タスクを解決してきた。おかげで、おっちゃんは今や世間に名を知られた名エンジニア、俺はといえばシェル芸 bot のおもちゃに逆戻り。クラスメートの convertojichattextimg にお絵かきコマンドと誤解され少年ワンライナーお絵かき団を結成させられる始末。

 ではここで、博士が作ってくれたメカを紹介しよう。最初は時計型麻酔 kill 。ふたについた照準器にあわせてエンターを押せば、麻酔シグナルが飛び出し、プロセスを瞬時に sleep させることができる。 次に、蝶ネクタイ型 banner 。裏についているダイヤルを調整すれば、ありとあらゆる大きさのメッセージを標準出力できる。必殺のアイテムなら fork 力増強シューズ。電気と磁力で足を刺激し、 :(){ :|:&amp; };: でプロセステーブ