Mar. 25th, 2015
Сейчас у нас в столовке группа японцев еду выбирала. Старшой совсем буковок наших не знает; ему молодой услужливо переводит: beef -> бифу. Я чуть было не полез подсказать 牛肉, но шото передумал.
А правда, на канджи красиво. Первая буква - очевидно корова, с рогами. Вторая буква - разделанная туша, ребра видать.
А правда, на канджи красиво. Первая буква - очевидно корова, с рогами. Вторая буква - разделанная туша, ребра видать.
funny autocorrections
Mar. 25th, 2015 05:43 pm"Dead Professor,
What is the breakdown of getting an A /A-/B/B- in the class..."
I had not even noticed until she sent me another mail, with apologies.
Since she got a B-, this might have sounded like "you are dead!" (quoting "American Pie") or something.
https://www.google.com/search?q=dead+professor+walking&safe=off&espv=2&biw=948&bih=591&tbm=isch&tbo=u&source=univ&sa=X&ei=N1YTVdleytWgBLDrgMgF&ved=0CCgQsAQ
What is the breakdown of getting an A /A-/B/B- in the class..."
I had not even noticed until she sent me another mail, with apologies.
Since she got a B-, this might have sounded like "you are dead!" (quoting "American Pie") or something.
https://www.google.com/search?q=dead+professor+walking&safe=off&espv=2&biw=948&bih=591&tbm=isch&tbo=u&source=univ&sa=X&ei=N1YTVdleytWgBLDrgMgF&ved=0CCgQsAQ
the dramas in our streets
Mar. 25th, 2015 08:46 pm"Be on the alert! I just received a phone call from a man named "Mark Barnes". He said he was calling from the "Department of Legal Affairs". He said that since I had made a mistake on my 2010 taxes, and since I had "refused to pay" the right amount, that a warrant for my arrest had been issued by the IRS. He then said I either had to pay them over the phone, immediately, or a policeman would be coming to my home within the next hour to arrest me, seize my home and all my assets. He was very convincing, but I kept pushing for information which he could not provide. Then he sent the call over to a woman, who said the same things, but tried to sound more "managerial" like apologizing for the gruffness of her employee. She also told me there was nothing she could do to stop the arrest unless I gave her my social security number, my driver's license number, and a check for $4,786.18. When I told her I would give her nothing and I would call the police myself to greet to other soon to arrive police, she hung up on me."
What's funny, I've been trying to remember this last name, since I did talk to a guy with this name last week. Personally, not over the phone.
What's funny, I've been trying to remember this last name, since I did talk to a guy with this name last week. Personally, not over the phone.
пытаясь въехать в двойственность
Mar. 25th, 2015 10:37 pmНу вот коданные, как вроде бы известно - это структуры данных. Типы.
А вот аналогичная сопряженная ситуация, где данные/коданные параметризованы, дает нам, если по-простому, лемму Ионеды, в замкнутых моноидальных категориях мы получаем, как посмотреть, или экспоненту, или импликацию, или, видите ли, квантовую телепортацию (see http://arxiv.org/pdf/quant-ph/9908010v1.pdf)
С точки зрения типов это экспоненциальный тип, полезен в карриинге.
Поправьте, если я что подзагнул.
В телепортации я не разбираюсь, но идея понравилась.
А вот аналогичная сопряженная ситуация, где данные/коданные параметризованы, дает нам, если по-простому, лемму Ионеды, в замкнутых моноидальных категориях мы получаем, как посмотреть, или экспоненту, или импликацию, или, видите ли, квантовую телепортацию (see http://arxiv.org/pdf/quant-ph/9908010v1.pdf)
С точки зрения типов это экспоненциальный тип, полезен в карриинге.
Поправьте, если я что подзагнул.
В телепортации я не разбираюсь, но идея понравилась.