today's howtos

• Best practices for Java and IBM WebSphere Application Server (WAS) on IBM POWER9

• Verifying local definitions in Coq

• SSH client configuration tricks

• Angle Grinder - Tool to Format and Parse Log Files in Linux

• 3 Command Line Tools to Install Local Debian (.DEB) Packages

• How To Update/Install Oracle Kernel Critical Security Updates Without Rebooting

Android Leftovers

• PUBG Mobile UPDATE: Delayed iOS patch live as fans report Android account issue

• Google launching Android chat service to replace SMS

• Android Auto users can now access full contact list

• SwiftKey for Android gets support for new languages, some bug fixes

University students create award-winning open source projects

In my short time working for Clarkson University, I've realized what a huge impact this small university is making on the open source world. Our 4,300 student-strong science and technology-focused institution, located just south of the Canadian border in Potsdam, New York, hosts the Clarkson Open Source Institute (COSI), dedicated to promoting open source software and providing equipment and support for student projects. While many universities offer opportunities for students to get involved in open source projects, it's rare to have an entire institute dedicated to promoting open source development. COSI is part of Clarkson's Applied Computer Science Labs within the computer science department. It, along with the Internet Teaching Lab and the Virtual Reality Lab, is run by students (supported by faculty advisers), allowing them to gain experience in managing both facilities and projects while still undergraduates.

Linux 4.17-rc2

So rc2 is out, and things look fairly normal. The diff looks a bit unusual, with the tools subdirectory dominating, with 30%+ of the whole diff. Mostly perf and test scripts. But if you ignore that, the rest looks fairly usual. Arch updates (s390 and x86 dominate) and drivers (networking, gpu, HID, mmc, misc) are the bulk of it, with misc other changes all over (filesystems, core kernel, networking, docs). We've still got some known fallout from the merge window, but it shouldn't affect most normal configurations, so go out and test. Linus Also: Upstream Linux support for new NXP i.MX8