Language Selection

English French German Italian Portuguese Spanish

Not the Gentoo Weekly Newsletter, Part 5

Filed under
Gentoo

Learning buzzwords: Turing-complete

There are times when you need some big words to impress people. Proactively embiggen your reputation, leveraging intellectual stimuli to cause synergetic paradigm shifts. That kind of big words. So here's a good one for all discussions about computer programming and programming languages:

Turing-complete

But we need to give you some context so you know when to use it and when it's not appropriate. So let's start with Turing. That's just the family name of Alan Turing, a british mathematician who committed suicide because he was gay and the secret service was unable to employ such perverted people (what a dark age that was ...). He was also involved in code cracking in the second World War and one of the early pioneers of digital computing. But because he was a maths guy he tried to model computers abstracly so he could deduce what they can effectively compute.

So as a thought experiment he abstracted a computing device to be a tape to store things, a read/write head that can move along the tape and some internal state of the machinery that decides what to do next. So for example the abstract turing machine would read a "1" from the tape, look in its state and then decide to write a "0" there and move one field to the left. Keep in mind that no such machine really exists, it's just a mental model for discussing computability. Also you may notice an interesting abstraction: Wether the machine reads a "1" or a "red flower" symbol is equivalent. Numbers are symbols, and symbols are numbers. Mmmmh ...

More Here




More in Tux Machines

KDevelop 5.0.0 release

Almost two years after the release of KDevelop 4.7, we are happy to announce the immediate availability of KDevelop 5.0. KDevelop is an integrated development environment focusing on support of the C++, Python, PHP and JavaScript/QML programming languages. Many important changes and refactorings were done for version 5.0, ensuring that KDevelop remains maintainable and easy to extend and improve over the next years. Highlights include much improved new C/C++ language support, as well as polishing for Python, PHP and QML/JS. Read more

CoreOS 1068.10.0 Released with Many systemd Fixes, Still Using Linux Kernel 4.6

Today, August 23, 2016, the development team behind the CoreOS security-oriented GNU/Linux operating system have released the CoreOS 1068.10.0 stable update, along with new ISO images for all supported platforms. Read more

SUSE Linux and openSUSE Leap to Offer Better Support for ARM Systems Using EFI

The YaST development team at openSUSE and SUSE is reporting on the latest improvements that should be available in the upcoming openSUSE Leap 42.2 and SUSE Linux Enterprise 12 Service Pack 2 operating systems. Read more

Create modular server-side Java apps direct from mvn modules with diet4j instead of an app server

In the latest release, the diet4j module framework for Java has learned to run modular Java apps using the Apache jsvc daemon (best known from running Tomcat on many Linux distros). If org.example.mydaemon is your top Maven project, all you do is specify it as the root module for your jsvc invocation, and diet4j figures out the dependencies when jsvc starts. An example systemd.service file is available.