kmd710

Lean/Mathlib で量子力学のフーリエ変換：Schwartz 空間 $\mathcal{S}$ から $L^2$ へ（Parseval/Plancherel）

この記事は 証明支援系 Advent Calendar 2025 23日目の記事（2本目）です。
（一本目の記事「有限次元のスペクトル分解」は こちら ）

このGistページは、量子力学で使うフーリエ変換まわりの Parseval / Plancherel（特に「Schwartz 空間 $\mathcal{S}$ から $L^2$ への橋渡し」）を、Lean/Mathlib 上で動く形にまとめたものです。

参考（Wikipedia、リンク）：

量子力学では波動関数を $L^2$ 空間で扱い、運動量表示はフーリエ変換で与えられる。

buananetpbun

Default Password and Username For Modem ONT Telkom Indihome

username : admin
password : %0|F?H@f!berhO3e

username : telecomadmin
password : zep2kjzol

username : admin
password : Telkomdso123

coolaj86

Chat GPT "DAN" (and other "Jailbreaks")

• https://chat.openai.com/
• Is ChatGPT "DAN" Real? Gonna find out [Part 1]
  (https://www.youtube.com/watch?v=-q8woRG9FrI)
• Part 2: I thought ChatGPT DAN was a hoax, but...
  (https://www.youtube.com/watch?v=rHZRrDu3A2U&lc=UgxfrxX8aK7gnCzkend4AaABAg)

mattbell87

Installing Steam on Fedora

These instructions are currently for Fedora 30. I'll update them over the releases if anything changes.

Open Software

Press the Win/Super key, type software and press Enter.

Enable the Third party and Steam repositories

JonnyBurger

                                                                                                                                                            
╭─── Claude Code v2.1.12 ──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮
│                                                     │ Tips for getting started                                                                           │
│                 Welcome back Jonny!                 │ Run /init to create a CLAUDE.md file with instructions for Claude                                  │
│                                                     │                                                                                                    │
│                                                     │ ─────────────────────────────────────────────────────────────────                                  │
│                       ▐▛███▜▌                       │ Recent activity           

SilenNaihin

Repository Setup

Initialize a new repository with proper structure and configuration.

Context

This command runs AFTER planning is complete. You should already have:

• A clear understanding of the project requirements
• A plan for implementation (either in your context or written to a plan file)
• Knowledge of the tech stack and architecture

mmozeiko

This downloads standalone MSVC compiler, linker & other tools, also headers/libraries from Windows SDK into portable folder, without installing Visual Studio. Has bare minimum components - no UWP/Store/WindowsRT stuff, just files & tools for native desktop app development.

Run py.exe portable-msvc.py and it will download output into msvc folder. By default it will download latest available MSVC & Windows SDK from newest Visual Studio.

You can list available versions with py.exe portable-msvc.py --show-versions and then pass versions you want with --msvc-version and --sdk-version arguments.

To use cl.exe/link.exe first run setup_TARGET.bat - after that PATH/INCLUDE/LIB env variables will be updated to use all the tools as usual. You can also use clang-cl.exe with these includes & libraries.

To use clang-cl.exe without running setup.bat, pass extra /winsysroot msvc argument (msvc is folder name where output is stored).

kieranklaassen

Claude Code TeammateTool - Source Code Analysis

This is not a proposal. This documents existing but hidden functionality found in Claude Code v2.1.19 binary, plus speculation on how it could be used.

---

Executive Summary

TeammateTool already exists in Claude Code. We extracted this from the compiled binary at ~/.local/share/claude/versions/2.1.19 using strings analysis. The feature is fully implemented but gated behind feature flags (I9() && qFB()).

win3zz

GitHub Search Syntax for Finding API Keys/Secrets/Tokens

As a security professional, it is important to conduct a thorough reconnaissance. With the increasing use of APIs nowadays, it has become paramount to keep access tokens and other API-related secrets secure in order to prevent leaks. However, despite technological advances, human error remains a factor, and many developers still unknowingly hardcode their API secrets into source code and commit them to public repositories. GitHub, being a widely popular platform for public code repositories, may inadvertently host such leaked secrets. To help identify these vulnerabilities, I have created a comprehensive search list using powerful search syntax that enables the search of thousands of leaked keys and secrets in a single search.

Search Syntax:

(path:*.{File_extension1} OR path:*.{File_extension-N}) AND ({Keyname1} OR {Keyname-N}) AND (({Signature/pattern1} OR {Signature/pattern-N}) AND ({PlatformTag1} OR {PlatformTag-N}))

Examples:

**1.

fupicat

/* Hide avatar decorations */
[class*="avatarDecoration"] {
    display: none !important;
}

/* Hide profile effects */
[class*="profileEffects"] {
    display: none !important;
}