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

How to: Disk partitioning for Linux and Windows dual-booting

Finally, there is an Extended Partition for all the other Linux distributions I am trying out on this little netbook. The actual number installed varies depending on what I am doing. There are currently six different distributions installed there, and there is enough free space at the end to add one or two more if I want. The important thing here is that the Linux grub bootloader will boot either a Primary or a Logical Partition without requiring any unusual manipulation of boot files or partitions. Ok, that's enough - probably more than enough. I hope that what all of this showed was that installing Linux doesn't require complicated disk partitioning, it can actually be quite simple. Read more

antiX 16 "Berta Cáceres" Linux OS Arrives without systemd, Based on Debian 8.5

Today, June 27, 2016, just a few moments ago, the developers of the antiX GNU/Linux operating system have had the great pleasure of announcing the final release of the antiX 16 distribution. Read more

Q4OS 1.4.12 Distro Receives the Latest Debian GNU/Linux 8.5 "Jessie" Updates

The Q4OS team have informed Softpedia today, June 27, 2016, about the immediate availability for download of a new maintenance release in the stable "Orion" series of the Debian-based GNU/Linux operating system. Q4OS 1.4.12 "Orion" is now the latest and most advanced version of the distribution build around the Trinity desktop environment, and it has received all the important security patches and software updates from the upstream Debian GNU/Linux 8.5 "Jessie" repositories, along with a couple of other improvements requested by users. Read more

Linux 4.7 RC5

  • Linux 4.7-rc5 Kernel Released
    The fifth weekly test release to the Linux 4.7 kernel is now available for testing. As of writing this article, Linus Torvalds has yet to send out an official 4.7-rc5 announcement but it's available for those interested in the latest installment of the kernel that's codenamed the Psychotic Stoned Sheep.
  • Linus Torvalds Announces Linux Kernel 4.7 RC5, Things Are Calming Down
    Another Sunday, another Release Candidate build of the upcoming Linux 4.7 kernel is out for testing, as announced by Linus Torvalds himself a few hours ago, June 26, 2016.
  • Linux 4.7-rc5
    Another week, another -rc. Hmm. I think things are calming down, although with almost two thirds of the commits coming in since Friday morning, it doesn't feel that way - my Fridays end up feeling very busy. But looking at the numbers, we're pretty much where we normally are at this time of the rc series. The stats looks fairly normal: about half the patch is drivers, roughly a quarter is architecture updates, and the remainder is "misc": filesystems, scheduler, mm, etc. The bulk of the drivers is GPU updates, but there's a smattering of rdma, hwmon, Xen, gpio, sound. The architecture side is powerpc, x86, some arm64, and some noise all over from some MM cleanups.. Go out and test. By -rc5, we really should be starting to be getting fairly ready. And please, if Thorsten Leemhuis is tracking one of your regressions, can you make sure to double-check it and see if it remains? It's lovely to have a regression tracker again, but it would also be really good to make sure that the ones that are solved get closed. Linus