Top stories

  1. Apple sues OpenAI and two former employees over trade-secret theft Apple sued OpenAI and two former employees for allegedly stealing confidential documents and directing recruits to bring hardware to interviews.
  2. GPT-5.6 Sol Ultra claims a proof of the Cycle Double Cover Conjecture OpenAI's GPT-5.6 Sol Ultra produced an unverified proof of the Cycle Double Cover Conjecture, a 50-year-old mathematics problem.
  3. JetBrains TeamCity arbitrary file access via Perforce integration (CVE-2026-59793) JetBrains disclosed CVE-2026-59793, a CVSS 8.8 arbitrary file-access flaw in TeamCity's Perforce integration, fixed in version 2026.1.2.

Conferences and events

  1. ICML 2026 final day ICML 2026 concludes on its final day, with papers and session recordings becoming available through the conference program site.
  2. EuroPython 2026 starts in 2 days EuroPython 2026 starts in two days and runs through July 19 in Prague, setting the agenda for CPython, packaging, and typing discussions.

Agentic coding

  1. Agent-skills repositories trend together on GitHub Three repositories packaging reusable skills for AI coding agents trended on GitHub, consolidating a shared distribution format for workflows.

Security

  1. Ill Bloom weak-randomness wallet flaw actively drained funds Coinspect disclosed Ill Bloom, a weak-RNG flaw in wallet software that drained millions from crypto addresses across multiple blockchains.

Outages

  1. LaunchDarkly web app and flag delivery degraded LaunchDarkly suffered an outage affecting web access and flag delivery, requiring server-side SDK restarts to restore connections.
  2. crates.io API servers hit by a coordinated DoS attack crates.io was hit by a coordinated denial-of-service attack against API servers; package downloads and dependency resolution were unaffected.

Infrastructure

  1. Prometheus 3.13.1 LTS fixes head-chunk cache bug Prometheus 3.13.1 fixes a TSDB bug in which the head-chunk cache could return incorrect samples or spurious not-found errors on range queries.

Engineering posts

  1. Scarf moves its production stack off Haskell after seven years Scarf moved production off Haskell to Python after seven years, citing slow builds and friction with LLM-assisted parallel development.
  2. LWN details AI scrapers overwhelming infrastructure through residential proxies LWN details how AI scrapers route through residential proxies to bypass IP blocking, raising operational costs for public infrastructure.
  3. ClickHouse runs a PgBouncer fleet for 4x connection-pooling throughput ClickHouse scales single-threaded PgBouncer across cores using SOREUSEPORT to load-balance connections, achieving roughly 4x total throughput.
  4. A cosmetic C rewrite makes a quicksort 6x faster by triggering branchless codegen A cosmetic quicksort rewrite triggered branchless codegen, cutting sort time from 4.39 to 0.70 seconds, roughly 6.3x faster than before.

New videos

  1. Ghostty scrollback compression demo Ghostty creator Mitchell Hashimoto demonstrated scrollback compression, a feature reducing memory overhead for large terminal buffers.

Hacker News

  1. Show HN: running GLM 5.2 on a slow laptop by streaming experts from disk Colibri runs a 744-billion-parameter mixture-of-experts model on a laptop by streaming routed experts from disk through an LRU cache.

Reddit and social pulse

  1. Grok 4.5 availability friction in Cursor Cursor users reported Grok 4.5 missing from the model picker; SpaceX states the model is not initially available in the EU until mid-July.