Alvaro Lopez Ortega / 2026-06-30 Briefing

Created Tue, 30 Jun 2026 15:01:12 +0000 Modified Tue, 30 Jun 2026 15:02:47 +0000
3497 Words

American pride has hit a 25-year low of 33%, revealing a stark partisan divide. In Brussels, Belgian police removed journalists from a U.S.-sponsored event following embassy instructions, raising press freedom concerns. Meanwhile, Antares’ Mark-0 microreactor achieved initial criticality, and a UC Berkeley professor is arguing for a slowdown in AI research development.

🤖 Artificial Intelligence

A Berkeley AI professor makes provocative argument for decelerating AI research

UC Berkeley AI researcher Emma Pierson has sparked debate by arguing that the rapid development of generalist AI models poses immediate societal risks, such as inequality and surveillance, that may outweigh potential medical benefits. Her stance has drawn significant criticism from AI accelerationists, who contend that decelerating research is inhumane because it delays life-saving scientific breakthroughs.

Why Won’t Europe Build AI Data Centers in Iceland?

The European Union’s Tech Sovereignty Package aims to triple data center capacity to reduce dependency on American cloud providers. However, the initiative faces significant hurdles regarding energy availability and infrastructure, despite Iceland offering ideal conditions for AI hosting through renewable energy and natural cooling.

Agentic Orchestrator, a TUI for long-running coding agents

Agentic Orchestrator is a terminal-based tool that manages complex feature requests by orchestrating coding agents through an engineering workflow including planning, implementation, and review. The system utilizes deterministic orchestration in Go to handle phase transitions and human review gates while delegating specific subtasks to various AI models. It is available under the Apache 2.0 license and supports macOS, Linux, and WSL.

Open Memory Protocol – One Memory Store for Claude, ChatGPT, Curso

The Open Memory Protocol (OMP) is a new vendor-neutral specification designed to enable portable and interoperable AI memory across different platforms, such as Claude, ChatGPT, and Cursor. It provides a standardized framework of servers, SDKs, and adapters to prevent information loss and maintain user context when switching between various AI tools and devices.

AI & vibe coding fuel mobile game surge: 181K launches, up 118% on iOS and 73% on Android YoY

Generative AI and “vibe coding” have driven a massive surge in mobile game releases, with 181,000 titles launched in the six months to May, marking year-on-year increases of 118% on iOS and 73% on Android. Despite this production boom, the gaming industry is facing significant layoffs and growing concern among professionals regarding AI’s impact on creativity and job security.

AI could transform air traffic control by boosting safety and easing staff shortages.

Artificial intelligence could transform air traffic control by analyzing vast datasets to identify collision risks and manage rising flight volumes amid global staff shortages. However, many controllers remain skeptical about trusting automated systems for critical decision-making in high-stakes environments.

OpenAI teases new device with Work Louder launching July 15, featuring Codex upgrades

OpenAI has teased a new hardware device launching on July 15 in collaboration with keyboard manufacturer Work Louder. The upcoming product is expected to provide upgraded shortcuts for OpenAI’s Codex coding tool, potentially featuring programmable buttons or keys.

stop asking writers about “AI”

A writer expresses frustration over being repeatedly asked for their opinion on AI, arguing that such inquiries equate human creativity with machine-generated content. The author contends that these questions devalue professional authorship and have significantly impacted their motivation to write.

Where there’s a will, AI still has work to do

A probate lawyer has discovered that while AI can generate documents that appear visually authentic, they often fail to address critical legal nuances. Although the AI-generated document looked professional, it missed many of the essential questions necessary for its validity.

💻 Software Engineering

Parse, Don’t Validate – In a Language That Doesn’t Want You To

The article advocates for adopting the “parse, don’t validate” principle in TypeScript to prevent “shotgun parsing,” where validation information is lost once a check is complete. By using parsers and branded types, developers can transform general data into more precise types that carry proof of correctness throughout the type system.

Lumo 2.0

Proton has unveiled Lumo 2.0, a major update to its encrypted AI assistant that introduces advanced reasoning models and multimodal capabilities for processing both text and images. The update features enhanced web search functionality and specialized modes for speed or complex tasks, all while maintaining strict zero-access encryption under Swiss privacy laws.

Exploring PDP-1 Lisp (1960)

This article provides a practical guide for initializing and programming Lisp on the DEC PDP-1 computer. It details necessary hardware switch configurations, references essential technical manuals, and demonstrates basic operations such as program execution and input handling.

Letos: Create, edit, browse SQLite databases. Formerly known as SQLiteStudio

Letos, formerly known as SQLiteStudio, has released version 4.0.0, marking its first major update under the new project name. This open-source, cross-platform tool introduces a new ERD editor, Qt 6 integration, and native ARM64 builds for Windows, Linux, and macOS.

Slint and the Node.js Event Loop

Slint 1.17 improves its Node.js binding on Linux and macOS by integrating the toolkit’s event loop directly with libuv. This optimization replaces an inefficient 16ms polling interval, reducing CPU usage and decreasing latency for JavaScript timers.

May in Servo: user scripts, mp4 compat, blackboxing in DevTools, and more

Servo 0.3.0 introduces several new web platform features, including enhanced font properties and expanded DOM APIs, while improving build compatibility for Windows, FreeBSD, and NixOS. The release also includes critical security patches to address memory safety vulnerabilities within the SpiderMonkey JavaScript runtime.

Proving the Fundamental Theorem of Arithmetic in Agda

This article presents a complete, from-scratch formalization of the existence portion of the Fundamental Theorem of Arithmetic in Agda. Developed without relying on the Agda standard library, the work serves as an educational tutorial for intermediate learners.

Local Reasoning for Global Properties

The author argues that while current AI can generate high-quality local code, it often struggles with the global understanding required for complex program structures. To address this limitation, the article explores whether new programming language designs could enable local reasoning to provide assurance about important global properties.

jj_tui: terminal user interface to jujutsu focused on speed and clarity

jj_tui is a high-performance, interactive terminal user interface designed for the Jujutsu version control system. It features real-time graph previews and intuitive keybindings to support essential operations such as committing, rebasing, squashing, and revset filtering.

Investigating Linux graphics (2025)

The author details an investigation into Linux graphics driver errors encountered after adding an AMD graphics card to their system. To diagnose the issues, they trace code through various layers—including Mesa3D, OpenGL, Vulkan, Wayland, and Linux DRM—to understand how applications, display servers, and kernel drivers interact.

Former Microsoft engineer shrinks Notepad down to size

This news digest highlights recent developments in artificial intelligence security, including research on LLM vulnerabilities and the impact of AI on finding exploits. It also covers various cybersecurity threats, major industry acquisitions like EQT’s stake in Acronis, and notable updates within the open-source software community.

Raspberry Pi OS gets a new kernel but apparently not a new version number

This news digest covers emerging security risks in AI, such as prompt injection vulnerabilities, alongside various cybersecurity threats like phishing and zero-day exploits. It also highlights notable updates within the open-source community, including new software releases and kernel improvements for Raspberry Pi OS.

No more Java refills for Intel Macs after JDK 27, says Oracle

Oracle has announced that Java support for Intel-based Macs will end following the release of JDK 27. This move comes as another platform prepares to wind down support following Apple’s transition away from Intel processors.

🛡️ Security & Privacy

ICE Tracks Down Woman to Force Her to Delete Instagram Post

Two ICE agents confronted a poll worker at a Syracuse, New York, polling station on Election Day to demand the removal of social media posts they alleged threatened federal personnel. The confrontation took place despite election officials stating that law enforcement presence is generally prohibited in polling places unless responding to an emergency.

AirDrop and Quick Share vulnerable: Nearby hackers can crash your devices

Researchers have identified six security vulnerabilities in Apple’s AirDrop and Android’s Quick Share that could allow nearby attackers to crash devices or potentially execute remote code. These flaws affect billions of iOS and Android smartphones, exposing users to risks such as denial-of-service attacks from within a 30-meter range.

GitHub overwhelmed as flood of vulnerability reports slows security fixes

GitHub is experiencing a record surge in vulnerability reports, leading to significant delays in the review and publication of security advisories. To mitigate these delays, the company is implementing new automation tools and urging researchers to provide complete, actionable data while coordinating more closely with maintainers.

India’s central bank mandated .bank domains for trust, but its registry leaked sensitive info

India’s central bank mandated the use of .bank domains to enhance trust, but a leak in its registry has exposed sensitive information. The vulnerability, caused by an open API, could allow attackers to obtain the necessary data to impersonate bank officials.

📈 Business & Regulation

Popping the GPU Bubble

Moondream’s Photon utilizes pipelined decoding to eliminate “GPU bubbles” caused by CPU housekeeping delays during sequential token generation. This technique increases efficiency by overlapping CPU and GPU tasks, launching the next forward pass while the previous step’s data is still being processed and committed.

Bandcamp has laid off most of their engineers

Bandcamp has laid off most of its remaining engineering staff. The news was shared by a long-term employee who confirmed their departure as part of the widespread layoffs.

Travel industry rushes to launch tools and loyalty schemes to rival AI travel agents.

Travel companies, including hotels and tour operators, are developing proprietary tools and strengthening loyalty programs to counter the rise of “agentic” AI agents capable of autonomous booking. These businesses are increasingly integrating with large language models to provide personalized experiences and maintain consumer trust amidst the shift toward automated travel planning.

1001 raises $30M led by Lux Capital to optimize Gulf aviation, port, and energy via AI

Dubai- and London-based startup 1001 has raised $30 million in a funding round led by Lux Capital to implement applied AI within the Gulf’s aviation, ports, and energy infrastructure. The company plans to collaborate with regional operators to develop practical solutions before expanding its products to international markets.

Xiaomi, Oppo, and Vivo cut 2026 shipment targets; Xiaomi cutting 30% to ~95M units

Major Chinese smartphone manufacturers, including Xiaomi, Oppo, and Vivo, are reducing their 2026 shipment targets due to rising production costs and component shortages. Some companies are slashing their outlook by up to 30%, with Xiaomi reportedly cutting its target to approximately 95 million units.

Trump administration discusses SpaceX share donations to Trump Accounts for children

The Trump administration has held discussions with SpaceX regarding the potential donation of company stock to “Trump Accounts,” a tax-advantaged savings program for children launching next week. Such a contribution could signal a reconciliation between Elon Musk and Donald Trump following their recent professional fallout.

Amazon sued over Australian Prime Video pricing

The Australian Competition and Consumer Commission (ACCC) is suing Amazon Australia for allegedly using unfair contract terms within its Prime Video subscriptions. The regulator claims the company introduced advertisements to the platform and required annual members to pay an additional A$2.99 per month to maintain an ad-free experience.

UK FCA unveils updated crypto framework after softening rules criticized as holding UK back

The UK Financial Conduct Authority (FCA) has updated its cryptocurrency regulatory framework by softening previously proposed rules. These changes ease capital and disclosure requirements following industry concerns that the initial regime was too onerous and risked undermining the UK’s competitiveness.

Microsoft’s PR agency cuts staff amid Xbox restructuring

The PR agency Assembly is reportedly laying off an unknown number of employees as part of its own internal reorganization. While there was initial speculation that the cuts were linked to recent budget reductions at Xbox, journalist Jason Schreier clarified that the layoffs are unrelated to any changes in the agency’s partnership with Microsoft.

UK regulator plans to let Apple and Google users choose cheaper payment options in app stores

The UK’s Competition and Markets Authority has proposed allowing app developers to direct users toward cheaper payment options outside of Apple and Google’s app stores to reduce commission fees. Additionally, the regulator is considering requiring Apple to open its NFC technology to allow for third-party contactless payments within iOS apps.

New EU proposal aims to stop drivers from speeding using satellites

The European Commission is exploring a proposal to use satellite and GPS technology to automatically reduce vehicle engine power when drivers exceed speed limits. If approved, this system could become mandatory for all new cars in the EU by 2030, aiming to reduce road fatalities by up to 20%.

HS2’s latest reset ditches autonomous train tech to get project back on track

This news digest highlights recent security vulnerabilities in AI models and emerging cybersecurity threats, such as phishing and zero-day attacks. It also covers developments in open-source software and regulatory discussions regarding autonomous vehicles.

🚀 Space & Hardware

Zluda 6 release (run unmodified CUDA applications on non-Nvidia GPUs)

The ZLUDA Version 6 release introduces support for PhysX and Blender textures, allowing unmodified CUDA applications to run on non-NVIDIA GPUs. The update also features improved Windows compatibility through more robust library management and enhanced performance for machine learning workloads.

Antares Achieves Criticality of Mark-0 Reactor

Antares’ Mark-0 microreactor has achieved initial criticality at Idaho National Laboratory, marking the first time a private company has reached this milestone under the DOE Reactor Pilot Program. Conducted in partnership with the DOE and U.S. Army, the demonstration validates key reactor physics for future microreactor deployments to support military energy needs.

Nebex raises $30M seed led by GV to connect US space tech suppliers and investors

Alphabet’s GV has led a $30 million seed funding round for Nebex, a new space fintech startup founded by former Axiom Space CEO Tejpaul Bhatia. The company aims to provide an online platform that connects US space technology providers with foreign governments and investors to facilitate industry transactions for a fee.

Furality Ultra Club A/V Writeup

This technical writeup details the A/V production workflows used for Furality Ultra, specifically focusing on controlling club visuals and lighting through video-encoded DMX data. The author explains how tools like Furality Gridnode and Blender were utilized to manage complex world features, including multi-axis screens and automated light robots.

No wheel, no pedals: Tesla unleashes Cybercab on the streets of Austin

Tesla’s Cybercab has been spotted testing on public roads in Austin, Texas, confirming its production design lacks a steering wheel and pedals. Unlike Tesla’s existing Model Y-based robotaxis that feature manual controls for human intervention, the Cybercab is engineered as a fully autonomous vehicle.

🌍 Science & Society

Charles Mackay’s 1841 work, Memoirs of Extraordinary Popular Delusions and the Madness of Crowds, explores humanity’s susceptibility to collective manias such as financial bubbles and religious crusades. Through various historical anecdotes, the book provides an influential analysis of crowd psychology and its role in economic speculation and market crashes.

American Pride Falls to 25-Year Record Low

A recent Gallup poll reveals that extreme pride in being American has fallen to a 25-year low of 33%. This decline is accompanied by a stark partisan divide, with 70% of Republicans reporting extreme pride compared to only 14% of Democrats.

Should every baby’s DNA be sequenced?

Baby Freddie was diagnosed with retinoblastoma, a rare and aggressive eye cancer, at just four weeks old. Thanks to early detection and treatment involving chemotherapy and laser therapy, he has a significantly improved chance of maintaining normal eyesight.

Exercise intensity influences body composition in healthy older adults (2025)

A six-month study investigated how high-intensity interval, moderate-intensity continuous, and low-intensity training impact the body composition of healthy older adults. The researchers aimed to determine which exercise intensity most effectively reduces fat mass and visceral adipose tissue to help mitigate age-associated health risks.

The US ambassador had Belgian police stop our reporting

Journalists from The European Correspondent were forcibly removed from a U.S.-sponsored “Freedom 250” celebration in Brussels by Belgian police. The removal occurred after the reporters attempted to question Ambassador Bill White, following instructions from the U.S. embassy that labeled one journalist an “active threat.”

Study suggests most Americans would be healthier without daylight saving time

A Stanford Medicine study suggests that eliminating biannual time shifts in favor of either permanent standard or daylight saving time would better support human circadian rhythms. The researchers found that adopting permanent standard time would provide the greatest health benefits, potentially preventing hundreds of thousands of strokes and millions of cases of obesity.

Diagrams for Penrose Tiles

This article details a Haskell implementation for rendering finite regions of non-periodic Penrose tilings using kite and dart tiles. Leveraging the diagrams package, the author introduces methods such as compChoices and decompPatch that utilize half-tiles to ensure mathematically legal tiling patterns.

Atlas shrugs: New UK asylum seeker IT system failed to help case workers learn from appeals

The UK’s new Atlas IT system for asylum seekers has gone live despite several development delays. Inspectors report that the system launched without essential functionality required by Home Office case managers to learn from appeals.