Twitter | Search | |
Matthias Clasen
GNOME developer, at Red Hat
511
Tweets
361
Following
600
Followers
Tweets
Matthias Clasen 11h
Reply Retweet Like
Matthias Clasen 13h
talks about layout in GTK4,
Reply Retweet Like
Matthias Clasen Aug 23
Learning about GNU Health from Louis Falcón.
Reply Retweet Like
Matthias Clasen Aug 23
The gnome shell crew goes through a looong list of improvements, at Guadec 2019
Reply Retweet Like
Matthias Clasen Aug 14
Even the release numbers have gotten too fast to keep up with :)
Reply Retweet Like
Matthias Clasen retweeted
Sundeep Anand Jul 31
Langpacks Auto-installation - sundeep's blog via
Reply Retweet Like
Matthias Clasen Jul 27
Replying to @p1u3o @reality_be_rent
Yes, it's a benchmark. You are invited to use it to speed up theme loading
Reply Retweet Like
Matthias Clasen Jul 10
I see cake, and an indecipherable acronym
Reply Retweet Like
Matthias Clasen Jul 10
Replying to @__wwoods__
The good news is: theres only one countable dense linear order (modulo end points). You're looking at the rationals
Reply Retweet Like
Matthias Clasen Jul 10
Replying to @__wwoods__
But you're probably right that the order is dense (ie theres always a point between)
Reply Retweet Like
Matthias Clasen Jul 10
Replying to @__wwoods__
As long as your version numbers are all finite, you end up with 2^<\omega, which is countable
Reply Retweet Like
Matthias Clasen Jul 10
Replying to @__wwoods__
Think of [0, 1] u [2, 3] as an easy counterexample for an uncountable set with two elements that don't have a point between them
Reply Retweet Like
Matthias Clasen Jul 10
Replying to @__wwoods__
That doesn't follow from being uncountable. But it's probably true
Reply Retweet Like
Matthias Clasen Jun 17
Nah
Reply Retweet Like
Matthias Clasen Jun 10
Replying to @HaloSiska @SENDYYeah
Congratulations!
Reply Retweet Like
Matthias Clasen May 12
In the meantime, there's a neat app on flathub that lets you get google webfonts easily:
Reply Retweet Like
Matthias Clasen May 4
Replying to @n8willis @andreasn1
I know i can't expect a bug report, but a link to the article would be nice
Reply Retweet Like
Matthias Clasen Apr 27
Its pretty close to done. Various people have been working on it recently
Reply Retweet Like
Matthias Clasen Apr 24
Replying to @mmillions @gnome
Welcome!
Reply Retweet Like
Matthias Clasen Apr 19
Replying to @ruhbehka
Wortfindungsstörung
Reply Retweet Like