- Open Discord client, press
Ctrl + Shift + Ito open DevTools (Discord client only, Browser is not supported) - Go to Console tab
- Type
allow pastingand press Enter - Paste the snippet below and press Enter
Discover gists
Following commands disables Microsoft AutoUpdate launch agent from launching at boot and periodicaly checking for updates.
sudo defaults write /Library/LaunchAgents/com.microsoft.update.agent.plist Disabled -bool YES
sudo defaults write /Library/LaunchAgents/com.microsoft.update.agent.plist RunAtLoad -bool NO
sudo chflags schg /Library/LaunchAgents/com.microsoft.update.agent.plist| The working directory contains the source code of **{{PROJECT}}** ({{LANGUAGE}}). | |
| {{DESCRIPTION}} | |
| ## Objective and scope | |
| Produce a **no-holds-barred, exhaustive formal verification specification and plan** for **{{SCOPE}}**. | |
| Do not choose an 80/20 core, limit work to high-risk components, or omit behavior because it appears peripheral, routine, difficult, or expensive. Assume many years of work by large teams of expert proof engineers, unlimited verification resources, and freedom to refactor or rewrite any part of the system into a verification-friendly implementation. Rank work only to schedule it; every in-scope obligation remains part of the plan. |
See how a minor change to your commit message style can make a difference.
git commit -m"<type>(<optional scope>): <description>" \ -m"<optional body>" \
One shell script that makes a rooted LG webOS TV lighter and quieter:
- hides bloat tiles and background apps from the launcher
- stops preloading apps the TV keeps in RAM whether or not you open them
- turns off home-screen promotions, promo videos, sports alerts, content recommendations and Live Plus (ACR)
Nothing is deleted and the root filesystem is never touched. It only edits
| http://abclive.abcnews.com/i/abc_live4@136330/master.m3u8 | |
| http://mumsite.cdnsrv.jio.com/jiotv.live.cdn.jio.com/Mastiii/Mastiii_800.m3u8 | |
| http://jiotv.live.cdn.jio.com/Sony_BBC_Earth_HD/Sony_BBC_Earth_HD_TAB.m3u8 | |
| http://hotstar.live.cdn.jio.com/Star_Plus_HD/Star_Plus_HD.m3u8 | |
| http://hotstar.live.cdn.jio.com/Life_OK_HD/Life_OK_HD.m3u8 | |
| http://jiotv.live.cdn.jio.com/Zindagi/Zindagi_TAB.m3u8 | |
| http://hotstar.live.cdn.jio.com/Channel_V/Channel_V.m3u8 | |
| http://jiotv.live.cdn.jio.com/DD_National/DD_National_TAB.m3u8 | |
| http://mumsite.cdnsrv.jio.com/jiotv.live.cdn.jio.com/Neo_Prime/Neo_Prime_800.m3u8 | |
| http://smumcdnems03.cdnsrv.jio.com/jiotv.live.cdn.jio.com/Star_Sports_HD_1/Star_Sports_HD_1.m3u8 |
| " Don't try to be vi compatible | |
| set nocompatible | |
| " Helps force plugins to load correctly when it is turned back on below | |
| filetype off | |
| " TODO: Load plugins here (pathogen or vundle) | |
| " Turn on syntax highlighting | |
| syntax on |
A pattern for building personal knowledge bases using LLMs.
This is an idea file, it is designed to be copy pasted to your own LLM Agent (e.g. OpenAI Codex, Claude Code, OpenCode / Pi, or etc.). Its goal is to communicate the high level idea, but your agent will build out the specifics in collaboration with you.
Most people's experience with LLMs and documents looks like RAG: you upload a collection of files, the LLM retrieves relevant chunks at query time, and generates an answer. This works, but the LLM is rediscovering knowledge from scratch on every question. There's no accumulation. Ask a subtle question that requires synthesizing five documents, and the LLM has to find and piece together the relevant fragments every time. Nothing is built up. NotebookLM, ChatGPT file uploads, and most RAG systems work this way.