Subiecte populare
#
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
cripto aplicat, securitate, lucruri experimentale - șef de cercetare @BainCapCrypto
Kobi Gurkan a repostat
TEE-urile necesită în mod inerent încredere în operatori și producători, dar este de asemenea posibil să le folosești în moduri care *îmbunătățesc* strict securitatea unui sistem, fără a introduce noi blocaje de încredere. Am scris despre două cazuri de utilizare în care acest lucru este posibil:
2,45K
Hei, @TekGear există un tutore pentru Twiddler pentru iOS care este:
1. Direcționat vocal, astfel încât să vă puteți antrena fără să vă uitați la un ecran?
2. Un fel de feedback vocal pentru a putea avea o experiență de feedback despre modul în care tastez în aplicațiile obișnuite? Mi-aș imagina că există pentru alte tipuri de metode alternative de intrare, dar pur și simplu nu știu
575
Am șters firele inițiale ale experimentului meu de a folosi Claude Code pentru a porta longfellow-zk la rugină
Am fost nemulțumit de încadrare, deoarece ar putea deruta oamenii că s-a întâmplat ceva uimitor în timp ce nici măcar nu a funcționat
Am pus imagini aici pentru referință și am lăsat firele finale care au fost mai clare


1,79K
pare o oportunitate cu adevărat distractivă pentru studenți

Arantxa Zapico 🧉25 iun. 2025
🚨 ASCrypto 2025 este aici!
🗓️ 29-30 septembrie | Medellín | Afiliat cu Latincrypt
👨 🏫 Învățați sisteme moderne de testare de la experți de top
💥 2 zile, 3 module: IVC, STARKs, MPC
👥 Cu @benediktbuenz, Sophia Yakoubov, @aszepieniec
👇
881
Ultima actualizare a experimentului - după o solicitare mai atentă, conține mai multe implementări reale ale componentelor de verificare, inclusiv un fft bidirecțional pretins, cu benchmark-uri actualizate, care sunt mai lente
Cea mai mare parte a implicării mele a fost mai degrabă de genul "este o implementare reală? Eşti sigur? Nu luați scurtături și lucrați o zi dacă este necesar"
Ceea ce ridică întrebarea cât de bine ar funcționa aici un "management de mijloc alternativ pentru LLM-uri" (așa cum l-@alexhevans numit) aici 😅


Kobi Gurkan5 iul., 09:56
ok un pic jenant - nu aveam rust instalat pe acea mașină, așa că codul generat nici măcar nu s-a compilat, iar benchmark-urile au fost estimări, după cum @MatteoFrig60839 observat și
Am insistat mai mult pentru a-l aduce într-o stare mai bună, dar încă nu este o implementare pe deplin funcțională
Aș fi totuși destul de suspicios dacă este atât corect cât și mai rapid decât o implementare C++ de calitate de producție realizată manual cu atenție
testul suprem de a avea o dovadă generată de rugină verificată într-un verificator c++ - nu pot face bine deocamdată și aș necesita mai multă îndemn
Ar fi frumos dacă am avea o funcție bună de verificare a demonstrației complete izolată în C++ și am îndrepta CC spre asta
1,89K
Ultima actualizare a experimentului - după o solicitare mai atentă, conține mai multe implementări reale ale componentelor de verificare, inclusiv un fft bidirecțional pretins, cu benchmark-uri actualizate, care sunt mai lente
Cea mai mare parte a implicării mele a fost mai degrabă de genul "este o implementare reală? Eşti sigur? Nu luați scurtături și lucrați o zi dacă este necesar"
Ceea ce aduce întrebarea cât de bine ar funcționa aici un "management de mijloc alternativ pentru LLM-uri" (așa cum l-@alexhevans numit) aici 😅


Kobi Gurkan5 iul., 09:56
ok un pic jenant - nu aveam rust instalat pe acea mașină, așa că codul generat nici măcar nu s-a compilat, iar benchmark-urile au fost estimări, după cum @MatteoFrig60839 observat și
Am insistat mai mult pentru a-l aduce într-o stare mai bună, dar încă nu este o implementare pe deplin funcțională
Aș fi totuși destul de suspicios dacă este atât corect cât și mai rapid decât o implementare C++ de calitate de producție realizată manual cu atenție
testul suprem de a avea o dovadă generată de rugină verificată într-un verificator c++ - nu pot face bine deocamdată și aș necesita mai multă îndemn
Ar fi frumos dacă am avea o funcție bună de verificare a demonstrației complete izolată în C++ și am îndrepta CC spre asta
122
ok un pic jenant - nu aveam rust instalat pe acea mașină, așa că codul generat nici măcar nu s-a compilat, iar benchmark-urile au fost estimări, după cum @MatteoFrig60839 observat și
Am insistat mai mult pentru a-l aduce într-o stare mai bună, dar încă nu este o implementare pe deplin funcțională
Aș fi totuși destul de suspicios dacă este atât corect cât și mai rapid decât o implementare C++ de calitate de producție realizată manual cu atenție
testul suprem de a avea o dovadă generată de rugină verificată într-un verificator c++ - nu pot face bine deocamdată și aș necesita mai multă îndemn
Ar fi frumos dacă am avea o funcție bună de verificare a demonstrației complete izolată în C++ și am îndrepta CC spre asta

Kobi Gurkan5 iul., 01:38
S-a solicitat să implementeze restul + să adauge o implementare de ansamblu, noile revendicări atașate

5,67K
Limită superioară
Clasament
Favorite
La modă pe lanț
La modă pe X
Principalele finanțări recente
Cele mai importante