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

Symbian: The Forgotten Million-Device OS Source Code is Now Open Source

2025-07-17
Symbian: The Forgotten Million-Device OS Source Code is Now Open Source

The once-popular Symbian operating system's source code is now open-source on GitHub. Despite Nokia's massive investment and multiple UI iterations, Symbian ultimately failed to compete with Android and iOS. This article explores Symbian's rise and fall, its current neglected state, and the possibility of porting it to ARM devices like the Raspberry Pi. Symbian's open source nature offers developers a chance to learn, explore, and potentially spark new applications and innovation.

Read more
(www.theregister.com)
Development

F-Stack: A High-Performance Open-Source Network Framework Based on DPDK

2025-08-30

The rapid advancement of Network Interface Cards (NICs) has exposed the performance bottleneck of Linux kernel data packet processing. To meet the internet's demand for high-performance network processing, kernel bypass technologies like DPDK, NETMAP, and PF_RING have gained prominence. F-Stack is a high-performance open-source network framework built on DPDK. It utilizes the Linux kernel only for control flow, processing all data streams in user space. This avoids performance bottlenecks caused by kernel packet copying, thread scheduling, system calls, and interrupts. F-Stack includes a user-space TCP/IP stack (based on FreeBSD 11.0 stable), POSIX APIs (Socket, Epoll, Kqueue), a programming SDK (Coroutine), and interfaces for applications like Nginx and Redis, aiming for superior network processing performance.

Read more
(www.f-stack.org)
Development Kernel Bypass

Rocky Linux 10 Released: Divergence Widens Among RHEL Alternatives

2025-06-14
Rocky Linux 10 Released: Divergence Widens Among RHEL Alternatives

Rocky Linux 10, "Red Quartz," has reached general availability, adding RISC-V support but dropping older Raspberry Pi models. Compared to AlmaLinux 10 and RHEL 10, released earlier this year, subtle differences emerge in both hardware and software. Most notably, RHEL 10 and Rocky Linux 10 require x86-64-v3 CPUs, while AlmaLinux 10 uniquely supports x86-64-v2. Furthermore, RHEL 10's AI assistant, "Lightspeed," is absent from Rocky Linux 10. While functionally similar, Rocky Linux 10 is subtly diverging from its RHEL alternatives in hardware compatibility, AI features, and commercial support, carving its own niche in the market.

Read more
(www.theregister.com)
Development

Figma: Collaboration Tool or Creativity Killer?

2025-07-07
Figma: Collaboration Tool or Creativity Killer?

This article reflects on Figma's evolution over a decade, shifting from initial praise for its innovation to concerns about its over-engineered approach. The author argues that features like Auto Layout and Dev Mode, while boosting efficiency, stifle designers' freedom and creativity in the early exploration phases, leading to design homogenization. The author urges designers to be wary of this shift, advocating for flexibility in the design process, prioritizing early exploration and experimentation over premature structure and consistency.

Read more
(designsystems.international)
Design design tools

Singularity Theorems Proven in Non-Smooth Spacetimes

2025-07-19
Singularity Theorems Proven in Non-Smooth Spacetimes

Mathematicians have long sought to prove singularity theorems in general relativity, such as Hawking's singularity theorem, but these theorems rely on the assumption of smooth spacetime. Recently, researchers cleverly used a 'triangle comparison method' and 'optimal transport theory' to prove special cases of these singularity theorems in non-smooth spacetimes, even extending to more general spacetime models. This breakthrough not only strengthens the mathematical foundation of the Big Bang singularity theory but also provides new mathematical tools for quantum gravity research, paving the way for unifying general relativity and quantum physics.

Read more
(www.quantamagazine.org)
Tech singularity theorems non-smooth spacetime

MLB Tests Automated Ball-Strike System: Robot Umpires on the Horizon?

2025-02-23
MLB Tests Automated Ball-Strike System: Robot Umpires on the Horizon?

Major League Baseball (MLB) is testing an Automated Ball-Strike System (ABS) during spring training exhibition games after four years of minor league trials. The system uses cameras to track pitches and determine if they're in the strike zone, relaying the call to the umpire via earbud, who then signals to players and fans. A challenge system is in place, allowing each team two challenges per game. ABS is installed in 13 spring training ballparks, with roughly 60% of games slated for testing. Hawk-Eye technology is used, but the strike zone is a rectangle as defined by the rulebook, not the oval shape used by human umpires. Tests show slight increases in strikeouts and walks with ABS. MLB plans to refine broadcast displays and gather player feedback via the ProTABS app, aiming for potential integration as early as 2026 to assist, not replace, human umpires.

Read more
(apnews.com)
Tech baseball

Breaking the Constraint System: Solving Dynamic Media Challenges

2025-04-18
Breaking the Constraint System: Solving Dynamic Media Challenges

In phase two, the team successfully overcame challenges like "floatiness," "blow-ups," and poor performance in constraint systems. Techniques employed included propagating knowns, leveraging linear relationships to reduce solver variable dimensions, and clustering constraints into independently solvable clusters. These significantly improved the system's stability and performance. The team experimented with various solvers and optimized the system further by changing the way values were represented (e.g., using polar coordinates). These improvements enabled the construction of physically accurate mechanical structures and true bidirectional computation, laying a solid foundation for building dynamic media.

Read more
(www.inkandswitch.com)
Development constraint system dynamic media numerical computation

Insanely Difficult Color Puzzle Game

2025-09-21

This puzzle game, called 'Color Game', boasts an insane difficulty level. Players must click on numbers to change the color of cells, aiming to have at least one green cell in each row. The game cleverly uses positive and negative numbers and incorporates a warning system that highlights rows at risk. The hardest difficulty, however, is truly punishing, warning the player of entirely red rows, testing strategy and patience to the limit.

Read more
(www.cril.univ-artois.fr)
Game color game

Scottish Police Face Data Sovereignty Showdown with Microsoft

2025-08-29

Scottish police are grappling with significant data security and sovereignty challenges in their adoption of Microsoft Office 365. Microsoft's refusal to disclose data processing locations and methods, citing "commercial confidentiality," prevents the police from meeting the stringent data transfer restrictions of the UK's 2018 Data Protection Act. This raises concerns about data potentially being processed in countries lacking adequate data protection, including China and India, and highlights the risks of relying on cloud services without sovereign cloud capabilities. While aware of the risks, the police are constrained by the UK National Enabling Programme and existing contracts with Microsoft, making a swift change of supplier difficult.

Read more
(www.computerweekly.com)
Tech

5 Years at Vercel: Lessons Learned from an Ex-VP

2025-07-11
5 Years at Vercel: Lessons Learned from an Ex-VP

After five years at Vercel, a former VP shares five key lessons learned during the company's rapid growth from 30 to 650 employees. These include the importance of balancing intense work with personal life, pushing for faster progress without being abrasive, scaling the team effectively, avoiding 'swoop and poop' decision-making, and the value of changing one's mind when presented with new information. The author reflects on challenges faced and how to build a thriving culture, offering valuable insights for aspiring leaders and entrepreneurs.

Read more
(leerob.com)
Startup

Municipal vs. Airport Fire Trucks: A Tale of Two Trucks

2025-04-10
Municipal vs. Airport Fire Trucks: A Tale of Two Trucks

While both municipal and airport fire trucks (ARFF) fight fires, their roles and capabilities differ significantly. Municipal trucks prioritize maneuverability in urban environments, carrying varying water tank sizes (500-1000 gallons) and equipment like hoses, air packs, and small tools. ARFF vehicles, however, are designed for rapid response (within 3 minutes) at airports, boasting larger water tanks (1500-4500 gallons) and a High Reach Extendable Turret (HRET) for tackling aircraft fires. They also carry a wider range of fire suppressants and have stricter acceleration requirements. Differences extend to chassis design and cab configurations, tailored to each environment's unique demands.

Read more
(www.piercemfg.com)
Misc fire truck airport firefighting municipal firefighting

arXivLabs: Experimenting with Community Collaboration

2025-05-31
arXivLabs: Experimenting with Community Collaboration

arXivLabs is a framework enabling collaborators to develop and share new arXiv features directly on the website. Individuals and organizations involved embrace arXiv's values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only partners with those who share them. Got an idea for a project that will benefit the arXiv community? Learn more about arXivLabs.

Read more
(arxiv.org)
Development

Texas Mega-Data Center to Run on Nuclear Power?

2025-08-05
Texas Mega-Data Center to Run on Nuclear Power?

Facing AI's insatiable energy demands, Fermi America is planning a massive advanced energy campus in Texas, featuring up to six gigawatts of nuclear power deployed by Hyundai. The project aims to power data centers by 2032, with the first reactor slated to begin construction next year. While ambitious, the project faces significant cost and risk, as similar ventures have experienced massive overruns and supplier bankruptcies (Westinghouse). Besides nuclear, the campus will include gas, solar, and battery storage. Fermi America is already building initial gas generation capacity, targeting one gigawatt by late 2026. This isn't the first nuclear-powered data center proposal; other companies like Amazon, Microsoft, and Oracle are also exploring similar initiatives.

Read more
(www.theregister.com)
Tech

Windows RDP Flaw: Old Passwords Grant Permanent Access

2025-05-01
Windows RDP Flaw: Old Passwords Grant Permanent Access

A shocking Windows security vulnerability allows old passwords to grant indefinite access via RDP, even after being changed on a Microsoft or Azure account. Windows caches credentials locally, meaning even if online verification fails, old passwords still work. This creates a 'silent remote backdoor,' allowing attackers to access systems even after account compromise, bypassing MFA and Conditional Access. Experts urge immediate action to address this critical flaw.

Read more
(arstechnica.com)
Tech Windows security RDP vulnerability credential caching

VW's Self-Driving ID. Buzz Robotaxi Hits Production

2025-06-23
VW's Self-Driving ID. Buzz Robotaxi Hits Production

Volkswagen's MOIA subsidiary has begun mass production of its autonomous ID. Buzz electric van. Equipped with a sophisticated sensor suite achieving SAE Level 4 autonomy, the vehicle will launch in Hamburg, Germany, and expand to the US in partnership with Uber. Unlike Tesla and Waymo's offerings, the ID. Buzz prioritizes practicality and passenger capacity, targeting public transport and airport shuttle services.

Read more
(www.jalopnik.com)
Tech

Graphical Debugging of the Hilbert Curve: A Visual Programming Journey

2025-05-22

The author advocates for a minimalist programming style and uses Lua and LÖVE to graphically debug a recursive function for computing the Hilbert curve. Through iterative visualization improvements, including a text log, replay log, surface drawing, and an 'exploding view' drawing, the author clarifies the algorithm's complexities. The process culminates in a sophisticated debugging UI, offering valuable insights and reusable patterns for future debugging tasks.

Read more
(akkartik.name)
Development graphical debugging

Hugging Face Scientist Doubts AI's Ability to Drive Scientific Discovery

2025-06-25
Hugging Face Scientist Doubts AI's Ability to Drive Scientific Discovery

Thomas Wolf, chief scientist at Hugging Face, casts doubt on the ability of current AI systems to make the groundbreaking scientific discoveries some leading labs anticipate. While large language models (LLMs) excel at answering questions, Wolf argues they struggle with the more challenging task of formulating truly original questions—the crux of scientific progress. He uses the game of Go as an analogy: mastering the rules is impressive, but inventing the game itself is a far greater feat. Similarly, he believes current AI models, acting as 'yes-men on servers,' lack the capacity to challenge existing assumptions and pose truly novel scientific questions.

Read more
(fortune.com)
AI Scientific Discovery

Running Linux Containers on Apple Silicon: Introducing Containerization

2025-06-09
Running Linux Containers on Apple Silicon: Introducing Containerization

Containerization is a Swift-based project enabling Linux container usage on Apple Silicon. Leveraging virtualization, it offers comprehensive APIs for managing OCI images, interacting with remote registries, creating filesystems, configuring networking, managing lightweight VMs, and running containerized processes. A miniature init system, vminitd, manages in-VM processes. Building requires an Apple Silicon Mac, macOS 15+, and Xcode 26 Beta+. An optimized Linux kernel configuration ensures fast boot times. Version 0.1.0 is released, with community contributions welcomed.

Read more
(github.com)
Development

Robot Chefs Take Over South Korean Highway Rest Stop: Efficiency vs. Human Cost

2025-05-14
Robot Chefs Take Over South Korean Highway Rest Stop: Efficiency vs. Human Cost

A South Korean highway rest stop has replaced human chefs with robots, boosting efficiency to 150 meals per hour. However, this automation has led to job losses and anxieties among former human chefs, who report lower food quality and customer dissatisfaction. While the robots ease workload, the shift has caused some staff to quit, highlighting the challenges of automation in the service industry: balancing increased efficiency with worker rights and preventing mass unemployment. The situation underscores the need for retraining programs and government support during this technological transition.

Read more
(restofworld.org)
Tech

Schizophrenia's Evolutionary Enigma: The Cliff Edge Fitness Model

2025-06-29
Schizophrenia's Evolutionary Enigma: The Cliff Edge Fitness Model

The genetic basis and high prevalence of schizophrenia have long been a puzzle in evolutionary biology. Traditional theories struggle to explain its persistence. This post introduces the "cliff edge fitness model," which proposes that certain cognitive and social traits enhance fitness up to a threshold, beyond which they lead to severe disorders like schizophrenia. This model explains the observation of both positive and negative selection on schizophrenia-related genes and predicts a complex relationship between polygenic risk scores and reproductive success. Research suggests that while schizophrenia itself is detrimental, its associated genes may have conferred other benefits during evolution, such as enhanced cognitive abilities. The model highlights that evolution optimizes for gene transmission, not individual health, explaining why some diseases persist with high heritability and prevalence.

Read more
(www.psychiatrymargins.com)
AI evolutionary medicine schizophrenia cliff edge model

Go Runtime: Proposal for OS-Free Execution

2025-05-07
Go Runtime: Proposal for OS-Free Execution

This proposal suggests adding a new GOOS target (e.g., GOOS=none) to the Go runtime, enabling Go programs to execute under application-defined exit functions instead of relying on arbitrary OS syscalls. This allows freestanding execution without direct OS support, a capability already implemented in the TamaGo project. The proposal advocates for upstream inclusion. Go applications built with GOOS=none would run on bare metal; all necessary support comes from the Go runtime and external Go driver packages. Key functions like CPU initialization, hardware initialization, standard output, random number generation, and system time retrieval must be defined. This significantly expands Go's applicability to environments like embedded systems, virtual machines, and UEFI.

Read more
(github.com)
Development Go language bare-metal execution

AI Color Palette Generator - Browse, Edit, Visualize and Generate Unique Palettes

2024-03-20

Artificial Intelligence (AI) is revolutionizing the way we design with colors. Using AI algorithms, AIColors.co helps designers create color palettes that evoke desired emotions, enhance user experience, and align with brand identities. The website offers a user-friendly interface where designers can input keywords or images to generate unique color combinations. With a database of millions of colors and various customization options, AIColors.co empowers designers to explore and refine their color choices. Additionally, the website provides resources and tutorials on color theory and AI-driven design, making it a valuable tool for both novice and experienced designers.

Read more
(aicolors.co)
39
未分类

Firefox Nightly Integrates Microsoft Copilot, New Tab Page Widgets Arrive

2025-09-07
Firefox Nightly Integrates Microsoft Copilot, New Tab Page Widgets Arrive

Mozilla has integrated Microsoft's Copilot chatbot into Firefox Nightly, alongside new tab page widgets. Copilot joins existing chatbots like ChatGPT and Claude, but with usage limitations. Mozilla is also aggressively pushing third-party chatbot webpage summarization features and has updated the new tab page with task and timer widgets, aiming to enrich its functionality. However, this raises concerns about information overload and user experience.

Read more
(www.omgubuntu.co.uk)
Development

Open Source Software Supply Chain Security: A Half-Century of Challenges

2025-09-21

From the 1974 Honeywell Multics system security review highlighting concerns about 'backdoors' to the 2024 XZ attack targeting Debian systems, open source software supply chain security remains a persistent problem. This article explores the complexity of the issue, extending beyond simple dependency graphs to encompass all stages of software building and distribution, including human factors. It proposes solutions such as software authentication, reproducible builds, rapid vulnerability detection and patching, and the use of safer programming languages. Crucially, it emphasizes the importance of funding open source development, as underfunding makes projects vulnerable to malicious takeover. The XZ attack serves as a stark warning: seemingly innocuous 'free help' can conceal significant risks.

Read more
(cacm.acm.org)
Development XZ attack

Psilocybin Shows Promise in Treating Depression and Anxiety in Cancer Patients

2025-07-18

A double-blind, crossover trial investigated the effects of psilocybin, a classic hallucinogen, on 51 cancer patients experiencing life-threatening diagnoses and symptoms of depression and/or anxiety. High-dose psilocybin significantly reduced clinician- and self-rated depression and anxiety, improving quality of life, life meaning, and optimism while decreasing death anxiety. These positive effects were sustained at the 6-month follow-up, with approximately 80% of participants showing clinically significant improvements. The study highlights the mediating role of mystical-type psilocybin experiences in achieving therapeutic outcomes.

Read more
(pmc.ncbi.nlm.nih.gov)
AI hallucinogen

Bitcoin Address Collision Hunting: A Distributed Computing Project

2025-04-05

This is a distributed computing project aimed at finding a collision in Bitcoin addresses. By exploiting the properties of the RIPEMD160 hash function, the project attempts to find different private keys that result in the same Bitcoin address. The project cleverly partitions the search space, assigning it to different clients for parallel computation, and uses a Bloom filter to efficiently check if generated hashes match known addresses with funds. Focusing only on addresses with funds significantly reduces the search space and increases the probability of finding a collision, while simultaneously incentivizing rightful owners to reclaim their funds.

Read more
(lbc.cryptoguru.org)
Tech Hash Collision Distributed Computing

AI Coding Tools: Productivity Killers?

2025-07-13
AI Coding Tools: Productivity Killers?

A randomized controlled trial involving 16 experienced developers revealed that AI coding tools, contrary to expectations, decreased software development speed by 19%. The study attributed this slowdown to factors such as over-optimism about AI's usefulness, high developer familiarity with the codebase, the complexity of large repositories, and low AI reliability. While AI tools can expedite testing and automate tasks, the need for manual code validation and the lack of learning capabilities negate overall time savings. The researchers emphasize that these findings don't dismiss the future potential of AI tools but highlight the current limitations.

Read more
(www.theregister.com)
Development

Microsoft's AI Gamble: Can Mustafa Suleyman Turn Things Around?

2025-04-25
Microsoft's AI Gamble: Can Mustafa Suleyman Turn Things Around?

Microsoft spent $650 million acquiring the core team of Inflection AI, hoping to leverage the expertise of its founder, Mustafa Suleyman, to boost its AI capabilities and particularly reverse the lackluster user growth of Copilot. However, Suleyman's arrival has not been smooth sailing. Internal team integration difficulties, strained relationships with OpenAI, and the vast disparity in user numbers between Copilot and ChatGPT all pose challenges for Microsoft. The article explores Microsoft's strategic dilemmas in the AI field and whether Suleyman can ultimately deliver a successful consumer AI product.

Read more
(www.newcomer.co)
Tech

Breakthrough in High-Energy Density Materials: Novel Nitrogen Allotropes

2025-08-04
Breakthrough in High-Energy Density Materials: Novel Nitrogen Allotropes

Recent years have witnessed remarkable progress in polynitrogen chemistry. Researchers have synthesized various novel nitrogen molecular structures, such as hexazine rings and caged nitrogen molecules, using high pressure and other methods. These molecules possess extremely high energy densities, promising to become next-generation high-energy materials. However, the synthesis and stability of polynitrogen compounds remain significant challenges, with factors such as quantum tunneling effects profoundly influencing their properties. This research not only expands our understanding of nitrogen but also opens new avenues for developing novel high-energy materials.

Read more
(www.nature.com)
Tech high-energy materials quantum chemistry
1 2 … 117 118 119 121 123 124 125 … 596 597