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"
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.
- 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
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.
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:
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.
Before deleting, confirm where the tools are installed on your system. Run this command in Terminal:
xcode-select -p # output: /Library/Developer/CommandLineToolsQ: 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:
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 $KEY16write this prompt for Cline AI-agent:
@/src/schemas/note.ts @/src/services/note-manager.ts
create a schema and message manager like note.ts.
Messages will be between the Telegram user (that's @/src/schemas/user.ts) and an AI-agent.
- “A Toolkit for Computation on GPUs”. Ian Buck and Tim Purcell. In GPU Gems. Randy Fernando, ed. 2004
- 2003-04-11 Mark Harris page cs.unc.edu/~harrism/gpgpu
- 2015-05-02 Mark Harris - "A Brief History of General-Purpose Computation on GPUs"
- at 3:43 a slide titled "The first GPGPU: IKONAS RDS-3000" shows
- an ad saying "The GRAPHICS SYSTEM for the 80's"
- 1978 Nick Englund & Mary Whitton founded Ikonas Graphics System
- 1985 Video "All computation is taking place in the Adage 3000 Display"
- (SIGGRAPH '86) Time Van Hook wrote microcode for solid modeling, ray tracing
- at 3:43 a slide titled "The first GPGPU: IKONAS RDS-3000" shows
- UNC Pixel Planes and PixelFlow
Veritasium/Perimeter Institute
2025-04-07 What Everyone Gets Wrong About AI and Learning – Derek Muller Explains
- why no revolution in 100 years? (Edison, Radio, TV, Khan, MOOC..)
- Effort is The Algorithm
- Inspiring teacher ??
- 15:28 The Magical Number Seven, Plus or Minus Two. Some Limits on Our Capacity for Processing Information. George A. Miller, 1955
Implications for Education 26:42
- 26:48 Eliminate extraneous cognitive load: e.g. clear sound, no accent, subtitles, legible font)