Front-page articles summarized hourly.
Chronological overview of Seiko’s design evolution, detailing 140 years of innovations and milestones: from Seikosha’s origins and the first domestically produced wristwatch, through iconic divers and Grand Seiko, the quartz revolution, digital and LCD watches, to Credor, LUKIA, Prospex, Alpinist, Kinetic and Spring Drive technologies, GPS solar Astron, and the ongoing Seiko Design Center and Micro Artist Studio initiatives.
Ben Nuttall describes gpiozero, a Python library for Raspberry Pi that abstracts GPIO devices into high-level 'devices' and supports procedural, event-based, and declarative styles, with value-stream manipulation and generators (e.g., negated, sine). He piloted a web-based, drag‑and‑drop UI called gpiozero-flow to connect devices visually, inspired by but simpler than Node-RED. After MVP using Claude AI, a Python package gpiozero-flow provides a websocket agent and web app; flow.bennuttall.com lets you run projects via a Pi host with live mode controlling pins. It remains experimental and may evolve toward Scratch-like tooling or enhanced event support.
Atomarine provides offshore compute campuses using standardized 75 MW platforms (six units to ~450 MW total), built in shipyards, towed and moored together. Each campus includes on-site power and seawater cooling with a closed loop and PUE ~1.1, and is location-agnostic. Centralized manufacturing enables scalable growth from first barge to 450 MW. Power vessels supply gas turbines today; future marine reactors will provide carbon-free power without touching the data halls. Claimed benefits: 4–5x faster deployment than on land, ~1.5 GW/year, 20–40 year life. Contact: [email protected]
Google Play is expanding the Age Signals API to all developers worldwide to enable age-appropriate experiences. Starting in Australia and Canada by mid-August, with a full global rollout later this year, the API lets parents share their child’s age range with apps (privacy-preserving), and allows adults to share their age when prompted. Developers receive signals to tailor content and safety features; no one-size-fits-all rules. Parents control sharing via Family Link, and age data isn’t shared by default and can be updated or turned off. This complements existing safety tools like Restrict Minor Access.
ESP32-C6 power was compared across ESP-IDF, Arduino, Zephyr (Wi‑Fi/BLE off; Otii Ace). Method: Empty, Reference (UART), Active workloads (LED, CRC8, FP multiply); default toolchains (-O3 IDF; -Os Arduino/Zephyr). Results (mA): Empty 24.8/33.6/31.5; Reference ~24.8/25.6/34.8; LED 25.5/25.3/28.3; CRC8 24.8/25.4/27.6; FP 24.8/25.8 (Arduino stack overflow). Conclusions: ESP-IDF most stable and lowest; Arduino efficient but with background activity and FP stack overflow; Zephyr highest baseline; profiling can reveal software instability; sleep modes required for microamps.
The piece argues that the future of software is local-first. Cloud-centric apps slow users down, depend on constant connectivity, and risk data breaches. Local-first apps write to disk instantly and sync in the background, delivering far faster interactions (e.g., Linear reportedly ~47ms vs cloud tools ~3,000ms). With on-device AI and modern silicon, heavy computation can run locally, cutting subscription bills. Data stays on the device, improving privacy and resilience against outages; cloud remains optional for backup and collaboration. The future is local.
An exploration of the trade-offs among concurrency, interactivity, and mutability in programming languages, arguing you can have at most two. A Common Lisp server illustrates the problem: multiple threads with a shared hash table can race when you interactively inspect or modify state, causing errors. Dropping interactivity (C, Rust, Go) improves safety but loses live debugging. Dropping concurrency (Python, Ruby with a GIL) preserves safety but hurts performance. Dropping mutability (Erlang) uses message passing and copying, avoiding shared state but incurring slow data transfer. Most languages pick two; CL tries to have all, with caveats.
Nine months with the iPhone Air: an ultra-thin, mid-size design that impresses but trades off practicality. Camera is solid but limited to one main sensor with no telephoto, hurting distant shots. The lone speaker underdelivers with lower volume. Battery started strong but now degrades, though health sits around 96%. Overall, he loves it but wouldn’t recommend it to most; it’s a bold design with compromises and a provocative preview of folding iPhones.
Equidistance measures the fairest meeting pub by equalizing travel times from every London borough’s population center. Analyzing 3,170 pubs with 7,194 TfL journeys, none are within 60 minutes of all 33 boroughs; the first pubs reachable by everyone appear at 70 minutes, two of them 100m apart near Great Portland Street. The winner is The Greene Man (383 Euston Rd, Fitzrovia) with a worst‑case 70 min, average 49, and a 47‑minute spread. The Albany is second; the top 10 form a corridor along the Euston Road. Methods and data are published for reuse.
noyb filed a GDPR complaint with the Austrian Data Protection Authority against dict.cc over a consent banner claiming 1,741 partner companies. The complaint argues this makes consent uninformed and practically impossible to understand or track, since reading all policies would take about 170 hours. noyb seeks deletion of unlawfully processed data, potential fines, and may pursue wider action or a referral to the EDPB. The case highlights the broader issue of consent for online advertising and data sharing across many partners.
Zion Leonahenahe Basque introduces Kuna, an experimental, agent-first decompiler for autonomous refinement. Largely written by an LLM, Kuna rivals IDA Pro on C control-flow structuring, with 44.4% perfect structuring versus IDA’s 45.7%. Kuna uses autonomous refinement, learning from cases where it trails IDA and from other decompilers like Ghidra and angr. It reimplements over 20 angr features in a Rust port of Ghidra, testing high-level scientific feedback rather than pure automation. Progress hinges on human-guided research; further work is needed on types, optimizations, recompilability, and variable identification. Thanks to advisors and supporters.
Logic for Programmers is a practical guide to designing, verifying, and reasoning about software using logic and Boolean math. Written for intermediate-to-advanced programmers, it assumes only basic Boolean operators and programming knowledge. The book covers practical topics—from simplifying conditionals and ensuring API changes don’t break clients to finding race conditions and minimizing wall-clock time in distributed tasks—plus more theoretical material, like formal verification, contracts, databases, temporal logic, and Prolog. Appendices, extra topics, GitHub code samples, and an extra-credit repo accompany ~50,000 words (~200 pages). DRM-free PDF/EPUB; print available on Amazon.
NSF launches the UIDP I-PhD pilot to create four-year Ph.D. programs with industry placements, backed by $47 million over five years and commitments from about 30 universities and private partners. The goal is to place 250+ doctoral students in industry research while preserving academic rigor, addressing the mismatch of many STEM PhDs pursuing non-academic careers. Students will be co-advised by university and industry mentors, with industry funding for at least one year of dissertation work. The first cohort starts Fall 2026; the model aims for broader adoption.
This post launches a series on angels in Coptic Magic, outlining how angels function as incorporeal divine messengers whose power could be invoked via prayers and rituals in Late Antique/Early Islamic Egypt. It situates Coptic angel lore within Greco-Egyptian, Jewish, and Christian traditions, noting continuity with established hierarchies (thrones, dominions, powers; cherubim/seraphim; archangels; the Twenty-Four Presbyters; the Four Living Creatures) and local names and secret powers. Some angels have specialized roles (healing, protection, curses, love spells). Texts include Endoxon, Ps-Timothy, and magical liturgies; future posts will detail individual angels and their names and powers.
Kinney Drugs in Vermont rolled out Burt, an AI refill assistant from Synerio. Customers report delays, incorrect dosages, lost accounts, and unclear calls. Privacy concerns grow as PHI could be used by AI tools and Synerio may access health data; consent and HIPAA implications are debated. Vermont’s S.71 privacy law may not fully curb these risks. Some customers switch pharmacies or visit in person, with rural residents hardest hit. Kinney says the tool reduces calls and frees pharmacists, though many users disagree.
Could not summarize article.
Practical tour of recursive filters for streaming data: SMA, EMA/low‑pass, and a tiny 1D Kalman. They use fixed state, O(1) memory, and one-step computation, enabling online updates and tolerance to irregular sampling. Key forms: EMA: s_t = α s_{t−1} + (1−α) x_t; SMA: s_t = (1/k) ∑ last k samples; first‑order low‑pass is the same as EMA. Tiny Kalman (A=H=1): predict x̂^−, P^−; K_t = P^−/(P^−+R); update x̂_t = x̂^− + K_t(z_t−x̂^−); P_t=(1−K_t)P^−. Parameter tips: choose k or α to trade lag vs noise; set Q, R by drift and sensor noise. Useful for embedded/telemetry; practical guidance and examples.
Flume Water Monitor uses a 915 MHz FHSS link from meter to bridge with 2‑FSK at ~200 kbps. The 16‑byte payload is AES‑128‑ECB encrypted, but header data leaks enough bits to reduce the effective key space to about 44 bits, which the author brute‑forced on a GPU in roughly a day. This yields only moderate security: spoofed messages could be crafted if the key and parameters are known, potentially enabling rogue OTA updates. Flume is responsive and plans security/privacy improvements.
In 'The Productivity Mirage,' Alex Kotliarskyi recalls a legendary Facebook engineer named Bob who shipped features using simple tools—vanilla Sublime Text, printf debugging, no live reload—and still proved wildly productive. He later contributed to what became Facebook Marketplace. The lesson: tool choice matters far less than product intuition and focusing on the right problems. The piece notes that people constantly promise new ways of working, but lasting impact comes from solving the real problem, not chasing productivity fads.
Claude Code Merge Queue is a local, zero-cost FIFO merge queue for parallel Claude Code agents. It serializes landings across lanes using Claude worktrees to avoid race conditions and flaky tests, running entirely on your machine (no GitHub Actions minutes). It relies on a single config file (claude-code-merge-queue.config.mjs) and a pre-push hook; supports commands like land, sync, preview, port, prune, and promote, plus an emergency bypass via CLAUDE_CODE_MERGE_QUEUE_EMERGENCY_PUSH. MIT license.
Made by Johno Whitaker using FastHTML