I'm curious, what does everyone think of Data61s "Whole-system assurance" project that aims for a "formal proof, holding at the source code level, of a system comprising over a million lines of code"?

Linux - Mon, 01/15/2018 - 13:17

Data61 is basically the organization that built seL4, which is a formally proven microkernal. I guess the aim of this project is to create a formally proven Linux kernal?

My impression is that, even if this works, it'd break most of Linux and require a massive amount of debugging for the other >1,000,000 lines of code.

submitted by /u/dfghjkfghjkghjk
[link] [comments]
Categories: Linux

Now Meltdown patches are making industrial control systems lurch

The Register - Mon, 01/15/2018 - 13:07
Automation and SCADA-flingers admit fix has affected products

Patches for the Meltdown vulnerability are causing stability issues in industrial control systems.…

Update w/video: It's amazing how much scrolling behavior influences the feel of a device

Android - Mon, 01/15/2018 - 13:02

It seems like most people didn't know what I was talking about with this original thread because it just turned into a thread about iPhones, Pixels, and browsers.

Here's a video as requested by a few people, showing what it actually does. Scrolling through a reddit app, the first time is the stock friction settings, second is pretty close to what I switched to, the third is an extreme example to give a better idea of what it affects.

submitted by /u/username2256
[link] [comments]

A complete and Simple NixOS Mailserver

Linux - Mon, 01/15/2018 - 12:41
Categories: Linux

[Question] How to Remove Directory (rmdir)

Command Line - Mon, 01/15/2018 - 12:36

Exercise 7: Remove Directory (rmdir) from Learning Python the Hard Way

This is my input. What am I doing wrong? Thanks for the help.

submitted by /u/JacobM00re
[link] [comments]

Secure Contexts Everywhere

Linux - Mon, 01/15/2018 - 12:35
Categories: Linux

Securing a Samsung 850 EVO SSD for surplus

I've got an old 500GB Samsung 850 EVO SSD that I'd like to surplus. I've seen a lot of conflicting information about securing used SSDs for sale, and I have what is probably a dumb question. The product data sheet says these drives support AES-256 self encryption. Samsung published a whitepaper on this series which is no longer available on their website, but I found an exerpt floating around which said

AES encryption is always active on an 840 or 840 Pro Series SSD. In order to benefit from the encryption feature, however, the user must enable an ATA password to limit access to the data. Failure to do so will render AES-encryption ineffective – akin to having a safe but leaving the door wide open.

Does this imply that the drives ship from the factory with an encryption key but no password, and that an ATA secure erase is sufficient to secure the drive to be surplussed even if we never set our own ATA password? hdparm reports

Security: Master password revision code = 65534 supported not enabled not locked not frozen not expired: security count supported: enhanced erase 2min for SECURITY ERASE UNIT. 8min for ENHANCED SECURITY ERASE UNIT.

"not enabled" suggests that's not true, but only 8 minutes for an enhanced security erased suggests it is true since that wouldn't be enough time to zero out the entire drive.
Anyone know the deal with these drives? Or does anyone have an up-to-date and reliable resource about securing SSDs for surplus?

submitted by /u/redhat_noob
[link] [comments]

[Discussion] Are you still optimistic about Desktop Linux?

Linux - Mon, 01/15/2018 - 12:28

It feels like Desktop Linux is losing the momentum and the interest it had years ago. Even Ubuntu seems to have lose interest in the desktop and moved on to servers and IOT. Linux will always do well on the server side of things but do you still feel it could bounce back and do well in the desktop market?

submitted by /u/oneUnit
[link] [comments]
Categories: Linux

The Screenshots of Photoshop CC 2018 64bit on Linux

Linux - Mon, 01/15/2018 - 12:19

SUSE Tumbleweed, Wine 3.0rc5, Wayland session. Working: all from left toolbar, filters, OpenGL, 3D and tons of other stuff. I just doesn't have time to test all features of this monster.

Gigantic thanks to Wine/Crossover developers: U guys ROCK!!

submitted by /u/paulcarroty007
[link] [comments]
Categories: Linux

Wait Until Device Is Unlocked?

Tasker: Total Automation for Android - Mon, 01/15/2018 - 12:05

So basically I have a profile that activates when it is a certain time, since I don't want to change the security to allow tasker to unlock the device so I need a way to use the Wait Until action to wait until the device is unlocked.

submitted by /u/KBTKOC
[link] [comments]

Super Micro crams 36 Samsung 'ruler' SSDs into dense superserver

The Register - Mon, 01/15/2018 - 12:05
Watch out Intel, there's a new mini-ruler in town

Analysis Super Micro has a supernaturally dense thin server with up to half a petabyte of flash using unannounced Samsung SSDs.…

PSA: If you have been missing incoming phone calls and alarms lately, it is because google changed the vibration strength/pattern for them on 8.1

Android - Mon, 01/15/2018 - 12:04

Ever since updating to 8.1, I've missed a bunch of alarms and phone calls on my pixel 1 due to weak vibrations. So weak to the point that u can have the phone on a table right next to your head and you can't hear it vibrate and barely feel it while holding the phone. The vibration is basically non existence in your pocket which totally defeats the purpose of it.

Contacted google support and was told that this is an intended update on 8.1 and likely will not be changed, but we can try to submit it as feedback.

Notification vibrations work perfectly fine as before nice and strong. This issue is only for incoming calls and alarms.

submitted by /u/YaoMingsMom
[link] [comments]

I need to buy a laptop today and get Linux installed on it, need some advice.

Linux - Mon, 01/15/2018 - 11:42

I was thinking about heading to bestbuy and grabbing a 400-500 dollar computer, getting a thumb drive, downloading linux onto that drive and then booting from that on the laptop.

I’ve never done this before and I’m wondering if there’s anything I’m not taking into account. Would also appreciate any advice on recommended comps or distros.

submitted by /u/logical_course
[link] [comments]
Categories: Linux