|
|
| Application Frameworks RSS |
|
| Biology RSS |
| |
| Biological Taxonomy RSS |
| |
| Learning Taxonomy |
| http://www.1729.com/wiki/LearningTaxonomy.html |
| | Some ideas about the teaching of taxonomical concepts to biology students. In particular it is import to teach the concept of taxonomy itself, and not just the concepts of individual taxons. |
|
|
| |
|
| |
| Biopsychology RSS |
| |
| Biopsychology of Morality RSS |
| |
|
|
| |
| Science of Consciousness RSS |
| |
|
|
|
| |
| Evolutionary Psychology RSS |
| |
|
| |
|
|
|
| Computer Security RSS |
| |
| Secure Internet Banking with a Live CD |
| http://www.1729.com/secureinternetbanking/index.html |
| | The best way to achieve security on the client-side for Internet banking is for the customer to boot their computer from a live CD optimised for that purpose. I suggest a project to create such a CD perhaps based on Linux and Mozilla. The banks could then distribute the CDs to their customers. This would be an improvement over the "be very careful when web-surfing" security advice which they currently give to their customers. |
|
|
|
|
| Educational for Children RSS |
| |
|
|
|
|
| Intellectual Property RSS |
| |
| Published Digital Information is a Public Good: The Case for Voted Compensation |
| http://www.1729.com/ip/PublicGood.html |
| | Published digital information either has or soon will have both of the two properties that define a public good: non-rivalry and non-excludability. The inevitable conclusion is that the production of digital information has to be funded out of taxation. Arguing from a democratic perspective, "Voted Compensation" is proposed as a fair, effective and flexible system for allocating these funds to content creators. |
|
|
|
|
| Internet Technology RSS |
| |
| How Fast Is the Internet |
| http://www.1729.com/wiki/HowFastIsTheInternet.html |
| | Is the speed of the Internet how fast it takes packets to get from computer to computer, which can be seconds, or is it how long it takes a document to get from writer to reader, which can be years ? |
|
| |
| The Trouble With Usenet |
| http://www.1729.com/wiki/TheTroubleWithUsenet.html |
| | The design of Usenet is fundamentally flawed, and the main result of this is that the level of moderation is never what either readers or writers of postings want. Either you cannot post to a topic, or the topic you want to post to does not even exist, or you can post, but the topic is overwhelmed by spammers, so noone reads it anyway. |
|
|
|
|
| Mathematics RSS |
| |
| Eric Weissteins World of Mathematics |
| http://mathworld.wolfram.com/ |
| | This is one the best online mathematics encyclopedias for the serious mathematician. |
|
| |
| Clay Mathematics Institute Million Dollar Competitions |
| http://www.claymath.org/ |
| | Home of the seven famous million dollar competitions. The competitions include NP-hard completeness, the Riemann hypothesis, the Poincare conjecture (possibly solved), the solubility of Navier-Stokes equations, and a few other problemas even more obscure. |
|
| |
|
| |
| Educational Mathematics Software RSS |
| |
| Integer Zone |
| http://www.1729.com/wiki/IntegerZone.html |
| | IntegerZone is an applet that contains various modes representing different mathematical concepts, in which the integers themselves form the major part of the user interface. |
|
|
| |
|
| |
|
| |
|
| |
| Mathematics Education RSS |
| |
|
|
|
|
|
| Open Source Software RSS |
| |
| freshmeat.net |
| http://freshmeat.net/ |
| | The main source of information about new Open Source software projects and releases. |
|
| |
| Open Source Java Libraries RSS |
| |
| Freemarker |
| http://www.freemarker.org/ |
| | A template system for Java applications. Specifically designed for HTML and XML applications, although can be used generally. It exposes Java objects and methods to templates in a controlled manner, thus encouraging a good separation of application code from presentation logic. |
|
| |
|
|
|
|
|
| Programming Languages RSS |
| |
| The Hush Programming Language |
| http://hush.sourceforge.net/ |
| | Smalltalk-like language - includes an implementation of a ray-tracer in the examples. |
|
| |
| Lambda the Ultimate WebLogs |
| http://lambda.weblogs.com/ |
| | Programming languages weblog. Emphasis of functional programming and other "high-level" programming languages. |
|
| |
|
| |
|
| |
|
| |
| Formal Methods Programming Languages RSS |
| |
| Why: a software verification tool |
| http://why.lri.fr/ |
| | "Why" is a programming language where the programmer writes code in an ML-like language that includes annotations including pre-conditions, post-conditions, assertions, loop invariants and loop variants. The user can then generate proof obligations for various well known proof systems, which when proven true prove the correctness of their program. A separate system Krakatoa compiles Java programs annotated with JML into annotated Why programs. Verification of the generated Why program then constitutes verification of the original Java program. |
|
| |
| Perfect Developer |
| http://www.eschertech.com/ |
| | A programming language that enables development of provably correct software. It seems to me a bit like Java, with pre-conditions, post-conditions and assertions added, and then the actual code thrown away (to be regenerated by the tool). |
|
|
| |
| Functional Programming Languages RSS |
| |
| OCAML |
| http://caml.inria.fr/ |
| | On object-oriented extension to CAML, itself a variant of the ML programming language. Appears to be quite a popular functional programming language. |
|
| |
|
| |
| Erlang RSS |
| |
| Erlang |
| http://www.erlang.org/ |
| | An open source concurrent functional programming language, originally developed at Ericsson. |
|
| |
| Joe Armstrong SICS |
| http://www.sics.se/~joe/ |
| | Joe has a number of interesting links about Erlang and programs written in that language, including Yaws, an Erlang web server, which he compares to Apache for its ability to handle massive numbers of users. |
|
|
|
| |
| Groovy Programming Language RSS |
| |
|
|
| |
| Java Programming Language RSS |
| |
|
| |
| Java Programming Language Extensions RSS |
| |
|
| |
|
|
|
| |
|
| |
| Logo Programming Language RSS |
| |
|
| |
|
|
| |
| Programming Language Lists RSS |
| |
|
|
| |
| Python Programming Language RSS |
| |
| Jython |
| http://www.jython.org/ |
| | Jython is the Java version of Python, (Python being one of the best object-oriented scripting languages for both beginners and professionals). It runs on the JVM and easily accesses Java libraries. |
|
| |
|
| |
| Python |
| http://www.python.org/ |
| | Python is an object-oriented scripting language that is very easy for beginners and at the same time provides sophisticated features for professionals. And it is all open-source ! |
|
|
| |
| Ruby Programming Language RSS |
| |
|
|
| |
| Scheme Programming Language RSS |
| |
|
|
| |
| Visual Programming RSS |
| |
| Vital |
| http://www.cs.kent.ac.uk/projects/vital/ |
| | Visual programming for a simplified version of Haskell. Lazy evaluation naturally maps to not drawing stuff not currently visible in the window, making it easy to display infinite objects, such as exact (constructive) real numbers. |
|
|
|
|
|
| RSS RSS |
| |
|
| |
| OPML for RSS RSS |
| |
| Share Your OPML: Home |
| http://feeds.scripting.com/ |
| | A site whose intention is to let people share and aggregate their OPML files in various ways. |
|
|
| |
| RSS Software RSS |
| |
| Womcat Bookmarks |
| http://www.womcat.org/ |
| | Womcat Bookmarks is an application for maintaining and sharing web bookmarks classified by subject, which uses RSS to do the sharing. It puts the subject into the RSS 2.0 "category" element. It also uses a "type" attribute in the "link" element to specify those links that are themselves RSS files. This allows for the most direct possible RSS auto-discovery. Womcat Bookmarks also maintains a database of downloaded RSS links that can be browsed by subject. And it can be used as a basic feedreader. |
|
|
|
|
|
|
|
| Web Search RSS |
| |
| Soople; easy search in Google |
| http://www.soople.com/ |
| | An easy to use interface to advanced Google search features. |
|
|
|
|