If people don't like copyleft because it limits their freedom, they should lobby against copyright.

Even when you disagree with his ideas, Rich Hickey’s talks are well worth a listen. I always learn something, and find I disagree less and less every time.

I’m normally in favour of type-driven design with static types for large programs, but I have to agree with his points here:

github.com/matthiasn/talk-tran

alpha male (n.): a man whose behavior is not considered stable enough for public demonstration.

In the interest of load-balancing it seems like it might be a good idea to migrate off the mastodon.social instance.

Because I like platonic solids, I'll be migrating here, to Icosahedron :grinning:

Some more of me:

I did several years of a PhD in mathematics (ask me about exterior hyperbolic geometry over finite fields! Or, even better, about circles over arbitrary quadratic forms over finite fields!), but didn't finish.

I enjoy teaching, and did the first year of a teaching degree until I I found that even the nicest year 7 class in the first practical *took me apart*.

I'm interested in FP, but haven't managed to hack into Haskell. I'm interested in Rust, and have some toy projects.

Show thread


So, might as well...

I'm a programmer at Canonical, working on the Mir display server. This is somewhat unexpected; I was hired 7(!) years ago to work on the packaging side of Ubuntu - the desktop team - and was promptly put in charge of X.

Working on Mir is fun, when it isn't being frustrating! I even have my name on some Khronos specs!

I'm a husband, and father of 1.99 girls. They're not online in the same way I am, so I don't tend to talk about them much.

That's some of me.

Relatedly: you can run Steam Big Picture mode in a window with β€œsteam -tenfoot -windowed”.

You might want to do this if, for example, you've got a 4K display and the regular client is a tiny tiny vision test.

Show thread

Aww, yeah. That's what I'm talking about.

The speed, not the strange colours. That's gnome-screenshot interacting badly with the nvidia drivers.

mastodon.social/media/tZbpn1Tj

@sarahjeong Please boost if you find out, I would like to know how to make them wider

Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!