Zerolang
Zerolang è un linguaggio sperimentale di Vercel Labs pensato per gli agent. Il grafo semantico è trattato come database del programma e i file .0 sono una proiezione leggibile. Gli agent dovrebbero patchare nodi del grafo invece di lottare con diff di testo riga per riga. Il pitch include binari nativi e diagnostica agent-friendly. La qualità del backend host è ancora disomogenea.
Perché è in lista
Zerolang sta nella stessa ondata Labs di scriptc e native, e mostra lo stesso schema. Viene venduto come linguaggio in cui gli agent editano grafi semantici in sicurezza. Il tracker pubblico e un audit a 18 bug mostrano problemi seri sul host macOS di default, tra cui confronti i64 emessi come CMP a 32 bit, frame di stack troncati fino al segfault e borrow azzerato da set di array dinamici. L’issue #181 della community si intitola “Low code quality. Don't run this on your machine.” I maintainer lo hanno riconosciuto e hanno parlato di assunzioni. Gli approfondimenti cinesi su Zhihu aggiungono dettaglio: interi alberi come compiler-zero cancellati dopo critiche pubbliche; time, rand e fs modellati nell’IR invece che in un runtime vero; un modulo runtime che copre soprattutto http e json mentre l’hardcoding resta; e una storia di ownership su un checker sottile. Il pitch dice che gli hash stantii vengono rifiutati prima della scrittura. L’issue #425 riguarda un confronto hash di modulo sbagliato. Quei due fatti non stanno comodi insieme.
Riferimenti (10)
Avviso di sicurezza del README
Warning ufficiale: sperimentale, aspettarsi breaking e issue di sicurezza; isolare, non produzione/dati sensibili.
Avviso di sicurezza del README
Warning ufficiale: sperimentale, aspettarsi breaking e issue di sicurezza; isolare, non produzione/dati sensibili.
Low code quality. Don’t run this on your machine.
Cannonata community sulla qualità (contract, effetti puntatori C, IR stringly); maintainer ha riconosciuto e parlato di hiring.
Audit bug — 18 finding riprodotti
Un audit su tokenizer/parser/borrow/backend/stdlib: S1 wrong-code i64 CMP su darwin-arm64; S2 troncamento silenzioso dello stack frame → SIGSEGV; S3 soundness del borrow su set di array dinamici; più risultati sbagliati parser/stdlib.
Backend direct Mach-O darwin-arm64 senza ops (CGEN004)
Molti esempi direct-* falliscono sul backend host Apple Silicon — mancano byte ops, path error/raise, ecc.
Confronto hash di modulo errato
Bug di confronto hash grafo/modulo — cuore della storia agent “stale hash reject”.
Grandi cambi di sintassi in 0.1.4
Le prime versioni thrashano ancora la sintassi — skill agent e proiezioni umane inseguono un bersaglio mobile.
Framing marketing Vercel Labs (grafo agent, non testo)
Pitch ufficiale su X: graph-first, refactor verificato; il framing sperimentale spesso sommerso dall’energia di launch.
PL Nerd 迎来惊天大变 · Vibe Coder 喜提 AI 原生 (roast del codice zerolang)
Long-form cinese su Zero/zerolang come linguaggio “agent-native” la cui implementazione sembra performance art anti-hype — documenta IR grezzo e struttura del compilatore che smontano il marketing graph-first.
Come valutare Zero di Vercel? (seguito)
Seguito: albero compiler-zero cancellato dopo critiche; time/rand/fs ancora modellati in IR; nuovo “runtime” soprattutto http/json mentre l’hardcoding resta; superficie enorme EmitContext/RuntimePatch; ownership/effect-handler di moda su checker sottile — evidenza di comunità che gli agent thrashano l’albero più in fretta di quanto atterri la qualità.