Feb 28th and 29th links of interest

Posted on March 16th, 2008 at 3:49 pm

Feb 28th:

Here’s part of the abstract for Distant future of the Sun and Earth revisited:

We revisit the distant future of the Sun and the solar system, based on stellar models computed with a thoroughly tested evolution code. For the solar giant stages, mass-loss by the cool (but not dust-driven) wind is considered in detail. Using the new and well-calibrated mass-loss formula of Schroder & Cuntz (2005, 2007), we find that the mass lost by the Sun as an RGB giant (0.332 M_Sun, 7.59 Gy from now) potentially gives planet Earth a significant orbital expansion, inversely proportional to the remaining solar mass.

According to these solar evolution models, the closest encounter of planet Earth with the solar cool giant photosphere will occur during the tip-RGB phase. During this critical episode, for each time-step of the evolution model, we consider the loss of orbital angular momentum suffered by planet Earth from tidal interaction with the giant Sun, as well as dynamical drag in the lower chromosphere. We find that planet Earth will not be able to escape engulfment, despite the positive effect of solar mass-loss. In order to survive the solar tip-RGB phase, any hypothetical planet would require a present-day minimum orbital radius of about 1.15 AU.

Emphasis mine.

Here’s the text of the course overview for CMPS 253:

The free lunch is over. It lasted fifty years.

During that time, Moore’s law meant that our programs go faster when we buy a next-generation processor. Moving forward, while next-generation chips will have more CPUs, each individual CPU will be no faster than the previous year’s model. If we want our program to run faster, we must learn to write parallel programs.

Parallel programs execute in a non-deterministic way, so they are hard to test, and bugs can be almost impossible to detect, reproduce, or fix. Many years of experience has shown that writing a correct parallel programs is typically substantially harder than writing an equivalent sequential program.

In this course, we will survey the state-of-the-art in parallel programming, and the programming languages that support these efforts. We will pay particular attention to the emerging and active field of transactional memory, which adapts many ideas from database transactions to general purpose programming languages. We will also review more traditional lock-based programming, as well as alternative techniques based on functional programming, speculative execution, etc.

I’ve “applied” for membership to the class Google Group (linked from the course page) so that I can peruse the archives. Haven’t been approved yet.

Update (April 14th 2008): I just checked the class Google Group page again only to get an error message telling me that the group doesn’t exist. It was formerly at groups.google.com/group/ucsc-cmps-253-spring-2007. Kind of lame.

MSR-TR-2008-24, ALADIN: Active Learning of Anomalies to Detect Intrusions

Posted on March 7th, 2008 at 1:15 am

Based on the abstract on the research.microsoft.com site, ALADIN: Active Learning of Anomalies to Detect Intrusions by Jack W. Stokes, John C. Platt, Joseph Kravis, and Michael Shilman seems like an interesting paper.

Unfortunately, the link doesn’t work right now because no one has uploaded the actual PDF as of yet. Update: As of Tuesday, March 11th, the PDF is available.

I browsed the directory of papers on the MSR FTP site on the off chance that the paper had been uploaded in PostScript or something, but I don’t see any file that looks like the paper in question.

Update: I found an abstract (for the paper? same title, so…) in PDF form and PowerPoint slides here: NIPS 2007 Workshop on Machine Learning in Adversarial Environments for Computer Security.

Interesting papers from the 7 March 2008 issue of Science

Posted on March 7th, 2008 at 12:56 am

Remainder of February Bookmarks Trawl

Posted on February 27th, 2008 at 2:12 pm

I found each of the following links interesting in its own right but either have no comment to make or am too tuckered out to post my comments on each individual page:

HBase and Hypertable: two Bigtable-like systems built on top of Hadoop

Posted on February 27th, 2008 at 1:25 pm
  • HBase: Bigtable-like structured storage for Hadoop HDFS:

    Google’s [WWW] Bigtable, a distributed storage system for structured data, is an effective mechanism for storing large amounts of data in a distributed environment. Just as Bigtable leverages the distributed data storage provided by the [WWW] Google File System, HBase provides Bigtable-like capabilities on top of Hadoop. Data is organized into tables, rows and columns. An Iterator-like interface is available for scanning through a row range (and of course there is the ability to retrieve a column value for a specific key). Any particular column may have multiple values for the same row key. A secondary key can be provided to select a particular value or an Iterator can be set up to scan through the key-value pairs for that column given a specific row key.

  • Hypertable:

    Modeled after Google’s well known Bigtable project, Hypertable is designed to manage the storage and processing of information on a large cluster of commodity servers, providing resilience to machine and component failures. Hypertable seeks to set the open source standard for highly available, petabyte scale, database systems.

    About Hypertable

regex-dna benchmark | Gentoo : Intel® Pentium® 4 Computer Language Benchmarks Game

Posted on February 27th, 2008 at 1:05 pm

regex-dna benchmark | Gentoo : Intel® Pentium® 4 Computer Language Benchmarks Game:

Match DNA 8-mers and substitute nucleotides for IUB codes N=500,000 (Check that Error or Timeout happened at other values of N with regex-dna full data).

SNOBOL and Icon

Posted on February 27th, 2008 at 12:32 pm
  • SNOBOL4 and SPITBOL Information:

    Catspaw, Inc. provides the SNOBOL4 language for many different computer platforms, including DOS, Macintosh, Sun, RS/6000, and others. SNOBOL4 is a programming language tailored to complex pattern matching and text manipulation. SPITBOL is a very high performance, 32-bit implementation of the SNOBOL4 language.

  • The Icon Programming Language:

    Icon is a high-level, general-purpose programming language with a large repertoire of features for processing data structures and character strings. Icon is an imperative, procedural language with a syntax reminiscent of C and Pascal, but with semantics at a much higher level.

Etna, a wysiwyg XML RELAX NG- and Gecko-based editor

Posted on February 27th, 2008 at 10:46 am

I took the title for this post from the page for the session description on the XTech 2006 site.

The last modified timestamp on the project page is about a year old, but the current version (v. 0.3.1) may be much more recent. I haven’t yet tried downloading and installing Etna. That’s something I’m looking forward to doing in a VM later on.

Editors

Posted on February 27th, 2008 at 9:53 am
  • Gobby:

    Gobby is a free collaborative editor supporting multiple documents in one session and a multi-user chat. It runs on Microsoft Windows, Mac OS X, Linux and other Unix-like platforms.

    It uses GTK+ 2.6 as its windowing toolkit and thus integrates nicely into the GNOME desktop environment.

    Check out Gobby’s list of features, take a look around in our screenshots section, read some testimonials, and download it right now.

    Gobby is covered under the GPL (General Public License).

  • Zile:

    Zile is a small Emacs clone. Zile is a customizable, self-documenting real-time open-source display editor. Zile was written to be as similar as possible to Emacs; every Emacs user should feel at home.

  • Acme:

    Acme is a text editor and graphical shell from the Plan 9 from Bell Labs operating system, designed and implemented by Rob Pike. It can use the sam command language. The design of the interface was influenced by Oberon. It is different from other editing environments in that it acts as a 9P server. A distinctive element of the user interface is mouse chording.

    Wikipedia: Acme (text editor)

    Acme Stand Alone Complex is a version of Acme that runs on Windows, Linux, and Solaris.

  • Yi:

    Yi is a text editor written and extensible in Haskell. The goal of Yi is to provide a flexible, powerful and correct editor core dynamically scriptable in Haskell.

    • Yi is an haskell interpreter. Very much like emacs is a Lisp interpreter, this makes really easy to dynamically hack, experiment and modify Yi. All tools and goodies written in haskell are also readily available from the editor. This is implemented by binding to the GHC api.
    • Frontends. Yi can use either gtk2hs or vty as frontends, so users can choose their favourite interface.
    • “Emulation modes”. The primary emulation modes for Yi are vim and emacs. Keybindings for vi, mg and nano and other are also provided. Other editor interfaces can be written by the user to extend Yi.

    The long term goal of the project is to make Yi the editor of choice for the haskell hacker.

    The main short term goal is to maximize Yi’s Fun Factor. This includes:

    • improve hackability (and therefore architecture)
    • add cool features

Interesting Stuff: little b, PAMP, Schelog, OpenWetWare.org, and SamePlace Instant Messenger

Posted on February 26th, 2008 at 5:40 pm
  • little b:

    The little b project is an effort to provide an open source language which allows scientists to build mathematical models of complex systems. The initial focus is systems biology. The goal is to stimulate widespread sharing and reuse of models.

    The little b language is designed to allow biologists to build models quickly and easily from shared parts, and to allow theorists to program new ways of describing complex systems. Currently, libraries have been developed for building ODE models of molecular networks in multi-compartment systems such as cellular epithelia.

    Little b is based in Common Lisp and contains mechanisms for rule-based reasoning, symbolic mathematics and object-oriented definitions. The syntax is designed to be terse and human-readable to facilitate communication. The environment is both interactive and compilable.

  • PAMP:

    Resources for installing Apache, MySQL, PHP, and (it seems) Python on S60 phones.

  • haXe:

    haXe is a high-level object-oriented programming language mainly focused on helping programers develop Websites and Web applications. haXe has been designed to be easily portable across several platforms. The haXe compiler supports the following platforms [… JavaScript, Flash, and Neko]
    intro [haXe.org]

  • Programming in Schelog (dates from mid-2003):

    Schelog is an embedding of Prolog-style logic programming in Scheme. ‘Embedding’ means you don’t lose Scheme: You can use Prolog-style and conventional Scheme code fragments alongside each other. Schelog contains the full repertoire of Prolog features, including meta-logical and second-order (’set’) predicates, leaving out only those features that could more easily and more efficiently be done with Scheme subexpressions.

  • OpenWetWare.org (a wiki):

    OpenWetWare is an effort to promote the sharing of information, know-how, and wisdom among researchers and groups who are working in biology & biological engineering. OWW provides a place for labs, individuals, and groups to organize their own information and collaborate with others easily and efficiently. In the process, we hope that OWW will not only lead to greater collaboration between member groups, but also provide a useful information portal to our colleagues, and ultimately the rest of the world.
    OpenWetWare:About

  • SamePlace Instant Messenger:

    Extensible instant messaging client based on the XMPP (Jabber) protocol. Accesses Jabber, GTalk, Twitter, MSN, AIM (and more, via gateways).

    This Firefox addon requires another to function: xmpp4moz.

This post is part of the series Bookmarks Trawl: February up to Feb. 27th

  1. Interesting Stuff: little b, PAMP, Schelog, OpenWetWare.org, and SamePlace Instant Messenger
  2. Editors
  3. SNOBOL and Icon
  4. regex-dna benchmark | Gentoo : Intel® Pentium® 4 Computer Language Benchmarks Game
  5. HBase and Hypertable: two Bigtable-like systems built on top of Hadoop
  6. Remainder of February Bookmarks Trawl