* * *

Oct. 21st, 2017 10:08 am
bamalip: (Default)
вокруг гадость и мразь, мразь и гадость.

* * *

Oct. 20th, 2017 09:55 pm
bamalip: (Default)
рашисты взялись обсуждать категории:
http://dxdy.ru/topic117119.html

* * *

Oct. 19th, 2017 05:24 pm
bamalip: (Default)
А давайте формальную систему-объект исследования, вслед за Мотизуки, называть театром. А то говорить, что у нас "теория, исследующая теории", как-то избито и банально. Пока так говорит только один японец, но, конечно, данный неологизм вскоре овладеет массами. Да и сокращается он до той же буквы Th.

https://en.wikipedia.org/wiki/Inter-universal_Teichmüller_theory

* * *

Oct. 18th, 2017 07:57 pm
bamalip: (Default)
:lol:

и эти люди будут нам запрещать ковыряться в носу:

«JavaScript. Сильные стороны»
«Я нашел в своей работе, что ошибки, которые обнаруживает строгая проверка типов, не являются ошибками, о которых я беспокоюсь. С другой стороны, я нахожу свободную типизацию либеральной. Мне не нужно создавать сложные иерархии классов. И мне никогда не приходится преобразовывать или бороться с системой типов, чтобы получить то поведение, которое я хочу».

* * *

Oct. 17th, 2017 10:21 am
bamalip: (Default)
три закона монадотехники

* * *

Oct. 16th, 2017 03:43 pm
bamalip: (Default)
обнаружил, что с импортированной с ЖЖ части блога "кортинке не грузяццо", поскольку хостились на ЖЖ.
вот самое ценное:




(живопись Копейкина)

* * *

Oct. 16th, 2017 11:11 am
bamalip: (Default)
В некоторых журналах удобная брехня предпочтительнее нелицеприятной правде.
Ну, так это не редкость.

* * *

Oct. 16th, 2017 09:57 am
bamalip: (Default)
заглядывал недавно в местный коворкинг. ситуация за год усугубилась - хипстеры еще более следуют хипстерской моде, носят носки с рисунком и обсуждают эти рисунки...

Майню, значит, криптовалюту на своей ферме и тут вдруг
закончилась жижа для вейпа. Пришлось подвернуть
штаны, встать на гироскутер и покручивая спиннер,
отправиться в ближайший вейпшоп. Я, кстати,
овервотчер. А в прошлом рубист. Но не суть. По пути я
заглянул в барбершоп подровнять бороду, где меня
угостили прохладным ананасовым смузи. Имиджмейкер
посмотрел на меня странно, потому что он заметил на
моём свитшоте пятно от кофе из Старбакса. Я переодел
свитшот на кардиган, надел очки от рейбена,
поблагодарил мастера, и поехал в вейпшоп. Доехал до
вейпшопа, заправился по полной: залах клубники с
печеньем чувствуется даже через фотку в инстаграмме.
После я отправился в артхаус-кинотеатр, где меня ждали
мои френды, и, после просмотра мы обсуждали
киношедевр про писателя, который пел хава нагилу и
нассал в аквариум. Это был экселент зкспириенс для
меня. Но я устал: ”Ту мач» — подумал я и отправился
обратно домой майнить эфириум.

* * *

Oct. 15th, 2017 08:09 pm
bamalip: (Default)
Мрази нужно постоянно напоминать, что она мразь. Не отходя от кассы, лучше прмо в лицо. Дальше - насколько возможности позволяют. Все бедствия в мире происходят от потакания мрази.

* * *

Oct. 12th, 2017 09:29 pm
bamalip: (Default)
значит, будем транслироваться вот в такую фигню на Скале
https://gist.github.com/zraffer/82c6b5bb7ae86d9ef464c0f47b4abfbf
(позволяет моделировать любые формальные системы на тайп-левеле Скалы или даже Джавы)

* * *

Oct. 12th, 2017 09:05 pm
bamalip: (Default)
Categories for the Working Philosopher
https://www.amazon.co.uk/Categories-Working-Philosopher-Elaine-Landry/dp/019874899X

(не читал, но осуждаю)

* * *

Oct. 12th, 2017 10:48 am
bamalip: (Default)
Что будет, если пригласить на одну конференцию одновременно Бъярна Страуструпа и Simon Peyton Jones - они сразу аннигилируют со страшной силой? Или предварительно образуют короткоживущую квазичастицу, вроде позитрония?

Я не говорю про, например, Мартина Фаулера и Philip Wadler. Такие люди живут в разных вселенных и не могут взаимодействовать кроме как через гравитацию.

* * *

Oct. 10th, 2017 04:19 pm
bamalip: (Default)
git при пожаре

* * *

Oct. 9th, 2017 06:53 pm
bamalip: (Default)
вот человек запланировал написать серию статей про ООП-паттерны с точки зрения ТК

уже даже написал оглавление

http://blog.ploeh.dk/2017/10/04/from-design-patterns-to-category-theory/

* * *

Oct. 8th, 2017 07:24 pm
bamalip: (Default)
(ретроградствую)

в спецификациях недопустимы:

1. вывод типов
2. вывод неявных аргументов
3. вывод инстансов

иначе, вдруг тайпчекер выведет не тот тип/аргумент/инстанс, что мы подразумевали? тогда вся наша верификация накрывается медным тазом.

* * *

Oct. 8th, 2017 09:39 am
bamalip: (Default)
Воеводский увлекался фотографией
https://www.ias.edu/ideas/voevodsky-woods

* * *

Oct. 7th, 2017 02:05 pm
bamalip: (Default)
гугло-книги помогают переоткрывать историческую правду:

A Google Books search shows that the oldest book citing "physics is like sex" is Scary Monsters and Bright Ideas (2000) by science broadcaster Robyn Williams. On p. 44, this book claims: "Einstein said, 'You do not really understand something unless you can explain it to your grandmother'. Richard Feynman added, 'Physics is like sex: sure, it may give some practical results, but that's not why we do it'." Given that Einstein didn't really say the former, it's likely that Feynman didn't really say the latter.

https://en.wikiquote.org/wiki/Richard_Feynman

Profile

bamalip: (Default)
шерстяной ленин

October 2017

S M T W T F S
1 2 34 56 7
8 9 1011 121314
15 16 17 18 19 20 21
22232425262728
293031    

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 21st, 2017 09:26 pm
Powered by Dreamwidth Studios