Skip to main content
teddyjfpender
GitHub クリエイタープロフィール

teddyjfpender

2 件の GitHub リポジトリにある 71 件の収集済み skills をリポジトリ単位で表示します。

収集済み skills
71
リポジトリ
2
更新
2026年8月2日
リポジトリエクスプローラー

リポジトリと代表的な skills

cairo-quirks
ソフトウェア開発者

Document Cairo language quirks, gotchas, and idiomatic workarounds; use when encountering unexpected compilation errors or behaviors in Cairo that differ from Rust.

2026年1月27日
cairo-numeric-types
ソフトウェア開発者

Guide implementing custom numeric types in Cairo with invariant enforcement, overflow safety, and standard trait implementations; use when implementing fixed-point, signed integers, or other numeric primitives.

2026年1月23日
cairo-testing
ソフトウェア品質保証アナリスト・テスター

Explain how to write and run Cairo tests, including `#[test]`, assert macros, `#[should_panic]`, `#[ignore]`, and `#[available_gas]`; use when a request involves writing or running unit tests in Cairo.

2026年1月23日
cairo-arrays
ソフトウェア開発者

Explain Cairo Array usage, ArrayTrait methods, array! macro, Span, and array read/write constraints; use when a request involves creating, updating, reading, or passing arrays in Cairo.

2026年1月23日
cairo-associated-items
ソフトウェア開発者

Explain Cairo associated items (functions, types, constants, implementations) in traits and impls; use when a request involves associated types, constants, or clarifying trait item placement in Cairo.

2026年1月23日
cairo-closures
ソフトウェア開発者

Explain Cairo closures, syntax, capture rules, type inference, and Fn traits; use when a request involves anonymous functions or passing behavior as a parameter in Cairo.

2026年1月23日
cairo-comments
ソフトウェア開発者

Explain Cairo comment styles and documentation comments (`//`, `///`, `//!`); use when a request involves commenting code, documenting functions/modules, or generating Cairo API docs.

2026年1月23日
cairo-control-flow
ソフトウェア開発者

Explain Cairo control flow with `if`, `else`, `loop`, `while`, `for`, `break`, and `continue`; use when a request involves conditionals, loops, or loop return values in Cairo.

2026年1月23日
収集済み skill 63 件中 8 件を表示しています。
metal-profiling
ソフトウェア開発者

Isolate a Metal kernel and measure real GPU time, pipeline reflection (occupancy limits, execution width, threadgroup memory), and approximate achieved bandwidth via the generic runner; wrap whole commands in Metal System Trace. Use for GPU performance…

2026年8月2日
cuda-kernel-engineering
ソフトウェア開発者

Implement and review CUDA prover kernels under exact field, transcript, AOT, ABI, memory-traffic, and occupancy contracts. Use after profiling identifies a dominant CUDA kernel or pass.

2026年7月24日
cuda-performance-design
ソフトウェア開発者

Design generic, process-resident CUDA proving architectures from ProofProgram and CudaPlan evidence. Use for runtime ownership, arenas, caching, streams, graphs, AOT modules, pass reduction, proof concurrency, and frontend/backend boundaries.

2026年7月24日
cuda-profiling
ソフトウェア開発者

Attribute CUDA prover latency with product stage events, NVTX, Nsight Systems, and Nsight Compute while preserving an uninstrumented verified-request verdict. Use before changing CUDA schedules, memory passes, kernels, streams, graphs, allocation, or module…

2026年7月24日
metal-performance-design
ソフトウェア開発者

Design and review high-performance Metal compute, render, and hybrid architectures for Apple GPUs. Use when writing or reviewing Metal host code or MSL; choosing storage modes, resource lifetimes, synchronization, command-buffer structure, bindings, pipeline…

2026年7月21日
zig-profiling
ソフトウェア開発者

Isolate Zig code into a scratch harness and profile it with in-process hardware counters (instructions, cycles, IPC, energy), stack sampling, codegen summaries, and ABBA A/B comparison via the stwo-perf statistics. Use for any CPU performance question —…

2026年7月21日
submission-transcripts
その他コンピュータ職

Capture, sanitize, and attach the agent session transcripts that produced an optimization — the default part of every stwo-perf submission flow, and the most valuable dataset the harness curates. Use from the moment work begins (capture as you go, not after)…

2026年7月20日
match-algorithmic-problems
ソフトウェア開発者

Match algorithm-design work to canonical problems, computational models, complexity and parameterized results, published algorithms, and maintained implementations before coding. Use before creating or replacing algorithms for optimization, decision, search,…

2026年7月18日
2 件中 2 件のリポジトリを表示
すべてのリポジトリを表示しました