Car maintenance day apparently… May as well get it all done at once.
![20170929_160649 The mountains look lovely today.](https://i0.wp.com/boffosocko.com/wp-content/uploads/2017/09/20170929_160649.jpg?w=326&h=245&ssl=1)
The mountains look lovely today.
![igN1FJgJ The Arco at New York and Altadena Drive](https://i0.wp.com/boffosocko.com/wp-content/uploads/2017/09/igN1FJgJ.jpg?w=326&h=245&ssl=1)
The Arco at New York and Altadena Drive
For those of us wanting to leave Twitter and other silos behind and focus more on microblogging on our own domains, discovering new people to follow can be a little tricky. Manton Reece has a Discover tab on Micro.blog to find people, but the service is still in its infancy. Colin Devroe suggested a #FollowFriday movement. I’ll start off with two bloggers I’m enjoying. Feel free to use webmentions for your own lists! Please correct me if anyone else has started this, I haven’t had great connectivity for the last few weeks.
It also reminds me that I ought to get to work on keeping a following list of my own or add a follow post type to my site eventually. Perhaps something to think about over WordCamp LA and IndieWebCamp NYC this weekend?
The Institute for Advanced Study is deeply saddened by the passing of Vladimir Voevodsky, Professor in the School of Mathematics. Voevodsky, a truly extraordinary and original mathematician, made many contributions to the field of mathematics, earning him numerous honors and awards, including the Fields Medal. Celebrated for tackling the most difficult problems in abstract algebraic geometry, Voevodsky focused on the homotopy theory of schemes, algebraic K-theory, and interrelations between algebraic geometry, and algebraic topology. He made one of the most outstanding advances in algebraic geometry in the past few decades by developing new cohomology theories for algebraic varieties. Among the consequences of his work are the solutions of the Milnor and Bloch-Kato Conjectures. More recently he became interested in type-theoretic formalizations of mathematics and automated proof verification. He was working on new foundations of mathematics based on homotopy-theoretic semantics of Martin-Löf type theories. His new "Univalence Axiom" has had a dramatic impact in both mathematics and computer science.
Sad to hear of Dr. Voevodsky’s passing just as I was starting into my studies of algebraic geometry…