Slashdot Mirror

← Back to Domains

Domain: tum.de

Stories and comments across the archive that link to tum.de.

Stories · 3

  1. Full-Size Remote Control Cars

    Tech · Transportation · · posted by Soulskill · from the no-mr-bond-i-expect-you-to-die dept. · 91 comments
    cylonlover writes "Thanks to efforts of groups such as Google, Oxford University, BMW and Continental, we're getting closer and closer to the advent of autonomous cars – vehicles that drive themselves, with the human 'driver' pretty much just along as a passenger. Researchers at Germany's Technische Universität München, however, are looking at taking things a step further. They're developing remote-control cars that could travel along city streets with no one in them at all, their operator located somewhere far away."

  2. DragonFly 2.4 Released

    Bsd · Bsd · · posted by kdawson · from the four-wings dept. · 73 comments
    electrostaticcarrot writes "DragonFly — that fourth major BSD — has had its 2.4 release. The 'most invasive change' is the addition and usage of a DevFS for /dev; building on this, drives are now also recognized by serial number (along with /etc/devtab for aliases) as listed in /dev/serno. This is also the first release with a x86-64 ISO, stable but with limited pkgsrc support. Other larger changes include a ported and feature-extended (with full hotplug and port multiplier support) AHCI driver (and SILI driver based on it) originally taken from OpenBSD, major NFS changes, and HAMMER updates. A pkgsrc GIT mirror has also been set up and put in use to make future pkgsrc updates quicker and smoother. Here are two of the mirrors."

  3. Towards a Wiki For Formally Verified Mathematics

    Science · Math · · posted by kdawson · from the preparing-the-ground-for-our-robot-overlords dept. · 299 comments
    An anonymous reader writes "Cameron Freer, an instructor in pure mathematics at MIT, is working on an intriguing project called vdash.org (video from O'Reilly Ignite Boston 4): a math wiki which only allows true theorems to be added! Based on Isabelle, a free-software theorem prover, the wiki will state all of known mathematics in a machine-readable language and verify all theorems for correctness, thus providing a knowledge base for interactive proof assistants. In addition to its benefits for education and research, such a project could reveal undiscovered connections between fields of mathematics, thus advancing some fields with no further work being necessary."