All Dispatches

Claude Opus 5 is a new AI model that approaches frontier intelligence at half the price of Fable 5. It excels in software engineering tasks and is the new default model on Claude Max. However, it remains behind Mythos 5 in cybersecurity tasks and biology research.

The Islamic Revolutionary Guard Corps claims to have destroyed Amazon's data center in Bahrain with cruise missiles, in retaliation for the US strike on Iran's Darkhovin nuclear power plant. This marks the first use of cruise missiles against commercial cloud infrastructure in the Gulf conflict.

Explanation of everything you can see in htop/top on Linux, including load averages, process states, and memory usage.

Nearly 200 Silicon Valley companies are urging the Trump administration not to cut off access to Chinese open-weight AI models, warning it could cripple the next generation of U.S. startups. The founders argue that American leadership in AI innovation requires access to both domestic and global open models.

Alphabet's first cash burn on record has jolted investors awaiting more Big Tech results next week as soaring AI spending strains one of the world's most profitable companies.

Quaise Energy's millimeter wave drilling technology has successfully drilled 100 meters into granite, a significant milestone for the company's proprietary technology. This achievement has the potential to unlock deeper and hotter geothermal resources, paving the way for next-generation geothermal power.

A take-home interview project was revealed to be a malicious operation, designed to infect candidates' systems with malware. The project, disguised as a legitimate coding assignment, contained hidden directories and scripts that could compromise a user's system.

Gigatoken is a new open-source tokenizer that is ~1000x faster than HuggingFace's tokenizers and ~100x faster than OpenAI's tiktoken for most tokenizer definitions on most machines.

Formal verification is a tool to verify correctness of mathematical statements. In this tutorial, we'll write simple statements about cryptography and their proofs in Lean, focusing on the One-Time Pad protocol.

LG Electronics USA announced plans to suspend apps that turn smart TVs into residential proxy nodes, following research that found 42% of games and apps on LG's webOS store allow unknown third-parties to route internet traffic through users' TVs.

A US court has ruled in favor of Apple, dismissing a lawsuit that claimed the company was liable for not scanning its iCloud storage for child sexual abuse material (CSAM). The case highlights the tension between privacy and the need to prevent the spread of CSAM.

A new open-source project creates a secure USB drive with a hidden encrypted vault, protecting user data from unauthorized access. The Phantomdrive project utilizes a CH569 chip and SD card for storage, ensuring data security through AES-256 encryption and a custom key derivation function.