groks

  cat << EOF > ~/.config/gtk-3.0/gtk.css

  /* Make window title bars more compact.
   *
   * From: https://unix.stackexchange.com/questions/276951
   */

  headerbar entry,
  headerbar spinbutton,
  headerbar button,
  headerbar separator {
      margin-top: 2px; /* same as headerbar side padding for nicer proportions */
      margin-bottom: 2px;
  }

  EOF

Comment · 9 years ago

https://developer.gnome.org/gtk3/stable/gtk-mir.html

Comment · 9 years ago

If you enable server-mode you can run gui emacs to get the icon in the doc and pop up a gui window when you drop something on it, while also connecting in a terminal.

Comment · 9 years ago

> The true metric for success for something like ntpsec is the number of meaningful security problems ntpd has been vulnerable to since ntpsec's inception that ntpsec hasn't been.

They talk about 3 areas where bugs have been removed, including:

  Much of ntpd’s most convoluted code lives in ntp_proto.c, which
  implements the state machine central to the protocol. Of the 29
  vulnerabilities that have received CVEs so far in 2016, a couple
  of multi-KLOC functions in ntp_proto.c are responsible for 15 of
  them — just over half. Of course, "just rip it out" wouldn’t
  suffice in this case: this is core business logic, not junk code.
  So we rewrote those functions from scratch, cutting line count
  considerably and yielding a far more readable result.

https://blog.ntpsec.org/2016/12/13/fantastic-bugs-and-where-...

The other two areas are guaranteed bug-free because they removed the code.

Comment · 9 years ago

We've already got virtual pop stars. Why not a virtual CEO?

https://arstechnica.com/the-multiverse/2016/04/waving-glow-s...

RIM had a par of co-CEOs. Why not buy one CEO from IBM, and hire another to play golf?

Comment · 9 years ago

Some lid switches are broken:

https://who-t.blogspot.co.uk/2017/02/libinput-and-lid-switch...

Comment · 9 years ago

> it lacks several packages that I use (Kodi comes to mind

    $ dnf search kodi
    kodi.x86_64 : Media center
    ...

> They also changed the package manager from Yum, so a lot of new things to learn since I last used 17

    $ yum search kodi
    Redirecting to '/usr/bin/dnf search kodi' (see 'man yum2dnf')

    kodi.x86_64 : Media center
    ...

Comment · 9 years ago

    $ youtube-dl --list-formats https://www.youtube.com/watch?v=DeJLzyxZqbk | grep '[0-9]x[0-9]'
    278          webm       256x144    DASH video   93k , webm container, vp9, 24fps, video only, 1.09MiB
    242          webm       426x240    DASH video  110k , vp9, 24fps, video only, 1.00MiB
    160          mp4        256x144    DASH video  113k , avc1.4d400c, 24fps, video only, 1.41MiB
    243          webm       640x360    DASH video  196k , vp9, 24fps, video only, 1.83MiB
    133          mp4        426x240    DASH video  247k , avc1.4d4015, 24fps, video only, 3.08MiB
    134          mp4        640x360    DASH video  263k , avc1.4d401e, 24fps, video only, 2.95MiB
    244          webm       854x480    DASH video  322k , vp9, 24fps, video only, 3.11MiB
    135          mp4        854x480    DASH video  554k , avc1.4d401e, 24fps, video only, 6.30MiB
    247          webm       1280x720   DASH video  714k , vp9, 24fps, video only, 7.48MiB
    136          mp4        1280x720   DASH video 1127k , avc1.4d401f, 24fps, video only, 12.92MiB
    248          webm       1920x1080  DASH video 1579k , vp9, 24fps, video only, 17.86MiB
    137          mp4        1920x1080  DASH video 2304k , avc1.640028, 24fps, video only, 27.09MiB
    17           3gp        176x144    small , mp4v.20.3,  mp4a.40.2@ 24k
    36           3gp        320x180    small , mp4v.20.3,  mp4a.40.2
    18           mp4        640x360    medium , avc1.42001E,  mp4a.40.2@ 96k
    43           webm       640x360    medium , vp8.0,  vorbis@128k
    22           mp4        1280x720   hd720 , avc1.64001F,  mp4a.40.2@192k (best)

Comment · 9 years ago

You might enjoy Peter Norvig teaching you this technique which he uses to solve the Zebra Puzzle in lesson 2 of CS212:

https://classroom.udacity.com/courses/cs212/lessons/48632874...