Reddit

Subscribe to Reddit feed
All things Linux and GNU/Linux -- this is neither a community exclusively about the kernel Linux, nor is exclusively about the GNU operating system.Linux, GNU/Linux, free software...
Updated: 34 min 25 sec ago

Enlightened

Mon, 2018-01-15 22:06

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"?

Mon, 2018-01-15 19:17

https://ts.data61.csiro.au/projects/TS/overallproof.pml

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]

[Discussion] Are you still optimistic about Desktop Linux?

Mon, 2018-01-15 18: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]

The Screenshots of Photoshop CC 2018 64bit on Linux

Mon, 2018-01-15 18:19

https://imgur.com/a/k0HI0

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]

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

Mon, 2018-01-15 17: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]

Might be a bias topic. When it comes to writing a simple script, what language do you prefer?

Mon, 2018-01-15 15:52

When I say simple, it still needs to be able to do api calls.

What's your poison? Python, Swift, Bash, Ruby...?

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

Progress on certbot's wildcard certificates

Mon, 2018-01-15 12:40

As it is stated on their site

Let’s Encrypt has announced wildcard support coming January 2018. Certbot plans to add support for wildcard certificates when Let’s Encrypt starts issuing them.

Has anyone more information on this one? This sounds like a really great feature :)

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

coreboot 4.7

Mon, 2018-01-15 12:36

digiKam 5.8.0 released

Mon, 2018-01-15 11:45

Pages