トレンドトピック
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
実験からの最後の更新 - より慎重に促した後、証明者コンポーネントのより実際の実装が含まれており、主張されている双方向 fft と更新されたベンチマークが含まれていますが、これは低速です
私の関与のほとんどは、「それは本当の実装なのか?確かですか。近道をせず、必要であれば1日働くこと」
これは、代替の「LLMの中間管理職」(@alexhevans呼んだように)がここで😅どれほどうまく機能するかという問題をもたらします
7月5日 09:56
ちょっと恥ずかしいですが、そのマシンには錆がインストールされていなかったので、生成されたコードはコンパイルされず@MatteoFrig60839、ベンチマークは推定値でした。
私はそれをより良い状態にするためにもっと突き動かしましたが、まだ完全に機能する実装ではありません
それが慎重に手作りされたプロダクショングレードのC ++実装よりも正しい+高速であるかどうか、私はまだかなり疑わしいでしょう
錆びた証明をC ++検証機で検証する究極のテスト - 私は今のところ正しく得ることができず、より多くの催促が必要になります
C ++で優れた分離された完全証明検証機能があり、CCをそれに向けているといいのですが
66
トップ
ランキング
お気に入り