Jonkman Microblog
  • Login
Show Navigation
  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. ∑ XahLee (xahlee@noagendasocial.com)'s status on Sunday, 05-Nov-2017 13:09:24 EST ∑ XahLee ∑ XahLee

    courier, courier new, and menlo, all have the same metric. Meaning, their width and line height don't change. #emacs

    In conversation Sunday, 05-Nov-2017 13:09:24 EST from noagendasocial.com permalink
    1. itm108 (itm108@noagendasocial.com)'s status on Sunday, 05-Nov-2017 14:26:59 EST itm108 itm108
      in reply to

      @xahlee what's your opinion on fonts with "programming ligatures", like Fira Code https://github.com/tonsky/FiraCode ?

      In conversation Sunday, 05-Nov-2017 14:26:59 EST from noagendasocial.com permalink

      Attachments

      1. tonsky/FiraCode
        from GitHub
        FiraCode - Monospaced font with programming ligatures
      1. ∑ XahLee (xahlee@noagendasocial.com)'s status on Sunday, 05-Nov-2017 14:59:49 EST ∑ XahLee ∑ XahLee
        in reply to

        @itm108 i think it's great.

        but i wouldn't use it. because it adds complexity.

        for example, it shows !== as 3 bars with a slash.

        basically, the ascii does not match very well the what's the intended appearance of the symbol.

        so, there's a brain conversion step too.

        i'd rather, have language support user defined unicode operators. And or, use unicode operators out of the box.

        but there's a tremendous resistance of that among programers.

        In conversation Sunday, 05-Nov-2017 14:59:49 EST from noagendasocial.com permalink
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.

Switch to desktop site layout.