Iran claims US exploited networking equipment backdoors during strikes

Prefill-as-a-Service:KVCache of Next-Generation Models Could Go Cross-Datacenter

AI needs a strong data fabric to deliver business value

Artificial intelligence is moving quickly in the enterprise, from experimentation to everyday use. Organizations are deploying copilots, agents, and predictive systems across finance, supply chains, human resources, and customer operations. By the end of 2025, half of companies used AI in at least three business functions, according to a recent survey. But as AI becomes…

Context Is Software, Weights Are Hardware

All your agents are going async

Irony as Meta staff unhappy about running surveillance software on work PCs

Meta employees are up in arms over a mandatory program to train AI on their

MuJoCo – Advanced Physics Simulation

How Yelp Keeps Server-Driven UI Consistent Across Four Platforms

If you’ve read our earlier post, you already know about CHAOS—the server-driven UI (SDUI) framework we built at Yelp that powers our dynamic views. Until now, we’ve explored its architecture, backend implementation, and component model. In this post, we’ll dive into how we integrated CHAOS with Yelp’s cross-platform design system, Cookbook, and the auto-generated bridge library, Konbini. Introduction to Cookbook At Yelp, we support two major applications across our Web, iOS, and And...

Pandas feels clunky coming from R. What about Haskell?

What Async Promised and What It Delivered

XOR'ing a register with itself is the idiom for zeroing it out. Why not sub?

wsl9x: Windows 9x subsystem for Linux

Garbage Collection Without Unsafe Code

Clarus, Moofo, and Lackey

How to get multiple agents to play nice at scale

Chase Roossin, group engineering manager, and Steven Kulesza, staff software engineer, from Intuit join the podcast to chat about what might be the hardest problem in engineering right now: getting multiple AI agents to work together in a complex system.

Kuri – Zig based agent-browser alternative

TurboEvolve: Towards Fast and Robust LLM-Driven Program Evolution

arXiv:2604.18607v1 Announce Type: new Abstract: LLM-driven program evolution can discover high-quality programs, but its cost and run-to-run variance hinder reliable progress. We propose TurboEvolve, a multi-island evolutionary framework that improves sample efficiency and robustness under fixed evaluation budgets. Inspired by the multiple-offspring strategy in evolutionary algorithms, TurboEvolve introduces verbalized Sampling, prompting the LLM to emit K diverse candidates with explicit se...

Fundamental for Delay and Reliability Guarantees for Emergency UAV

arXiv:2604.18595v1 Announce Type: new Abstract: To support mission-critical services in emergency scenarios, wireless networks are required to provide stringent guarantees under massive Ultra-Reliable Low-Latency Communications (mURLLC) constraints. Distributed unmanned aerial vehicle (UAV)-based massive multiple-input multiple-output (MIMO) architectures have recently emerged as a promising solution for rapidly deployable emergency communication systems. However, how to fundamentally charac...

HELIX: Verified compilation of cyber-physical control systems to LLVM IR

arXiv:2604.18593v1 Announce Type: new Abstract: This paper presents the design of HELIX, an end-to-end verified code generation system with a focus on the intersection of high-performance and high-assurance numerical computing. The code generation can be fine-tuned to generate efficient code for a broad set of computer architectures while providing formal guarantees of the correctness of such generated code. Using a real-life example of a cyber-physical robot system, this paper demonstrate...

Two-dimensional early exit optimisation of LLM inference

arXiv:2604.18592v1 Announce Type: new Abstract: We introduce a two-dimensional (2D) early exit strategy that coordinates layer-wise and sentence-wise exiting for classification tasks in large language models. By processing input incrementally sentence-by-sentence while progressively activating deeper layers, our method achieves multiplicative computational savings that exceed those from optimizing either dimension independently. Experimental evaluation across four state-of-the-art LLMs (Llam...

SPRITE: From Static Mockups to Engine-Ready Game UI

arXiv:2604.18591v1 Announce Type: new Abstract: Game UI implementation requires translating stylized mockups into interactive engine entities. However, current "Screenshot-to-Code" tools often struggle with the irregular geometries and deep visual hierarchies typical of game interfaces. To bridge this gap, we introduce SPRITE, a pipeline that transforms static screenshots into editable engine assets. By integrating Vision-Language Models (VLMs) with a structured YAML intermediate representat...

Critical Thinking in the Age of Artificial Intelligence: A Survey-Based Study with Machine Learning Insights

arXiv:2604.18590v1 Announce Type: new Abstract: The growing use of artificial intelligence (AI) in education, professional work, and everyday problem-solving has raised important questions about its effect on human reasoning. While AI can improve efficiency, save time, and support learning, repeated dependence on it may also encourage cognitive offloading, reduce productive struggle, and weaken independent critical thinking. This paper investigates the relationship between AI-use behavior an...

CentaurTA Studio: A Self-Improving Human-Agent Collaboration System for Thematic Analysis

arXiv:2604.18589v1 Announce Type: new Abstract: Thematic analysis is difficult to scale: manual workflows are labor-intensive, while fully automated pipelines often lack controllability and transparent evaluation. We present \textbf{CentaurTA Studio}, a web-based system for self-improving human--agent collaboration in open coding and theme construction. The system integrates (1) a two-stage human feedback pipeline separating simulator drafting and expert validation, (2) persistent prompt opt...

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs

arXiv:2604.18587v1 Announce Type: new Abstract: Large language models (LLMs) have demonstrated significant potential in formal theorem proving, yet state-of-the-art performance often necessitates prohibitive test-time compute via massive roll-outs or extended context windows. In this work, we address this scalability bottleneck by exploiting an informative structure in formal verification: the observation that compilers map a vast space of diverse proof attempts to a compact set of structure...

Who Shapes Brazil's Vaccine Debate? Semi-Supervised Modeling of Stance and Polarization in YouTube's Media Ecosystem

arXiv:2604.18586v1 Announce Type: new Abstract: Vaccination remains a cornerstone of global public health, yet the COVID-19 pandemic exposed how online misinformation, political polarization, and declining institutional trust can undermine immunization efforts. Most of the prior computational studies that analyzed vaccine discourse on social platforms focus on English-language data, specific vaccines, or short time windows, impairing our understanding of long-term dynamics in high-impact, no...

RECURSUM: Automated Code Generation for Recurrence Relations Exceeds Expert Optimization via LayeredCodegen

arXiv:2604.18585v1 Announce Type: new Abstract: Automated code generation can systematically exceed expert hand-optimization for recurrence relations-computational primitives ubiquitous in orthogonal polynomials, special functions, numerical integration, and molecular integral evaluation. We present RECURSUM, a Python-based domain-specific language generating optimized C++ for arbitrary recurrence relations via three backends: template metaprogramming for compile-time evaluation, a novel Lay...

A printing press for biological data

Hunting a 34 year old pointer bug in EtherSlip (DOS Networking)

Making RAM at Home [video]

OpenAI reinvents Recall except everything is stored remotely

FBI looks into dead or missing scientists tied to NASA, Blue Origin, SpaceX

Optimizing Tail Sampling in OpenTelemetry with Retroactive Sampling

TSRX – TypeScript Language Extension for Declarative UI

Chain Of Interaction Benchmark (COIN): When Reasoning meets Embodied Interaction

arXiv:2604.16886v1 Announce Type: new Abstract: Generalist embodied agents must perform interactive, causally-dependent reasoning, continually interacting with the environment, acquiring information, and updating plans to solve long-horizon tasks before they could be adopted in real-life scenarios. For instance, retrieving an apple from a cabinet may require opening multiple doors and drawers before the apple becomes visible and reachable, demanding sequential interaction under partial obser...

Drunk Post: Things I've Learned as a Senior Engineer

Christophe Pettus: All your GUCs in a row: allow_in_place_tablespaces

allow_in_place_tablespaces exists so the PostgreSQL test suite can test replication. That’s it. If you’re reading this as an operator, you will never touch it. But it’s in the alphabet, so here we are. When off (the default), CREATE TABLESPACE requires a LOCATION that points to …

Redwood Materials lays off 10% in restructuring to chase energy storage business

Show HN: Almanac MCP, turn Claude Code into a Deep Research agent

Windows Server 2025 Runs Better on ARM

Bloom filters: the niche trick behind a 16× faster API – Blog – incident.io

SpaceX says it has agreement to acquire Cursor for $60B

Meta will record employees’ keystrokes and use it to train its AI models

Mozilla: Anthropic's Mythos found 271 security vulnerabilities in Firefox 150

Unauthorized group has gained access to Anthropic’s exclusive cyber tool Mythos, report claims

SpaceX says it has option to acquire Cursor for $60B

Claude Code Removed from $20-a-Month "Pro" Subscription for New Users

SpaceX is working with Cursor and has an option to buy the startup for $60 billion

CrabTrap: An LLM-as-a-judge HTTP proxy to secure agents in production

SpaceX Says It Has Agreement to Acquire Cursor for $60B

Roundtables: Unveiling The 10 Things That Matter in AI Right Now

Listen to the session or watch below Watch a special edition of Roundtables simulcast live from EmTech AI, MIT Technology Review’s signature conference for AI leadership. Subscribers got an exclusive first look at a new list capturing 10 key technologies, emerging trends, bold ideas, and powerful movements in AI that you need to know about…

SpaceX Said to Agree to Buy Cursor for More Than $50B

Changes to GitHub Copilot individual plans

Are We Actually There? Assessing RPKI Maturity

RPKI lacks maturity in its specification and in resilience against attacks, but delivers measurable benefits and is an essential part of ongoing efforts to improve routing security.

Scammers Phish Online Retail Consumers

Scammers are using phishing-as-a-service kits and platforms to hustle online shoppers.

Show HN: Backlit Keyboard API for Python

Air Force can't quit the A-10 Warthog, extends service into 2030

Hubert 'depesz' Lubaczewski: Polish configuration for TSearch

Some time ago someone posted on Reddit that they have problems adding Polish configuration to their PostgreSQL. While checking it, I found some interesting news. And of course figured out how to have Polish configuration… First, the news: apparently in PostgreSQL 19, we will automatically get Polish dictionary, thanks to this commit from 5th of … Continue reading "Polish configuration for TSearch"

AI at MIT

At MIT, AI has become so pervasive that you can almost find your way into it without meaning to. Take Sili Deng, an associate professor of mechanical engineering. Deng says she still doesn’t know whether she’d have gone all in on artificial intelligence had it not been for the covid pandemic. She had joined the faculty…

Analog computing from waste heat

Heat generated by electronic devices is usually a problem, but a team led by Giuseppe Romano, a research scientist at MIT’s Institute for Soldier Nanotechnologies, has found a way to use it for data processing that doesn’t rely on electricity. In this analog computing method, input data is encoded not as binary 1s and 0s…

This tool could show how consciousness works

How does the physical matter in our brains translate into thoughts, sensations, and emotions? It’s hard to explore that question without neurosurgery. But in a recent paper, MIT philosopher Matthias Michel, Lincoln Lab researcher Daniel Freeman, and colleagues outline a strategy for doing so with an emerging tool called transcranial focused ultrasound. This noninvasive technology…

Tim Cook is stepping down as CEO of Apple. Here’s a look at his 15-year legacy, from new products and services to China expansion.

Resistance

Turns out not everyone wants to live in the future that AI companies are building. People from all walks of life are speaking out against rising electricity bills from data centers, disappearing jobs, chatbots’ impact on teen mental health, the military’s use of AI, and copyright infringement—among other concerns.  This anti-AI movement is taking shape…

Artificial scientists

AI companies frequently invoke the possibility of AI-enabled scientific discovery as a justification for their existence: If the technology eventually cures cancer and solves climate change, then all the carbon emissions and slop videos will have been well worth it.  Already, LLMs can assist scientists in all sorts of ways. They can point people to…

China’s open-source bet

Silicon Valley AI companies follow a familiar playbook: Keep the secret sauce behind an API, and charge for every drop. China’s leading AI labs are playing a different game: They ship models as downloadable “open-weight” packages. This lets developers adapt the models and run them on their own hardware to build products without negotiating a…

Humanoid data

I was recently invited to join an app that would pay me cryptocurrency to film myself doing tasks like putting food into a bowl, microwaving it, and then taking it out. Another website suggested I try a new game in which I’d remotely control a robotic arm in Shenzhen, China, as it completed puzzles and…

Agent orchestration

When people say AI will speed up drug development or fear that it will bring about mass layoffs, what they have in mind—whether they know it or not—are AI agents. ChatGPT made large language models a mass consumer product. But to change the world, AI needs to do more than just talk back: It needs…

Weaponized deepfakes

For years, experts have warned that deepfakes—AI-generated videos, images, or audio recordings of people doing or saying things they haven’t actually done in real life—could be deployed in malicious ways.  These dangers are now here. Improvements in deepfake technology, and the widespread availability of easy-to-use and cheap (or free) generative models, have made it easier…

World models

AI systems have already gained impressive mastery over the digital world, but the physical world is still humanity’s domain. As it turns out, building an AI system that can compose a novel or code an app is far easier than developing one that can fold laundry or navigate a city street. To get there, many…

Supercharged scams

When ChatGPT was released to the public in late 2022, it opened people’s eyes to how easily generative AI could churn out vast amounts of human-seeming text from simple prompts. This quickly caught the attention of criminals, who soon began using large language models to produce malicious emails—both the untargeted spam kind and more sophisticated,…

LLMs+

When ChatGPT launched as an experimental prototype in late 2022, OpenAI’s chatbot became an everyday everything app for hundreds of millions of people. LLMs like ChatGPT were the new future: The entire tech industry was consumed by the inferno, with companies racing to spin up rival products. The ashes of the old tech world still…

10 Things That Matter in AI Right Now

Claude Code removed from Anthropic's Pro plan

10k-watt GPU meet 40-watt lump of meat

Zindex – Diagram Infrastructure for Agents

EMERGENCY BREAKING NEWS PODCAST: Tim, Cooked

Was Tim Cook GOOD or BAD?

I don't want your PRs anymore

In the UK, EVs are cheaper than petrol cars, thanks to Chinese competition

Apple’s John Ternus will run one of the world’s most powerful companies; the job is a minefield

ChatGPT Images 2.0