Hacker Newsroom for 13 November recaps major Hacker News stories, moving through anthropic ipo, microsoft 365 outage, rust 1.100.

Chapters

• 00:00:00 — Intro
• 00:00:14 — Anthropic IPO
• 00:01:24 — Microsoft 365 Outage
• 00:02:30 — Rust 1.100
• 00:03:27 — Closing

1. Anthropic IPO

Anthropic’s IPO filing puts its explosive growth and enormous compute ambitions in front of public investors. The prospectus reports $17 billion in third-quarter 2026 revenue, more than twelve times the year-earlier figure, alongside a $23.3 billion net loss that includes a $21.9 billion non-cash fair-value charge.

Story link

Hacker News discussion

2. Microsoft 365 Outage

Microsoft 365 suffered a widespread service degradation, drawing 723 points and 667 comments on Hacker News. Microsoft’s status updates described unresponsive servers after failed health checks, with a recent network configuration change correlated with impact across Outlook and Exchange, Teams, Copilot, Graph, Intune, Purview, and other services; recovery involved redistributing traffic, restarting systems, changing configurations, and restoring services in stages.

Story link

Hacker News discussion

3. Rust 1.100

Rust 1.100 brings the never type, the core Allocator API for Vec and Box, DropGuard, unused dependency reporting, improved build-cache collision handling, min-publish-age dependency cooldowns, and a long list of newly stabilized APIs. The release also changes dependency lockfile behavior, a long-standing source of confusion for Rust users.

Story link

Hacker News discussion

That's it for today.

Hacker Newsroom for 12 November recaps major Hacker News stories, moving through maya site rediscovery, aws emulator, united ai booking ban.

Chapters

• 00:00:00 — Intro
• 00:00:17 — Maya Site Rediscovery
• 00:01:03 — AWS Emulator
• 00:01:55 — United AI Booking Ban
• 00:02:50 — Closing

1. Maya Site Rediscovery

A team of AI agents has rediscovered a Maya site in Mexico. The team scanned public NASA lidar data across roughly 1,200 square kilometers, then checked the suspected structures against the raw point cloud and contacted Mexico’s archaeology institute.

Story link

Hacker News discussion

2. AWS Emulator

AWS Emulator is a local, in-memory stand-in for AWS services, meant to let teams test applications and CI runs through familiar AWS SDKs and the CLI. AWS says thousands of autonomous AI agents built it, with tests generated from public API models and checked against real AWS behavior.

Story link

Hacker News discussion

3. United AI Booking Ban

United Airlines says it will block unauthorized personal AI agents from booking flights, citing risks such as exposed account details, unintended purchases or changes, and a possible conflict with rules requiring travelers to verify their own luggage. The policy will apply across United’s platforms and third-party booking channels, while ordinary fare searches on sites like Kayak and Google Flights remain available.

Story link

Hacker News discussion

That's it for today.

Hacker Newsroom for 11 November recaps major Hacker News stories, moving through offline smart homes, verisign reversal, signal protocol proofs.

Chapters

• 00:00:00 — Intro
• 00:00:14 — Offline Smart Homes
• 00:01:12 — Verisign Reversal
• 00:02:02 — Signal Protocol Proofs
• 00:02:52 — Closing

1. Offline Smart Homes

The post lays out ten years of local-first home automation, where core functions keep working offline and manual controls remain available. It recommends flexible, auditable setups, logged local APIs for cloud devices, centralized configuration, multiple control routes, and MQTT-style messaging.

Story link

Hacker News discussion

2. Verisign Reversal

reports that Verisign has withdrawn its plan to terminate 22,000 existing third-level .name domains and their email redirects after a long campaign. New third-level registrations will close, but existing names and redirects will remain indefinitely.

Story link

Hacker News discussion

3. Signal Protocol Proofs

AlphaProof Code brings together DeepMind researchers and AI agents to formally verify selected security properties in compiled Signal protocol code. Human experts defined and reviewed the security goals, while the agents generated more than six million lines of Lean proof that the theorem prover checked; the four-week effort also caught two previously fixed bugs after they were reintroduced.

Story link

Hacker News discussion

That's it for today.