Skip to main content
teddyjfpender
Profil créateur GitHub

teddyjfpender

Vue par dépôt de 71 skills collectés dans 2 dépôts GitHub.

skills collectés
71
dépôts
2
mis à jour
2 août 2026
explorateur de dépôts

Dépôts et skills représentatifs

cairo-quirks
Développeurs de logiciels

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

27 janv. 2026
cairo-numeric-types
Développeurs de logiciels

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.

23 janv. 2026
cairo-testing
Analystes en assurance qualité des logiciels et testeurs

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.

23 janv. 2026
cairo-arrays
Développeurs de logiciels

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.

23 janv. 2026
cairo-associated-items
Développeurs de logiciels

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.

23 janv. 2026
cairo-closures
Développeurs de logiciels

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.

23 janv. 2026
cairo-comments
Développeurs de logiciels

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

23 janv. 2026
cairo-control-flow
Développeurs de logiciels

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.

23 janv. 2026
Affichage de 8 skills collectés sur 63.
metal-profiling
Développeurs de logiciels

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…

2 août 2026
cuda-kernel-engineering
Développeurs de logiciels

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.

24 juil. 2026
cuda-performance-design
Développeurs de logiciels

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.

24 juil. 2026
cuda-profiling
Développeurs de logiciels

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…

24 juil. 2026
metal-performance-design
Développeurs de logiciels

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…

21 juil. 2026
zig-profiling
Développeurs de logiciels

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 —…

21 juil. 2026
submission-transcripts
Autres occupations informatiques

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)…

20 juil. 2026
match-algorithmic-problems
Développeurs de logiciels

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,…

18 juil. 2026
2 dépôts affichés sur 2
Tous les dépôts sont affichés