11 Matching Annotations
  1. Last 7 days
    1. you started from a reductionist camp when you were studying ion channels and cell membranes

      for - Denis Noble - background - early work on ion channels and cell membranes

  2. Sep 2024
  3. Apr 2023
    1. If channels were to be removed, it would be more clearer to everybody including new users, what the real use and power of nix is, and all documentation would go straight to pinning. Then only after understanding this, can people write higher level abstract tools to provide an auto-updating "channel" like interface to the underlying pinning concept.

      great channels vs pinning summary

    2. No pinning isn't about which channels you get. Pinning pins to a content addressed commit hash of nixpkgs or any nixpkgs even your own fork. Channels is orthogonal and probably a mistake and should be removed.

      Wonder what the consensus on channels nowadays?

  4. Feb 2022
  5. May 2021
  6. Jul 2020
    1. Make sure you have a good headset with a microphone as any background noise is distracting to others during the call. If there is excessive noise on your connection, you will be muted until you need to speak. Make sure you join the IRC channel as links and code examples are usually shared over the chat channel.
  7. Nov 2018
    1. One teacher's experience using slack, referencing what things were like before using it and after; contains many ideas on how about how to maximize Slack (3/5)

  8. Feb 2017
  9. Jan 2017