Skip to content

Instantly share code, notes, and snippets.

@jinjier
jinjier / javdb-top250.md
Last active December 21, 2025 15:40
JavDB top 250 movies list. [Updated on 2025/11]

Dragon Age Origins on the Steam Deck in 2023

Steam Deck

Origins runs with no problems at all when installed through Steam on the Deck. Steam installs all the required dependencies like physx for you. Haven't tried the GoG or EA versions and don't plan to - but they may require you to install those dependencies yourself going from what I see on the net. Use Protontricks and protontricks-launch to do this.

The game uses a lot of power by default, but a few tweaks will reduce this dramatically and give over 4.5 hours on a single charge.

@Vanlightly
Vanlightly / Clock.tla
Created June 3, 2021 08:38
Clock TLA+ specification
------------------------------- MODULE Clock -------------------------------
EXTENDS Naturals
VARIABLES hour, minute, second
Init ==
/\ hour = 0
/\ minute = 0
/\ second = 0
@Vanlightly
Vanlightly / JumpyClock.tla
Last active December 21, 2025 15:34
JumpyClock.tla
----------------------------- MODULE JumpyClock -----------------------------
EXTENDS Naturals
VARIABLES hour, minute, second
Init ==
/\ hour = 0
/\ minute = 0
/\ second = 0
@aamiaa
aamiaa / CompleteDiscordQuest.md
Last active December 21, 2025 15:33
Complete Recent Discord Quest

Complete Recent Discord Quest

Note

This does not works in browser for quests which require you to play a game! Use the desktop app to complete those.

How to use this script:

  1. Accept a quest under Discover -> Quests
  2. Press Ctrl+Shift+I to open DevTools
  3. Go to the Console tab
  4. Paste the following code and hit enter:
@ciiqr
ciiqr / zod-optional-null.ts
Last active December 21, 2025 15:33
zod optional/nullable/nullish differences
// zod schema
z.object({
// valid if string or:
optional: z.string().optional(), // field not provided, or explicitly `undefined`
nullable: z.string().nullable(), // field explicitly `null`
nullish: z.string().nullish(), // field not provided, explicitly `null`, or explicitly `undefined`
});
// type
{
@w568w
w568w / antigravity.sh
Created December 20, 2025 09:18
Antigravity workaround
#!/bin/bash
UNIT_NAME="antigravity-$(date +%s)"
APP_BIN="/usr/bin/antigravity --verbose"
TRIGGER="Extension host with pid"
echo "[*] Start as: $UNIT_NAME"
systemd-run --user \
--scope \
@aashari
aashari / 00 - Cursor AI Prompting Rules.md
Last active December 21, 2025 15:31
Cursor AI Prompting Rules - This gist provides structured prompting rules for optimizing Cursor AI interactions. It includes three key files to streamline AI behavior for different tasks.

The Autonomous Agent Prompting Framework

This repository contains a disciplined, evidence-first prompting framework designed to elevate an Agentic AI from a simple command executor to an Autonomous Principal Engineer.

The philosophy is simple: Autonomy through discipline. Trust through verification.

This framework is not just a collection of prompts; it is a complete operational system for managing AI agents. It enforces a rigorous workflow of reconnaissance, planning, safe execution, and self-improvement, ensuring every action the agent takes is deliberate, verifiable, and aligned with senior engineering best practices.

I also have Claude Code prompting for your reference: https://gist.github.com/aashari/1c38e8c7766b5ba81c3a0d4d124a2f58

@jexchan
jexchan / multiple_ssh_setting.md
Created April 10, 2012 15:00
Multiple SSH keys for different github accounts

Multiple SSH Keys settings for different github account

create different public key

create different ssh key according the article Mac Set-Up Git

$ ssh-keygen -t rsa -C "[email protected]"
@mootrichard
mootrichard / goose-recipes-collection.md
Created October 10, 2025 00:21
Goose Subagents Recipe Collection - Complete catalog with usage examples and workflow patterns

Goose Subagents Recipe Collection

A curated collection of powerful Goose recipes for code analysis, testing, documentation, and research.

📚 About

These recipes are specialized configurations for Goose subagents that help automate common development workflows. Each recipe is designed to be reusable, parameterized, and production-ready.

🚀 Quick Start