1.- 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_
2.- 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
3.- 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
4.- 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.
5.- 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
6.- 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
7.- 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
8.- 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
9.- 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
10.- 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
If you liked this article, subscribe to the feed by clicking the image below to keep informed about new contents of the blog:
0 comments:
Post a Comment