May. 27th, 2017

juan_gandhi: (Default)
Below are two projections for the words in W&P: most frequent and least frequent.

                                    150 MOST FREQUENT WORDS
 0                     away                                       french
 2                                                             napoleon
 4                                                                                        russian
 6                                         natasha                kutuzov         going
 8                   front
10                                               men            suddenly
11                                       moscow
14                                                                       began
15                                                            anna                           man
16        dolokhov                                                let             countess   words
18                                                   say                evidently
20                                        looked            dear   army         hands  others
21                                     told                                 gave order
22                                               look       troops        get
23                               son          count                     always                nothing
24                     left                whole voice                took                    much
25                                  come          battle  time         make
26                                                  where
27                                                          never      day two                    expression
28                     enemy                           pierre    replied      though                  quite
29                                       behind        hand              once                  also
30                                              boris                  good feeling     asked  great
31                                            princess                     seen
32                                                        everything       think    having
33                                                    nicholas  most           thought          something
34             horse                                       rostov                           three
35          ran               petya         made              prince                   place
36                       door          house    came  see                                  anything     must
37                                     andrew                      mary                 know                                 general
38          sonya            eyes     back   side                 last both right
39                                        turned                     like
40                      room                       face                 herself
41                                                             yet            knew    tell
42   sat                                                              officer   seemed
43                                                                  long     own             might
44                                                                                       understand little
45                                                            saw
46                                                                      stood
47                                                                    commander
48                                                 round
50                                                                                     new
52                                                       put   way                     old
54                                                                                                 soldiers
60                                                       same

                                    150 MOST RARE WORDS
 0                                                                vierge
 9                                                      attendre
12                                                                                     pardonner
13                                       oily          robs
15                                                                                          rire
17                                                       despises                      purloined
18                                                                              grassland
19                                                                                                  infringe
20                                               nymphe                                 connaissez
21                                              madere                                           endearment         worshiper
22                                                                                   misericorde
23                                                 bombard                           ensuring
24                                        beetles scuffle      frustrate                   handas
25                                   protectress                                   identically
26                                                           gag                sirin     unprecedented
27                        riverbanks   chafing         scurry     production
28                                   aligning                                    candidly          tolerant
29                   panins  patties                                   prose  shatter
30                                                         accommodated  cited  unevoked
31                                   summertime maddened                 garrulous         nicholaslast            repeats
32                           aloft             countesshand   resignedly                 requires             heretofore
33                                       athwart  snowflakes  tuning         plighted                                        p'waps
34                           gnashed     scabbards                whist           legitimation
35                                                               lacerating       dayssail brusquely
36                                                            contiguous       discontent   oho       defenseless
37                    countessrooms       scudding    pigeonholes                              allopaths
38   gushing                                                 melk  needful    apollon    wrongdoing
39                                       sausages           renovation            consummate susceptible
40                                                                             wrangle
41                                decanters         seductive                   labored         absurdly             fain
42                                                       emigrate     apprehend    misrepeated       arts
43                                                            trustfulness beginnings               stupendous
44                                                                      disquiet
45                            densely                                              antagonism             presumably
46                                                                            verlust
47                                                               enchantment        bykov
48                                                                              meanings    mirthful  unprofitable
49                                                                                                         petrified
50                                  forties                                ace chatty
51                                                                                           marengo     widows
53                                               bleared               stupefaction
54                                                                                uncomplaining
55                                                                                       plottings
60                                                                                           committing

juan_gandhi: (Default)
Today 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.

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.


May. 27th, 2017 09:42 pm
juan_gandhi: (Default)
 Ну, про конференцию я уже написал выше (ниже).

Русских до хрена было (как и поляков); не видел ни одного украинского; не знаю, как это понять. Не знаю.

Доклады сегодня были классные. И публика. Я боялся, что ни хрена не поймут, все-таки ни просто топосы, а топосы пучков. Пучки, Карл. Слово "пучки" я не употреблял. Может быть, в следующий раз, типа большой толк про топосы Гротендика, чисто для программистов типа.

Устал после моего доклада, сидел... да нет, какое там; еще в коридоре долго обсуждали. Потом уже пошли с Павлом кофе пить да за жизнь рассуждать - от Нижневартовска до Ванкувера, а также про разведочное бурение и про Скалу.

Потом народ собрался поужинать и на массовое питье пива. Я с пивом уже, да и с массовостью приутомился; но ужинать с ними пошел. Не, сначала в зеленую аптеку зашел, купил пару шоколадок, так, про запас.

Потом сидели ужинали, пили пиво немножко; Мередит Патерсон, муж ее; еще Крис Н., еще Саймон - испанец из Бельгии, еще программист из Уругвая, еще один парижанин в беретике и шарфике, на джаваскрипте программирует там у себя. Ну так, поболтали, поели, потом они поехали на массовое пивопитие, а я в гостиницу.

Сейчас вещички соберу, потому что завтра к 10 надо в Душанбе - ресторан такой у речки. Это мы там чай пить будем. Баранками закусывать, или не знаю чем. В настоящем Душанбе я никогда не бывал, так что не знаю. Халвой.

Все, пока. Собираться надо.

По ящику показывают фильм Walk The Line, про Джонни Кэша. Ложкина там говорит с южным акцентом: "Hi, how-r-y'all". Ну она ж южаночка. Хорошее кино, с удовольствием пересматриваю.


juan_gandhi: (Default)

September 2017

      1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
1718 1920 21 22 23

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 25th, 2017 06:37 pm
Powered by Dreamwidth Studios