Subscribe

What people in AI, tech and science are talking about today.

23 October 2026 · Top 10

Ranked by how fast each item is picking up attention on X, Hacker News, GitHub and Hugging Face, with a short note on why it matters.

  1. Anthropic uses Claude to formally verify software at scale

    Anthropic's Frontier Red Team says Claude makes formal verification, proving code is free of certain bugs, practical well beyond small codebases. It's also the top story on Hacker News.

    Source: X · @AnthropicAI · johnbenderLink · Post on X · LinkedIn ·
    ▲▲ +1,157 eng/h5,555 likes · 559 reposts
    LLMs

  2. Guillermo Rauch: it's time to kill static credentials

    Vercel's CEO wants the industry to swap long-lived keys for short-lived OIDC tokens, the way TLS became standard, so anything stolen expires on its own.

    Source: X · @rauchgLink · Post on X · LinkedIn ·
    ▲▲ +212 eng/h1,222 likes · 50 reposts
    LLMs

  3. Claude apps switch to auto mode by default next week

    On Pro, Max and Team plans, Claude will stop asking you to approve each step; an automated check blocks risky actions instead. You can switch back to manual anytime.

    Source: X · @claudeaiLink · Post on X · LinkedIn ·
    ▲▲ +1,687 eng/h14,358 likes · 522 reposts
    LLMs

  4. Anthropic-managed Claude on Google Cloud is generally available

    The full Claude Platform feature set now runs on Google Cloud with Google IAM credentials and billing, and spend counts toward Google Cloud commitments.

    Source: X · @claudeaiLink · Post on X · LinkedIn ·
    ▲▲ +581 eng/h3,989 likes · 228 reposts
    LLMs

  5. Neutrinos are exposing hidden black holes

    PBS Space Time on how ghostly neutrino particles reveal black holes that light can't, and the Nobel-winning work behind it.

    Source: YouTube · PBS Space TimeLink · Post on X · LinkedIn ·
    ▲ +29,708 views/h267,000 views
    Science

  6. Fireship: the last real programmers are dying out

    Fireship's newest take on where programming is heading, close to a million views in its first 14 hours.

    Source: YouTube · FireshipLink · Post on X · LinkedIn ·
    ▲▲ +66,697 views/h1,000,000 views
    Dev Tools

  7. NVIDIA's OpenShell, a private runtime for fleets of AI agents

    NVIDIA's open-source OpenShell aims to run many autonomous agents safely and privately, and it's drawing a big Hacker News discussion on agent sandboxing.

    Source: Hacker News · discussionLink · Post on X · LinkedIn ·
    ▲ +36 pts/h355 points · 186 comments
    AI & Agents

  8. Did Hannah Fry crack The Traitors?

    Matt Parker of Stand-up Maths checks whether mathematician Hannah Fry's approach to the reality show The Traitors actually holds up.

    Source: YouTube · Stand-up MathsLink · Post on X · LinkedIn ·
    ▲ +17,378 views/h243,000 views
    Science

  9. Corridor Crew releases its green screen solution for free

    Corridor Crew says it has solved green screen keying and is giving the tool away to viewers.

    Source: YouTube · Corridor CrewLink · Post on X · LinkedIn ·
    ▲▲ +83,371 views/h2,000,000 views
    Gen-Media

  10. TTR-Compressor rethinks sequence compression as test-time regression

    The paper compresses token sequences by fitting a small regression at inference time and using its coefficients as the summary, aiming to beat pooling and learned projections in efficient language and multimodal models.

    Source: HF PapersLink · Post on X · LinkedIn ·
    ▲▲ +0.7 votes/h9 upvotes
    LLMs

Latest from Noid

All videos

Noid Weekly

Every Sunday: the week's top ten, what changed, and the new Noid videos. One email, no spam.

How this works

Signals today: 31 from X, 6 from Hacker News, 30 from arXiv, 10 from GitHub, 50 from HF Papers, 37 from YouTube. Scores combine how fast an item is picking up attention, how recent it is, and how many places it shows up. Each note is short, factual and links to the original. YouTube comes from public channel feeds of about fifty channels.