Trendande ämnen
#
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.
Senaste uppdateringen från experimentet - efter mer noggrann prodding innehåller den mer verkliga implementeringar av beviskomponenterna, inklusive en påstådd dubbelriktad fft, med uppdaterade riktmärken, som är långsammare
Det mesta av min inblandning har varit mer av typen "är det en riktig implementering? Är du säker? Ta inga genvägar och jobba en dag om det behövs"
Vilket väcker frågan om hur bra ett alternativt "mellanchef för LLM" (som @alexhevans kallade det) skulle fungera här 😅
5 juli 09:56
ok lite pinsamt - jag hade inte rost installerat på den maskinen, så den genererade koden kompilerades inte ens och riktmärkena var uppskattningar, som @MatteoFrig60839 också märkte
Jag petade mer för att få det till ett bättre tillstånd, men fortfarande inte en fullt fungerande implementering
Jag skulle fortfarande vara ganska misstänksam om det är både korrekt + snabbare än en noggrant handgjord C++-implementering av produktionskvalitet
det ultimata testet av att ha ett rostgenererat bevis verifierat i en c++-verifierare - jag kan inte få rätt för tillfället och skulle kräva mer påstötning
skulle vara trevligt om vi hade en bra isolerad full proof verification-funktion i C++ och peka CC mot det
77
Topp
Rankning
Favoriter