📰 Alle News

← Command Center
Travis Kalanick's Atoms might be getting into the robotaxi business (1 minute read)

Atoms, founded by Uber founder Travis Kalanick, is reportedly preparing for a hiring and acquisition spree. The company is also in discussions with Uber about how Uber can use Atoms' robotaxi technolo...

How to Carry User Identity Across Federated Kubernetes and AI Platforms (7 minute read)

Centralized identity gateways solve the limitations of SSO in federated AI and data platforms by making one service responsible for session creation, validation, refresh, and logout while regional gat...

Live briefing: evaluating GLM-5.3 for production (Sponsor)

GLM-5.3 lifts Terminal-Bench 3.0 from GLM-5.2's 4.6% to 28.3%, and Flash is smaller and often enough. Both on Baseten Model APIs. Artificial Analysis and Baseten discuss benchmarking each against your...

Terraform in Lean 4: If It Compiles, It Will Likely Deploy (26 minute read)

infra is an infrastructure-as-code tool that does what Terraform does. Users declare what resources they want, and infra looks at what their cloud accounts actually contain and reconciles the differen...

Improving infrastructure efficiency for growing demand in the age of AI (8 minute read)

Dropbox treats compute, storage, networking, power, cooling, rack density, and capacity planning as one interconnected optimization problem rather than independent infrastructure layers. The approach ...

ZGateway: Learnings from Putting a Proxy in Front of ZippyDB (12 minute read)

ZGateway is a proxy tier that sits between clients and ZippyDB, Meta's most widely used key-value store. The system handles more than 1 billion operations per second and carries about 40% of ZippyDB t...

Diagram Design (GitHub Repo)

Diagram Design is a Claude Code skill that generates editorial-quality diagrams as self-contained HTML and SVG files. The skill works with Claude Code, Codex, Factory Droid, Pi, and Agent Skills-compa...

I trust my coding agents with production secrets now (3 minute read)

Security is always a productivity-risk tradeoff. Not giving access to agents can slow things down significantly. Frontier models are getting better and better at distinguishing real from malicious ins...

Alien (GitHub Repo)

Alien is an open-source platform for deploying and operating software inside customer-owned AWS, GCP, and Azure environments while retaining centralized control over releases, monitoring, and lifecycl...

The loop closes (5 minute read)

AI models are now capable of taking a request from Slack and then building a feature from end-to-end, with humans just having to click 'merge' or 'deploy' at the end. There's not really much left for ...

An Interview with OpenAI President Greg Brockman About Astra and Alignment (64 minute read)

OpenAI's president and co-founder, Greg Brockman, dropped out of college in 2010 to join Stripe. He eventually rose to become the company's CTO. He left in 2015 and co-founded OpenAI, where he served ...

Introducing YugabyteDB Resource Governance (6 minute read)

YugabyteDB Resource Governance adds CPU controls for multi-tenant database clusters so a runaway query or traffic spike in one database does not starve other workloads sharing the same infrastructure....

Automating the Experimentation Lifecycle with Kiro, AWS DevOps Agent, and LaunchDarkly (9 minute read)

AWS DevOps Agent, Kiro CLI, and LaunchDarkly form an autonomous experimentation loop that turns business goals into feature-flagged code changes, measured A/B tests, guarded rollouts, and iterative im...

Building for the Model Hardware Standard (3 minute read)

Anthropic's Model Hardware Standard (MHS) extends MCP-style agent interoperability from software into physical devices, creating new safety challenges where unreliable or repeated commands can cause r...

YOLO Mode: Agent Autonomy Without the Guardrails (3 minute read)

YOLO mode lets AI coding agents execute actions without approval prompts, improving productivity but increasing security risks when agents run directly on a host with access to files, credentials, and...

Between the Graph and the Silicon: Inside the Apple Neural Engine Compiler (10 minute read)

Apple publicly exposes the Apple Neural Engine through Core ML, while the compiler, program format, driver, firmware, and much of the machinery underneath it remains undocumented.

We taught a fruit fly to hear human emotion (9 minute read)

Researchers built a neural network from a map of a fly brain and then trained it to recognize emotion in human voices.

I Left the Mac After 12 Years. Omarchy Made Computers Fun Again (4 minute read)

Omarchy is an opinionated Linux distribution built for AI agents.

iPhone Ultra Production Hitting Just 'a Few Hundred' a Day, Says Nikkei (2 minute read)

The iPhone Ultra's production is slow due to how difficult the device is to build.

GPT-6 Astra and the Fourth Exponential (6 minute read)

Demand for AI semiconductors is likely to surge with agent computer tool use, just as it did with the chatbot, reasoning, and agentic coding demand waves.

Can Tesla Cybercab Actually Kill Uber? Day-Two Pricing From Austin (7 minute read)

Real-world tests show that the Cybercab has competitive pricing, but currently has a much longer wait time compared to competitors.

The AI workforce nobody predicted (Sponsor)

AI was supposed to be replacing workers. But has it?Ramp's latest research suggests something entirely different is happening (something almost nobody predicted).As seen on Bloomberg, The Wall Street ...

OpenAI Researcher Warned About Rapidly Advancing AI (17 minute read)

An OpenAI researcher says that reasoning models could continue advancing rapidly enough to contribute to their own development, creating increasingly serious alignment and cybersecurity risks.

Formalizing Fermat's Last Theorem (11 minute read)

Claude successfully created the first complete computer-verified proof of Fermat's Last Theorem in 11 days using Lean, automating the complex task initially proven manually by Andrew Wiles in 1995. Th...

Grok Imagine Video 1.5 agent (1 minute read)

Grok Imagine Video 1.5 agent delivers higher quality, better storytelling than previous releases. Powered by Grok's latest Image 2.0 model, it excels at connecting multiple shots together with greater...

AI Safety Is Not the Same as Security (6 minute read)

Frontier labs may be applying probabilistic AI safety techniques to problems that require deterministic security controls. Recent agent sandbox escapes highlighted the gap between reducing harmful mod...

GPT‑6 Astra on robotic manipulation (15 minute read)

Researchers gave GPT-6 Astra control of YAM arms under an Inspect Robots agent policy and gave it two tasks: it had to pick up a red block from a table and place it inside a bowl, and pick up a round ...

Loyalty shouldn't wait on hold (Sponsor)

Your customers don't want to waste time. Parloa's AI agents eliminate holds by managing millions of conversations, so your support team can focus on higher-value relationship building. Take for exampl...

Random Attention (GitHub Repo)

Random Attention kept a uniformly sampled subset of generated KV-cache entries instead of relying on learned importance signals or attention statistics. Across several reasoning benchmarks and model f...

Research acceleration: The view inside OpenAI (9 minute read)

OpenAI plans to develop an automated AI researcher by March 2028, aiming to enhance research efficiency while maintaining human oversight to ensure alignment and safety. Researchers now use coding age...

LLM-as-a-Verifier (GitHub Repo)

LLM-as-a-Verifier is a general-purpose framework that provides fine-grained feedback for any agent without requiring additional training. It achieves SOTA performance across coding, robotics, and medi...

OpenAI's AGI number came from a harness, not the model (6 minute read)

OpenAI claimed it had achieved AGI due to its 99.9% score on ARC-AGI-3. However, tests that ran the same model through the benchmark's own software scored 62.7%. The gap comes from the software around...

An Interview with OpenAI President Greg Brockman About Astra and Alignment (63 minute read)

OpenAI President Greg Brockman discussed Astra, OpenAI's new model, focusing on its enhanced capabilities and alignment. He highlighted the importance of scaling infrastructure and addressed challenge...

Concrete, Silicon, & Leverage (4 minute read)

The US data center capacity will expand from 25 to 70 gigawatts, requiring $5 trillion, mostly financed by debt. This expansion creates a 34% growth in the US corporate bond market and raises question...

Anthropic IPO launch shifts toward mid-October (3 minute read)

Anthropic is expected to complete its IPO listing days before the US midterm elections in November. It will begin marketing the offering in mid-October at the earliest. The IPO prospectus will likely ...

Fei Fei Li: The Race to Build World Models For AI (45 minute podcast)

World Labs' Atlas unifies generation and 3D reconstruction through new-view prediction, using sparse images to infer scenes from unseen positions.

Google keeps transforming Gemini desktop into superapp (3 minute read)

Google is advancing its Gemini desktop app with new features like Ask and Assign modes for enhanced functionality and potential remote control features.

Z1T (15 minute read)

Extropic unveils the Z1 chip to improve energy efficiency in transformer inference by leveraging probabilistic sub-threshold CMOS technology.

AIRA₃ (3 minute read)

AIRA₃ is a new generation of Meta's autonomous AI research engine that runs and coordinates many long-running agents asynchronously in their own isolated environments.

Every binding AI review Washington has proposed has come back voluntary. Zuckerberg reportedly rang Trump about the latest one (7 minute read)

Mark Zuckerberg reportedly raised concerns about a national AI regulator during a call in August, saying that any appointees to the body should reflect the president's own light-touch approach.

OpenAI and the Wiki Incident (25 minute read)

OpenAI knew about the message boards scattered across the internet that its agents created before the Hugging Face attack.

Making a Python interpreter in 1024 bytes

Article URL: https://austinhenley.com/blog/python1024.html Comments URL: https://news.ycombinator.com/item?id=49591876 Points: 114 # Comments: 45

Is mathematics about to enter the conservatory?

Article URL: https://mbmccoy.dev/posts/mathematical-conservatory/ Comments URL: https://news.ycombinator.com/item?id=49591793 Points: 100 # Comments: 116

Firefox’s Nova redesign will go live this month

Firefox’s redesign will be enabled for all users in Firefox 157, out the end of September – barring any last minute hiccups, of course. Mozilla’s engineers have been working on Nova since ...

Hugging-Face-Übernahme: Diese 2 Eastereggs hat Nvidia im Kaufpreis versteckt

Nvidia hat die Übernahme der KI-Plattform Hugging Face offiziell gemacht. Der schräge Kaufpreis von exakt 12.930.300.000 US-Dollar gab der Tech-Gemeinde allerdings zunächst Rätsel auf. Jetzt ist klar:...

The 92-Year-Old Mathematician and the Teenage Apprentice

Article URL: https://www.nytimes.com/2026/09/06/science/92-year-old-mathematician-apprentice.html Comments URL: https://news.ycombinator.com/item?id=49591563 Points: 101 # Comments: 8

KI-Rechenzentren und Wasserverbrauch: Wie erneuerbare Energien helfen

Künstliche Intelligenz benötigt für ihren Betrieb physische Infrastruktur, die kontinuierlich gekühlt werden muss. Dies stellt wasserarme Regionen vor Herausforderungen. Dabei gibt es bereits konkrete...

13 Millionen Zeilen Code: KI verifiziert Beweis von Fermats letztem Satz

Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt – erstellt von Claude-Agenten.

Phil Schiller’s App Store exit reportedly driven by wariness over future plans

Why is longtime Apple executive Phil Schiller stepping down from his role as the head of the App Store? Bloomberg’s Mark Gurman reports that Schiller’s decision — he will remain involved in the compan...

ChatGPT Astra is now rolling out to $20 Plus subscription

OpenAI is now rolling out ChatGPT Astra, its most powerful model to date, to those with a $20 Plus subscription, but there's no word on when free users will get access.. [...]

← Neuere Seite 111 Ältere →