today's leftovers
-
Linux based Boss to replace Microsoft’s Windows as OS for Indian Government
Whether be it the countless attacks by Chinese hackers on key government websites or be it Snowden reports, it has exposed the vulnerabilities in the cyberspace. The Government of India has decided to go its own way and has decided to create its own operating system (OS) and replace all other OSs. This could be a major set-back to the most popular Microsoft Windows, that has so far dominated the operating systems market in India.
-
Podcast Season 3 Episode 16
-
Suckless
-
Yawls: Let Your Webcam Adjust Your Laptop Screen Brightness in Ubuntu/Linux Mint
-
Storix® System Backup Administrator Announces Support for Linux Distributions Optimized for IBM POWER8
-
Install Microsoft Office 2010 using PlayOnLinux On Ubuntu 15.04
-
How to Watch Netflix Natively on Linux – the Easy Way
-
How to Use Conspy to View and Control Remote Linux Virtual Consoles in Real Time
-
How to Compile and Install Linux Kernel v4.2 Source On a Debian / Ubuntu Linux
-
Adventure RPG 'Last Word' Now Available On Steam For Linux
The game has been ported to Linux by Jonas Ancurio Kulla, who is best known for his ports of To the Moon and Always Sometimes Monsters and for mkxp, which is an open source implementation of the scripting interface used by the latest generations of the RPG Maker engine. Last Word also uses Ryan C. Gordon's newly released open source framework SteamShim for Steamworks integration.
-
Exploring Tiling Window Managers
If you have a low-resource computer, one with a small screen like some laptops, or are even someone just looking for something different to try, a tiling window manager could be a good option. They’re not for everybody, but then they’re not just for command-line commandos either.
-
September 26: SystemSettings and KCMs bug triaging day!
-
3 Brand New Plasma 5 Themes by half-left
I don't even remember the last time when I used KDE. The versions after KDE 3.x were not really my cup of tea. But when Sean mailed me some of his new works, I just had to try KDE one more time. Sean (half-left) is a renowned designer and customization guru who for years have been producing some of the greatest themes and artwork for Linux desktop. And as always, his latest creations are just as good as ever. 3 gorgeous Plasma 5 themes folks.
-
Reproducible builds: week 21 in Stretch cycle
-
The Incredible Proof Machine
Unfortunately, I don’t think one can get high school students without any prior knowledge in logic, or programming, or fancy mathematical symbols, to do something meaningful with a system like Isabelle, so I need something that is (much) easier to use. I always had this idea in the back of my head that proving is not so much about writing text (as in “normally written” proofs) or programs (as in Agda) or labeled statements (as in Hilbert-style proofs), but rather something involving facts that I have proven so far floating around freely, and way to combine these facts to new facts, without the need to name them, or put them in a particular order or sequence. In a way, I’m looking for labVIEW wrestled through the Curry-Horward-isomorphism. Something like this:
-
RcppEigen 0.3.2.5.1
-
jfontmaps release 20150923.0
-
Linaro VLANd v0.4
VLANd is Free Software, released under the GPL version 2 (or any later version).
-
With 3 months of automatic decrufting in unstable
-
Open Source Privacy: Tails OS Issues Security Fixes and New Release
- Login or register to post comments
- Printer-friendly version
- 1493 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