Ex mathematician, aspiring dilettante.
I hack on the Mir display server and related madness at Canonical.
Ex mathematician, aspiring dilettante.
I hack on the Mir display server and related madness at Canonical.
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:
https://github.com/matthiasn/talk-transcripts/blob/master/Hickey_Rich/EffectivePrograms.md
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:
Hello, serious one.
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.
#introductions
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.