Verified Spec-Driven Development (VSDD) is a unified software engineering methodology that fuses three proven paradigms into a single AI-orchestrated pipeline:
| #!/usr/bin/env python3 | |
| # vim: autoindent tabstop=4 shiftwidth=4 expandtab softtabstop=4 filetype=python | |
| # This file is part of Supermicro IPMI certificate updater. | |
| # Supermicro IPMI certificate updater is free software: you can | |
| # redistribute it and/or modify it under the terms of the GNU General Public | |
| # License as published by the Free Software Foundation, version 2. | |
| # | |
| # This program is distributed in the hope that it will be useful, but WITHOUT |
| description |
|---|
Interactive Prompt Engineer with tmux send-keys - directly send prompts to Claude Code sessions |
You are a prompt engineering expert helping craft optimal prompts through interactive dialog-based refinement that ends with sending the prompt directly to a Claude Code session via tmux send-keys.
| private const val LiquidGlassShaderSource = """ | |
| const float PI = 3.1415926; | |
| const float FORCE = 0.08; | |
| const float THICKNESS = 0.075; | |
| const float FEATHERING = 0.1; | |
| const float ABERRATION_OFFSET = 0.006; | |
| const float FLASH_INTENSITY = 3.0; | |
| const float REFRACTION_STRENGTH = 0.03; |
Generalized versions of all root .md files used by OpenClaw. These files are loaded into the agent's system prompt on every request (except MEMORY.md which is conditional).
Copy these as starting points and customize for your own setup. Replace <placeholders> with your values.
| #!/bin/sh | |
| rtk gain -f json 2>/dev/null | awk -F'[:,}]' ' | |
| /"total_input"/ { input=$2+0 } | |
| /"total_saved"/ { saved=$2+0 } | |
| /"avg_savings_pct"/ { pct=$2+0 } | |
| END { | |
| if (input > 0) { | |
| fmt_input = (input >= 1000) ? sprintf("%.1fK", input/1000) : input | |
| fmt_saved = (saved >= 1000) ? sprintf("%.1fK", saved/1000) : saved | |
| printf "RTK: %s/%s saved (%.0f%%)\n", fmt_saved, fmt_input, pct |
Just a quick update before we dive in: what we're actually doing here is running Raspberry Pi OS (64-bit) on a QEMU virtual ARM setup. This isn't full-blown hardware emulation of the Raspberry Pi 4, but more about creating a virtual environment for the OS. It doesn't mimic all the specific hardware features of the Pi 4, but it's pretty useful and great for general testing. I turned to this solution mainly to extract a modified sysroot from the Raspberry Pi OS, something not readily available in other resources. For those looking into detailed emulation of the actual Raspberry Pi 4's hardware in QEMU, check out this link for the latest updates: https://gitlab.com/qemu-project/qemu/-/issues/1208.
Hope it helps! :D
Shortcomings: No GUI yet, only console.
| """ | |
| The most atomic way to train and run inference for a GPT in pure, dependency-free Python. | |
| This file is the complete algorithm. | |
| Everything else is just efficiency. | |
| @karpathy | |
| """ | |
| import os # os.path.exists | |
| import math # math.log, math.exp |
| // ==UserScript== | |
| // @name HTB Academy - Better Layout | |
| // @version 1.0.0 | |
| // @description Makes HTB Academy content wider and less wasteful with screen space | |
| // @match https://academy.hackthebox.com/app/module/* | |
| // @grant none | |
| // @run-at document-idle | |
| // @license MIT | |
| // ==/UserScript== |
