Semantic Web Interest Group IRC Scratchpad

Welcome to the Semantic Web Interest Group scratchpad generated automatically from discussions on IRC at Freenode channel #swig 2001-2018 approx by the chump bot.

Nearby: IRC logs | semantic-web list | W3C Wiki (Recent changes) | delicious swigbot

last updated at 2004-10-22 20:37
MapReduce: Simplified Data Processing on Large Clusters
posted by DanC at 2004-10-22 20:37 (+) tags:
DanC: Jeffrey Dean and Sanjay Ghemawat, Google Inc.
 
Chumpologica 1.0
posted by dajobe at 2004-10-22 20:35 (+) tags:
 
Extended Static Checking for Java
posted by DanC at 2004-10-22 17:42 (+) tags:
DanC: ESC/Java and ESC/Modula-3 make use of the theorem prover Simplify.
DanC: Simplify has been implemented by Dave Detlefs (now at Sun Labs East), Greg Nelson, and Jim Saxe. It consists of about 26,000 lines of Modula-3 code.
 
RAP v0.9, now with forward and backward chaining reasoners
posted by iand at 2004-10-22 15:36 (+) tags:
 
Example
posted by captainjim at 2004-10-22 14:33 (+) tags:
 
The Web's Father Expects a Grandchild, Tim Berners-Lee in BusinessWeek
posted by dajobe at 2004-10-22 09:24 (+) tags:
dajobe: that grandchild is the semweb of course
 
Created by the Daily Chump bot. Hosted by PlanetRDF.