?

Log in

Из-Под Глыб

May. 27th, 2016

06:15 am - State Monad, categorically

Take 1.
State[A,S] is just A×S, with a point s0:1→S.

- unit is provided by the point, A→A×S
- map is just a functoriality of cartesian product
- flatten is given by p1:S×S→S.

Take 2. OTOH, a pointed object S with a projection, p1:S×S→S, gives us a monoid.

What's the point then, why not take an arbitrary monoid M, and define State[A,M] using the monoidal properties of M?

Take 3.
It is (A×S)S, with the following operations:
- unit is given by currying id:A×S→A×S
- map is obvious
- flatten is given by some obvious and canonical (((A×S)S)×S)S → (A×S)S

So, the last one.

May. 26th, 2016

07:40 am - Arabic in Spanish

I understand, algodon, almuerzo, in Spanish, stolen from Arabic. But then - how about alpaca? The Arabs did not have no alpacas, right? Turned out, it's from Aymara language; Aymara people were keeping alpacas for millenia, used their wool to make sweaters and hats.

On the other hand, there's a town called Matamoros in Mexico, now what. What kind of Moors were there in Mexico, and when. Well, turned out it's a last name. They have a street named Matamoros in Laredo, TX. Shrek (no shit it was Shrek) suggested to rename the street, after learning some Spanish. They told him it was after Mariano Matamoros. So eventually they had renamed the street to calle M.Matamoros.

Is not it a smart idea, to have someone with an offending last name, and use this pretext?

May. 25th, 2016

11:39 pm - про шпионов

Сотрудника советского посольства зовут Давид.

Sapienti sat.

12:21 pm - чо там у россиян?

Я слышал, денег нет, и Путин сказал, что монополии на истину тоже нет. Мне кажется, патриарх и Зюганов могли бы возразить насчет истины. (Я сам-то преподаю Истину в католическом университете, и тоже мог бы возразить, но кто я такой...)

За Савченко, вместо денег, дали каких-то двух донецких милиционеров, уволенных из российской армии. Обжулили Путина.

11:56 am - HPE

Ктоб ожидал от Хьюлет Паккарда таких достижений на бирже. (Я продал сразу же, как проснулся и увидел.)

07:47 am - Первое заявление Надии Савченко после освобождения [reposted post] reposted by ivan_gandhi

Оригинал взят у aillarionov в Первое заявление Надии Савченко после освобождения

Извините, что я вернулась, а другие продолжают оставаться в тюрьме

Read more...Collapse )

07:40 am - предполагаемые проблемы нерезиновой

http://www.mk.ru/social/2016/05/23/v-rossii-zapuskayut-kampaniyu-po-vozvrashheniyu-15-000-uchenykh-izza-rubezha.html - учоных собираются репатриировать. Будут держаться.

Но проблема вечная - прописка.

"Уезжали со всей страны, а вдруг возвращаться захотят только в Москву и Питер? Или планируются какие-то квоты для равномерного распределения по регионам?"

Квоты на прописку. Которые слишком поздно вернуться - тех на Магадан. Ненуачо.

И в детский сад без очереди: "Например, для живущих в США большим минусом является дорогостоящее образование детей".

"Мы не хотим возвращать всех подряд, а лишь самых перспективных и успешных. Пятнадцать тысяч таких людей смогут обеспечить резкий рывок российской науки и технологий."

Двоих уже вернули сегодня.

06:54 am - на свободе

May. 24th, 2016

04:31 pm - a decent fizzbuzz

Can anybody write a really beautiful one?

All I could come up with is this:

def fizzbuzz(n: Int) = 1 to n foreach { i =>
  def p(k: Int, what: Any, alt:  => Unit) = if (i % k == 0) print(what) else alt
  p(15, "fizzbuzz", p(3, "fizz", p(5, "buzz", p(1, i, {})))); println }

Tags:

01:59 pm - ЛОЗУНГ

 ДЕНЕГ НЕТ 
 А ВЫ ДЕРЖИТЕСЬ 

Navigate: (Previous 10 Entries)