Skip to content

Instantly share code, notes, and snippets.

@bobatkey
bobatkey / precendence.tex
Created May 18, 2026 18:23
LaTeX macros for putting minimal parens into lambda-calculus expressions
\documentclass{article}
% LaTeX macros for automatically inserting parens based on precedence information
%
% based on https://gist.github.com/gallais/d6ca99c65c9fc82ce47269351fca7570
\usepackage{etoolbox}
\newcounter{fixity}
\newcommand{\parens}[2]{
\ifboolexpe{ test{ \ifnumless{ \value{fixity} }{ #1 } }}{(#2)}{#2}}
@Anakiev2
Anakiev2 / How to install the Nvidia legacy driver (340xx or 390xx) on Debian 13 Trixie.md
Last active May 19, 2026 10:04
How to install the Nvidia legacy driver (340xx or 390xx) on Debian 13 Trixie

How to install the Nvidia legacy driver (340xx or 390xx) on Debian 13 Trixie

This guide will show you how to compile and install the legacy Nvidia driver on Debian. The steps bellow are compatible with both nvidia-legacy-340xx-driver and nvidia-legacy-390xx-driver and can be installed on Debian 13 (Trixie) as well as Debian 12 (Bookworm) or Debian 11 (Bullseye) in both 64-bit and 32-bit version. Execute the lines one by one and wait for every line to finish before proceeding to next. Only the lines starting with sudo should be executed as root. The lines with sudo pbuilder will take a lot of time.

To install the nvidia-legacy-390xx-driver version replace 340xx with 390xx everywhere bellow.
To install both 64-bit and 32-bit libraries for wine/steam you should run Step 2. twice.
It was confirmed that this method also works with the nvidia-tesla-470-driver version.

Step 1. Prepare:

Update, upgrade and install the required packages.

@kazzohikaru
kazzohikaru / ascii-radial-wave-text-effect.markdown
Created May 19, 2026 10:02
ASCII Radial Wave Text Effect

ASCII Radial Wave Text Effect

Full-screen ASCII text wave effect on cursor move. Radial ripples expand from the pointer, scrambling characters with a weighted palette. Vanilla JS, Background text is an excerpt from H.P. Lovecraft's "At the Mountains of Madness". Experiment for my sub-10kb portfolio website.

A Pen by Bastou on CodePen.

License.

LLM Wiki

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.

The core idea

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.

@bramada
bramada / windows_activation.md
Created April 15, 2024 04:56
Activate Windows for free

For Windows 10

Step 1 - Open PowerShell or Command Prompt as administrator

Step 2 - Install KMS client key

slmgr /ipk your_license_key

Replace your_license_key with following volumn license keys according to Windows Edition:

@karimnaaji
karimnaaji / GoogleFonts.txt
Created January 9, 2017 17:33
Google fonts list (TTF)
{
"kind": "webfonts#webfontList",
"items": [
{
"kind": "webfonts#webfont",
"family": "ABeeZee",
"category": "sans-serif",
"variants": [
"regular",
"italic"
@sunmeat
sunmeat / structure.md
Created May 19, 2026 09:57
django project structure

Django Project Structure

Доменно-орієнтована архітектура з Clean Architecture / DDD підходом.

project-root/
│
├── apps/                          # доменно-орієнтовані застосунки
│   ├── users/                     # домен: користувачі
│   │   ├── api/                   # http/graphql контролери, роутери
@x1any
x1any / zotero-loacl-api.md
Last active May 19, 2026 09:52
Zotero Local API Usage Guide

Zotero Local API Usage Guide

This document summarizes the usage of the Zotero Local API (http://127.0.0.1:23119/api/), based on the Zotero Web API v3 official documentation and verified through actual curl testing.

Enable Local API

In the Zotero desktop client:

  1. Go to Edit → Preferences (on macOS: Zotero → Preferences).
  2. Navigate to the Advanced tab.