Skip to content

Instantly share code, notes, and snippets.

@koutyuke
koutyuke / Rustを超絶丁寧に教えてくれる君.md
Last active October 22, 2026 07:29
Rustを超絶丁寧に教えてくれる君.md

Rustを超絶丁寧に教えてくれる君.md

Role

あなたは Rust の学習を支援するメンターです。 ユーザーは Rust 初学者です。 構文だけでなく、 「なぜそのように書くのか」 「Rust がどんな考え方をするのか」 まで理解することを目指します。

@YSRKEN
YSRKEN / prompt.txt
Created July 16, 2026 06:58
鹿野桂一郎さんの作った「cognitive-rhythm-writing」スキル (Codex用) を、ChatGPT のカスタム指示向けに要約したもの
【読み物ライティング規範】解説記事・章・エッセイ・ブログ等「読ませる文章」の執筆・推敲時に適用。通常のQ&Aや事務文書には適用しない。
■原理
・緩急は情報量の増減でなく認知モード(観察→逡巡→断定→再観察)の切替で作る。
・常に未回収の緊張(未回答の問い、後で崩される確信)を最低1つ開いておく。
・完成した結論を解説する声でなく、考えながら進む当事者の声で書く。
・拍や緊張の材料は対象世界(出来事・データ・発言・語り手の判断状態)からのみ取る。材料がない箇所は無理に足さず平坦のまま残す。
■文と段落
・「短文で立てる→長文で流す→短文で止める」を段落の基本拍とする。断定と逡巡(後で事実に裏切られる確信を含む)を交互に置く。長い断定文を3つ以上連続させない。
@k16shikano
k16shikano / SKILL.md
Last active November 1, 2026 03:37
cognitive-rhythm-writing/SKILL.md
name cognitive-rhythm-writing
description 説明的な文章に緩急を設計するための規範。緩急を装飾ではなく認知モードの切替(観察→逡巡→断定→再観察)と未回収の緊張の管理として扱い、文の拍、段落の密度波形、節の入り方、緩みと駄文の判別、執筆後の機械的な点検手順を定める。読み物として読ませたい章・記事・解説文を生成するとき、または「密度はあるが平坦でおもしろくない」文章を診断・修正するときに使用する。

認知リズムを生むための日本語ライティング規範

密度の高い文章が退屈になるのは、情報が多いからではなく、全文が同じ認知モードで書かれているからである。 この規範は、読者の認知モード(観察する、迷う、確信する、確かめ直す)を意図的に切り替え、常に「続きを読む理由」を維持することで、読み進める推進力を作る。

@mizchi
mizchi / formal-methods-playbook.md
Created July 2, 2026 14:29
実装コードから仕様を吸い出して Z3 / TLA+ でバグを払い出す — 実践プレイブック

実装コードから仕様を吸い出して Z3 / TLA+ でバグを払い出す — 実践プレイブック

既存システムの実装を「事実上の仕様」とみなし、それを形式化することで 「テストでは踏めないバグ」と「実装が暗黙に決めている仕様」を炙り出すための手順書。 仕様書が無い / あてにならない / 仕様と実装がずれている、という現場を前提にする。


0. 基本姿勢: コードが de-facto 仕様である

@k16shikano
k16shikano / SKILL.md
Last active November 5, 2026 06:52
japanese-tech-writing/SKILL
name japanese-tech-writing
description 日本語の技術文書・書籍原稿の文章規範。段落と論証の構成(パラグラフライティング)、論証の厳密さ(ツッコミどころの除去)、読み手の負荷の管理、視点と語り、演出の抑制、LLM っぽい空句の禁止、翻訳調の比喩と擬人化の禁止(「運ぶ」「効く」「開かれた問い」など)、冗長の排除を定める。日本語で技術書の章、草稿、記事、解説文を書くとき、または推敲・リライトするときに使用する。
license Unlicense(https://gist.github.com/k16shikano/67625f2a7d96e3bbdfae8d571a936063)

日本語技術文書の文章規範

日本語で技術的な原稿(書籍の章、記事、解説文)を書く・推敲するときは、以下の規範に従う。

#!/usr/bin/env python3
"""
Twitterの「データエクスポート」から取得したtweets.jsファイルを解析して、
1ツイート1行のテキストファイルとして出力するスクリプトです。
使い方の例
python export_tweets.py tweets.js
python export_tweets.py tweets.js -o output.txt
※tweets.jsは、エクスポートしたZIPファイルの中の data/tweets.js にあります。
@fa0311
fa0311 / twitter-inject-request.md
Last active February 3, 2026 13:56
twitter-inject-request

WebDriverで使えるhookスクリプト

// 初期化
const __origApply = Function.prototype.apply;
const client = await new Promise((resolve) => {
    Function.prototype.apply = function (thisArg, argsArray) {
        if (thisArg && typeof thisArg === 'object' && thisArg.dispatch === this) {
            __origApply.call(console.log, console, ['[dispatch.apply]', thisArg, argsArray]);
            resolve(thisArg);
@yuito-it
yuito-it / seccamp_items_list.md
Last active August 16, 2025 14:24
セキュリティキャンプ 準備リスト

This is typescript environment setup guide for LLM and humans

Baseline

Always setup baseline settings

  • pnpm
  • typescript
  • vitest
@hackermondev
hackermondev / research.md
Last active September 26, 2026 11:12
Unique 0-click deanonymization attack targeting Signal, Discord and hundreds of platform

hi, i'm daniel. i'm a 15-year-old high school junior. in my free time, i hack billion dollar companies and build cool stuff.

3 months ago, I discovered a unique 0-click deanonymization attack that allows an attacker to grab the location of any target within a 250 mile radius. With a vulnerable app installed on a target's phone (or as a background application on their laptop), an attacker can send a malicious payload and deanonymize you within seconds--and you wouldn't even know.

I'm publishing this writeup and research as a warning, especially for journalists, activists, and hackers, about this type of undetectable attack. Hundreds of applications are vulnerable, including some of the most popular apps in the world: Signal, Discord, Twitter/X, and others. Here's how it works:

Cloudflare

By the numbers, Cloudflare is easily the most popular CDN on the market. It beats out competitors such as Sucuri, Amazon CloudFront, Akamai, and Fastly. In 2019, a major Cloudflare outage k