LLM-Generated VeriFast Specs Shift the Trust Bottleneck from Proofs to Review
An arXiv preprint tests LLM-generated VeriFast specs. The real danger is a silently accepted wrong contract, because verifiers treat any accepted spec as gospel.
The archive · Page 2 of 2
Culture & Society
Where law, labor, and culture push back on machines that scrape, surveil, displace, and addict faster than institutions can write rules for them.
The archive
25–41 of 41 articles · Newest first
GLM-5.2's MIT License and 1M Context Shift Open-Source AI Map
GLM-5.2 ships MIT weights and a 1M context window, trails Claude Opus 4.8 by one percent on FrontierSWE, but the ZCode agent kernel reintroduces a Beijing dependency.
Can AI Agents Audit the Insides of Other AI Models?
A June 2026 arXiv preprint finds LLM agents can explain another model's circuits but fail at validation. The auditor is itself an unverified LLM in the same model class.
Why Audio Deepfake Detectors Keep Losing the Voice-Cloning Arms Race
A 34,000-parameter audio deepfake detector reaches only 75 to 80 percent cross-domain accuracy, a result that shows why post-hoc detection sits downstream of generation.
Why AI Misreads Nigerian English: A Register Gap in Public Discourse
Models tuned on standard English misread Nigerian English and Pidgin register shifts, pushing intent validation onto local annotators vendors rarely fund.
What YouTube's Coding Tutorials Teach About Who Belongs in Software
A June 2026 arXiv preprint argues YouTube software-engineering tutorials encode masculine defaults, shaping who self-selects into the field before any hiring screen.
When an Algorithm Sequences Gig Hiring, Whose Objective Does It Optimize?
A June 2026 preprint makes the employer profit objective in gig hiring explicit, surfacing how optimized dispatch can shift timing risk onto contingent workers.
AI Essay Grading: What a Probe of LLM Internals Reveals About Scoring
A June 2026 preprint finds essay quality is linearly decodable from LLM internals, but cannot show whether that signal tracks argument quality or just length and fluency.
A Covert LLM Persuasion Experiment Was Shut Down: How Far Did the Bots Get?
A 2026 analysis of the bot comment archive from a halted Reddit experiment catalogs fabricated identities and bias triggers, but early shutdown leaves harm unmeasurable.
Do LLMs Understand Idioms in Low-Resource Languages?
MIDI tests idiom comprehension across 18 languages and finds LLMs rely on memorization over reasoning, with the sharpest failures falling on low-resource communities.
Can Teaching Logical Fallacies Inoculate People Against AI Misinformation?
An ACL 2026 study finds Socratic LLM tutoring teaches fallacy recognition better than bare LLMs, but whether those gains transfer to real misinformation is untested.
Wikipedia's Foundation Is Running Big Tech's Anti-Labor Playbook, an Editor Argues
The Wikimedia Foundation fired union-organizing staff and dissolved the team that let editors direct product priorities. A veteran Wikipedian calls it Big Tech union busting.
US Researchers Hit With New Federal Limits on Publishing With Foreign Collaborators
NIH and NASA are requiring pre-approval for foreign co-authors on US-funded papers without issuing formal guidance, applying export-control logic to manuscript authorship.
Apple's $250M Siri Settlement: iPhone 16 Buyers Get $25 to $95 for Undelivered AI
Apple's $250M settlement over undelivered WWDC 2024 Siri features pays iPhone 15 Pro and 16 buyers $25-$95 per device, setting a legal precedent for AI marketing liability.
AB 566 Forces Chrome and Safari to Ship Opt-Out Signals by 2027. It Shields Them from Google's 86% GPC Failure
AB 566 forces Chrome, Safari, and Edge to ship opt-out signals by January 2027, shields browsers from liability, and leaves Google's 86% GPC failure rate for CPPA to fix.
EU phone battery rules: what buyers can verify now
EU battery rules improve repair rights without promising a snap-off battery in every new phone.
AI Diagnostics in 2026: Where Machines Now Outperform Radiologists
AI tools beat radiologists on narrow imaging tasks like lung nodule detection, yet only about 2% of U.S. radiology practices use them. The evidence, gaps, and barriers.
