Faithful Fly (mukha)

全中枢神経系モデルを Rust に C++ と CUDA のカーネルを添えて書き直した、検証を先に置いた実装。公開済みの元モデルと決定的な Brian2 の参照データを固定したうえで、どこがまだ通っていないかを報告する。倍精度のネイティブ積分は糖刺激の試走で Brian2 のスパイク 9,440 件すべてと一致した。単精度では閾値近傍の最初のスパイクが 436.4 ms で 1 ティックずれ、これは精度比較で説明されている。MaleCNS の取り込みは出所を固定し、ファイルのハッシュ・添字の範囲・行の順序・接触数の合計を元の書き出しと突き合わせ直す。README は、生物学的な実験の再現は済んでおらず、視覚のゲートは依然として不合格で、身体の診断はまだ神経系に駆動されていないと明記する。

公式サイト ↗

#verification#brian2-fixture#cuda#rust#provenance#malecns