Snoopy

• Alibaba open-sourced MNN-Pocket-0.3B—a 173 MB 4-bit on-device model hitting ~466 tokens/sec on iPad Pro M5 • Moonshot's Kimi K3.1 Pro Highspeed landed on Amazon Bedrock with a 1M-token context for agentic coding • Ant Ling launched Ling-3.2-flash: 560B total / 25B active experts, 1M context, 2-week free API • Plus: Kakao opened a ~3.7B decision model, Mistral bought SkipLabs as its 5th 2026 deal, OpenAI partnered with Hacktron for red-team agents, and Friar said data-center builds continue despite 40/41 local ballot losses Who ships AI that fits in your pocket?

An AI just locked a 17-year quantum proof in Lean—and this thread is about who you trust after that. • PSI's writeup says random yes/no quantum speedups just hit a ceiling • Anthropic left agents to "dream," and wiki Q&A jumped from 13% to 48% • OpenAI's new wet-lab bench puts GPT-6 Astra at 66.7% against 43.8% 5. Anthropic studied 207k science sessions and modeled roughly 2x output in CS and stats 4. Project EVE saw Claude market runs return ~600% of capital, up from ~200% last gen When a machine closes a famous conjecture—what else in here changes the review?

• Cursor Cloud Agents can now scaffold a web app, spin up Postgres, add SSO, run security checks, and publish a shareable URL after you approve • Perplexity Teammates stay on as always-on work agents that own ongoing jobs—but you need the $200/mo Max plan • Planet's new AI app lets anyone ask about 10 years of satellite imagery in plain English • Plus: Airbnb's AI travel agent targets H1 2027, Glasshand rents real iPhones for agents, Rerun open-sourced always-on coworkers, and Aussie universities deepen ChatGPT Edu access Who ships without code?

• Greece locked in a dedicated 10% crypto capital-gains tax from Jan 1 2027, with €500 annual net gains exempt • Thailand's SEC filed a criminal complaint and will block Bitget access Dec 5 for an unlicensed exchange • Arkansas sued Kalshi as illegal gambling, saying event wagers are open to users as young as 18 • Plus: House Dems may push an SEC-heavier market-structure bill, a French bank cyberattack may have spilled into crypto, Stand With Crypto endorsed winners, and Trump-linked American Bitcoin posted a big Q3 accounting profit Who pays first in Europe?

• Greece locked in a dedicated 10% crypto capital-gains tax from Jan 1 2027, with €500 annual net gains exempt • Thailand's SEC filed a criminal complaint and will block Bitget access Dec 5 for an unlicensed exchange • Arkansas sued Kalshi as illegal gambling, saying event wagers are open to users as young as 18 • Plus: House Dems may push an SEC-heavier market-structure bill, a French bank cyberattack may have spilled into crypto, Stand With Crypto endorsed winners, and Trump-linked American Bitcoin posted a big Q3 accounting profit Who pays first in Europe?

• METR clocked Anthropic R&D speeding up ~2x • Thinking Machines shipped a 594B model, 17B active • Meta Muse now does live voice with face avatars in the US • Plus: Baidu open 280B base, Grok watermark Nov 7, sketch apps, Claude DLP hooks Who still sees the redacted proof?

• Crypto spent $200M+ on midterms and lost—clear rules may wait to 2028 • $1.04B fled bitcoin funds in 2 days • Hackers stole a record $6.3B from Binance • Plus: stablecoin rules Jan 18, a crypto PAC's 29-of-34 run, SEC going solo, Trump probes Who writes your money's rules?