juan_gandhi: (Default)
Search in this blog:

По этому блогу По всему интернету
juan_gandhi: (Default)

The Giry monad was originally developed by Lawvere in 1962, prior to the recognition of the explicit relationship between monads and adjunctions. It wasn’t until 1965 that the constructions of Eilenberg-Moore, and Kleisi, showed that every adjoint pair gives rise to a monad.

Lawvere’s construction was written up as an appendix to a proposal to the International Atomic Energy Commission. At that time, Lawvere was working for a “think tank’‘ in California, and the purpose of the proposal was to provide a means for verifying compliance with limitations on nuclear weapons. In the 1980’s, Giry was collaborating with another French mathematician at that time who was also working with the French intelligence agency, and was able to obtain a copy of the appendix. Giry then developed and extended some of the ideas in the appendix. 
juan_gandhi: (Default)
Мне уже правили однажды мой рассказ, с грамотного выражения на неграмотное. Но то родной язык.
А когда литредактор на английском правит мне "the reason is that" на "the reason is because", я чота вскипаю. У них там на Аппалачах так говорят, что ли? Бля.

дыбр

Feb. 17th, 2019 08:01 pm
juan_gandhi: (Default)
Утром не отжимался, настроения не было. Зато пошли гулять вдоль Койотского ручья, который разлился как прям Днепр в Речице. Вот фоточки.






Сверху 101-я дорога, вдали "Морган Хилл", внизу Койотский ручей.


С праздником, Дорогие Женщины!


Цветет что-то.

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

Прошли десять миль. Немножко устали, поэтому в мексиканский ресторан не пошли, а сразу домой, и дома ели пельмени.

Ну вообще-то я 12-ю главу курочил, самую длинную. Докурочил. Особенно было стремно исправлять 'which' обратно на 'that'. Разница между "my bicycle that is in the garage" и "my bicycle which is in the garage" - это как "тот мой велик, который в гараже" и  "мой велик, который сейчас в гараже".

Ну ладно, я вообще перефразировал, потому что иностранцы же читать будут.

Ну потом заснул перед камином, французский поделал... вот сейчас дыбру допишу, посуду помою, и за 13-ю главу возьмусь.

Вечером, как стемнело, начался опять ливень. Хороши бы мы были, да.

дыбр

Feb. 16th, 2019 09:01 pm
juan_gandhi: (Default)
Весь день пахал. Дождик льет время от времени, перемежаясь солнышком.

Когда особо сияло, пошел вымыл ванну, отшкрябал кальций с кранов, замазал (caulk, гуглтранслейт переводит "конопатить") законопатил некоторые не особо хорошо смотревшися углы между плитками, ну и ванную тоже в целом. 

Кошка переходит с места на место. Когда солнышко, она на крыше веранды валяется, а когда дождик - у себя в домике.

А так - ну вот 11-ю главу долбил. А 12-я будет еще длиннее, там 550 строк. Устал ужасно.

Понял кое-что насчет языка - когда что употреблять. Каролин написал, она уже подревьюила мои комменты до 10-й главы тоже. Ну и вот. Обсуждаем, как что сказать. Я думаю, почти каждый ее недоуменный вопрос означает, что надо переформулировать. До хрена работы.

К семи закончил. Походил по дому, типа размялся; посуду мыть мне не разрешили, пошел французский делать. Ну вот сделал.

Сейчас сил хватает только кино смотреть. E voi bambini, più energia, più energia, dai, dai! - это подруга итальянский долбит. Мы что-то поменяли уже планы, никакой Хорватии. Nous allons en France, et puis, e più, andiamo in bella Italia. Во Франции я буду толмачом, а в Италии она (хотя чо там учить-то, итальяно веро).

 

juan_gandhi: (Default)
Мы программируем как-то очень по-старинке. Ну да, intellij+tc.

Но что-то недоделано.

Вот я думаю, надо сделать следующую вещь.

У меня пять фолдеров с копиями одного и того же проекта, разные ветки. И переключаюсь туда-сюда, руками чота пингаю, пулреквесты рисую.

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

Затем, для анализа эксепшенов нужен машинный лернинг. Да и для логов, но это как бы очевидно, но ни одна собака не делает.

Начать с логов. Все же понятно. В Гугле, кстати, уже давно, и логи и эксепшены, и тебе приходит мейл, мол, слышь, у тебя там то да се. Назывался когда-то ThirdEye.

А то чо мы сидим-то на жопе ровно? Вычислительные мощности классные. Продажи анализируются, Титаник анализируется, а наши же собственные логи - все руками. Что за херня-то.

Имея все это под рукой, а также всякие сводки с гитхаба, можно вполне научно и руководить процессом, и ускорить оный. И кейсы проинтегрировать. Ну насчет кейсов, это у нас в конторе особый случай, в принципе-то все в нашей же базе. Может, с этого и начать.

Короче, что мы мучаемся, если есть компьютеры? Фигня какая-то. 

Извините, тут я немножко под Левенчука сыграл. Нечаянно.
juan_gandhi: (Default)
1. Ban unions interference in businesses and government projects.
2. Promote nuclear energy.
3. Electrify railroads.
4. Subsidize electric cars enough to make them a reasonable choice.
5. Cheap fast internet, so working from home could be a feasible alternative to commute.
6. Tax "organic produce" (it's an inefficient scam).
7. Close coal mines.

Feel free to add more.
juan_gandhi: (Default)
Один собеседник из Косово, другой из Луганска.

Молчу.
juan_gandhi: (Default)
У Чапы деньги забрать, на это стену построить.

Будут называть El Chapo Wall. 
juan_gandhi: (Default)
Решил я использовать этот тип в качестве индикатора состояния при ответе (примерно имея в виду, что мы тут нынче все притворяемся вебсервисами). Ну как бы сделать вариант Result, назвать WSResult. На скале. Но не хотел зависеть от акки.
Пошел смотреть, че там у джавы. Апачи я брезгую (да там то же самое), а в джаве? А там просто список целых чисел, с названиями. И не все ответы, что перечислены в RFE, в джаве имеются в наличии.

Не, ну я так не играю. Кто там говорил, что "джава улучшается"? Такие же уебки, да еще теперь они все в Оракле, кто не успел убежать.

Придется с аккой. В принципе-то, это отдельная тема, RichResponse[T](httpCode, content: Option[T]).

juan_gandhi: (Default)
Он же не везде. Можете себе представить в Украине культ какого-нибудь вождя? Или в Чехии, или в Польше, или в Эстонии? Да щас. Или в Израиле.

А в России вообще как будто без вождя и не жили; при царе это был царь-батюшка (его уже потом в Николашки-кровавые народ записал, после того как его со всей семьей убили), а потом почти непрерывно. В Туркмении вождизм - а в Таджикистане и в Афганистане такого отродясь не было.

Лечится ли вождизм? А хз; вон, вроде бы и Италия, и Германия как-то подвылечились (хотя Германии вот я не верю).

Непонятно, непонятно. С какого бодуна вдруг Куба подсела на команданте Кастро и полвека ему зиговала? Непонятно. Вроде бы Куба, ничем не хуже Ямайки или Гаваев. Непонятно.

С Россией зато все понятно. И чужеземным мудрецам в том числе.

Конечно, все должны были удивиться в 1918-м году, что вдруг кругом взялись какие-то вожди. А вот не удивились ведь! Не показалось это нелепым. Так же как и появление огромного количества палачей.
juan_gandhi: (Default)
"Из приговора, по которому человек получил 14 лет строгого режима: "Для суда очевидно, что кожа полового члена любого человека покрыта волосами"

src

Тут уместно вспомнить и колыбельную.
juan_gandhi: (Default)
Моя бывшая невестка изобрела прекрасное слово - "кутюрьма".

Ку. 
juan_gandhi: (Default)
Согласно последним исследованиям ватоведов, Герасим утопил Муму потому, что такова была воля русского народа, любящего барыню, мазохизм и зайцев. А барыня всего лишь вербализовала подспудные желания народа, который, согласно подцензурной версии произведения Пушкина, тоже безмолвствовал, как и Герасим.
juan_gandhi: (Default)
Вчера в "Чайна Дилайт", когда мы поели, мы решили угадать, какие нам форчун-кукиз принесут. Я сказал, что мне скажут "завтра понедельник и надо на работу", а подруга - что ей скажут "вы скоро будете знамениты". Принесли куки. Мы взяли, прочитали, обменялись. У меня оказалось "вас ждут завтра большие дела", а у подруги - "к концу недели вас ждут большие достижения". 

Profile

juan_gandhi: (Default)
juan_gandhi

February 2019

S M T W T F S
      12
34 5 6 7 8 9
10 11 12 1314 15 16
17 181920212223
2425262728  

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Feb. 20th, 2019 03:41 am
Powered by Dreamwidth Studios