Notices by Andrew Miloradovsky (amiloradovsky@functional.cafe)

@ashwinvis @bthall That is to say, path-connectedness relation in a directed graph (not necessarily acyclic) is only a pre-order (i.e. just reflexive and transitive), since all the elements in a non-trivial cycle would follow and precede each other, yet be different vertices.
While in a DAG, there are only trivial cycles, so if one vertex follows and precedes another, they're necessarily the same. So it is a "proper" (without "pre-") partial order.

@ashwinvis @bthall "Linear" means total order, that any two elements are in a relation (precedes, follows, or both). Partial order doesn't require that (elements may neither precede nor follow one another); path-connectedness of vertices in a directed graph is an example.
To be quite precise, one distinguishes (partial) orders and pre-orders, in the sense that the former also require that precedes-and-follows is iff they're equal w.r.t. some deeper equality…

@bthall I don't think it's that much niche. Conversely, I'd say it's a reasonable criterion: purchase something not because you can't get it for free (without hassle), but because you can.

I just thought I should stick couple books on the topic here, in case somebody is interested and/or for future references:

• Game Theory (Open Access textbook with 165 solved exercises)

Giacomo Bonanno

(Submitted on 21 Dec 2015)

https://arxiv.org/abs/1512.06808

• Game Theory, Second Edition, 2014

Thomas S. Ferguson
Mathematics Department, UCLA

https://www.math.ucla.edu/~tom/Game_Theory/Contents.html

Reminder: #XSLT allows you to place the standard boilerplate (such as header, footer, navigation, etc.) on every page without any site generation or JS & DOM.

#Documentation is more important than the code. — Apparently most developers think the opposite way.

If you can't supply additional and useful to humans information for your code, in quantity as much or more than the code itself, you probably have only a very vague idea of what you're ever doing. — A monkey, basically.

@lain
Maybe you should also mention that #Pleroma development is done on own #GitLab instance, and not #GitHub. — That's an advantage, IMO.
So I'm intrigued.

@loke @otini The ecosystem is called #OPAM, it has plenty of bindings for the common C libraries, to start with.

The benefits of #OCaml are most apparent in a project involving some complicated data structures — (G)ADTs and parametric modules are super useful for defining and operating with those structures.

TBH, IDK what to recommend to get started with OCaml specifically, since I myself learned #StandardML first (via the R.Harper's book). But I won't recommend the #Huskell resources either.

@mdallastella I'd put it this way: The standards of NixOS/GuixSD are pretty high, and bringing the monstrous software bundles to those standards is a pretty big task. Thus the progress is relatively slow.