http://www.1729.com Womcat Bookmarks for Philip Dorrell. Womcat Bookmarks 2.1.0 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. Biology/Biological Taxonomy Wed, 4 Aug 2004 14:44:59 +1200 http://www.1729.com/wiki/ThreeLevelsOfConflictResolution.html There are three levels of conflict resolution: Direct Action, Politics and Morality. Each one attempts to subsume the prior levels, but at the same time depends upon them. Biology/Biopsychology/Biopsychology of Morality Wed, 4 Aug 2004 14:44:59 +1200 http://www.1729.com/wiki/ThreeAspectsOfConsciousness.html The three aspects of consciousness are subjective, i.e. what it is like, functional, i.e. what it is for, and physiological, i.e. how it is implemented. Biology/Biopsychology/Science of Consciousness Wed, 4 Aug 2004 14:44:59 +1200 http://www.1729.com/wiki/BeliefAsSocialActivity.html Belief Systems often determine membership of Social Groups. Biology/Evolutionary Psychology Wed, 4 Aug 2004 14:44:59 +1200 http://www.1729.com/wiki/WhatIsHumour.html A theory of humour as an aspect of an information processing system. Biology/Evolutionary Psychology Wed, 4 Aug 2004 14:44:59 +1200 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. Computer Security Wed, 16 Mar 2005 18:50:17 +1300 http://www.gyration.com/ultragt.htm A mouse that you can wave about in the air. Cool Technology Wed, 4 Aug 2004 14:45:00 +1200 http://school.discovery.com/schrockguide/ In association with Discovery Channel. Educational for Children Wed, 4 Aug 2004 14:45:00 +1200 http://www.tobias-jung.de/seekingprofont/ A small size fixed width font good for programmers. (Personally I still prefer Windows Fixedsys at 9point.) Fonts Wed, 4 Aug 2004 14:45:00 +1200 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. Intellectual Property Wed, 16 Mar 2005 18:52:30 +1300 http://homepages.cwi.nl/~jve/HR/ Teaching mathematics via Haskell Interesting Wed, 4 Aug 2004 14:45:00 +1200 http://intertwingly.net/stories/2004/04/14/i18n.html Internationalisation Interesting Wed, 4 Aug 2004 14:45:00 +1200 http://telltaleweekly.com/index.php?Show=Mission Cheap audio books Interesting Wed, 4 Aug 2004 14:45:00 +1200 http://www-2.cs.cmu.edu/~rwh/papers/modaleff/short.pdf Some sort of programming language based on modal logic ? Interesting Wed, 4 Aug 2004 14:45:00 +1200 http://www.stephenwolfram.com/publications/talks/jmm2004/ Stephen Wolfram talk Interesting Wed, 4 Aug 2004 14:45:00 +1200 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 ? Internet Technology Wed, 4 Aug 2004 14:44:59 +1200 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. Internet Technology Wed, 4 Aug 2004 14:44:59 +1200 http://www.heeg.de/~hmm/projects/WysiTeX/ Wysiwig text editor, runs in Squeak Latex Typesetting Wed, 4 Aug 2004 14:45:00 +1200 http://mathworld.wolfram.com/ This is one the best online mathematics encyclopedias for the serious mathematician. Mathematics Wed, 4 Aug 2004 14:44:58 +1200 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. Mathematics Wed, 4 Aug 2004 14:44:58 +1200 http://www.cs.auckland.ac.nz/CDMTCS/chaitin/omega.html About the strange incomputable Omega number. Mathematics Wed, 4 Aug 2004 14:45:01 +1200 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/Educational Mathematics Software Wed, 4 Aug 2004 14:44:59 +1200 http://www.ics.uci.edu/~eppstein/junkyard/ Links to a lot of interesting stuff about geometry from David Eppstein. Mathematics/Geometry Wed, 4 Aug 2004 14:45:00 +1200 http://members.tripod.com/~dogschool/cubegroups.html A good explanation of the group theory behind Rubik's cube, with a few pretty pictures as well. Mathematics/Group Theory Wed, 4 Aug 2004 14:44:58 +1200 http://www.oswego.edu/~baloglou/103/seventeen.html Tutorial about two dimensional crystallography with lots of coloured diagrams. Mathematics/Group Theory Wed, 4 Aug 2004 14:44:59 +1200 http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html Books and articles on logic, applied to real world problem solving. Mathematics/Logic Wed, 4 Aug 2004 14:45:00 +1200 http://www.1729.com/wiki/HumanSieveOfEratosthenes.html A classroom game for acting out the Sieve of Eratosthenes. Mathematics/Mathematics Education Wed, 4 Aug 2004 14:44:59 +1200 http://www.magnatune.com/ A record company. Listen to MP3's online before you buy ... Music Wed, 4 Aug 2004 14:45:00 +1200 http://freshmeat.net/ The main source of information about new Open Source software projects and releases. Open Source Software Wed, 4 Aug 2004 14:44:59 +1200 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. Open Source Software/Open Source Java Libraries Wed, 4 Aug 2004 14:44:59 +1200 http://www.hibernate.org/ Probably the best object-relational mapping tool for Java. Open Source Software/Open Source Java Libraries Wed, 4 Aug 2004 14:44:59 +1200 http://newos.sourceforge.net/ An open source operating system mentioned on tunes.org. Operating Systems Wed, 4 Aug 2004 14:45:00 +1200 http://hush.sourceforge.net/ Smalltalk-like language - includes an implementation of a ray-tracer in the examples. Programming Languages Wed, 4 Aug 2004 14:45:01 +1200 http://lambda.weblogs.com/ Programming languages weblog. Emphasis of functional programming and other "high-level" programming languages. Programming Languages Wed, 4 Aug 2004 14:44:59 +1200 http://www.confluent.org/ High-level programming language for FPGA etc. Programming Languages Wed, 4 Aug 2004 14:45:01 +1200 http://www.dur.ac.uk/CARG/epigram/ A functional programming language with dependent types. Programming Languages Wed, 4 Aug 2004 14:45:01 +1200 http://www.mike-austin.com/home/reference/languages/ A Yahoo group for people making up their own (programming) languages. Programming Languages Wed, 4 Aug 2004 14:45:00 +1200 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. Programming Languages/Formal Methods Programming Languages Wed, 4 Aug 2004 14:45:00 +1200 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). Programming Languages/Formal Methods Programming Languages Wed, 4 Aug 2004 14:44:59 +1200 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. Programming Languages/Functional Programming Languages Wed, 4 Aug 2004 14:44:59 +1200 http://www.haskell.org/ The major "lazy" functional programming language. Programming Languages/Functional Programming Languages Wed, 4 Aug 2004 14:44:59 +1200 http://www.erlang.org/ An open source concurrent functional programming language, originally developed at Ericsson. Programming Languages/Functional Programming Languages/Erlang Wed, 4 Aug 2004 14:44:59 +1200 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. Programming Languages/Functional Programming Languages/Erlang Wed, 4 Aug 2004 14:44:59 +1200 http://groovy.codehaus.org/ A new dynamically typed programming language for the JVM. Programming Languages/Groovy Programming Language Wed, 4 Aug 2004 14:45:00 +1200 http://grunge.cs.tu-berlin.de/~tolk/vmlanguages.html A fairly long (and growing) list. Programming Languages/Java Programming Language Wed, 4 Aug 2004 14:44:59 +1200 http://www.ai.mit.edu/~jrb/jse/ This looks like a powerful yet useable macro facility for Java. Programming Languages/Java Programming Language/Java Programming Language Extensions Wed, 4 Aug 2004 14:44:59 +1200 http://www.cs.ubc.ca/labs/spl/projects/elide Extension Language for Iterative Design Encoding Programming Languages/Java Programming Language/Java Programming Language Extensions Wed, 4 Aug 2004 14:44:59 +1200 http://www.kryogenix.org/code/browser/sorttable/ Programming Languages/Javascript Wed, 4 Aug 2004 14:45:00 +1200 http://www.cs.berkeley.edu/~bh/logo.html Free online copies of Logo books aimed at teenager programming students. Programming Languages/Logo Programming Language Wed, 4 Aug 2004 14:45:00 +1200 http://www.logosurvey.co.uk/ A starting page for those wanting to investigate or use the Logo programming language. Programming Languages/Logo Programming Language Wed, 4 Aug 2004 14:45:00 +1200 http://www.cs.uu.nl/people/franka/lang A list of programming languages that are interesting or important from a theoretical point of view. Programming Languages/Programming Language Lists Wed, 4 Aug 2004 14:44:59 +1200 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. Programming Languages/Python Programming Language Wed, 4 Aug 2004 14:44:59 +1200 http://www.python-eggs.org/links.html Lots of python links Programming Languages/Python Programming Language Wed, 4 Aug 2004 14:45:00 +1200 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 ! Programming Languages/Python Programming Language Wed, 4 Aug 2004 14:44:59 +1200 http://poignantguide.net/ruby/ A fun online book about the Ruby programming language. Programming Languages/Ruby Programming Language Wed, 4 Aug 2004 14:45:00 +1200 http://sisc.sourceforge.net/ Scheme JVM interpreter Programming Languages/Scheme Programming Language Wed, 4 Aug 2004 14:45:01 +1200 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. Programming Languages/Visual Programming Wed, 4 Aug 2004 14:45:00 +1200 http://www.lama.univ-savoie.fr/sitelama/Membres/pages_web/RAFFALLI/af2.html A first order interactive theorem prover that works with Proof General. Proof Assistants Wed, 4 Aug 2004 14:44:59 +1200 http://www.feedburner.com/fb/a/home Feed translator, aggregator, transformer etc. RSS Wed, 4 Aug 2004 14:45:00 +1200 http://feeds.scripting.com/ A site whose intention is to let people share and aggregate their OPML files in various ways. RSS/OPML for RSS Wed, 4 Aug 2004 14:45:00 +1200 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. RSS/RSS Software Wed, 4 Aug 2004 14:44:59 +1200 http://www.ftrain.com/ContraShirky.html Refutation of Shirky's criticism of semantic web Semantic Web Wed, 4 Aug 2004 14:45:00 +1200 http://alpaca.sourceforge.net/ New open-source text editor that includes and uses Common Lisp. Intended for Authors. Text Editors Wed, 4 Aug 2004 14:45:00 +1200 http://www.soople.com/ An easy to use interface to advanced Google search features. Web Search Wed, 4 Aug 2004 14:45:00 +1200 http://www.aripaparo.com/archive/000632.html A list of blog search engines WebLogs Wed, 4 Aug 2004 14:45:00 +1200 http://www.1729.com/womcat/bookmarks/womcat-rss.xml Womcat Bookmarks for Philip Dorrell. Sun, 10 Aug 2003 15:14:56 +1200 http://lambda.weblogs.com/xml/rss.xml A web log about higher-level programming languages. Sun, 10 Aug 2003 15:14:57 +1200