Skip to content

Instantly share code, notes, and snippets.

View mz0's full-sized avatar
🥎
Թակել յոթ դուռ, մինչեվ մեկը կբացվի

Mark Zhitomirski mz0

🥎
Թակել յոթ դուռ, մինչեվ մեկը կբացվի
View GitHub Profile
@mz0
mz0 / Windows-PyLauncher.md
Created July 2, 2026 22:31
? Deprecated ? Python Launcher (windows)
winget upgrade
Name            Id              Version Available Source
--------------------------------------------------------
Python Launcher Python.Launcher 3.12.10 3.13.5

msiexec /a 
"$LOCALAPPDATA\Package Cache\{665A0435-D5D5-4A49-9DE0-FBC23C5425ED}v3.12.10150.0\launcher.msi"
TARGETDIR="Python.Launcher.3.12.10"
@mz0
mz0 / xiaomi-redmi-4x-unlock.md
Created June 26, 2026 10:21 — forked from szkrd/xiaomi-redmi-4x-unlock.md
Xiaomi Redmi 4x unlock, lineage install and root

Unlock Xiaomi Redmi 4X (santoni) and install Lineage OS via sideloading

So far the most useful documentation was at Lineage's Redmi section, random "mobile enthusiast" sites were "not very good" and youtube videos are to be avoided like the plague.

Files needed

  • SDK platform tools from android.com
  • mi flash unlock gui tool (miflash_unlock-en-5.5.224.24.zip)
  • newest twrp for device (twrp-3.5.2_9-0-santoni.img), from twrp site
@mz0
mz0 / Dolt.md
Created June 25, 2026 16:00
How Beads syncs a Dolt database over a Git remote

How Beads syncs a Dolt database over a Git remote

How an issue's title, description, and status actually move to and from the Git server when you run bd dolt push / bd dolt pull.

The refs

Beads stores issues in a local Dolt database, then syncs by reusing your Git remote — but under non-branch refs you don't normally see:

@mz0
mz0 / xcode-tools-update-removal.md
Last active April 21, 2026 10:39
uninstall the Xcode Command Line Tools (CLT) from your Mac, ensure no Update Prompt

To uninstall the Xcode Command Line Tools (CLT) from your Mac, you must manually delete the installation directory using the terminal, as Apple does not provide a built-in uninstaller.

1. Locate the Installation Path

Before deleting, confirm where the tools are installed on your system. Run this command in Terminal:

xcode-select -p  # output: /Library/Developer/CommandLineTools
@mz0
mz0 / github-is-messing-linear-history.md
Created February 23, 2026 10:42
how to convince GitHub to NOT mess up git history

Q: my PR can merge into main --ff-only , and only "Rebase and merge" option is available in PR. When applied, the PR is merged with commit SHA different from the one in the PR HEAD. But why!? Gitlab never surprised me in that case.

A: Google AI Overview:

Even if your Pull Request (PR) branch is up-to-date with main (making it eligible for a fast-forward merge), selecting "Rebase and merge" on GitHub will always produce new commit SHA hashes, changing them from your original HEAD.

GitHub’s "Rebase and Merge" deviates slightly from a standard local git rebase:

@mz0
mz0 / gpg.md
Created October 23, 2025 13:18
mysql-build@oss.oracle.com OpenPGP public key get/check

Get a PGP key and check validity

MySQL PGP pubkey bug of 2025-10-22

export KEY16=B7B3B788A8D3785C
gpg --no-default-keyring --keyring /tmp/keyring.gpg --keyserver keyserver.ubuntu.com --recv-key $KEY16 \
  && gpg --export --no-default-keyring --keyring /tmp/keyring.gpg --output /tmp/$KEY16.gpg 

### Or ###
export GNUPGHOME=$(mktemp -d)
gpg --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys $KEY16
@mz0
mz0 / GPU.md
Last active May 15, 2025 11:52
GPGPU milestones
@mz0
mz0 / learning-notes.md
Last active May 17, 2025 11:41
On learning