Skip to main content
skillsmp

MenĂŒ

Skills in diesem Repository

ahrav/Gossip-rs - Seite 3

SkillsMP hat 85 Skills aus ahrav/Gossip-rs gesammelt. Öffne einen Skill, um Quelle und Details zu prĂŒfen.

ahrav/Gossip-rs

Es werden 5 von 85 gesammelten Skills angezeigt.

test-consolidate

Beruf
SoftwarequalitÀtssicherungsanalysten und -tester
Beschreibung

Consolidate verbose test suites by replacing repetitive unit tests with property-based tests, parameterized tests (rstest), or fuzz tests. Less code to maintain, same or better coverage.

Quellsprache: Englisch

Aktualisiert

test-dedup

Beruf
SoftwarequalitÀtssicherungsanalysten und -tester
Beschreibung

Review test suites for duplicate, redundant, or low-value tests — especially unit tests already subsumed by property-based tests. Remove noise, keep signal.

Quellsprache: Englisch

Aktualisiert

tla-spec

Beruf
Softwareentwickler
Beschreibung

TLA+ specification correctness guide — evidence-backed methodology for writing correct temporal logic specs, covering canonical form, abstraction selection, safety/liveness decomposition, fairness, TLC soundness, and distributed systems patterns, with every


Quellsprache: Englisch

Aktualisiert

unsafe-review

Beruf
SoftwarequalitÀtssicherungsanalysten und -tester
Beschreibung

Comprehensive review of unsafe code — audits safety invariants, demands benchmark+ASM proof of performance benefit, and verifies Miri/Kani/fuzz/property test coverage for every unsafe block

Quellsprache: Englisch

Aktualisiert

plan-review

Beruf
Softwareentwickler
Beschreibung

Use when a markdown plan file exists and needs validation before implementation — catches design flaws, logic holes, footguns, unnecessary complexity, and performance concerns while changes are still cheap

Quellsprache: Englisch

Aktualisiert
Es werden 5 von 85 gesammelten Skills angezeigt.