Daily Edition · Page 1

THE DAILY INDEX

Technology, AI, software, security, crypto and business

Across today’s newsletters

Today’s Index

A sequence of connected doors represents five PostgreSQL features chained from an administrative role to database access, scheduled-job control, internal-function access, exposed credentials, and operating-system execution.
AI-generated editorial illustration

FROZEN PRIVILEGE: REMOTE CODE EXECUTION IN SNOWFLAKE-MANAGED POSTGRESQL

Varonis researchers found that Snowflake-managed PostgreSQL's non-superuser snowflake_admin role could be escalated to OS-level RCE by chaining five documented PostgreSQL features, defeating every published mitigation without disabling any. The chain used CREATEROLE to self-grant pg_write_all_data and hijacked a pg_cron job to run as postgres. It then rebound blocked functions through LANGUAGE internal, exposing tenant mTLS keys and AWS STS credentials and allowing an overwrite of archive_command. Snowflake has fixed the issue server-side, but teams running their own PostgreSQL should treat CREATEROLE as near-superuser, block LANGUAGE internal and C function creation, and audit pg_cron jobs and SECURITY DEFINER functions.

EXPOSING ADFECTION: HOW DISCOVER-TECH TURNED TARGETED ADS INTO A PIPELINE FOR ZERO-CLICK MERCENARY SPYWARE

Citizen Lab links Israeli ad company Discover-Tech to zero-click delivery of Candiru spyware through targeted advertisements. Its Controlium platform lets customers select targets by mobile ad ID, cookie ID, or IP address, then run JavaScript when an ad is rendered. At least 45 Al Jazeera devices were infected in 2024 and 2025. Nearly four billion bidding records show ads across almost 200,000 sites and apps. Google, IAB Europe, Beeswax, Vungle, and Eskimi cut Discover-Tech's access after disclosure. A separate actor, DARK CARTOGRAPHER, used the infrastructure to link advertising IDs with phone numbers.

WEAK LINKS START TO SHOW IN AI BORROWING

Virtually every major mutual fund company, insurer, and private equity firm, as well as scores of individual investors, has been buying up AI debt. Hyperscalers, which continue to borrow heavily, have been forced by investors to pay modestly more in interest in recent debt deals. The market is realising there may be a mismatch between the money committed and borrowed today and the ability to generate revenues down the road. An increasing number of data centers are being delayed by permitting issues, and in some instances falling through.

AI IS MAKING ETHEREUM MORE AMBITIOUS: FORMAL VERIFICATION AT SCALE

AI agents formally verified Ethereum's Fast Confirmation Rule (FCR) in Lean in 4-5 days, producing machine-checked safety proofs that FCR-confirmed blocks remain canonical under its assumptions. When researchers adapted the model to upcoming Gloas changes, the proof system surfaced a spec-level fork-choice bug before it shipped, pinpointing the exact failure cause. The Ethereum Foundation's earlier investments in formal verification infrastructure and post-quantum research now compound with AI tooling, with Lean already integrated into the BLS, KZG, SSZ, and consensus specs. The combination enables tighter fork timelines and more ambitious protocol features without reducing the security bar, with the upcoming Hegotá upgrade as the first test of this accelerated cadence.

CXMT SWINGS TO A NEARLY $20B NINE-MONTH PROFIT AS AI DEMAND DRIVES UP DRAM PRICES

CXMT expects nine-month net profit of 131 to 132.5 billion yuan ($19.6 to $19.8 billion), versus a 5.3 billion yuan loss a year earlier, on revenue of 265 to 270 billion yuan, up from 32.1 billion. It credits AI-driven DRAM shortages, expanded capacity, and more output per wafer. Its claim of fifth-generation DRAM in mass production hasn't been independently verified, and memory booms typically fund new capacity that eventually pulls prices back down.

FIGMA OPENS CODE LAYERS BETA, ADDS SPECS AND A BACKEND FOR MAKE

Figma Code Layers has entered open beta across plans, running interactive prototypes beside design frames, with generation and editing free on paid plans through November 4. Specs adds shared Markdown documents that pass requirements to AI agents through MCP, and a Payload integration gives Make a database, CMS, and admin interface. Rollouts differ: Guidelines is in open beta on paid plans, Code sources stays closed, and Payload reaches all plans over the coming weeks.

UNDER THE HOOD, OFF THE HOT PATH: HOW D1 SCALES TO MILLIONS OF DATABASES

Cloudflare's D1 serverless SQLite platform keeps query traffic at the edge while its control plane manages millions of tenant databases. Lifecycle operations use idempotent, recoverable flows, with Postgres for transactional metadata, edge KV for routing, and queues for eventually consistent work. The transferable design is to isolate central coordination from the data path so provisioning failures can be repaired without slowing queries.

TLDR IndexPage 1