June 2014: 10 Most Popular Posts from Ubuntuland & The Dream Valley.

1.- Ladr4 is a library for use in constructing theorem provers.

Ladr4 is a library for use in constructing theorem provers.

Ladr (library for automated deduction research) is a library for use in constructing theorem provers.   Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses.   Ladr is used by the prover9 theorem prover, and by the mace4 countermodel generator.   Download. Ubuntu 13.04 “Raring Ringtail”: [ladr_

Read More ... »

 

2.- Ubuntu-Med is the Ubuntu customization for medical environments.

Ubuntu-Med is the Ubuntu customization for medical environments.

Ubuntu-Med is a project to incorporate several servers useful to medical practitioners into a single customized (K)Ubuntu-based operating system.   The Filesystem Archive or LiveCD can be installed or used as a demo (after some additional personalized customization). To go directly to the Sourceforge page click here.   Note: Any device (including software) used for diagnosis or treatment

Read More ... »

 

3.- Ubuntu 14.04 “Trusty Tahr”: Tips and Troubleshooting.

Ubuntu 14.04 “Trusty Tahr”: Tips and Troubleshooting.

1.- Run Command. You can run any application in your path using the Run Command. Use Alt+F2.   2.- Turn off Hot Keys. This is the most evil option on any operating system, in my opinion. A mis-stroke enables any number of random events. Unfortunately, this problem is pervasive in operating systems and is difficult to turn off.   Menu -> System -> Administration-> Advanced -> Input Actions

Read More ... »

 

4.- Top 10 blog posts for May 2014 from Linux & The Planet Games.

Top 10 blog posts for May 2014 from Linux & The Planet Games.

1.- Babaliba is a video-adventure with fast movements and frenetic action. Babaliba is a Sinclair ZX Spectrum computer game programmed by Víctor Ruiz, founder of Dinamic, one of the great software companies of Spanish software "golden age", in 1985. It is part of the trilogy started with Saimazoom, followed by Babaliba and ended with the amazing Abu Simbel Profanation, starring Johnnie Jones.

Read More ... »

 

5.- Announcing Ubuntu Dual Boot with enhanced upgrades and more!

Announcing Ubuntu Dual Boot with enhanced upgrades and more!

We’re thrilled to announce a new release of Ubuntu Dual boot, now supporting enhanced Ubuntu upgrades either from the Android or Ubuntu side.   The new Ubuntu Dualboot release, codenamed M9, enables developers to run both Ubuntu and Android on a single device and is packed with new features that make it the power tool to use for those doing development in both platforms.   For developers only

Read More ... »

 

6.- Install Easystroke Mouse Gesture Recognition On Ubuntu.

Install Easystroke Mouse Gesture Recognition On Ubuntu.

Easystroke is a gesture-recognition application for X11. Gestures or strokes are movements that you make with you mouse (or your pen, finger etc.) while holding down a specific mouse button.   Easystroke will execute certain actions if it recognizes the stroke; currently easystroke can emulate key presses, execute shell commands, hold down modifiers and emulate a scroll wheel.   The program

Read More ... »

 

7.- March 2014: 10 Most Popular Posts from Ubuntuland & The Dream Valley.

March 2014: 10 Most Popular Posts from Ubuntuland & The Dream Valley.

1.- Ubuntu 14.04 “Trusty Tahr” & Derivatives Released. Canonical has announced that its third Long Term Support (LTS) cloud release, Ubuntu 14.04, will be available from 17 April. Ubuntu 14.04 LTS will run on all major public cloud services and works with service providers including AWS, Azure, HP Cloud, Joyent, and IBM SoftLayer and SmartCloud. The vendor said the update includes new versions

Read More ... »

 

8.- Ubuntu 14.04 “Trusty Tahr” & Derivatives Released.

Ubuntu 14.04 “Trusty Tahr” & Derivatives Released.

Canonical has announced that its third Long Term Support (LTS) cloud release, Ubuntu 14.04, will be available from 17 April. Ubuntu 14.04 LTS will run on all major public cloud services and works with service providers including AWS, Azure, HP Cloud, Joyent, and IBM SoftLayer and SmartCloud. The vendor said the update includes new versions of Juju and MAAS to "design, deploy and scale services

Read More ... »

 

9.- Genymotion a good Android emulator for Linux.

Genymotion a good Android emulator for Linux.

The emulator can be found at genymotion.com. I should preface this post by stating that I have only used the Genymotion emulator for around twenty minutes, but it has already impressed me to the point where I would consider using as my main app testing device (I currently use a hardware device). I have a few problems with the official Android emulator: Hard to enable x86 emulation on Linux

Read More ... »

 

10.- CaRMetal propose a different approach from the graphical interface point of view.

CaRMetal propose a different approach from the graphical interface point of view.

Compass and Ruler (C.a.R.) is a dynamic geometry software developed by Rene Grothmann since 1989. You can find here an history of C.a.R. in the author's wiki. You'll find a lot of informations about this software on the official site of C.a.R. Rene Grothmann, mathematic's teacher at the catholic university of Eichstätt (Germany), made for his software powerful and reliable algorithms to manage

Read More ... »

If you liked this article, subscribe to the feed by clicking the image below to keep informed about new contents of the blog:

rss_trappola

Share on Google Plus

About Hugo Repetto

    Blogger Comment
    Facebook Comment

0 comments:

Post a Comment

Gadget

This content is not yet available over encrypted connections.

My Favorites