Front-page articles summarized hourly.
zlob is a 100% POSIX and glibc-compatible globbing library (C, Zig, Rust) designed to be faster than libc glob(). Written in Zig with SIMD optimizations, it analyzes patterns to minimize directory reads and supports recursive patterns, braces, gitignore, and extglob. It uses getdents64 for fast listing, offers a .gitignore prefilter, and provides a rich API (zlob, zlob_match_paths, zlob_at, zlobfree) for single- and multi-path globbing. It compiles with Zig and is MIT-licensed.
Ruliology is a new basic science focused on studying simple, abstract rules (cellular automata, TMs, substitution systems) and their consequences in the computational universe. It’s not traditional computer science or mathematics; it’s about what rules do when run, with emphasis on explicit visualizations and minimalism. Computational irreducibility and the Principle of Computational Equivalence guide expectations, while results like rule 110 universality illustrate broad reach. Ruliology provides raw material for models and technology, supported by the Wolfram Language and notebooks for reproducible, computable presentations. Wolfram envisions it as a vast ongoing field of study.
The Arcade Blogger shares rare 1980 footage of Atari Battlezone cabinet production, showing late-stage assembly, finishing, and packing at Sunnyvale. The piece emphasizes how design and hardware converged: periscope viewfinder integrated with the cabinet; industrial designers like Mike Querio adapted the bezel and added acrylic windows; manufacturing used vertical storage, efficient handling, and suction-cup lifting to palletize cabinets for bulk shipping. About 13,000 upright Battlezone cabs were produced Aug 1980–Mar 1981, on the same line as Missile Command (though no MC visible in footage). The article reflects on the era's innovation and craftsmanship.
Sign-in feature for the Chromium browser.
ARM64-ADK is an ARM64-first Android development kit for Linux (aarch64) with a GTK UI and CLI backed by Rust gRPC services. It provides a multi-service devkit (JobService, WorkflowService, ToolchainService, ProjectService, BuildService, TargetService, ObserveService) to manage toolchains, projects, builds, targets, and dashboards, with observability bundles. It uses custom Android SDK/NDK catalogs and Cuttlefish integration; x86_64 is out of scope. Quick start covers dependencies, Rust toolchain, cargo build, and running the dev script to launch UI/CLI. Aims to fill the ARM64 Android-dev gap left by official Studio.
MirageOS is event-driven, using Lwt for concurrency via return/bind/run; Lwt can be extended with pa_lwt to look more OCaml-like. Some debate exists about monadic style and closures. Delimcc provides delimited continuations to implement restartable exceptions, usable with Lwt_fiber; interface: start and await; stacks saved/restored on block. Microbenchmarks: Lwt is faster on deep stacks; fibers slower with frequent yields; but a single yield at the end can favor delimcc. Interoperability: Lwt works with JavaScript; delimcc helps migrate existing code. Overall, differences are not decisive for MirageOS.
Could not summarize article.
Argues that Agentic AI safety fails when systems rely on trust; the solution is kernel-enforced authority boundaries that render trust irrelevant. Proposes a kernel control plane (KERNHELM) between planning and effects that issues plan-bound, time-limited, reduce-only permits; authorities are consumable, revocable, auditable. Emphasizes separating planning from authorization, constraining ambient authority (keys, shell, filesystem, network), and treating OS permissions as enforceable but not sufficient. Server/model-layer controls are insufficient; enforcement must survive in the local OS. Not a full implementation, but a class of enforceable mechanics rather than relying on intent.
Floe's planner rewrites geo joins with H3 indexes, turning costly ST_Intersects predicates into a fast hash join on H3 cell IDs, plus an exact recheck. It builds H3 coverages for A and B at a chosen resolution, joins on cells (deduplicated), then applies the exact predicate to the candidate pairs. This converts the heavy geometry work into a cheap integer join, dramatically reducing candidates (e.g., from ~37.6M to ~200k) and delivering up to 400× speedups (best at resolution 3). The pre-filter is approximate; final check preserves correctness. Works with views/CTEs/subqueries, no extra storage, tunable resolution.
Vault Corporation's Prolok (1983) used disk fingerprints—physical damage spots on floppies—wrapped by PROLOK.EXE to protect software. It spawned Hard Disk Prolok, Filelok, Techline, Telelok, and other variants; licenses included protection disks and dongles (ROMLOK) and a ProLoader duplication machine. Ashton-Tate invested $500k for 20% stake, integrating Prolok into dBase III and Framework. Vault sued Quaid Software in 1985; Quaid won, establishing the right to back up software under Title 17. Prolok’s reputation suffered after Prolok Plus hardware-damage claims; Vault declined and later restructured in 1988; emulation work followed.
Google announces public preview of the Developer Knowledge API and the Model Context Protocol (MCP) server to give AI tools access to Google’s official developer docs. The API provides Markdown-formatted pages from firebase.google.com, developer.android.com, docs.cloud.google.com, and more, with 24-hour reindexing to stay current. The MCP server, an open standard, lets AI assistants safely read external data sources via IDEs or tools for implementation guidance, troubleshooting, and comparison. Getting started: create an API key, enable MCP, and configure your tool. Future work will add structured content and broader documentation coverage.
Brendan Gregg explains he joined OpenAI to tackle the massive, growing cost of AI datacenters and to advance datacenter performance at scale, with an initial focus on ChatGPT. He argues performance engineering must evolve to unlock bigger, faster optimizations. After interviews with several AI firms, OpenAI offered a compelling team and mission, and he became a Member of Technical Staff, working remotely from Sydney in the ChatGPT performance engineering group. His first project is a multi-org strategy to improve performance and reduce costs, with continued use of tools like eBPF, Ftrace, and PMCs.
Andrew recounts Amy’s prolactinoma diagnosis after fatigue and vision risk, followed by two pituitary surgeries. Despite removing about 80% of the tumor, prolactin rose again; a second surgery offered hope but post-op markers remained inconclusive, leaving uncertainty about residual disease. Doctors warned about limited options, and they pursued cabergoline, while fearing hereditary risk for future children. Frustrated by slow clinical translation, Andrew explores AI-powered “AI Scientist” tools to accelerate brain-tumor research. He quit full-time consulting to focus on this effort and invites scientists, founders, VCs, and foundations to collaborate and share progress.
Three points chosen independently and uniformly from the interior of the unit circle have a circumcircle entirely inside the unit circle with probability 2/5. The post shows a brute-force, coordinates-based solution: reparameterize by the circumcenter (X,Y), radius r, and the three angles φ1,φ2,φ3; compute the Jacobian det J = r^3 |sin(φ1−φ2)+sin(φ2−φ3)+sin(φ3−φ1)|. Split the integral into an angular part I and a radial-geometric part. I = 24π^2; radial integral ∫0^1 π r^3(1−r)^2 dr = π/60. Combine to get P = 2/5.
Analyzing hair samples from the past century, University of Utah researchers found lead levels rose through the 1960s and fell sharply after the EPA targeted lead in consumer products in the 1970s. Hair lead declined from about 100 ppm around 1916–1969 to under 1 ppm by 2024, mirroring reductions in leaded gasoline (≈2 g/gal) and smelter closures. The study, published in PNAS, argues the EPA's lead ban and related regulations effectively reduced environmental lead exposure. It also highlights history of advocates like Clair Patterson and industry resistance, underscoring regulatory lessons for current policy debates.
Bloomberg displays a CAPTCHA-style block page after detecting unusual activity from the user’s network, asking them to confirm they’re not a robot and to ensure JavaScript and cookies are enabled. It directs users to review the Terms of Service and Cookie Policy and to contact support with the provided block reference ID. The page also promotes a Bloomberg.com subscription.
Ecologist Alison Anastasio and colleagues formed the Slag Queens to study life on Chicago slag fields from the former South Works. They document surprising biodiversity—native grasses, rare sedges like Eleocharis geniculata, and orchids Spiranthes incurva—on postindustrial sites. They term these landscapes “Chicago slag barrens,” a novel ecosystem that may be preserved or guided, not excavated. Their Slag 1 (2022) and Slag 2 map sites and plants; Slag 1.5 reports a sedge rediscovery. Their work informs Marian Byrnes Natural Area management and raises long-term questions: what is it, and what can it become?
The piece argues FORTH-like associative/applicative styles may suit transformers better than top-down approaches. It outlines a parity-tree experiment: construct a binary tree of numbers where interior nodes store the parity of descendants, using prefix or postfix notation. Across four runs on Opus and Haiku, models using postfix notation and deliberate "thinking" outperformed prefix. Haiku: postfix ~88% vs prefix ~37% (thinking); Opus: postfix ~98% vs prefix ~81% (thinking). The author promotes concatenation as semantic composition, explores sideways-information-passing joins, and suggests these ideas could yield new optimization/pass ideas for databases.
GitHub repo page for rivet-dev/sandbox-agent (branch main). It shows standard GitHub UI—navigation, repo stats (stars, forks, issues, pull requests), actions/projects/security/insights, and a note: “You can’t perform that action at this time.”
Made by Johno Whitaker using FastHTML