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.

Taelin
Tip / Îndoire / HVM / INets / λCalcul
TSPL ("Cea mai simplă bibliotecă de analizor") în C
Un fișier mic C de 291 LOC care analizează termenii λ
Când aveți nevoie de un analizor simplu pentru gramatica jucăriei, includeți-l în contextul AI și cereți-i să-i imite stilul, astfel încât să obțineți un parser frumos și drăguț, mai degrabă decât o bestie urâtă.
2,42K
BTW, practic am încetat să mai folosesc Opus în întregime și acum am mai multe file Codex cu GPT-5-high care lucrează la diferite sarcini în cele 3 baze de cod (HVM, Bend, Kolmo). Progresul nu a fost niciodată atât de intens. Treaba mea acum este practic să transmit sarcini bine specificate către Codex și să-i revizuiască rezultatele.
OpenAI nu mă plătește și nu ar putea să-i pese mai puțin de mine. Acest model este foarte bun și faptul că oamenii nu-l pot vedea m-a făcut să realizez că majoritatea dintre voi probabil folosiți chatbot-uri ca prietene sau altceva decât să ajutați la sarcini complexe de codare
251,26K
Dacă modelele de demonstrare a teoremei scalează capacitatea de 10 ori mai repede decât modelele de codare și având în vedere că dovada este codul, atunci, codificarea vibe va fi cel mai bine făcută printr-un limbaj de programare cu un sistem de demonstrație, dar conceput pentru a construi aplicații mai degrabă decât matematică

George Tsoukalas21 aug., 01:07
Seed-Prover de la ByteDance se află în fruntea clasamentelor de pe PutnamBench cu 329 din 657 de probleme rezolvate în Lean! 🤯 Acum 6 luni niciun model nu putea rezolva >2%, acum SOTA este de 50%. Intrăm într-o nouă eră a capacităților de demonstrare a teoremelor...
26,81K
Limită superioară
Clasament
Favorite
La modă pe lanț
La modă pe X
Principalele finanțări recente
Cele mai importante