Popular：
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

Reflect: A Hardware AI Assistant Built on ESP32S3

2025-08-19
Reflect: A Hardware AI Assistant Built on ESP32S3

Reflect is a hardware AI assistant built during an OpenAI hackathon. It's based on an Espressif chip and designed for natural interaction using sound, light, and color—no screen needed. Users connect via their phone; Reflect has no local state, with all information stored on the phone. Features include reflecting on yesterday's events, preparing for tomorrow, playing music while studying and answering quick questions, and location-aware behavior. Designed for easy modification and expansion, it aims for low cost and wide accessibility.

Read more
(github.com)
Hardware

macOS Tahoe Beta Bids Farewell to the Old Hard Drive Icon

2025-08-06
macOS Tahoe Beta Bids Farewell to the Old Hard Drive Icon

Apple's latest macOS 26 Tahoe developer beta brings a complete overhaul of system disk icons, marking the end of the era for the iconic old hard drive icon. The new design reflects modern SSDs and extends to applications like Disk Utility and installers. While functionally minor, the change symbolizes Apple's complete departure from the traditional HDD era, prompting a touch of nostalgia.

Read more
(arstechnica.com)
Tech

Against Custom Lisp REPLs: Embrace Native REPLs and Practical Tools

2025-08-20

The author lambasts custom Lisp REPLs (like CIEL), arguing they sacrifice the power and customizability of native REPLs, such as REPL-native commands, implementation debuggers, and the ability to customize using implementation APIs. The article details enhancing native REPLs with tools like the Trivial Toplevel library and rlwrap, covering custom prompts, commands, reader macros, and dependency management with ASDF. The author advocates using native REPLs coupled with practical tools for a highly efficient and personalized Lisp development environment, rather than relying on "batteries-included" custom REPLs.

Read more
(aartaka.me)
Development

Moving Objects in 3D Space with Math

2025-08-20
Moving Objects in 3D Space with Math

This article explores moving objects in 3D space, specifically along a spherical helix path. Starting with simple circular motion, the author explains how sine and cosine functions can control an object's x, y, and z coordinates to create spirals and more complex trajectories. The core concept is using parametric equations, defining the object's 3D position as a function of time. What appears as complex dynamic effects are ultimately derived from simple mathematical functions.

Read more
(visualrambling.space)
Development 3D graphics

The Delight of Visual Rhyme: How Patterns in Art Create Pleasure

2025-08-21
The Delight of Visual Rhyme: How Patterns in Art Create Pleasure

This article explores how the interplay of repetition and variation in art creates aesthetic pleasure. Using Gustave Caillebotte's "Paris Street; Rainy Day" as a prime example, the author analyzes the repetition and subtle variations of geometric shapes like triangles and rectangles, and how these patterns trigger visual satisfaction in the brain. The article further examines Lee Friedlander's photograph "Albuquerque, New Mexico," and works by Roni Horn and Ormond Gigli, arguing that the "same-but-different" repetition patterns in various art forms generate visual rhyme, leading to aesthetic enjoyment for the viewer.

Read more
(thereader.mitpress.mit.edu)
Design

Budapest's Hidden Wonder: A Massive Geothermal Cave System

2025-08-22
Budapest's Hidden Wonder: A Massive Geothermal Cave System

Beneath the bustling streets of Budapest, Hungary, lies a hidden marvel: a vast underwater cave system heated by geothermal springs. The Molnár János Cave, stretching for over 3.6 miles and plunging nearly 300 feet below the surface, is one of the world's largest active thermal water caves, accessible only to certified cave divers. Hidden behind an unassuming entrance, the cave reveals a breathtaking world of spacious chambers, gentle currents, and stunning mineral formations. Divers navigate through crystal-clear water, encountering remnants of the ancient Pannonian Sea and contributing to ongoing scientific research exploring the cave's secrets and its still-growing network of passages.

Read more
(www.cnn.com)
Misc cave diving geothermal

Safely Using snprintf: Avoid Buffer Overflows

2025-08-19
Safely Using snprintf: Avoid Buffer Overflows

This article highlights a lesser-known feature of the `snprintf` function: its ability to determine the required buffer size before formatting, thus preventing buffer overflows. By calling `snprintf` twice – once with `NULL` and 0 to get the size, and again with a properly allocated buffer – the need for manual buffer size calculations is eliminated. The author also recommends a lightweight header-only library for easier usage.

Read more
(bernsteinbear.com)
Development buffer overflow

Critical Cache Poisoning Vulnerability in Dnsmasq: Single Character Attack

2025-08-19

Researchers from Tsinghua University and Nankai University discovered a critical cache poisoning vulnerability (SHAR attack) in the Dnsmasq DNS software. Attackers can inject malicious DNS records by using a single special character, bypassing Dnsmasq's defenses. This vulnerability exploits the silent handling of queries containing special characters by some upstream recursive resolvers, creating a large attack window for brute-forcing TxID and source port. The success rate is 100%, affecting all Dnsmasq versions. Mitigation includes detecting silent upstream resolvers and implementing rate limiting and spoof detection.

Read more
(lists.thekelleys.org.uk)
Tech cache poisoning

SimpleIDE: Bringing Professional VB.NET Development to Linux

2025-08-21
SimpleIDE: Bringing Professional VB.NET Development to Linux

SimpleIDE is a lightweight, professional VB.NET IDE built with GTK# 3 on Linux using .NET 8.0. It provides a modern development environment for VB.NET projects, featuring multi-file tabbed editing, syntax highlighting, intelligent code completion, an integrated build system, debugging capabilities, and Claude AI assistance. SimpleIDE also boasts Git integration, customizable themes, and extensive keyboard shortcuts. This open-source project welcomes contributions.

Read more
(github.com)
Development

Kolmogorov-Arnold Networks: A More Scientific Neural Network?

2025-08-22

This blog post explores the philosophical differences between Kolmogorov-Arnold Networks (KANs) and Multi-Layer Perceptrons (MLPs). While acknowledging their equal expressive power, the author argues that differences emerge in optimization, generalization, and interpretability. KANs align more with reductionism, while MLPs lean towards holism. The author suggests that KANs might be better suited for modeling scientific phenomena, given science's reliance on reductionist approaches, citing the example of compiling symbolic formulas. However, the importance of empirical experiments is stressed, acknowledging potential weaknesses of KANs in non-scientific tasks.

Read more
(kindxiaoming.github.io)
AI reductionism

Windows 11 September Update: Copilot Enhancements, Customizable Lock Screen Widgets

2025-08-21
Windows 11 September Update: Copilot Enhancements, Customizable Lock Screen Widgets

Microsoft is preparing a major feature drop for Windows 11 users in September. The update includes Copilot enhancements like improved Recall and Click To Do, alongside improvements for all users such as enhanced Windows Search (images displayed in a grid view), customizable lock screen widgets, and a redesigned Windows Hello interface. Additionally, the taskbar calendar flyout will once again display seconds, and Task Manager has been updated. Copilot+ PC users will get a new Recall landing page and a new Click To Do tutorial. Future updates include a more customizable Start menu and improved system-wide dark mode.

Read more
(www.windowscentral.com)
Tech

AgentGuard: Real-time Budget Protection for AI Agents

2025-07-31
AgentGuard: Real-time Budget Protection for AI Agents

Developers often face the problem of AI models unexpectedly consuming massive API calls, leading to high costs. AgentGuard is a real-time budgeting tool that, with just two lines of code, lets you set a cost limit for your AI projects. When the cost reaches the limit, AgentGuard automatically stops the process, preventing further expenses and providing a detailed report to help you save money. It supports various AI APIs, including OpenAI and Anthropic, and offers multiple protection modes, such as throwing errors, issuing warnings, or forcefully terminating the process. AgentGuard is the only tool that actually prevents runaway AI costs in real time.

Read more
(github.com)
Development AI cost control API call monitoring

UK's Age-Verification Loophole: VPNs Enable Minors to Bypass Porn Filters

2025-08-19
UK's Age-Verification Loophole: VPNs Enable Minors to Bypass Porn Filters

England's children's commissioner is urging the government to address a significant loophole in its new online safety regulations: the use of VPNs by minors to circumvent age restrictions. A recent report reveals a concerning number of young people accessing pornography before age 18, despite the implementation of mandatory age checks for commercial porn sites. The surge in VPN usage post-regulation highlights the ineffectiveness of current measures. While the government claims no plans to ban VPNs, it intends to collaborate with providers to implement robust age verification, potentially impacting the privacy and security of legitimate users, including schools relying on VPNs for secure access to internal systems. This move represents a significant challenge in balancing child safety with online freedoms.

Read more
(www.theregister.com)
Tech

Non-Destructive Unrolling of Ancient Scroll via AI-Assisted X-ray Tomography

2025-08-19
Non-Destructive Unrolling of Ancient Scroll via AI-Assisted X-ray Tomography

German scientists used 3D X-ray tomography and AI to virtually 'unroll' a delicate antique Buddhist scroll crafted by Mongolian nomads, preserving its fragile state. The centuries-old scroll, tightly wound within silk pouches, revealed its contents—a Tibetan Buddhist mantra written in Sanskrit script—without physical manipulation. The analysis also unexpectedly uncovered metal particles in the ink. While labor-intensive, this technique offers invaluable opportunities for studying otherwise inaccessible artifacts.

Read more
(www.popsci.com)
Tech X-ray tomography

SUMO: Build Your Virtual Traffic World

2025-07-31
SUMO: Build Your Virtual Traffic World

SUMO is an open-source microscopic traffic simulation software that lets you build and simulate complex traffic systems. It supports features like automated driving integration, C2X communication, traffic management, and multimodal traffic simulation. Import road networks from various formats and generate realistic traffic demands. Whether researching traffic efficiency or testing autonomous driving algorithms, SUMO offers powerful simulation capabilities and runs on Windows, Linux, and macOS.

Read more
(eclipse.dev)
Tech traffic simulation

Ship Faster, Better: Parallel AI-Assisted Development with Claude Code

2025-08-20
Ship Faster, Better: Parallel AI-Assisted Development with Claude Code

Claude Code PM revolutionizes software development by combining spec-driven development, GitHub Issues, Git worktrees, and multiple parallel AI agents. It tackles common team collaboration woes: context switching, merge conflicts, requirements drift, and invisible progress. The system transforms PRDs into epics, epics into GitHub issues, and issues into production code with full traceability. Multiple Claude instances work concurrently, enabling true team collaboration and seamless human-AI handoffs. The result? Increased speed, fewer bugs, and a dramatically improved workflow.

Read more
(github.com)
Development GitHub collaboration parallel development

Anime Catgirls and the Linux Kernel: A Cost Analysis of an Anti-Crawler Mechanism

2025-08-21

Recently, more websites are using Anubis, an anti-crawler system that uses a mining-like process to verify visitor identity, requiring users to perform SHA-256 operations to gain access. The author questions the effectiveness of Anubis because it's trivial for AI crawlers with powerful computing capabilities but inconvenient for ordinary users. Through calculations, the author finds that even with tens of thousands of websites deploying Anubis, the cost of cracking its verification mechanism is virtually zero. The author finally provides a simple C program to bypass Anubis's restrictions and points out a vulnerability in the Anubis system.

Read more
(lock.cmpxchg8b.com)
Tech

Formalizing Fermat's Last Theorem in Lean: A Collaborative Open Source Project

2025-08-21

An international collaboration led by Kevin Buzzard is undertaking the ambitious task of formally proving Fermat's Last Theorem using the Lean theorem prover. Funded by the UK's Engineering and Physical Sciences Research Council and hosted at Imperial College London, this project pushes the boundaries of mathematical proof verification. By using a computer to verify the proof, the project explores the potential of formalization and automated verification in mathematics, with implications for future research.

Read more
(imperialcollegelondon.github.io)
Development Lean theorem prover

Your ChatGPT Chats Might Be Indexable by Search Engines

2025-08-18
Your ChatGPT Chats Might Be Indexable by Search Engines

Recently, OpenAI ChatGPT users were shocked to find their search queries appearing in Google search results. OpenAI had disclosed this possibility, but most users overlooked it. More concerning, a court order compels OpenAI to retain all user conversation data, including deleted content, due to an ongoing copyright lawsuit. Google's Gemini AI also has a memory function, recording user chats by default. The article warns users to be cautious with AI chatbots, avoiding sensitive information, as all mainstream AI chatbots record user conversations by default.

Read more
(www.theregister.com)
AI

OpenMower: A DIY Smart Mowing Robot That Challenges the Status Quo

2025-08-19
OpenMower: A DIY Smart Mowing Robot That Challenges the Status Quo

Tired of robotic lawn mowers that randomly bump around? Clemens Elflein, a software engineer with experience in embedded programming and robotics, has launched the OpenMower project: a DIY smart mowing robot designed to be smarter, safer, and more affordable. Based on a modified YardForce Classic 500, it leverages the quality hardware and utilizes ROS for autonomous navigation, obstacle avoidance (currently under development), and rain detection. The project boasts basic mowing functionality with automatic recharging, and encourages community involvement through detailed documentation and a Discord server for support. Tech enthusiasts are welcome to join and contribute!

Read more
(github.com)
Hardware

Portable Air Cleaners: Hype vs. Reality

2025-08-21
Portable Air Cleaners: Hype vs. Reality

A review of nearly 700 studies reveals that many portable air cleaners marketed to curb indoor infection spread lack human testing to support their efficacy claims. Most studies tested device performance in unoccupied spaces, neglecting the impact on human infection rates and potential harmful byproducts. Technologies like photocatalytic oxidation and plasma-based methods show promise in clearing microbes from the air, but lack human trial data to confirm their effectiveness in preventing infections. Researchers call for rigorous testing of both efficacy and safety to protect consumers and public health.

Read more
(theconversation.com)
Tech air purifiers tech safety

Guile-Swayer: Scripting Sway/i3 with Guile

2025-08-19
Guile-Swayer: Scripting Sway/i3 with Guile

Tired of Sway/i3's configuration limitations? The Guile-Swayer project offers a powerful solution, allowing you to fully control the Sway/i3 window manager using the Guile scripting language. Developed after migrating from StumpWM to Wayland, this project replicates StumpWM's flexibility and customization. Guile-Swayer lets you bind keys to execute Guile code, subscribe to Sway events and react to them, retrieve Sway information, and more. It includes modules like workspace-grid for grid-based workspaces, workspace-groups for cross-monitor workspace grouping, and which-key for Emacs-like keybinding hints. With Guile-Swayer, create a highly personalized and efficient window management environment.

Read more
(github.com)
Development

Beancount Ledger Reconciliation with Vim Macros: A Hacker's Tale

2025-08-19

A seasoned Vim user tackles the challenge of managing personal finances with Beancount, a text-based ledger system. Facing a mess of CSV and PDF bank statements and numerous uncategorized internal transfers, the author ingeniously leverages Vim macros to automate the reconciliation process. The article details the macro creation process, highlighting problem-solving and showcasing impressive Vim skills. Through creative use of Vim, the author transforms chaotic financial data into a clear and efficient Beancount ledger, dramatically improving productivity.

Read more
(tangled.sh)
Development

Microbial Minimalism: A Newly Discovered Archaeon Challenges the Definition of Life

2025-08-20
Microbial Minimalism: A Newly Discovered Archaeon Challenges the Definition of Life

Scientists have discovered Sukunaarchaeum mirabile, an archaeon with one of the smallest genomes on Earth. Surprisingly, this organism is almost entirely dependent on its host for survival, lacking genes for essential metabolic functions. This discovery challenges fundamental understandings of life and suggests a new archaeal lineage. The researchers believe many more such life-defying microbes may exist within the 'microbial dark matter', further highlighting the vast unknowns in the microbial world.

Read more
(nautil.us)
Tech life definition

Positron: The Next-Gen Open Source IDE for Data Science

2025-08-19
Positron: The Next-Gen Open Source IDE for Data Science

Posit PBC has launched Positron, a free, next-generation Integrated Development Environment (IDE) for data science. It seamlessly integrates data exploration and production workflows, supporting both Python and R equally. Key features include interactive notebooks, plotting tools, integrated data app workflows, and a built-in AI assistant. Built on Code OSS, Positron supports VSIX extensions for enhanced customization.

Read more
(posit.co)
Development

Masimo Sues US Customs to Block Apple's Restored Blood Oxygen Feature on Apple Watch

2025-08-21
Masimo Sues US Customs to Block Apple's Restored Blood Oxygen Feature on Apple Watch

Following a patent infringement lawsuit by Masimo, Apple's blood oxygen feature on the Apple Watch was initially banned. While Apple disabled the feature via software, it recently re-enabled it, calling it a "redesigned" feature. Masimo now alleges that US Customs and Border Protection (CBP) overstepped its authority and violated due process by allowing Apple to restore the functionality. The lawsuit seeks to prevent CBP's decision and reinstate the original ban. The central issue is whether CBP violated due process and whether Apple's 'redesigned' feature still constitutes patent infringement.

Read more
(9to5mac.com)
Tech Patent Lawsuit

Learning GPU Architecture Through Memory Bandwidth Microbenchmarks

2025-08-21
Learning GPU Architecture Through Memory Bandwidth Microbenchmarks

Traverse Research delved deep into GPU architecture by measuring memory bandwidth across various GPUs using custom microbenchmarks. The article explores the complexities of GPU memory access, including descriptors, buffer types (byte address, structured, typed), and texture units. It also covers GPU memory hierarchy, cache policies (write-through, write-back, write-around), and latency hiding techniques. Experiments revealed significant differences in cache and VRAM bandwidth across architectures: the Meta Quest 3's Adreno 740 showed a dramatic bandwidth improvement using textures; the AMD Radeon RX 9070 XT exhibited differences between floating-point and integer loads; the Intel Arc B580 displayed unique patterns with varying data types; and the NVIDIA GeForce RTX 5070 Ti experienced bottlenecks with many writes to the same small memory area. These findings offer insights for optimizing GPU software performance, particularly in hardware-specific projects.

Read more
(www.evolvebenchmark.com)
Tech Memory Bandwidth Microbenchmark

Apple Fitness VP Accused of Toxic Workplace Culture

2025-08-22
Apple Fitness VP Accused of Toxic Workplace Culture

Jay Blahnik, Apple's VP of Fitness Technologies, is facing accusations of fostering a toxic work environment. Multiple current and former employees allege verbal abuse, manipulation, and inappropriate behavior, leading over ten employees to take extended medical or mental health leaves since 2022. Despite an internal investigation, Blahnik remains employed and faces multiple lawsuits, including one alleging sexual harassment. The situation raises concerns about Apple's corporate culture.

Read more
(macdailynews.com)
Tech

Zedless: A Privacy-Friendly, Local-First Fork of Zed

2025-08-21
Zedless: A Privacy-Friendly, Local-First Fork of Zed

Zedless is a work-in-progress fork of Zed designed to prioritize privacy and local-first principles. It removes reliance on proprietary cloud services, telemetry, and automatic crash reporting. It emphasizes bring-your-own-infrastructure, allowing users to configure providers for network services (with no defaults and disabled by default). Importantly, it avoids contributor license agreements and ensures proper licensing for all third-party dependencies.

Read more
(github.com)
Development
1 2 … 29 30 31 33 35 36 37 … 565 566