Skip to content

Instantly share code, notes, and snippets.

@sgoguen
sgoguen / tree-calculus.fsx
Created January 14, 2025 17:28
A Gödelian Encoding for Tree Calculus
// The irony of this snippet is that Tree Calculus, unlike Lambda Calculus, is a
// system that was designed to be reflective so one doesn't have to resort to things
// like Gödelian numbering systems or other schemes in order for it to reason about
// its own programs.
// But seeing how I know little to nothing about Tree Calculus, I figured this would be
// an interesting way to explore it.
// Interestingly enough, this snippet was written one month before reading this post:
// https://github.com/barry-jay-personal/blog/blob/main/2025-01-06-diagonal.md
@DiceTsuki
DiceTsuki / 00_IN_UE5_CVars_Tweaks_Readme.md
Last active June 23, 2025 01:44
Infinity Nikki: Unreal Engine 5 (UE5) Console Variables (CVars) Tweaks

[Quick Access]

Tested on PC (Windows) Version of Infinity Nikki

Unfortunately, no discussion of Unreal Engine (UE) config files is allowed in Official Infinity Nikki Discord server according to one of the Lead Moderator (modifying game files is against ToS). You have been warned!

Feel free to share and discuss on non-official places!

About

@jerrybi
jerrybi / Pokémon TCG Pocket.md
Created November 18, 2024 00:34
# Discover Pokémon TCG Pocket: Your Ultimate Card Game Experience

Introduction

Welcome to Pokémon TCG Pocket, the ultimate destination for fans of the Pokémon Trading Card Game! Our website, pokemontcgpocket.xyz, is designed to provide players with everything they need to build competitive decks, improve their gameplay, and connect with the Pokémon community. Whether you're a seasoned player or just starting out, Pokémon TCG Pocket has something for everyone.

Key Features

  • Comprehensive Deck Building Guides: Learn how to create effective decks with our step-by-step guides. Understand deck restrictions, card composition, and strategies to choose your ace Pokémon.

  • Card Database: Access an extensive database of Pokémon cards, including their abilities and synergies. Stay updated on the latest card releases and expansions.

@shawwn
shawwn / llama_sizes.txt
Created March 5, 2023 18:07
The size of each file distributed with LLaMA, for reference. See https://github.com/shawwn/llama-dl
./tokenizer_checklist.chk 50
./tokenizer.model 499723
./7B/checklist.chk 100
./7B/consolidated.00.pth 13476939516
./7B/params.json 101
./13B/checklist.chk 154
./13B/consolidated.00.pth 13016334699
./13B/consolidated.01.pth 13016334699
./13B/params.json 101
./30B/checklist.chk 262
@RassilonSleeps
RassilonSleeps / convert_to_safe_fix.py
Created December 2, 2022 06:46
Convert all CKPT files to SAFETENSOR files in a directory, NAI fix
# Got a bunch of .ckpt files to convert?
# Here's a handy script to take care of all that for you!
# Original .ckpt files are not touched!
# Make sure you have enough disk space! You are going to DOUBLE the size of your models folder!
#
# First, run:
# pip install torch torchsde==0.2.5 safetensors==0.2.5
#
# Place this file in the **SAME DIRECTORY** as all of your .ckpt files, open a command prompt for that folder, and run:
# python convert_to_safe.py
@zer0TF
zer0TF / convert_to_safe.py
Created November 28, 2022 04:53
Convert all CKPT files to SAFETENSOR files in a directory
# Got a bunch of .ckpt files to convert?
# Here's a handy script to take care of all that for you!
# Original .ckpt files are not touched!
# Make sure you have enough disk space! You are going to DOUBLE the size of your models folder!
#
# First, run:
# pip install torch torchsde==0.2.5 safetensors==0.2.5
#
# Place this file in the **SAME DIRECTORY** as all of your .ckpt files, open a command prompt for that folder, and run:
# python convert_to_safe.py
@sts10
sts10 / rust-command-line-utilities.markdown
Last active July 2, 2025 01:24
A curated list of command-line utilities written in Rust

A curated list of command-line utilities written in Rust

Note: I have moved this list to a proper repository. I'll leave this gist up, but it won't be updated. To submit an idea, open a PR on the repo.

Note that I have not tried all of these personally, and cannot and do not vouch for all of the tools listed here. In most cases, the descriptions here are copied directly from their code repos. Some may have been abandoned. Investigate before installing/using.

The ones I use regularly include: bat, dust, fd, fend, hyperfine, miniserve, ripgrep, just, cargo-audit and cargo-wipe.

  • atuin: "Magical shell history"
  • bandwhich: Terminal bandwidth utilization tool
@kinnala
kinnala / README.md
Last active April 6, 2024 18:38
Install Mathematica in NixOS

This is a remainder for myself because I need to run Mathematica once a year. Often the version I use is different from nixpkgs.

First you find a copy of Mathematica_12.1.0_LINUX.sh or similar and find its sha256sum. Then you go to nixpkgs and copy all Mathematica files to a local directory. You need to modify default.nix and wrap its contents into

let pkgs = import <nixpkgs> {};
in pkgs.callPackage (
@slavistan
slavistan / cuda-ready-archlinux-for-wsl2.md
Last active June 1, 2025 20:02
CUDA-ready Archlinux for WSL2

This is a brief guide on how to install Archlinux as a WSL2 distribution and how to set up CUDA afterwards.

As of late, Window's WSL2 offers GPU passthrough from WSL2/Linux to Windows for NVidia graphics cards which allows to run (and develop) CUDA-based applications on the WSL2/Linux-side with almost native performance. Unfortunately, the official guides for the CUDA setup for WSL2/Linux are predominantly Ubuntu-specific. Here's to you, Arch!

1. Install Archlinux

  1. Make sure that your Windows meets the dependencies and that your WSL2 is set up. See these instructions.

Archlinux is not among the default distributions available for WSL2. We'll install it from a tarball instead, a functionality offered natively by the WSL.

@alyleite
alyleite / wsl.md
Last active July 1, 2025 10:55
Failed to connect to bus: Host is down - WSL 2

» sudo systemctl daemon-reload

System has not been booted with systemd as init system (PID 1). Can't operate. Failed to connect to bus: Host is down

==============================================

Edit*

  1. Open /etc/wsl.conf with any editor: