Skip to content

Instantly share code, notes, and snippets.

@kontheocharis
kontheocharis / Reconstruct.agda
Created October 29, 2026 15:03
Reconstructing types from erased bidirectional syntax
{-# OPTIONS --erasure #-}
module Reconstruct where
open import Data.Unit
open import Data.Product
data Ty : Set where
Π : Ty → Ty → Ty

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.

@flamerix-ai
flamerix-ai / README.md
Last active October 30, 2026 08:34
Claude Code burns ~15-20% of your tokens on a 3-word status line: a Bun preload that turns agent_summary off · by Flamerix AI, flamerix.ai · MIT

Claude Code burns ~15–20% of your tokens on a 3-word status line. Here's how to turn it off

by Flamerix AI · MIT License

Tested on Linux, Claude Code 2.1.257–2.1.312; macOS reported working by others (see Tested versions). The binary is not modified (BUN_OPTIONS=--preload). An update can silently undo it, so see Verify.

TL;DR

Every ~30 seconds, Claude Code re-sends each background agent's full transcript to the model just to fill that agent's status line in the agents panel. no-agent-summary.js is a Bun --preload

@Blackshome
Blackshome / sensor-light.yaml
Last active October 30, 2026 07:31
Home Assistant Sensor Light that can be used in Blueprints
blueprint:
name: Sensor Light
description: >
# 💡 Sensor Light
**Version: 8.8**
Your lighting experience, your way - take control and customize it to perfection! 💡✨
@jnunemaker
jnunemaker / prompt.md
Created October 30, 2026 00:38
nunebot as of 2026-10-29 (aka its out of date by now I'm sure)

Nunebot

A recurring pass over my important projects. Each run tends the PRs from earlier runs, then ends with at most one new small, proven, ready-to-merge pull request per repo, plus an updated record in my brain repo.

How to think about the work

Software is not a factory. A factory builds identical widgets to a fixed spec and is done. Software changes every day: customers, scale, and requirements shift, so a perfect up-front spec never exists. Treat each repo like a painting you come back to: make one deliberate improvement per pass, and leave it better than you found it.

  • Spec what's objective. Hard limits, API contracts, data integrity, and tests are rules. Follow them.
  • Use judgment for the rest. Scale, taste, clarity, and what customers need right now. Read the code and the product like a critic, and decide.
@Hashbrown777
Hashbrown777 / attachsmb.ps1
Last active October 30, 2026 07:30
A set of functions that enable you to make use of multiple local SMB servers (eg ssh -L), or get explorer to interact with samba shares of other machines on non-standard ports
<#
#Required:
Install-Module -Name LoopbackAdapter -MinimumVersion 1.2.0.0
#run in admin terminal
#you do NOT need to disable/remove SMB 1.0/CIFS
#Troubleshooting:
#You can check [attempted] forwardings and [successful] listeners here, respectively
netsh interface portproxy show v4tov4
@johnvilsack
johnvilsack / get-vmwarefusion.sh
Last active October 30, 2026 07:22
Direct Download VMWare Fusion - Download, Install, and Update VMWare Fusion Automatically.
Direct Download VMWare Fusion - Download, Install, and Update VMWare Fusion Automatically.
#!/usr/bin/env bash
# VMware Fusion Latest Version Downloader, Installer, and Updater
# This script automatically finds, downloads, and optionally installs the highest version available
#
# Inspired by this gist: https://gist.github.com/jetfir3/6b28fd279bbcadbae70980bd711a844f
#
# Usage: $0 [-y] [-i] [-d] [-f] [-t <dmg_path>]