• Wouter

    Wouter

    3 years ago
    Wouter
    Scott Anderson
    +5
    12 replies
    Copy to Clipboard
  • Stefan

    Stefan

    3 years ago
    Clearly, today’s XKCD is relevant here: https://xkcd.com/2180/
    Stefan
    1 replies
    Copy to Clipboard
  • Duncan Cragg

    Duncan Cragg

    3 years ago
    (had to Google uvula, now I don't believe you)
    Duncan Cragg
    1 replies
    Copy to Clipboard
  • w

    wtaysom

    3 years ago
    Tongues can vary a bit...
    w
    1 replies
    Copy to Clipboard
  • g

    Garth Goldwater

    3 years ago

    https://youtu.be/b7FxPsqfkOY

    3blue1brown really knocked it out of the park with this one IMO
    g
    Duncan Cragg
    7 replies
    Copy to Clipboard
  • Felix Kohlgrüber

    Felix Kohlgrüber

    3 years ago
    Has anyone worked on pretty printers / formatters for (textual) source code already? I'm currently looking through different papers and implementations and I still don't really know the limitations of different approaches. Also, do you use such tools and what are your experiences with them? Where don't they work as expected?
    Felix Kohlgrüber
    y
    +1
    8 replies
    Copy to Clipboard
  • Gary Trakhman

    Gary Trakhman

    3 years ago
    this is neat, I want more text -> diagram tools. I liked this one: https://github.com/BurntSushi/erd Wanted to like but did not like this one: http://taskjuggler.org/
    Gary Trakhman
    1 replies
    Copy to Clipboard
  • b

    Brendan Zabarauskas

    3 years ago
  • robenkleene

    robenkleene

    3 years ago
    Any fans of tiling window managers here? That's tiling window managers (https://en.wikipedia.org/wiki/Tiling_window_manager) in contrast to stacking window managers (https://en.wikipedia.org/wiki/Stacking_window_manager). I've read a bunch from people who love using them around online. But I haven't found anyone who can convincingly describe why they prefer them. Most people talk about how they are easier to control from the keyboard, but that seems to stem from them being customizable, not from them tiling windows. I.e., what differentiates a tiling window manager is that for example if you have two windows next to each other, and you make one of them larger, it will simultaneously make the other one smaller. I'd love to hear from people who prefer tiling windows over stacking windows what they consider the advantages to be.
    robenkleene
    shalabh
    2 replies
    Copy to Clipboard
  • robenkleene

    robenkleene

    3 years ago
    That sounds like an implementation detail, not an inherent advantage?
    robenkleene
    1 replies
    Copy to Clipboard