today's leftovers
-
Linux Kernel Plagued by an EXT4 Data Corruption Issue, Patch Available
-
Dagstuhl Seminar: Compositional Verification Methods for Next-Generation Concurrency
Some time ago, I figured out that there are more than a billion instances of the Linux kernel in use, and this in turn led to the realization that a million-year RCU bug is happening about three times a day across the installed base. This realization has caused me to focus more heavily on RCU validation, which has uncovered a number of interesting bugs. I have also dabbled a bit in formal verification, which has not yet found a bug. However, formal verification might be getting there, and might some day be a useful addition to RCU's regression testing. I was therefore quite happy to be invited to this Dagstuhl Seminar. In what follows, I summarize a few of the presentation. See here for the rest of the presentations.
-
Which Chromebook is worth buying?
Chromebooks have become extremely popular, with numerous models appearing on Amazon's list of bestselling laptops. Customers are so interested in Chromebooks that Amazon has added a helpful Chromebook Buying Guide to steer them toward the model that might be right for them.
-
OpenStack Services Released by IBM as Rivals Support Open Source
-
IBM Rolls Out OpenStack Services
-
OpenStack Launches Vendor Certification, Federated Identity Support From Over 30 Cloud Providers
-
OpenStack Launches Certification Program And Identity Management To Ensure Interoperability
-
Ubuntu Metered, Cloud-Style Storage Pricing Rolled Out
-
The Meizu X4 is the first compelling Ubuntu phone
We’ve been hearing about Meizu’s forthcoming Ubuntu-powered smartphone since early 2014—more than a year ago. Well, all those words just became tangible, and they’ve coalesced into the first compelling-looking Ubuntu phone.
The Ubuntu MX4 is now out and can be purchased from Meizu’s website in China. Meizu’s Ubuntu phone follows in the footsteps of the Bq Aquaris, which is now on sale across Europe. The second Ubuntu smartphone will also be on sale in Europe soon.
-
Nexenta and Leading Open Source User Community Collaborate in Showcasing Open Source-driven Software-Defined Storage Solutions at OpenZFS European User Conference
-
The OpenStack Foundation Rolls Out a Community App Catalog
A foundation can do a lot to unite a community--just look at the example set by The Linux Foundation. This week, the OpenStack Foundation has rolled out a community application catalog built to facilitate collaboration and sharing on the OpenStack scene, where many IT administrators are wrestling with deploying the open cloud platform. The concept is to encourage administrators and others to leverage the work that has already been produced in OpenStack deployments.
-
MapR Reacts to Gartner Findings on Hadoop Implementation
Researchers at Gartner have been in the news for throwing some shade on Hadoop with the results of a new study that found that Hadoop is, well, hard. There are just not enough skilled professionals that can claim mastery of the platform, among other issues. Gartner, Inc.'s 2015 Hadoop Adoption Study, involving 284 Gartner Research Circle members, found that only 125 respondents who completed the whole survey had already invested in Hadoop or had plans to do so within the next two years.
-
Free, Open Source & Feature Rich: An Overview of DotCMS
dotCMS has claimed a desirable chunk of the enterprise market by landing and working alongside large clients such as Standard & Poor’s, Wiley Publishing, Thomson Reuters Foundation and Hospital Corporation of America. As such, it’s reputation as an enterprise solution is growing fast.
-
21 open hardware enthusiasts to follow on Twitter
-
Node.js and io.js to merge under Node.js Foundation
The merger was put to a vote on GitHub by io.js developer Mikeal Rogers, who initially proposed the merger in February, and the io.js technical committee voted to approve the merger yesterday. According to Rogers, the team will continue releasing io.js versions while the convergence takes place, but after the merger is complete, the io.js working groups and technical committee will join the Node.js Foundation under renamed titles.
-
Code.org and College Board Team Reach Out for Talented High School Coders
The goals of the program are to provide high-quality computer science instruction at the high school level and to identify potentially talented computer students who are in demographics underserved by the IT industry, such as women and ethnic minorities.
- Login or register to post comments
- Printer-friendly version
- 1641 reads
- PDF version
More in Tux Machines
- Highlights
- Front Page
- Latest Headlines
- Archive
- Recent comments
- All-Time Popular Stories
- Hot Topics
- New Members
digiKam 7.7.0 is releasedAfter three months of active maintenance and another bug triage, the digiKam team is proud to present version 7.7.0 of its open source digital photo manager. See below the list of most important features coming with this release. |
Dilution and Misuse of the "Linux" Brand
|
Samsung, Red Hat to Work on Linux Drivers for Future TechThe metaverse is expected to uproot system design as we know it, and Samsung is one of many hardware vendors re-imagining data center infrastructure in preparation for a parallel 3D world. Samsung is working on new memory technologies that provide faster bandwidth inside hardware for data to travel between CPUs, storage and other computing resources. The company also announced it was partnering with Red Hat to ensure these technologies have Linux compatibility. |
today's howtos
|
Recent comments
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago