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

Railways: A Cornerstone of Sustainability?

2025-09-17
Railways: A Cornerstone of Sustainability?

Two hundred years ago, the opening of the Stockton and Darlington Railway marked the birth of the modern railway. However, rail transport's share has declined in recent decades. This article explores the urgent need to revitalize rail transport, highlighting its potential to reduce carbon emissions, improve air quality, boost economic growth, and promote social equity. It calls for a reassessment of railway investment, using more comprehensive evaluation criteria, and emphasizes the importance of international collaboration to address climate change and achieve sustainable development goals.

Read more
(www.nature.com)
Tech

Verizon Merger Faces California Headwinds Over DEI Policies

2025-09-17
Verizon Merger Faces California Headwinds Over DEI Policies

Verizon's acquisition of Frontier Communications is facing a hurdle in California due to conflicting Diversity, Equity, and Inclusion (DEI) policies. To secure FCC approval, Verizon eliminated its DEI programs, a move now clashing with California law. The California Public Utilities Commission (CPUC) demands specifics on Verizon's compliance with state regulations regarding supplier diversity and employment reporting, in the absence of these programs. While Verizon has secured approvals from eight states, the FCC, and the DOJ, California's approval remains uncertain, potentially impacting Verizon's goal of statewide free internet access next year.

Read more
(arstechnica.com)
Tech DEI Policies

Consumer Reports Slams Microsoft's Windows 10 Update Deadline

2025-09-17
Consumer Reports Slams Microsoft's Windows 10 Update Deadline

Consumer Reports is urging Microsoft to extend the October 14th deadline for free Windows 10 security updates, arguing that millions of users with incompatible hardware will be left vulnerable. With approximately 46.2% of global users still on Windows 10 (August 2025 data) and an estimated 200-400 million PCs unable to upgrade to Windows 11, Consumer Reports calls Microsoft's policy hypocritical. They criticize the $30 fee for a one-year extension and the company's tactics of pushing users towards Microsoft products. Both Consumer Reports and a Public Interest Research Group (PIRG) are petitioning for extended free support to prevent millions of perfectly functional computers from being discarded.

Read more
(www.theverge.com)
Tech Security Updates

Fedora 43 Beta: A Sleek Upgrade with New Languages and Tools

2025-09-17
Fedora 43 Beta: A Sleek Upgrade with New Languages and Tools

Fedora 43 Beta is here, boasting improvements across the board. The installer gets a major overhaul with the Anaconda WebUI as the default, a switch to DNF5, and the removal of modular packages for a streamlined experience. Core development tools are updated, including GCC 15.2, glibc 2.42, and LLVM 21. Python 3.14, Go 1.25, Idris 2, and even the experimental Hare language are now supported. Database upgrades include PostgreSQL 18 and MySQL 8.4 as the default. GNOME moves entirely to Wayland, and font rendering is improved. Several deprecated components have been removed, paving the way for a cleaner, more modern Fedora experience.

Read more
(nerds.xyz)
Development

Ice's Shocking Secret: Bending Generates Electricity, Potentially Explaining Lightning

2025-09-17
Ice's Shocking Secret: Bending Generates Electricity, Potentially Explaining Lightning

A study published in Nature Physics reveals that ordinary ice is a flexoelectric material, generating electricity when bent. This discovery could revolutionize electronics and potentially explain the formation of lightning. Researchers found that ice produces electric charge in response to mechanical stress at all temperatures, with a ferroelectric layer on its surface at low temperatures. This offers two mechanisms for ice's electricity generation. This groundbreaking research puts ice on par with advanced electroceramics like titanium dioxide and paves the way for new electronic devices using ice as an active material.

Read more
(phys.org)
Tech ice flexoelectricity

Taliban Bans Fiber Optic Internet in Afghan Province to 'Prevent Immorality'

2025-09-17
Taliban Bans Fiber Optic Internet in Afghan Province to 'Prevent Immorality'

The Taliban leader in Afghanistan's Balkh province has banned fiber optic internet access, citing concerns about "immorality." The ban affects government offices, businesses, and homes, leaving them without Wi-Fi internet access, although mobile internet remains functional. A Balkh resident expressed worries about the impact on his business and others reliant on internet connectivity. The ban marks the first of its kind since the Taliban's takeover in 2021, raising concerns among residents about the implications and potential expansion to other provinces.

Read more
(apnews.com)
Tech Taliban Afghanistan Internet Ban

Building a Docker Container from Scratch: Unveiling the Secrets of Mount Namespaces

2025-09-17
Building a Docker Container from Scratch: Unveiling the Secrets of Mount Namespaces

This article provides a clear and concise explanation of how to build a simple Docker-like container using only stock Linux tools: unshare, mount, and pivot_root. It focuses on the crucial role of the mount namespace in container isolation, and the complementary roles of other namespaces (PID, cgroup, UTS, network). Through step-by-step practical exercises, readers will understand how mount namespaces isolate mount tables and how mount propagation affects interactions between namespaces. Ultimately, readers will be able to create fully featured, Docker-style containers using only standard Linux commands.

Read more
(labs.iximiuz.com)
Development Linux Namespaces

Leaked Video Reveals Meta's Celest AR Glasses: Lumus Waveguide Likely

2025-09-17
Leaked Video Reveals Meta's Celest AR Glasses: Lumus Waveguide Likely

Ahead of its official unveiling at Meta Connect on September 17th, a leaked video showcasing Meta's Celest AR glasses has surfaced. The video strongly suggests the use of a Lumus waveguide, corroborating previous reports of Meta utilizing a Lumus Z-Lens variant. Priced at an estimated $800, the glasses share similar waveguide technology with Rivet's military AR glasses. The author will be attending the MicroLED and AR/VR Connect conference in Eindhoven, Netherlands, from September 23-25, offering insights into this development.

Read more
(kguttag.com)
Tech Lumus Waveguide

Slow Social Media: A Critique and a Proposal

2025-09-17
Slow Social Media: A Critique and a Proposal

The author criticizes current social media platforms for being advertisement-driven content mills that prioritize engagement over genuine connection. They propose an alternative social media platform focused on fostering real relationships with friends and family. Key features include a limit on connections, a chronological feed with pagination, and a daily post limit. This design aims to combat addictive features and algorithm manipulation. While acknowledging the challenges of funding and adoption, the author expresses hope for a healthier social media experience.

Read more
(herman.bearblog.dev)
Misc

In Defense of C++: Still Relevant in 2025?

2025-09-17
In Defense of C++: Still Relevant in 2025?

This blog post refutes common criticisms of C++, arguing that its complexity is manageable, its age is irrelevant given continuous development (C++20, C++23), and its perceived unsafety is mitigated by modern tools and practices. The author contends that while a steep learning curve exists, the long-term benefits outweigh the initial challenges, particularly for systems programming and game development. Ultimately, the post emphasizes C++'s enduring relevance and widespread use in various applications, concluding that it remains a powerful and important language in 2025.

Read more
(dayvster.com)
Development

Normal-Order Direct-Style Beta-Evaluator with Syntax-Rules and Repeated call/cc

2025-09-17

This paper explores less-frequently mentioned applications of call/cc within hygienic Scheme macros, particularly its use in assisting tedious lambda-calculations. The author presents a normal-order direct-style beta-normalizer cleverly combining syntax-rules and repeated applications of call/cc, proving its correctness via CPS transformation and an ingenious direct-style lambda-calculator. The paper also delves into delimited continuations, showing how simple macros can implement various delimited continuation operators like prompt and control. A call/cc-based factorial function implementation and discussion of delimited continuations highlight the elegance and practicality of the approach.

Read more
(okmij.org)
Development

Murex: An Easy-to-Install Command-Line Tool

2025-09-17
Murex: An Easy-to-Install Command-Line Tool

Murex is a powerful command-line tool easily installed on various operating systems, including macOS, Arch Linux, and FreeBSD. Users can install it effortlessly through package managers like Homebrew, MacPorts, or the AUR. Comprehensive language tutorials and an interactive shell guide are available to help users get started quickly. A Rosetta Stone cheat sheet is also provided for those wanting to jump straight in.

Read more
(murex.rocks)
Development easy installation

The Demise of the 80x25 Text Console in Modern Linux

2025-09-17

The author encountered a frustrating issue: the classic 80x25 text console, a feature present in DOS, OS/2, FreeBSD, and Linux for over 40 years, is largely gone in modern Linux systems. This isn't simply a resolution problem; it involves UEFI booting, non-x86 platforms, and the shift to graphical rendering modes. Old solutions like the `vga=` parameter are ineffective, and newer attempts like using `kmscon` have significant issues. The author is resorting to finding an older PC, highlighting the declining compatibility between modern systems and legacy hardware.

Read more
(changelog.complete.org)
Development text console

ASUS ROG Laptop Firmware Bug: A 13ms CPU Core Hold-up

2025-09-17
ASUS ROG Laptop Firmware Bug: A 13ms CPU Core Hold-up

Many ASUS ROG gaming laptop owners experience system stuttering, audio crackling, and other performance issues. Conventional fixes fail because the root cause lies in a deep-seated ACPI bug within the BIOS firmware. A technical investigation reveals a firmware interrupt handler sleeping for 100 milliseconds, effectively blocking a CPU core. This periodically triggers attempts to power cycle the dedicated GPU, even in direct-connect mode, potentially leading to blue screen crashes. The bug stems from flawed firmware design, neglecting proper interrupt context handling and lacking platform awareness. Millions of ASUS gaming laptops are affected, with the manufacturer yet to respond.

Read more
(github.com)
Hardware Firmware Bug

Obsidian Plugin Bounty: Improve Notion Import

2025-09-17
Obsidian Plugin Bounty: Improve Notion Import

The Obsidian Importer plugin is seeking a developer to improve its Notion import functionality. Currently, import relies on HTML export, which is inefficient. A $5,000 bounty is offered for a solution within 30 days that uses the Notion API for progressive file download and adds support for converting Notion databases to Bases. Applicants must be familiar with the Importer codebase and the Notion API, and should detail their approach, especially addressing the differences between Databases and Bases and determining which Notion database elements (views, columns, groups, etc.) can be imported.

Read more
(github.com)
Development

Midnight Commander: A Powerful Dual-Pane File Manager

2025-09-17

GNU Midnight Commander (mc) is a powerful, free, open-source, dual-pane file manager with a text-based interface. It lets you copy, move, delete files and directories, search for files, and even execute commands in a built-in subshell. mc supports various text interface libraries, allowing it to run in various environments, including regular consoles, X Window terminals, and over SSH connections. The easiest way to install mc is through your system's package manager. Comprehensive documentation and context-sensitive help (F1) are available.

Read more
(midnight-commander.org)
Development

China's Space Surge: A Growing Threat to US Dominance

2025-09-17
China's Space Surge: A Growing Threat to US Dominance

A new report highlights China's rapid advancement in commercial and civil space activities, posing a significant threat to the United States. China is not only projected to land humans on the Moon before the US returns, but is also making strides across multiple spaceflight sectors, challenging America's leadership. Researchers note China's adoption of Western innovation models and its alarmingly fast progress. The report serves as a wake-up call, emphasizing sustained commitment, vigilance, and adaptability are crucial for the US to maintain its competitiveness.

Read more
(arstechnica.com)
Tech China space program space race technological competition

A Scavenging Trip: Low-Spec Planet Exploration Game Built with Rust

2025-09-17
A Scavenging Trip: Low-Spec Planet Exploration Game Built with Rust

A Scavenging Trip is a short, challenging simulation game where you explore an unknown planet, collect samples, and escape in time. Three missions are included, each with three difficulty levels. A speedrun takes 10-15 minutes, while a first playthrough might take 1-2 hours, especially on the hardest difficulty. There's no save feature; missions are unlocked and played without progression. Controls are minimal and rebindable (default WASDQE), with no mouse input needed. System requirements are incredibly low; any modern browser and a Pentium M processor or better will suffice. The game utilizes a custom software renderer and engine written in Rust, with the CPU handling all graphics calculations and the GPU only displaying the final image.

Read more
(totenarctanz.itch.io)
Game

Denmark's HPV Vaccination Program Nearly Eradicates Two Major Cancer-Causing Strains

2025-09-17
Denmark's HPV Vaccination Program Nearly Eradicates Two Major Cancer-Causing Strains

Research published in Eurosurveillance shows that Denmark has virtually eliminated infections with the two most prevalent cancer-causing strains of human papillomavirus (HPV) since the vaccine's introduction in 2008. Analysis of cervical cell samples from Danish women aged 22-30 (2017-2024) revealed that HPV16/18 infection rates in vaccinated women plummeted from 15-17% to less than 1%. This demonstrates not only individual protection but also herd immunity, reducing overall HPV16/18 circulation. However, roughly one-third of screened women still had infections with high-risk HPV types not covered by the initial vaccine. This is expected to decrease as women vaccinated with the newer nine-valent vaccine reach screening age, potentially prompting a review of cervical cancer screening guidelines.

Read more
(www.gavi.org)
Tech HPV vaccine cervical cancer herd immunity

Solving Hard Problems with Rust and Z3: A Constraint Solver Adventure

2025-09-16

This article demonstrates how to use the Z3 constraint solver in Rust to tackle various problems, from simple equations to complex Sudoku puzzles and page layout. The author shares their learning journey with Z3, explaining core concepts, usage, and Rust integration through practical examples. It covers solving equations, optimizing solutions (like the coin change problem), and even tackling a Sudoku puzzle. Limitations and advanced features like arrays, bit vectors, and sets are also discussed, guiding readers towards further exploration.

Read more
(asibahi.github.io)
Development Constraint Solver

25 Years in Open Source: A KDE Developer's Bitter Farewell

2025-09-16

A 25-year veteran of the open-source world recounts their journey with KDE. From early days with Linux and contributions to Ubuntu and Kubuntu, to spearheading KDE Neon, they witnessed both the triumphs and the harsh realities of open source. Ultimately, a clash of ideals led to their expulsion from the project, resulting in the loss of their job, friends, and family. This poignant account reflects on the commercialization of open-source communities and the crucial importance of worker rights.

Read more
(jriddell.org)
Development

Waymo Gets Green Light for Self-Driving Operations at SFO

2025-09-16
Waymo Gets Green Light for Self-Driving Operations at SFO

Waymo has received a pilot permit to operate commercially at San Francisco International Airport (SFO). Initially, pick-ups and drop-offs will be at SFO's Kiss & Fly area, with plans to expand to other airport locations. This marks a significant milestone for Waymo's Bay Area expansion, offering residents and visitors a new innovative transportation option and reflecting San Francisco's commitment to modern transportation.

Read more
(waymo.com)
Tech SFO

The MOS 6502: From Motorola Defection to Apple Glory

2025-09-16
The MOS 6502: From Motorola Defection to Apple Glory

This article recounts the legendary story of the MOS Technology MCS 6502 microprocessor, a ubiquitous chip of the late 1970s and early 1980s. Frustrated with Motorola's pricing of the 6800, engineers like Chuck Peddle and Bill Mensch defected to MOS Technology, designing and producing the 6502. Its low cost and high performance led to widespread adoption in 8-bit systems, culminating in its use in Apple computers, making it an iconic chip of the personal computer era. The article details the 6502's manufacturing process, from design to production, and how MOS Technology overcame technical and market challenges to achieve success.

Read more
(www.EmbeddedRelated.com)
Tech microprocessor

Russell Rejects Letter from Fascist Mosley

2025-09-16
Russell Rejects Letter from Fascist Mosley

In early 1962, the 89-year-old Bertrand Russell rejected a letter from Sir Oswald Mosley, founder of the British Union of Fascists. Russell's letter expresses his profound distaste for fascism, stating that Mosley's ideology is irreconcilable with his own worldview and that no fruitful dialogue could occur. He emphasizes this isn't rudeness, but stems from his deep-seated values concerning human experience and achievement. The letter showcases Russell's unwavering anti-fascist stance and moral integrity.

Read more
(lettersofnote.com)
Misc Bertrand Russell Fascism Historical Letter

iina Player Enhancements: Title Display and Pause Minimization

2025-09-16

This code snippet adds two handy features to the iina video player. First, it displays the video title in a large 48px font at the top of the video player during playback. Second, it minimizes the window when the video is paused and resumes playback when the window is restored, enhancing the user experience.

Read more
(iina.io)
Development

AI-Driven 3-Day Workweeks? CEOs Weigh In

2025-09-16
AI-Driven 3-Day Workweeks? CEOs Weigh In

Tech CEOs like Zoom's Eric Yuan, Microsoft's Bill Gates, and Nvidia's Jensen Huang foresee a future of significantly shorter workweeks, potentially as short as three or four days, driven by AI automation. While acknowledging job displacement in certain sectors, they emphasize AI's potential to boost productivity and create new roles managing AI systems and digital agents. This shift, comparable to the industrial revolution and the internet's rise, is expected to reshape the job market but ultimately improve overall well-being and efficiency.

Read more
(fortune.com)
Tech

Microsoft Favors Anthropic AI Models, Prioritizing Claude Sonnet 4 for GitHub Copilot

2025-09-16
Microsoft Favors Anthropic AI Models, Prioritizing Claude Sonnet 4 for GitHub Copilot

Microsoft is adding automatic AI model selection to Visual Studio Code, prioritizing optimal performance. GitHub Copilot free users will see automatic selection between models like Claude Sonnet 4, GPT-5, and GPT-5 mini, while paid users will primarily use Claude Sonnet 4. Internal documents reveal Microsoft is instructing developers to favor Claude Sonnet 4 and is making significant investments in its own AI model cluster. Furthermore, parts of Microsoft 365 Copilot will leverage Anthropic models. Despite a new deal with OpenAI, Microsoft's preference for Anthropic's AI signals a shift in its AI strategy.

Read more
(www.theverge.com)
Development

Google Launches Experimental Windows App: Alt+Space for Instant Search

2025-09-16
Google Launches Experimental Windows App: Alt+Space for Instant Search

Google has launched a new experimental Windows app in Labs designed for faster information retrieval. Pressing Alt+Space instantly searches computer files, installed apps, Google Drive, and the web without window switching. Built-in Google Lens lets you select and search anything on your screen, easily translating images, solving homework problems, and more. AI Mode provides deeper AI-powered responses with follow-up questions and links.

Read more
(blog.google)
Tech Search App

50 Things You Can Do With a Software Defined Radio

2025-09-16
50 Things You Can Do With a Software Defined Radio

This blog post documents a week-long adventure exploring the electromagnetic spectrum using a cheap Software Defined Radio (SDR) USB dongle and antenna kit. The author successfully completed 50 tasks, ranging from listening to FM radio and aircraft communications to receiving weather satellite images and even attempting to track weather balloons. The post details the author's experiences, challenges, and the sheer joy of discovery, showcasing the power of SDRs and the wealth of information hidden in the electromagnetic spectrum.

Read more
(blinry.org)
Tech Electromagnetic Spectrum
1 2 … 12 13 14 16 18 19 20 … 596 597