rhombus-prototype VS anarki

See related post. The dot operator in Rhombus will allow a function call like expr.map(…) to be statically specialized to Some.map(expr, …) provided that expr carries sufficient static information. This isn’t possible in Racket given the lack of static information in general.

If you want to know more the best starting point is https://github.com/racket/rhombus-prototype They have discussion on the GitHub repo

Racket has the concept of binding space built on top of the scope-set model. The experiment language Rhombus makes heavy use of this for contextual bindings. Note that bindings are used for language extensions among other purposes in Racket.

The notion of “tail sequence” in general doesn’t exist in Lisp’s macro-expansion model, since Lisp macros are strictly local transformations. A “tail sequence” allows a macro to control the expansion of the whole context, which requires wrapping the whole context in another macro in Lisp’s model. This is what leads to proposals like #%local-definition in Racket. However, this notion does exist in the enforestation model, which is what the experiment language Rhombus is based on, although it’s probably not quite a Lisp ;)

Rhombus is: - just another #lang. It is built on top of the existing Racket VM and written in Racket. It interoperates with existing Racket code and uses the Racket expander. - macro extendable. Hygiene and all of the good stuff work. - being developed in the open. We meet biweekly over Zoom, and discussions also occur in GitHub Discussions.

Querying Git references for rhombus-prototype at https://github.com/racket/rhombus-prototype.git Using cached16617263581661726358301 for https://github.com/racket/rhombus-prototype.git DrRacket install: version mismatch for dependency for package: https://github.com/racket/rhombus-prototype.git mismatch packages: base (have 8.6, need 8.6.0.9)

Instead of hoping, you might consider reading the discussions to see what the developers are actually saying. Just a thought.

It still is a single single-core server, dang references it frequently when there's unusually high traffic [0]. And the language you're referring to is Arc [1]. They do have caching for not-logged-in users, historically done through nginx [2]. From other comments in this thread, it sounds like they just temporarily put Cloudflare in front of that single server to block a DDoS.

[0] https://news.ycombinator.com/item?id=38310213

[1] https://arclanguage.github.io/

[2] https://news.ycombinator.com/item?id=26473226

Slashdot, reddit, and HN are similar in that the source code was available. For HN, as part of arc under the Artistic license. All 3 abandoned public source code releases.

https://sourceforge.net/projects/slashcode/

https://github.com/arclanguage/anarki

https://github.com/reddit-archive/reddit

>Where is the HN source code right now? Free and Open?

Yes and no.

HN itself is running a proprietary fork of Arc Lisp, which you can find here[0]. The Arc maintainters don't take public PRs or feature requests, and HN itself has numerous changes to the codebase which aren't public for business reasons.

There is a public fork of Arc called Anarki[1] which has no direct connection to HN or Arc Lisp, and for which the community and development is... well... anarchic.

And given the general culture here around minimalism and stasis (not wanting to introduce new features for fear of entropy that would negatively affect the signal to noise ratio and push the site towards Eternal September) chances are it's not likely to happen.

But dang's email is at the bottom of the page if you want to ask him.

[0]http://arclanguage.org/

[1]https://github.com/arclanguage/anarki

The original version was open sourced (Perl artistic License) http://arclanguage.org/ There is an active fork in https://github.com/arclanguage/anarki but it's totally independent and the current conde in HN can be (very) different.

My guess is that it's very difficult to keep all the details of the secret sauce hidden. They change the details very often. For example the front page is ordered by points/time^1.6, but the 1.6 changes from time to time without notice (I think it was 1.8 for some time, perhaps it's 1.8 or something else now. Some people have analyzed the front page and got compatible results, but I don't remember the exponent they found and I'm too lazy to try).

You might find something useful here:

https://github.com/arclanguage/anarki/tree/master/apps/news

It was published in the public version of 2009 https://github.com/arclanguage/anarki/blob/9f2e1dd53b5b66bb4... Look for "contro-factor" (i.e. controversial-factor).

This is old code, and the mods make tweaks here and there without warning, so the details may have changed. (I'm not sure if gravity changed from 1.8 to 1.6 (???).)

I didn't test it personally, but it feels like HN is using something very similar. And there are a few black box analysis of the sorting of the front page that got similar results. Also, minimaxir is the kind of person that is probably running an script to use the HN API to verify the claims.

Absolutely. It's basically the "community version" of Paul Graham's Arc.

Not to mention arc/anarki (hn is/was written in arc - anarki comes with a "news" example app/forum):

https://github.com/arclanguage/anarki/tree/HEAD#readme

arc [1] / racket implimentation of demystifycpp might be able to provide something 'usable' at the command line / straight up web browser html file.

[1] : https://arclanguage.github.io/