![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Boulder scenes
Jun. 24th, 2019 04:49 pm
Tea Ceremony for LambdaConf people
Morning ladies getting high
Evening rainbow
Tea Ceremony for LambdaConf people
Morning ladies getting high
Evening rainbow
(no subject)
May. 27th, 2017 09:20 pmToday was a good day.
At 9AM Paul Phillips was talking about "the axes of abstraction". He mixed in a lot of fantastic stuff, but ended with mentioning Bénabou and profunctors nuclei. These things are "just" fixpoints for a certain comonad generated by a profunctor. In some cases they look pretty cute.
10AM: CARLOS RODRIGUES, CORECURSION, CODATA, AND JUST A LITTLE COMBINATIONAL GAME THEORY. The talk of amazing quality. If you listen to it, and watch slides, you'll remember forever the difference. It's just brilliant.
At 9AM Paul Phillips was talking about "the axes of abstraction". He mixed in a lot of fantastic stuff, but ended with mentioning Bénabou and profunctors nuclei. These things are "just" fixpoints for a certain comonad generated by a profunctor. In some cases they look pretty cute.
10AM: CARLOS RODRIGUES, CORECURSION, CODATA, AND JUST A LITTLE COMBINATIONAL GAME THEORY. The talk of amazing quality. If you listen to it, and watch slides, you'll remember forever the difference. It's just brilliant.
11AM: RÚNAR, ADJUNCTIONS IN EVERYDAY LIFE. See also a book, "Generic Programming with Adjunctions". Runar managed to explain adjunctions to the public in simplest Haskell terms. He only tried to evade answering the questions "how can I build an adjoint". Good for him.
1PM: Adam Warski, "THE ORIGINS OF FREE". Pretty elegantly explained how to build a free monad. A little bit evasive, from math p.o.v, but you know, there are different levels.
2PM: ARSENIY ZHIZHELEV, FLEXIBLE TYPED ONTOLOGY APPLICATIONS. Guys, if you ever exchanged data with Spark/sqldb/json, and the like, using some shitty library... drop everything, see Arseniy's slides, and do what he tells you to do. Just the right solutions for serialization/deserialization/data access.
3:30PM - I gave a talk on Grothendieck topologies, using db schemas, TLA+, Groundhog Day, and more monoids. They enjoyed it. Nobody fell asleep. I'm happy - but totally exhausted.
1PM: Adam Warski, "THE ORIGINS OF FREE". Pretty elegantly explained how to build a free monad. A little bit evasive, from math p.o.v, but you know, there are different levels.
2PM: ARSENIY ZHIZHELEV, FLEXIBLE TYPED ONTOLOGY APPLICATIONS. Guys, if you ever exchanged data with Spark/sqldb/json, and the like, using some shitty library... drop everything, see Arseniy's slides, and do what he tells you to do. Just the right solutions for serialization/deserialization/data access.
3:30PM - I gave a talk on Grothendieck topologies, using db schemas, TLA+, Groundhog Day, and more monoids. They enjoyed it. Nobody fell asleep. I'm happy - but totally exhausted.
