PL学者玩梗推出分级VaaS验证服务：从按行数收费到按钱包收费
tianyin_xu · x · 2026-10-25
PL researcher ShriramKMurthi jokes about launching Verification as a Service (VaaS) with Silver, Gold, and Platinum tiers — earned initially by files/LOC submitted, later quietly switched to dollars spent, with a (fake) silver/gold/platinum va(a)s(e) mailed annually. tianyinxu chimes in: his business idea is charging $1 to prove "vacuity" properties and certify commits with green checks — everyone happy except those wanting "deep" specs. A satirical take on commercializing formal verification.
More from Fun
- Anthropic 'mass exodus' joke: horde or alliance? — chrisalbon · 2026-10-25
- Ornate surreal portrait artwork wows users with stunning AI-generated detail — JosephJacks_ · 2026-10-25
- Two Claude Code creators leave Anthropic in same week, jokingly blamed on GTA VI — signulll · 2026-10-25
- AI safety researcher jokes: "Don't abliterate and drive" — Miles_Brundage · 2026-10-25
- "Banned means economically useless": open-source advocates warn of AI TOS exile — wen_ragnarok · 2026-10-25
- AI 'Breakingfeld' Video: Los Pollos Hermanos Mascot Goes Wild — FUCKING_HELL_YEAH · 2026-10-25