1) Grant admin access to arclanguage.org to a high karma ranking Arc Forum member to update that painfully outdated home page OR update the home page appropriately, with added links to other Arc focused sites such as https://sites.google.com/site/arclanguagewiki/

2) Regarding modifying the current HN based forum:

a. A built in search utility, of course

b. Add 'popular' and 'sticky' tabs to the existing new | threads | comments, etc tabs.

- The 'popular' tab could be a pure karma based collection of the heaviest threads (sum of plus votes, in descending order).

- The 'sticky' tab should be threads created or selected by the admin, usually a collection of how tos, work arounds and frequently sought help. Order should be admin settable, and there should be an area above each thread where the admin can clearly highlight the purpose of the thread.

@akkartik, I realize anarki is bleeding edge. I'm just grateful I stumbled across it and that it's working :) I will revert to the official Arc 3.1 version if it turns out to be too bleeding edge for me.

Now that I've been able to read more threads on this forum, I realize I would have saved a lot of time had I done so earlier. I wouldn't have gone on that long loop with Clojure and Common Lisp.

I think the main problem starts with the Arc Forum | install page (http://arclanguage.org/install). The instructions still are:

"1. Install version 372 of MzScheme. (Don't use the latest version. Versions after 372 made lists immutable.) 2. Get http://ycombinator.com/arc/arc3.tar and untar it.

3. Type mzscheme -m -f as.scm and you should get an Arc prompt.

4. If you ^C an Arc program, you'll get the Scheme REPL. Use (tl) to get back to the Arc REPL.

5. If you have questions or suggestions, post them on the forum. "

I assumed, naturally, that the most prominent page on the forum dedicated to installing Arc would be current. Hence the inevitable install run around.

If either of you are admins here, or if any admin comes across this comment, I would suggest that the Arc Forum | Install page REALLY needs to be updated. A lot of interest in Arc will be killed by frustrating experiences at set up time.

I did visit http://sites.google.com/site/arclanguagewiki (in fact I'd already bookmarked it). However, the instructions there just cover a series of links and could do well with a more detailed instruction set, especially if it is to appear more useful than the Arc Forum install instructions I've referred to above.

It came as a surprise that HN serves directly off port 80- wonder how to they manage ssl from arc. I plan to serve via apache rewrite rules (reverse proxy)- and yes, sadly all ips in the arc logs show the local address. Thanks for this link. Also, who is that strange user on my logs (there are different names on different hosts)? :)

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)