Skip to main content

darklordVirtual/vericlaim

SkillsMP は darklordVirtual/vericlaim から 1 件の skill を収集しています。skill を開くとソースと詳細を確認できます。

記録された最新のソース活動
SkillsMP カタログ更新
収集済み skills
1
GitHub スター
1
GitHub フォーク
0

このリポジトリの skills

1 件の職業カテゴリ · 100% 分類済み

収集済み skill 1 件中 1 件を表示しています。

職業分類
ソフトウェア開発者
説明

Enforce Claim-Oriented Programming with vericlaim: never state a number, benchmark, accuracy, latency, cost, "supports X", "0 failures", "N× faster", or any factual assertion — in a README, doc, paper, changelog, or code comment — unless it is a registered…

原文の言語: 英語

更新
収集済み skill 1 件中 1 件を表示しています。