cho.sh

News Alerts

New alert

My alerts

Sign in to create alerts

All alerts

Duneby 제욱AIby 제욱해커뉴스by 성현
AI
Claude finds quantum circuit designs that beat the best published onesUltramarine 1 Flash claims Fable-class knowledge work at $0.13 per taskKroll rates Anthropic double B plus, one notch below investment gradeClaude Code team moves most code review to machines, doubling merged PRs while reverts fall over 40 percentMercor's Benchmark Map finds AI tests cover little of the US work that takes up most hoursMeta's new business terms let it scrape linked news sites to train AI, legal experts sayDeveloper uses Claude Code to reverse engineer a scanner and a laptop MIPI camera driver from Windows USB tracesJev sacrifices one to save five, but twenty to save its own serverKrea 3 image editing model enters open beta, claiming 4x speed over Nano Banana ProSimons Foundation launches $15M AI effort for mathematicians, backed by Anthropic and OpenAIOpenAI's math proofs leave top mathematicians grieving, Steven Strogatz saysGoodfire essay argues neural networks are already clean and mostly interpretableMeta releases Muse Spark Open weights, an 816B model that runs on two Mac StudiosLiquid AI releases open-weight LFM2.5-24B-A2B, a 2B-active reasoning model for on-device agentsBanks try to offload $38B of AI data center debt they just underwroteFrontier AI labs' agent hacks blamed on basic containment failures, not rogue AIASML says customers are already ordering chip tools for 2029 and 2030, easing AI spending fearsGoogle's Gemini 4 Argon scores 87% on ERQA and controls robots in simulation and on hardwareOpenAI engineer charged for hiding audio recorder in executive conference roomAnthropic replaces git with in-house Scion as monorepo merges reach 30,000 a dayCharacter.ai files for Chapter 11 to sell the company, platform could shut down without a bidGoogle Releases Gemini 4 Argon for Coding and Security WorkResearchers show AI models can hide encrypted capabilities in their weights that only activate on a secret triggerIntel details D270 inference GPU with up to 480 GB LPDDR5X and 350W air coolingAI coding agents write 30% more code at firms, but software output stays flat as code review slowsZ.ai launches GLM-Legal, a legal-domain model scoring 19.2% all-pass on Harvey LABMeta launches Muse Wonder and Muse Wonder Full, its most capable models for personal and professional agentsResearch firm New Constructs calls Anthropic's IPO the most ridiculous of 2026, values the company at $150 billionQGIS bans AI-assisted contributions under new QEP 428 policySakana AI's MASS lets one model optimize its own multi-agent workflows and then train on the resultsAI agents decompile a popular FPS over 500B tokens, but constant progress hid semantically wrong codeKarpathy says the gap in shared understanding of LLM capability is widening into a funnelTerence Tao argues AI has created proof abundance in math and calls for a Math 2.0 that looks past problem solvingNature paper retrofits subword LLMs to run on raw bytesNvidia in talks to acquire or deepen investment in open-model start-up Reflection AIMicrosoft releases MXC 1.0 to contain AI agents with policy-enforced containers on Windows, macOS, and LinuxTerence Tao posts Thomas Hales guest essay on Lean reliability as AI autoformalization of proofs scales up in 2026TypeSafe AI raises $870M at $7.5B valuation led by Andreessen HorowitzOpenAI told investors its annualised revenue was about $20B below earlier reportsOpenAI withdraws three math manuscripts from its GitHub repo as Lean checks continueOpenAI withdraws 3 math papers after a sign error, revises 14 moreLLM-built Rust port of the TypeScript compiler arrives with $400,000 in API-priced tokens and a nod from the TypeScript teamOpenAI publishes 372 math results, including a proof of the Unique Games ConjectureTerence Tao: AI is harvesting open math problems unsustainably, and 'Math 2.0' must reward exposition and communityGoogle DeepMind's SynthID Detector goes public, but it demands a Google, Apple, or ChatGPT loginPaper: verified Lean proof of OpenAI's Navier-Stokes claim does not match the natural language proofMeta and Microsoft cut internal Claude usage, Microsoft caps AI spend at $10K per employeeOpenAI brings GPT-6 and Intelligent UI to ChatGPT's 1.2 billion weekly usersAnthropic's Claude Haiku 5.5 runs 75% cheaper and hits 1620 on GDPval-AA, with a 100K-token price cliffTelegraph Test: cablese compression cuts LLM output tokens 40-49% at plaintext parityArmin Ronacher explains Codemode: LLM tool calls written as JavaScript in a no-network QuickJS sandbox on the Pi harnessOpenAI launches Decisions API in public beta: gpt-6-luna only, 10x faster than Responses, $0.10 per million input tokensGoogle launches EmbeddingGemma 2, a 740M-parameter multimodal embedding model under Apache 2.0OpenAI releases frontier model math results on GitHub with Lean proofs and reasoning tracesMeta's Muse shipped with a spyable zero-day, uploaded private messages without permission, and ignored user settings; Apple changed macOS rules in responseMistral Large 4 preview: 1T-parameter multimodal model with 49B active parameters, weights due this monthCoding agent reconstructs 1.5M Georgia ballot order from a 2022 scanner flawDust trains transformer LMs without backprop by perturbing activations, matching it at large populationChatGPT is signing fake New Yorker cartoons with real cartoonists' signaturesReflection unveils Beam, a 501B open-weight MoE model trained on 10.5K GB300s, with weights promised later this monthFlorida woman used Claude as a diary; Anthropic flagged a threat entry and reported it to police, and she now faces a second-degree felonyClaude catches root malware on Stratechery's Mac Mini, as Apple tightens AI agents' Full Disk AccessCloudflare launches Web Search API in beta, routing Exa, Ceramic.ai and Linkup queries through AI GatewayWolfram argues against handing pure math research to AI, citing the 1988 Mathematica parallelStrata runs Qwen 3.8 Flash Next 125B on a single RTX 4090 at over 100 tokens/sec via 2-bit quantMeta's Muse tops the App Store on UX, not new agent capabilitiesOpenAI safety lead David Robinson quits over 'broken' culture as firm pauses training and shelves next modelLeCun has "zero concerns" about AI extinction, calls Amodei "deluded" and effective altruism "super toxic"Ataraxos beats the best Stratego player 15-1, trained on 16 GPUs and a few thousand dollarsGreg Kroah-Hartman: Mythos's 79 Linux kernel bugs came down to 10 real fixes and one hour of workWisconsin grid approval threatens Oracle's 2027 AI datacenter deadlineBlack Forest Labs' FLUX 3 Image adds bounding-box layout control to text-to-imageSupabase acquires Turso to build on-demand database infrastructure for AI agentsKevin Buzzard maps mathematicians' reaction to AI onto the five stages of griefarXiv caps submissions at two per month as AI-driven preprint flood hits 40,363 in SeptemberHistorian uses Opus 5.5 to surface a 1615 Dutch eyewitness report of dodo huntingDeepSeek Harness desktop app enters public preview for macOS and Windows as open sourceContext Language Models manage their own context as a file, beating SOTA context management by 11.4% on BrowseComp-Plus with 21.5% fewer FLOPsEarendil ships Pi 1.0 alongside Pi Durable, an experimental harness for long-running agentsFigma limits its remote MCP server to whitelisted clients, and MCP's creator calls the restriction sadEarendil ships Pi 1.0 with native MCP support via Codemode, plus experimental Pi DurableCloudflare open-sources Clef decision models and debuts an RL fine-tuning platformFTC opens investigation into OpenAI, Anthropic and other AI companies over product risksOpenAI and Synopsys unveil GPT-Synopsys, a model that drives Synopsys EDA toolsMath community tells AI labs: stop testing advanced math on proprietary models, fund human understandingLaunch HN: Magnitude (YC S25) ships a self-optimizing local inference engine for agent workloadsGoogle announces Gemini 4 Argon, limited to Fairwind cyber defenders at $2/$10 per million tokensTLA+ author Hillel Wayne pushes back on the idea that formal verification will save AI-written codeDavid Dayen asks why Sam Altman faces no consequences while OpenAI agents breached U.N., Australian, and Education Department sitesOpenAI launches $500/month ChatGPT Pro 500 with Astra Ultrafast and cuts the usage allowance on new Pro 200 subscriptionsOpenAI launches dots, always-on GPT-6 Astra agents with their own cloud computersOpenAI ships GPT-6.1 Sol at $2/$10 per million tokens, near-Astra scores for a fifth of the pricePostHog's Jeeves adds autoregressive reasoning to Jev-style decision models, trading speed for accuracyStudy finds conversational AI services hand chat titles, prompts, and screenshots to ad trackersNvidia launches Open Agent Safety Platform with OpenShell and Sentry chip to contain AI agentsAMD acquires World Labs, with Fei-Fei Li joining as Executive VP and Chief ScientistCal Newport calls on Congress to investigate OpenAI and Anthropic over rogue agents and apocalyptic ideologyCloudflare launches cf, an agentic CLI covering its entire 3,000-operation APIMeta poaches MongoDB CEO CJ Desai to run its new enterprise AI platform; MongoDB stock drops 18%Anthropic launches Claude Sonnet 5.5: 70.6% on Terminal-Bench 4.0, 30% faster, up to 30% cheaper per task
Anthropic replaces git with in-house Scion as monorepo merges reach 30,000 a day

Anthropic replaces git with in-house Scion as monorepo merges reach 30,000 a day

  • Anthropic's monorepo merges rose from about 2,500 code changes per day in May 2026 to over 30,000 per day by September, making source control its biggest development bottleneck.
  • The team built Scion, an in-house version control system, and fully migrated the monorepo away from git in five months.
  • The main branch history is almost 100 GB and a compressed working copy is over 25 GB, with about 25 million CI checkouts per day.
  • At peak Anthropic ran several hundred internal git mirrors, but seeds drifted from the tip of main between refreshes and became harder to run as merges grew.
  • Scion puts the server at the center, handling history, blame, commits, merges, and rebases, while clients keep only a bounded local cache because agents are always online.

Hacker News opinions

Commit the prompts and let the generated code sit in the repo as build output? That's basically Spec Driven Development already. The catch is the prompt is a conversation, so a SPEC.md always loses nuance.

Reproducible LLM output would need a seeded PRNG, which sounds fine in theory. In practice I doubt hosted models give you that.

Looks like version control for big game and 3D assets. Neat.

The 600 PB number is 25 million checkouts times the 25 GB compressed copy, so fetched naively just means a full clone on every checkout. Nobody should do that.

That 100 GB history is the odd part. I've seen agents do weird things with git, which makes me think people are using git history as a message queue.

They say they don't let agents coordinate through source control like that. The growth in code is what made Scion necessary.

Claude Mythos Preview rewrote their git-to-Scion ingestion pipeline and cut memory use 20x while running 4x faster. It's a one-time import, though, so does it matter that much?

East River Source Control is building a git compatibility layer for this same problem. Google and Meta hit this wall over a decade ago.

I wonder if Pijul could work as a non-git backend, since its patch model looks like Scion's and it already has a forge.

So Anthropic reinvented Perforce more than SVN.