Try looking for the actual font name with "fc-list | grep -i source", maybe it is not what you're expecting.
A few months ago I was having trouble with getting some TTF BIOS fonts recognized by urxvt and fc-list made me realize that I should've escaped a couple dashes in the font name.
Since you're interested in the implementation of synchronous languages you could also take a look at Quartz [1]. Their book is a fantastic resource about the topic.
1. Dynamic abstractions with lexical scope (vs. mostly static language). You can dynamically spawn code into a lexically-scoped pool.
2. Internal/fine-grained determinism (vs. external determinism). All statements execute in a deterministic order. E.g., if you have two printf's in parallel awaking from the same event, they will execute in lexical order.
3. Safe integration with C. When calling a C function that returns a pointer (e.g., "malloc"), Céu forces you to write a finalization clause (in which you can call "free"). If this code is somehow aborted, the "free" is called automatically.
4. Timers as first-class events (e.g., "await 1s"). Besides the convenience, Céu adjusts timers in sequence, e.g., if a first timer awakes a little bit late (due to system overhead), the timer in sequence will compensate.
5. Internal events are stack-based (vs. queue based). This allows co-routine-like functionality, resumable exceptions, and some other mechanisms.
6. Event-based logical notion of time (vs. tick based). A single event can occur at a logical time (related to #2).
[EDIT] Didn't mention that these are "advantages" depending on the context. Esterel targets hardware synthesis and also hard real-time systems. Dynamic abstractions might be irrelevant, fine-grained/sequential determinism in hardware might be inefficient, a tick is closer to a hardware clock, etc...
In comparison to Lustre:
Very different programming mindset.
IIRC, in Lustre you define equations and the system is responsible for keeping them up-to-date/correct.
It is a data-flow language (vs control-flow), closer to FRP than Céu/Esterel.
Céu looks really similar to Esterel. The thesis (http://www.ceu-lang.org/chico/ceu_phd.pdf) has a section titled "III.7 Differences to Esterel". (edit: removed explanations, the other comment is more detailed).
Chrome will start nagging you on almost every page load as soon as the next security update goes live, I doubt you will stand it for too long. Nonetheless, I also loved that feature and see little reason to stay with Chrome on Android now.
Indeed, but some browsers have the tab switch button at the bottom, which I find much more ergonomic. Another reason for me is that Chrome bookmarks page sucks, so I got used to adding them to a folder on my home screen instead. It worked surprisingly well with the Merge Apps and Tabs feature, but with that gone Chrome just stuffs newly opened links in a new tab instead of opening a new window.
If you want some website to be in their own window, visit them in Chrome and go to 3 dot menu and Add to home screen. Basically similar as on desktop, with the taskbar/desktop icon.
Hm, that's odd, I've added Strava to homescreen since the Android app runs a constant GoogleNowAuth service and wasting resources. It runs in it's own window. Although I use the Chrome Beta 52, maybe there's some differences.
