horsh1

So where is the parser?

Nothing existing only before 1985, that is, before the invention of the open source, was alive in the first place. The code for the classic programs is nowhere to be found. And if found, it is written in some interlisp dead language.

It would be interesting to see if Nota could solve one problem that TeX and LaTeX, while theoretically capable, don't really solve in practice. Namely, the ease of styling according to dumb external requirements. Just to give you several examples:

  * Very tight, but very loaded layouts like A0 conference posters
  * Apply a national standard, such as, for example, post-Soviet GOST documentation styling standards
  * All combinatorial explosion of bibliography styling requirements in different international traditions 
  * Make the documents look like a default style in so and so MS Word version
  * Precise positioning of one picture upon another, or text upon a picture for quickfixes in the papers
  * Be able to consciously tweak any of the above

The problem with tex universe solutions here is while technically all of the above is possible, in practice it requires some black magic far deeper than a lay person (even with a scientific degree) wishes to dive into.

So what is the real totalitarian difference of Zhima from, say, Equifax or Experian?

Can the language be changed?

... Using Tokyo as the vision of the future ten years before Blade Runner and Akira.

> Burton's extended unexplained car ride

What do you mean unexplained? They clearly were showing the future. The multi-level Tokyo highways were percieved as extremely futuristic by the soviet audience. There was nothing like that in the Union at the time.

How long until Greenland is green again?

An fb2 diff tool

Given the progress of the large language models, the news is almost irrelevant now: "Produce me Hitchhiker's Guide to the Galaxy, but more offensive to everyone". "Make Catch 22 version, but make higher officers less dumb". "Rewrite Winnie the Pooh, but make Eeyore less offensive, in general".

Zero results for requests in japanese, russian or hebrew. Suckless they say? What content?

Read HN, but filter out all things like bbc.com, wsj.com, nyt.com, cnn.com, bloomberg.com, apple.com, microsoft.com, twitter.com, reuters.com. If it is an msm or a software giant -- just filter it all out completely.

Fixity and associativity control at least at the haskell level. Notation comparable to Coq level. Generics without jvm limitations. Subtyping or subsets of inductive types. Rich signature overloading. No need for general recursion, loops etc. Pretty printing out of the box. Static literals (from the binary directly to memory).

And trailing lambdas?

And also there are user defined functions on dicts. Those are all moves in the right direction, but all seem ad hoc and partial.

Yea, that's a good thing.

Less repetitions. Instead of

   roo(X, W) :- zut(X, Z), pum(Z, Y), tos(Y, W)

we could write something like

   roo/2 :- zut . pum . tos

No cyrillic or hiragana suport :-(

Here's a version with English captions: https://www.youtube.com/watch?v=ajknsrDX-VY

Soviet TV play adaptation of Asimov's "The Naked Sun". Has the best looking robots. (See the beginning of part 3 for example)

https://www.youtube.com/watch?v=fQWLsZurF5U

https://www.youtube.com/watch?v=2YksNxkF2TQ

https://www.youtube.com/watch?v=BPamQ-khmf8

Hobbit, yes! While 1991 "lotr" and 1985 "the hobbit" are both tv playes, the lotr is rather awful and amateurish. But "the Hobbit" is a real masterpiece.

For fun.

No cyrillic, no hiragana, no hebrew :-(.