Microsoft and OpenAI have restructured their landmark partnership, ending both exclusivity and revenue-sharing arrangements. OpenAI is now free to use competing cloud providers like AWS and Google Cloud instead of being locked to Azure, while Microsoft retains roughly 27% equity and long-term profit-sharing rights extending through 2030-2032. The move appears driven by Azure compute constraints, competitive pressure from Anthropic's $40B Google deal, and OpenAI's own antitrust leverage.
China is seeking to annul Meta's completed $2 billion acquisition of Manus, an AI robotics startup founded by Chinese nationals who relocated the company from China to Singapore. Chinese regulators summoned both co-founders to Beijing, barred them from leaving the country, and are investigating export control violations. The case targets so-called "Singapore-washing" — Chinese AI companies relocating abroad while founders remain under Beijing's jurisdictional reach.
RF engineering is experiencing a major talent-driven revival fueled by satellite constellations like Starlink, 5G deployment, 6G research, and automotive radar systems. Seventy-three percent of electrical engineering employers report being unable to fill RF positions within six months, creating a critical skills shortage. Companies are now investing directly in workforce development to address the gap, making RF specialization one of the highest-demand niches in hardware engineering.
Lawrence Paulson argues that while Lean is a popular modern theorem prover, the 60-year history of mathematical formalization — starting with AUTOMATH in 1968 — deserves recognition, and tool selection should be driven by specific needs rather than trends. He makes the case for Isabelle's superior automation, better readability through Isar notation, and simpler design that avoids the computational overhead of dependent types. The post warns against "cultism, insularity and conformity" in the formal verification community.
Apple is preparing two significant networking changes for macOS 27: removal of AFP (Apple Filing Protocol) support, which will force users with older NAS devices and Time Capsules to upgrade to SMB3-compatible hardware, and mandatory TLS 1.2+ with ATS-compliant ciphersuites for MDM, device enrollment, and software updates. Organizations have roughly five months until the expected September 2026 release to audit their network infrastructure for compatibility.
Easyduino provides unified, open-source KiCad PCB designs for popular microcontroller boards including Arduino, ESP32, Raspberry Pi Pico, and STM32 Bluepill, all updated with modern USB-C connectivity. The project aims to standardize designs across platforms and is released under the permissive CERN Open Hardware Licence. It targets electronics enthusiasts, engineers, and educators seeking to learn or modify PCB design best practices.
L123 is a Rust-based terminal spreadsheet that recreates the classic Lotus 1-2-3 DOS experience — slash menus, three-line control panel, and keyboard-first workflows — while supporting modern Excel file formats. Built on the IronCalc formula engine, it handles both legacy 1-2-3 syntax (using @SUM and .. notation) and contemporary features like 3D workbooks, charting, and multi-file sessions. The project aims to restore the speed and precision of early spreadsheet software without sacrificing interoperability.
This interactive website tests where individuals perceive the boundary between blue and green by showing colors along the blue-green spectrum and asking users to classify each one. The results reveal surprisingly wide variation in color perception thresholds across the population — some people see blue where the vast majority see green, and vice versa. A noted limitation is the forced binary choice, which struggles with colors like cyan and turquoise that feel like neither category.
Toronto Police have arrested three men facing a combined 44 charges in what they describe as unprecedented SMS blaster arrests. The suspects allegedly used mobile SMS blaster devices to send mass fraudulent text messages, a technique that bypasses carrier spam filters by broadcasting directly to nearby phones via cellular signals. The arrests represent a notable law enforcement action against a growing mobile-based fraud technique.
Spanish archaeologists have uncovered a collection of ancient shipwrecks in the historically high-traffic Bay of Gibraltar, a discovery partly enabled by changing environmental conditions. The Bay of Gibraltar was one of the ancient world's busiest shipping corridors, making the find significant for understanding Mediterranean maritime trade. Commentators note that archaeology's chronic underfunding, rather than lack of obvious search locations, explains why such discoveries are only now being made.
