The knowledge I'm missing is the details about how the scheduler spawns more of itself and how it shuts them down, and how that would be done using goblins.
@cwebber Oh good! I came to that page looking for confirmation that 8sync was built on Fibers these days, as I had that fact at the back of my head somewhere. I'm glad it was correct. :-)
I have been looking into our FBP scheduler today, and I'm not knowledgeable enough to say if it's CSP or Actors at its core. Depending on which part I'm looking at, it's suspiciously both. It uses threads and http://docs.racket-lang.org/reference/async-channel.html (CSP?) for inboxes for something that looks suspiciously similar to an Actor implementation (but calls itself an agent).
I *think* it might have the chance to be neater on top of goblins, but I'm not quite qualified to say without digging deeper and really turning all the stones.
@ckeen In conservative distro news, I'm still sometimes using apt-get when I could be using apt and get than neat colorful output, because I just haven't adapted to the change yet.
At least I remember the name of the new thing. :-D
Cool. There's a new #activitypub platform for blogging called #plume, meant to be an alternative to #medium. This could be a pretty big deal, because it means orgs can go all in on the #fediverse. They can have a #mastodon/#pleroma acct for quick communication and host their blog on plume instead of medium and all of it will federate, so users can choose how to follow and communicate with them.
clacke (clacke@social.heldscal.la)'s status on Monday, 14-May-2018 10:01:45 EDT
clackeNixOS 18.03 on this machine (but not on the other one) has an issue with systemd-udev-settle hanging until its 3-minute timeout, so I'm running 17.09 for now. But I want Nix 2.0.2 still (17.09 runs 1.11.6). No problem, just add this near the top of /etc/nixos/configuration.nix (> means pre-existing line):
@steelman No, but advertising has had a strong effect on web design, and web design on advertising, regardless whether your site uses ads or not. It's a cultural mishmash.