DigiNews

EU rules on AI models become enforceable as of August, positioning Brussels as a global AI regulator. The piece explains requirements for model transparency, training data disclosures, and risk mitigation for frontier models, and discusses enforcement challenges, timelines, and potential impacts on innovation and cross-border deployment.

The Zenodo record presents a formal framework for attention operators in large language models via Persistent State Machines (PSMs), using in-memory cells and INT4 quantization. It provides complete mathematical proofs, hardware synthesis results (Vivado) on low-power FPGA platforms and SoC integration, and discusses energy estimates, timing, and patent status, illustrating a hardware-software co-design approach for AI acceleration.

F* is a general-purpose proof-oriented programming language that blends dependent types with SMT-based proof automation and interactive tactics. It targets OCaml by default and can extract to F#, C, or Wasm via KaRaMeL; the project is open-source with contributions from Microsoft Research and Inria, and is tied to cryptographic libraries and verified code such as HACL*, EverCrypt, and EverParse.

An in-depth look at a month-long AI benchmark where 14 models were prompted with a single instruction to generate an SVG of a frog with a Habsburg jaw. The article catalogs 42 runs and 42 SVG outputs, highlighting tendencies such as editorialization and, in some cases, royal framing, as well as differences in determinism across models. It offers insights into prompt design and model behavior that are useful for AI tool users and content creators.

The article explains Rust 1.98's algebraic arithmetic operators to allow reordering of floating point operations for speed while preserving accuracy where needed. It compares integer and floating point summation performance, demonstrates pairwise summation and algebraic adds, and provides benchmarks alongside Python/NumPy to illustrate speed and accuracy trade-offs.

Draco is a single-binary, self-hosted web scraper written in Rust, intended as a fast alternative to Firecrawl. It outputs clean Markdown + metadata, supports client-rendered SPAs via render-then-Markdown, and offers a daemon/API for map, crawl, and endpoint discovery, making it suitable for automation pipelines and SMB data workflows.

Bubble memory is an obsolete non-volatile memory technology that used magnetic bubbles on a garnet film to store bits and moved them along tracks with a rotating magnetic field. Developed in the 1960s–1980s, it briefly commercialized but was outpaced by DRAM, HDDs, and later Flash memory, leading to its decline by the late 1980s. The article covers history, development, commercialization, and niche applications of the technology.

WireGuardTCP introduces an opt-in TCP transport for WireGuard's Linux kernel module. The experiment reports performance gains on selected paths and outlines limitations, with links to full performance reports and source code.

The article suggests a project to turn a Raspberry Pi into a Wii U gamepad, showcasing an example of embedded hardware experimentation. It emphasizes DIY hardware hacking and Raspberry Pi-based input device concepts for makers.

Rodney Brooks outlines four time scales of technology development and deployment: New Research Ideas, Hype Generation, At-Scale Deployment, and Reshape the Economy. He argues that accurate forecasting requires distinguishing ongoing research from hype and notes that real impact emerges only over decades, with examples spanning neural networks, AI hype cycles, and autonomous driving. The piece provides a framework for evaluating AI and robotics progress, useful for planning strategy and communicating realistic timelines to audiences.

A GitHub project by a 15-year-old detailing a cycloidal gearbox, including a Python-based generator and CAD workflow. The write-up covers design iterations, gear ratios, 3D-printed components, and potential improvements, with emphasis on open-source sharing. It demonstrates practical mechanical design and educational value for DIY and SMB hardware prototyping.

BBC reports on the Foxtrot Network, a European organised crime group that uses a violence-as-a-service model to hire teenagers for murder. Recruits are drawn via social media and guided through a gamified process, with Europol describing it as the calculated outsourcing of murder. The piece maps operations across 11 countries, notes Iranian links, and highlights arrests and ongoing investigations.

This article critiques Tailwind CSS, noting that while it enables rapid UI construction with many utility classes, it can complicate learning, blur the separation between structure and design, and affect readability. It argues for understanding native CSS first and evaluating context before adopting frameworks, ultimately suggesting there is no one-size-fits-all solution.

The article advocates building a personal, lightweight website instead of relying on social platforms. It surveys three free hosting options (Mataroa, Pagecord, Bearblog), notes pros and cons, and explains how to embed images and use POSSE to syndicate content.

The article argues that speed, not raw intelligence, is becoming the primary factor in practical AI model use. It discusses throughput thresholds (around 100 tok/s) and how faster models trade some reasoning time for overall responsiveness, with examples of GLM5.2, DeepSeek, and price competition shaping the market.

NixOS-DGX-Spark demonstrates running Nix and NixOS on NVIDIA DGX Spark hardware, with a DGX Spark module, USB boot images, and reproducible kernel/config workflows. The project includes caching strategies, a quick-start NixOS template, and playbooks for GPU workloads, highlighting IaC-friendly configuration for complex AI/HPC environments.

Daniel Lemire's post benchmarks std::hive against std::vector and std::list, showing that std::hive is not a faster vector but a better alternative to a list for stable references and erase operations. The results highlight that vector benefits from autovectorization and low latency, while hive incurs skipfield overhead. The post concludes with memory considerations and practical guidance on when to use std::hive.

The article notes that Google's time filter in Search stopped working recently, as reported on Mastodon. It highlights a bug affecting time-based search results.

An in-depth look at IBM i (formerly AS/400), highlighting its architecture where the database Db2 for i is embedded in the kernel, the Single Level Storage model, and the object-based design. The article explains how IBM i combines OS and database, uses TIMI and SLIC, manages storage with ASP pools, and provides HA, integrated file system, PASE, and a traditional 5250 interface. It emphasizes that the platform is enterprise-focused, with strong security, strict access controls, and a unique lifecycle and maintenance model.

The Seinfeld Chronicles: Digital Edition analyzes a data-driven exploration of every episode of Seinfeld, recounting the 2020 print publication and the new digital edition, along with associated data visualizations. It blends pop culture with data storytelling and highlights the creative process behind visual analysis of media.

GE-97 Terminal is an archival, nostalgia-driven project that recreates a Windows 98-era online experience to explore the 1990s internet, including Flash, Java, VRML, and the Gopher protocol. It centers on documenting Saudi history and amateur radio work (7Z1FP) while reviving live radio telemetry and a preserved web environment. The project emphasizes digital preservation and open development, with a running GE-OS 98 exhibit and ongoing improvements.

The article discusses Linux desktop market share in North America, citing StatCounter and Cloudflare Radar data. It explains how the rise to 10.65% may be influenced by data classification and measurement differences, and cautions against interpreting it as a literal installed base.