Long Live the Web: A Call for Continued Open Standards and Neutrality
The Web is critical not merely to the digital revolution but to our continued prosperity—and even our liberty. Like democracy itself, it needs defending
By Tim Berners-Lee
This application supports the core Python 2.5 language, with no module imports or file I/O. It's meant to be used as a platform for creating programming tutorials, not for actually running or debugging production code.
Internet accessible voting system with authentication support for polls, petitions, public letters, initiatives and referendums. The application written in Java and for functioning it needs only Java Applicaton Server (right now tested only on Tomcat).
Wubi is an officially supported Ubuntu installer for Windows users that can bring you to the Linux world with a single click. Wubi allows you to install and uninstall Ubuntu as any other Windows application, in a simple and safe way. Are you curious about Linux and Ubuntu? Trying them out has never been easier!
Python for Software Design is a concise introduction to software design using the Python programming language. Intended for people with no programming experience, this book starts with the most basic concepts and gradually adds new material. Some of the ideas students find most challenging, like recursion and object-oriented programming, are divided into a sequence of smaller steps and introduced over the course of several chapters.
The focus is on the programming process, with special emphasis on debugging. The book includes a wide range of exercises, from short examples to substantial projects, so that students have ample opportunity to practice each new concept.
MeeGo is an open source, Linux project which brings together the Moblin project, headed up by Intel, and Maemo, by Nokia, into a single open source activity. MeeGo integrates the experience and skills of two significant development ecosystems, versed in communications and computing technologies. The MeeGo project believes these two pillars form the technical foundations for next generation platforms and usages in the mobile and device platforms space.
Ohloh is a free public directory of open source software and people.
Ohloh is a wiki, and anyone is welcome to join our community and add new projects to our directory, or to make corrections to existing directory pages. This public review makes Ohloh one of the largest, most accurate, and up-to-date software directories available.
Ohloh is not a forge -- we do not host open source projects in the traditional sense. Ohloh is a directory, a community, and an analytics service. We use the data from our directory to create historical reports about the changing demographics of the open source world.
PlanetMath is a virtual community which aims to help make mathematical knowledge more accessible. PlanetMath's content is created collaboratively: the main feature is the mathematics encyclopedia with entries written and reviewed by members. The entries are contributed under the terms of the Creative Commons By/Share-Alike License in order to preserve the rights of authors, readers and other content creators in a sensible way.
PlanetMath entries are written in LaTeX, the lingua franca of the worldwide mathematics community. All of the entries are automatically cross-referenced with each other, and the entire corpus is kept updated in real-time.
Boot your machine with a GNU/Linux OS (such as Debian, Knoppix, Redhat, and so on), run 'lspci -n' and paste the output into the box below, then press 'Check' button.
This service covers free, full text, quality controlled scientific and scholarly journals. We aim to cover all subjects and languages. There are now 4507 journals in the directory. Currently 1747 journals are searchable at article level. As of today 333176 articles are included in the DOAJ service.
EPrints is the most flexible platform for building high quality, high value repositories, recognised as the easiest and fastest way to set up repositories of research literature, scientific data, student theses, project reports, multimedia artefacts, teaching materials, scholarly collections, digitised records, exhibitions and performances.
The Mizar project started around 1973 as an attempt to reconstruct mathematical vernacular in a computer-oriented environment.
Since 1989, the most important activity in the Mizar project, apart from continual improvement of the Mizar System, has been the development of a database for mathematics. International cooperation (the main partners: Shinshu University in Nagano and University of Alberta in Edmonton) resulted in creating a database which includes more than 7000 definitions of mathematical concepts and more than 40000 theorems (see Merak MML Browsing for more statistics).
No major systems language has emerged in over a decade, but over that time the computing landscape has changed tremendously. There are several trends:
* Computers are enormously quicker but software development is not faster.
* Dependency management is a big part of software development today but the “header files” of languages in the C tradition are antithetical to clean dependency analysis—and fast compilation.
* There is a growing rebellion against cumbersome type systems like those of Java and C++, pushing people towards dynamically typed languages such as Python and JavaScript.
* Some fundamental concepts such as garbage collection and parallel computation are not well supported by popular systems languages.
* The emergence of multicore computers has generated worry and confusion.
We believe it's worth trying again with a new language, a concurrent, garbage-collected language with fast compilation. Regarding the points above:
* It is possible to compile a large Go program in a few seconds on a single computer.
* Go provides a model for software construction that makes dependency analysis easy and avoids much of the overhead of C-style include files and libraries.
* Go's type system has no hierarchy, so no time is spent defining the relationships between types. Also, although Go has static types the language attempts to make types feel lighter weight than in typical OO languages.
* Go is fully garbage-collected and provides fundamental support for concurrent execution and communication.
* By its design, Go proposes an approach for the construction of system software on multicore machines.
In this site we study the configuration space of certain machines, all placed in the plane. Machine's configuration space is an abstract way to describe all the states the machine could take. After a short introductory to topology, we implicitly construct configuration spaces for a certain family of machines, which turn out to be, oriented surfaces of varying genus. In the third part we introduce the notion of functional linkages, which are machines who can compute polynomial functions. It can be deduced from this that to each smooth manifold M, there exists a machine with configuration space homeomorphic to a finite number of copies of M.
M. Freixas, R. Joan-Arinyo, and A. Soto-Riera. Computer-Aided Design, 42 (2):
151 - 161(2010)ACM Symposium on Solid and Physical Modeling and Applications.
D. Michelucci, and S. Foufou. SPM '09: 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling, page 343--348. New York, NY, USA, ACM, (2009)