I don't like that, it's not good practice. One should give links to original sources, i.e. https://kernel.org as far as Linux is concerned. Even if git guarantees that the content is the same (if someone bothers to verify that the SHA-1 is the same and we exclude the possibility of a SHA-1 collision in git, which is yet to be demonstrated). kernel.org existed before github. - Source: Hacker News / 9 days ago

- Modern Operating Systems, 5th Edition by Andrew Tanenbaum (of MINIX fame) and Herbert Bos (https://www.pearson.com/en-us/subject-catalog/p/modern-operating-systems/P200000003295/9780137618880) is the latest edition of a solid graduate-level textbook on operating system concepts. It may also be beneficial studying the source code of existing operating systems. I recommend starting with smaller, simpler... - Source: Hacker News / 11 days ago

Those other flashy distros like mint and ubuntus are designed with rich people with very fresh machines in mind, they don't care if you have an AMDx4 or core2duo or even 32bit older machine. Even Mint and ubuntu people will tell you, if you have an old machine with little ram, use antiX. It still works very well with machines not even released yet, buy one in May 2024 and I "guaranty you" antiX will run fine. ... Source: 6 months ago

The memory_order_relaxed explanation on the kernel.org documentation heavily implies (never explicitly) that the direct memory load is implicit in the barrier(so by preventing it's reordering we are also forcing a LOAD from main), and that THIS specific barrier (relaxed) is what we NEED for these type of scenarios, so I am not entirely sure if a loadLoadFence() would prevent the hoisting... Maybe it will prevent... Source: 8 months ago

Are all versions of the kernel from kernel.org called mainline kernels or only 6.6-rc4 as shown in the picture? Source: 8 months ago

My teacher gave me a task to redirect Mikrotik.co.id to linux.org using DNS static. But I kept getting err_too_many_redirects. I am a newbie at networking stuff. Source: over 1 year ago

Hi, so I must redirect mikrotik.co.id to linux.org using DNS static. I already checked in CMD using the "dig" command that mikrotik.co.id already has linux.org DNS. But, If I browse mikrotik.co.id, I got err_too_many_redirects. Is this normal? Or do I need to use a web proxy for that? Thanks for your time. Source: over 1 year ago

Do check this solution out and tell me if it works. Source: almost 2 years ago

Linux.org can help you if you are lost. Source: about 2 years ago

I use Linux desktop as my workstation, whose keyboard layout is general jp. I had to connect to a Windows machine with Remmina, one of remote desktop clients, the other day. Additionally, I had to connect to CentOS servers via SSH, whose locale is "C", inside it. What happened then? I pushed : in my keyboard and ' appeared in the screen, for example. It made me puzzled, when using Vim, etc🤕 It seemed caused by... - Source: dev.to / over 3 years ago