After running it, I have a few more questions, I hope you aren't frustrated with me yet :)

1. What is the difference between "racket -m -f" (this one doesn't work, but used to work with mzscheme) and just "racket -f"? The manpage asks to visit the webpage and i went to this page to look for help, but I dont seem to be able to locate it: http://docs.racket-lang.org/guide/racket.html

2. In the arc prompt, after loading "news.arc", I would like to run the news server on a different thread, eg: "(= app (thread (nsv)))" (read on the web), but it doesnt return me the arc prompt.

3. Just to test what happens under increased load, I went to localhost:8080 and repeatedly hit the refresh button on my browser. After many repeated refreshes, the news page was no longer served. Here's what was happening in the arc screen: http://pastebin.com/TcBa2SuM and here's the tail of logs/srv-* file: http://pastebin.com/Xiym77sR (i wonder who the strange user 0PgEaESj is :))

Yes, I would like to use something that works, and something that is as latest as possible :) I seem to be using Racket (in the form of plt-scheme) and it seems to work for an older version of arc. The point of my question was if I needed to do something to keep up with the changes made in Arc.

- If I want to start hacking into the news code, is news.arc the only file I start with? I would also like to change the css, make email field compulsory, send email confirmation and so on. If you could show me some direction, it would be very helpful.

- by integration with other services, I mean allowing likes, +1, commenting, log-in etc. I think I will have to look into the code to start understanding this more, so it is related to the above point.

- about identifying video URLs- how would you recommend expanding something like, say a bit.ly link?

- Yes, I haven't done anything with the code yet because it looks a little unfamiliar at this point. But I'd love to.

I am also working on creating a discussion forum based on arc news. I have programming and web development experience but none with arc or list-like languages. I saw hubski's site and liked it a lot. I have some specific questions:

- like the OP asked, how difficult would it be to add open-id, facebook, twitter, g+ integration?

- how does hubski distinguish text submissions vs videos and so on? How do I group/categorize all of them?

- how do I add tags to submissions or allow admins to add tags?

- how do i decrease the karma required to downvote?

- how do i mimic HN's job page, ie: no name of the poster and no comment field- just link and text. How to group all such posts?

$c declares the constants; $v declares the variables; $f are floating hypotheses, used to give types to variables; $a are axiomatic assertions; $p are provable assertions.

demo.mm's content is:

  $( demo0.mm  1-Jan-04 $)

  $(
                        PUBLIC DOMAIN DEDICATION
  
  This file is placed in the public domain per the Creative Commons Public
  Domain Dedication. http://creativecommons.org/licenses/publicdomain/
  
  Norman Megill - email: nm at alum.mit.edu
  
  $)
  
  
  $( This file is the introductory formal system example described
     in Chapter 2 of the Meamath book. $)
  
  $( Declare the constant symbols we will use $)
      $c 0 + = -> ( ) term wff |- $.
  $( Declare the metavariables we will use $)
      $v t r s P Q $.
  $( Specify properties of the metavariables $)
      tt $f term t $.
      tr $f term r $.
      ts $f term s $.
      wp $f wff P $.
      wq $f wff Q $.
  $( Define "term" (part 1) $)
      tze $a term 0 $.
  $( Define "term" (part 2) $)
      tpl $a term ( t + r ) $.
  $( Define "wff" (part 1) $)
      weq $a wff t = r $.
  $( Define "wff" (part 2) $)
      wim $a wff ( P -> Q ) $.
  $( State axiom a1 $)
      a1 $a |- ( t = r -> ( t = s -> r = s ) ) $.
  $( State axiom a2 $)
      a2 $a |- ( t + 0 ) = t $.
      ${
         min $e |- P $.
         maj $e |- ( P -> Q ) $.
  $( Define the modus ponens inference rule $)
         mp  $a |- Q $.
      $}
  $( Prove a theorem $)
      th1 $p |- t = t $=
    $( Here is its proof: $)
         tt tze tpl tt weq tt tt weq tt a2 tt tze tpl
         tt weq tt tze tpl tt weq tt tt weq wim tt a2
         tt tze tpl tt tt a1 mp mp
       $.

http://axisofeval.blogspot.com/2011/08/praising-kernel.html

The others are here:

http://axisofeval.blogspot.com/search/label/kernel

I:\Lisps\Racket\arc3.1>..\racket -f as.scm ffi-obj: couldn't get "setuid" from #f (Määritetty proseduuria ei löydy .; errno=127)

Unlike version 372, the mzscheme language does not include set-car! or set-cdr!, and cons makes immutable pairs, as in scheme/base; those changes make modules built on mzscheme reasonably compatible with modules built on scheme/base.

Did not:

I:\Lisps\Racket>mzscheme.exe -m -f arc3\as.scm main: not defined or required into the top-level environment

1005 stroke ac.scm

  (define (ar-coerce x type . args)
    (let ((x-type (ar-type x)))
      (if (eqv? type x-type) x
          (let* ((fail        (lambda () (err "Can't coerce " x type)))
                 (conversions (hash-table-get coercions type fail))
                 (converter   (hash-table-get conversions x-type fail)))
            (ar-apply converter (cons x args))))))

(a b c) (a b..c)

And about docs - you are right, the best is to read the source-code. But the problem (as you pointed out) is when you have something you want to solve, it's hard to search for it in source-code. If you want to append strings and you don't know that + does it, source code will not give you an answer (unless you read the whole thing carefully). In Racket, you can search using human language in Racket Reference or Racket Guide.