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.
Kobi Gurkan
Tillämpad krypto, säkerhet, experimentella saker - Forskningschef @BainCapCrypto
Hej, @TekGear finns det en handledare för Twiddler för iOS som är:
1. Röststyrd, så att du kan träna utan att titta på en skärm?
2. Någon form av röstfeedback så att jag kan få en feedbackupplevelse av hur jag skriver i vanliga appar? Jag kan tänka mig att detta finns för andra typer av alternativa inmatningsmetoder men jag vet bara inte det
606
Raderade de första trådarna i mitt experiment för att använda Claude Code för att porta longfellow-zk till rost
Var missnöjd med inramningen, eftersom det kunde förvirra folk att något fantastiskt hände medan det inte ens fungerade
Satte bilder här som referens, och lämnade de sista trådarna som var tydligare
1,81K
Ser ut som en riktigt rolig möjlighet för studenter
25 juni 2025
🚨 ASCrypto 2025 är här!
🗓️ 29–30 sept | Medellín | Ansluten till Latincrypt
👨 🏫 Lär dig moderna provsystem från de bästa experterna
💥 2 dagar, 3 moduler: IVC, STARKs, MPC
👥 Med @benediktbuenz, Sophia Yakoubov, @aszepieniec
👇
904
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 väl en alternativ "mellanchef för LLM:er" (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
1,91K
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
146
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
5 juli 01:38
Ombedd att implementera resten + lägga till en sammansättningsimplementering, de nya anspråken som är kopplade
5,7K
Topp
Rankning
Favoriter