5 Matching Annotations
  1. Jan 2024
    1. HAProxy may also make use of a UNIX socket to send its logs to the local syslog daemon, but it is not recommended at all, because if the syslog server is restarted while haproxy runs, the socket will be replaced and new logs will be lost.

      Unix domain socket not recommended for logging

  2. Nov 2022
    1. Zettelkasten as a product?! .t3_xsoaya._2FCtq-QzlfuN-SwVMUZMM3 { --postTitle-VisitedLinkColor: #9b9b9b; --postTitleLink-VisitedLinkColor: #9b9b9b; --postBodyLink-VisitedLinkColor: #989898; }

      @chrisaldrich's post on "pip decks". They seem less like Zettelkasten decks and more like protocol-kastens (think of a better name for this)

      Seem poor for knowledge generation (Zettelkasten) and recollection (Anki), but may be useful for specific contexts of problem-solving (even in ill-defined problem spaces).

  3. Feb 2021
    1. I’ve found Pear Deck to be fine, if somewhat clunky. There are other interactive presentation tools, most notably Nearpod, which I actually prefer to use for interactive presentations. But Pear Deck, unlike Nearpod, allows me to monitor student progress from a dashboard and allows students to click links directly from slides. So Pear Deck it is.

      My 9 year old has been using Nearpod regularly, but I haven't looked at it yet. Pear Deck's additional functionality sounds helpful though.

    2. they work through detailed tutorials to learn a tool or skill. The difference, though, is that I’ve converted the blog post-style tutorials to Pear Deck slides. [3]I’ve found Pear Deck to be fine, if somewhat clunky. There are other interactive presentation tools, most notably Nearpod, which I actually prefer to use for interactive presentations. But Pear … Continue reading jQuery('#footnote_plugin_tooltip_2241_1_3').tooltip({ tip: '#footnote_plugin_tooltip_text_2241_1_3', tipClass: 'footnote_tooltip', effect: 'fade', predelay: 0, fadeInSpeed: 200, delay: 400, fadeOutSpeed: 200, position: 'top center', relative: true, offset: [-7, 0], }); Pear Deck is an interactive presentation tool designed for K-12, with a lot of interactive features
  4. Jun 2020