Friends Below are the 25 most recent friends journal entries:

[<< Previous 25 entries]

March 26th, 2017
03:05 am
lj_nponeccop
[User Picture]

[Link]

Экстракшен
https://hal.archives-ouvertes.fr/file/index/docid/338973/filename/letouzey_extr_cie08.pdf

Долго длившийся односторонний "спор" с maxim по поводу правомерности использования термина "extraction" закрыт в его пользу.

Отец кок-экстрактора Pierre "какой-то студент" Letouzey употребляет этот термин вольно через предложение в статье по ссылке. Также на эту работу ссылаются пейперы по F* и так же вольно употребляют extraction.

В-общем, на то что extraction это превращение прувов в программы - можно забить. Все всё равно превращают только программы в программы, а CHI-экстракция остаётся не более чем любопытным курьёзом.

В-общем, новое определение экстракшена - это компиляция программ, сохраняющая их свойства (например теоремы доказанные для входного кода остаются верными и для выходного). Под это не подходят только компиляторы, не полностью сохраняющие семантику (например трасляция индуктивного Nat в машинный инт).

(Leave a comment)

March 25th, 2017
09:34 pm
aculeata
[User Picture]

[Link]

погода
Видела солнце. А то вот на днях шел и шел дождь
со снегом, зашла купить еды, а тут парень с девушкой
погоду ругают. Парень говорит так:

-- Да блядь тут погода такая, что... хуй, что... хуй --
что...

А что хуй, не говорит.

Девушка отвечает на это:

-- Да, блядь, вот это погода! Я бы знала бы так
и не красилась бы, а так, блядь, у меня вся
тушь в трусах!

-- А я что говорю! -- парень обрадовался.

Он как раз это и хотел сказать.

(Leave a comment)

12:00 pm
lj_shiitman
[User Picture]

[Link]

Мои твиты
  • Пт, 15:34: Мои новые друзья https://t.co/AmW7DPuiD3
  • Пт, 19:28: Только что меня временно забанили ВКонтакте за картинку с китом (автоматически опубликованная иллюстрация к... https://t.co/wAIbAzQYHF
  • Сб, 07:37: Когда из живых мудаков делают героев - в них быстро разочаровываются. С мертвыми куда сложнее, они могут остаться героями в веках.

(Leave a comment)

10:33 am
ljr_news
[tiphareth]
[User Picture]

[Link]

переход на letsencrypt
Вплоть до недавнего времени мы поддерживали SSL посредством
сертификата StartSSL, но StartSSL купили китайцы из Wosign,
и большинство браузеров заблокировали новые сертификаты от
StartSSL в знак протеста против этой покупки. Подробности:

https://blog.mozilla.org/security/2016/10/24/distrusting-new-wosign-and-startcom-certificates/
https://wiki.mozilla.org/CA:WoSign_Issues
https://www.theregister.co.uk/2016/10/10/heads_roll_as_qihoo_360_moves_to_end_wosign_startcom_certificate_row/
https://www.theregister.co.uk/2016/11/02/google_punts_wosign_startcom_from_good_guy_certificate_club/
http://www.theregister.co.uk/2016/10/31/google_certificate_transparency/
http://www.theregister.co.uk/2016/10/03/apple_wosign_certificates/
http://www.zdnet.com/article/mozilla-slaps-ban-on-chinas-wosign-firefox-drops-trust-for-certs-over-deception/

До недавнего времени все работало, но после того, как я 17 марта
обновил сертификат, у многих юзеров все сломалось (старые браузеры
работали, а новые нет).

Я перевел машинку на letsencrypt,
и в теории оно должно работать лучше.
Если глюки продолжаются, дайте знать.

Привет

(8 comments | Leave a comment)

03:27 am
lj_nponeccop
[User Picture]

[Link]

Новости хакатона
Создал тучу тасок по окзору: https://github.com/ptol/oczor/issues/10

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

По HNC посрывали низковисящие фрукты, но осталось ещё немного.

(Leave a comment)

02:46 am
lj_probegi

[Link]

Мужчина поджег кабинет в прокуратуре Первоуральска и погиб
Житель Первоуральска Свердловской области поджег кабинет помощника прокурора и погиб в начавшемся пожаре, говорится в сообщении региональной прокуратуры. При этом мужчина «не высказывал никаких претензий к работе органов прокуратуры»

Конечно, это был сумасшедший агент госдепа. Разве русский патриот может иметь претензии к работе Органов???

хехе

ЗЫ: напомню, что в некотором царстве, в некотором государстве все началось именно с того, что какой-то сумасшедший агент госдепа, не имея никаких претензий к работе Органов, тем не менее поджег себя и погиб. Что из этого вышло - то уже другой вопрос.

(Leave a comment)

02:15 am
lj_probegi

[Link]

"Вернём украденные Медведевым деньги и восстановим Родину-мать"


Райтер у Алексея Анатольевича - КРАСАВЕЦ.
хехе

(Leave a comment)

01:46 am
lj_probegi

[Link]

Пару слов о Русском Духе
Здесь пипл предается ностальгическим воспоминаниям...

А я вспомнил, что тесть, в те былинные времена еще простой подполковник ГРУ, привозил из командировок спирт Marine, литровые флаконы, 980

Просто вникните в это, ребзя.

И такое считалось нормальным, #нуакакеще, все посольские так делали.
хехе

(Leave a comment)

March 24th, 2017
07:41 pm
lj_nponeccop
[User Picture]

[Link]

Функциональный календарь
Как и ожидалось, флаеры разобрали на сувениры, чисто как камни с Парфенона или пирамид.

В следующий раз надо будет сделать календарь с 12-ю ображенными функциональными программистами.

(Leave a comment)

07:55 pm
syn_evolution
[User Picture]

[Link]

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

1. Назовите лучшие (по Вашему мнению) примеры художественных, научно-фантастических произведений, в которых раскрывается образ ученого – укажите, пожалуйста, название и автора произведения.

Мне больше всего нравятся образы ученых, выведенные в книгах Айзека Азимова, особенно в его знаменитом цикле произведений про роботов и Основание (Foundation). В этих книгах фигурирует довольно много ученых, среди них есть как положительные, так и отрицательные персонажи, но все они изображены очень жизненно, талантливо и с любовью.

2. Какими качествами, навыками, по Вашему мнению, должен обладать ученый будущего? С учетом тенденций, складывающихся в современной науке и обществе. 3. Какие факторы будут влиять на результативность (успешность) ученого будущего? Предполагается, что речь идет о достаточно отдаленном будущем: 50 - 200 лет.

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

Кто знает? Римляне в III веке нашей эры тоже мечтали о великом. Кто же знал, что весь их мир скоро рухнет, и человечество погрузится во мрак на тысячелетие. Или, например, Иран: не так давно это было достаточно цивилизованное, светское государство. Кто же знал, что там восторжествует религиозный фундаментализм. И ведь аналогичные процессы наблюдается во многих странах. Сопротивление науке растет, мракобесие наступает (тут анти-гмошники, и антипрививочники, и креационисты, и отрицатели истории, и ультраконсервативные политические движения, и многое-многое другое). Поэтому я не удивлюсь, если через 50-200 лет главными "качествами и навыками ученого" будут неукоснительное соблюдение религиозных ритуалов и преданность своему князю. А также умение хорошо прятать запрещенные научные книги.

Если допустить более оптимистичные сценарии развития человечества, то вариантов может быть очень много. Если цивилизация выстоит и научно-технический прогресс продолжится, то с большой вероятностью будут сделаны радикальные шаги в сторону создания искусственного интеллекта, и тогда главным навыком для ученого может стать, например, умение выстраивать продуктивные отношения с системами искусственного интеллекта - отношения, о природе которых мы сейчас вряд ли можем сказать что-то конкретное. Или, например, на первый план могут выйти способности к интеграции собственного мозга с какими-то невообразимыми для современного человека устройствами, усиливающими когнитивные способности в миллионы раз. В общем, я думаю, что через 200 лет всё будет совсем не так, как сегодня, и люди будущего обязательно посмеются над всеми нашими прогнозами. Известно же, например, что чуть более 100 лет назад тогдашние футуристы считали, что главной проблемой XX века станут горы лошадиного навоза на улицах городов. This entry was originally posted at http://macroevolution.dreamwidth.org/229240.html. Please comment there using OpenID.

(Leave a comment)

06:28 pm
lj_nponeccop
[User Picture]

[Link]

Наше кино
http://www.imdb.com/title/tt4263270/

Я тут периодически из мазохистских соображений хожу в кинотеатр за компанию. В результате посмотрел две сказки и кучу экшенов, и вчера чуть не попали на Аленький цветочек. Но по доминиканскому традиционному рандому (жизнь здесь крайне непредсказуема) вместо этого пошли на Reinbou.

Оказалось довольно качественное кино. Доминиканцы ржали с правдивости показанного быта в баррио, но потом заскучали, я наслаждался драмой. Это не "драма-драма", но не похожа на мейнстримное латиноамериканское кино. Зрителей вместо было 5 человек не считая троих "нас", что меньше обычного (обычно тоже малая заполненность зала).

(Leave a comment)

12:01 pm
lj_shiitman
[User Picture]

[Link]

Мои твиты
  • Чт, 12:19: Так что там, стрелка взяли? Если да, то поражение СБУ еще может обернуться победой.
  • Чт, 23:11: – Що ви робите на місці вбивства? – Ми запрошуємо людей у салон краси. – Ви знаєте, що у вас дуже підозріле... https://t.co/gDwLkkvsHz
  • Пт, 08:04: Отец Сергий не боится говорить о том, что мы живем в посл времена, о чипах и паспортах, о массонах, о войне, но... https://t.co/tRZVrFtKgD

(Leave a comment)

12:24 pm
lj_vitus_wagner
[User Picture]

[Link]

PostgresPro EE 2.0
Мы строили, строили и наконец построили
Мультимастер-кластер, адаптивное планирование запросов, нормальный декларативный синтаксис партиционирования.

This entry was originally posted at http://vitus-wagner.dreamwidth.org/1886860.html. Please comment there using OpenID. Now there are Image comments

(Leave a comment)

12:03 pm
lj_vitus_wagner
[User Picture]

[Link]

О боях броненосцев с парусниками
1. Я почти добрался до описания того боя, который занимает в реальности Ясмины место Хэмпстон-Роуд.
Это событие имело место 6 января 1806 года где-то между Капштадтом и Мелкбосстандом.

Со стороны англичан присутствуют ровно те же силы, что и в нашей реальности, с точностью до персоналий и названий кораблей. Со стороны голландцев тоже примерно те же, с точностью на то что у Янсенсса было на неделю больше времени на сбор ополчения, благодаря современному предупреждению индийцев. Со стороны Империи Моголов
один броненосец береговой обороны, двубашенный монитор с 60-см надводным бортом и примерно 2000 тонн водоизмещения, под командой Муиз-уд-Дина Султана (4-го майсурского принца). Сам кораблик примерно на уровне второй половины 60-х годов, а вот пушки на нем и машины - несколько более продвинуты.

2. Первый броненосец в Европе в этой реальности вероятно, будет построен датчанами. Если им вовремя слить информацию о том что сотворят англичане с Копенгагеном 3-го сентября 1807 то до того, если нет - то после.

3. Вообще надо помешать англичанам захватить Транкебар потому что больше европейцев хороших и разных в качестве торговых партнеров это хорошо. Через Транкебар можно "контрабандой" сливать в Данию паровые машины, казнозарядные пушки и прочие полезные вещи.

4. А вот с Orders of Council там что-то интересное будет. Идея что кто-то может решать, с кем могут, а с кем не могут торговать нейтральные страны в этом мире явно понравится Империи Моголов не больше, чем Соединенным Штатам. А вот вдвоем с САСШ можно уже Англии и руки повыкручивать.

This entry was originally posted at http://vitus-wagner.dreamwidth.org/1886657.html. Please comment there using OpenID. Now there are Image comments

(Leave a comment)

08:34 am
lj_vitus_wagner
[User Picture]

[Link]

К вопросу о пользовательских соглашениях
Взять что-ли отключить кросспостер из DW в ЖЖ и аккаунт использовать только для комментирования...

This entry was originally posted at http://vitus-wagner.dreamwidth.org/1886216.html. Please comment there using OpenID. Now there are Image comments

(Leave a comment)

07:53 am
lj_vitus_wagner
[User Picture]

[Link]

Вертикальный лес
http://gosvopros.ru/territory/istoriya-uspekha/upforesting/

Тут наткнулся на статью Золотова про итальянского архитектора, который предлагает озеленять фактически полностью поверхность вертикальных зданий.

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

А еще я задумался, что на таких домах обязательно разведутся белки. И будут стучаться в окна квартир и требовать еды.

А еще интересно, сможет ли обычная домашняя кошка пойти погулять по такому фасаду. В смысле, не только спуститься вниз, но и подняться потом обратно. Корвин бы смог. Но Корвин - кот необычный.

This entry was originally posted at http://vitus-wagner.dreamwidth.org/1885991.html. Please comment there using OpenID. Now there are Image comments

(Leave a comment)

10:37 am
aculeata
[User Picture]

[Link]

Помнишь, как в двадцать лет мир становится старым,
Море больше не по колено, вязкость его растет,
Блекнут цвета его ломких сухих кораллов,
А пустишь корабль на риф -- как муха сквозь этот мед.
И что же тебе говорит опыт прожитых лет? --
Дуй в паруса, заклинай повешенного в петле,
Рисуй пятидневную пентаграмму,
Ступай к чертям, плачь и зови их маму,
Доставай из шкафа модный скелет, --
Но не помогает опыт прожитых лет.

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

Помнишь, как странно, когда снова приходит ветер,
И ты его видишь со всех сторон,
И банальные рифмы целуются на рассвете,
И какие-то черти залезли в аккордеон,
И неслыханный там, корявый гонят мотив --
Помнишь, как страшно, когда корабль опять несется на риф?

(3 comments | Leave a comment)

07:38 am
tiphareth
[User Picture]

[Link]

из хулиганских побуждений сожрала собственную Пизду
Проханов в обычном репертуаре.

Откуда взялось это свирепое племя? Из каких углов

преисподней? Из каких библейских пророчеств? Почему они
вдруг обнаружились и засели, как в гнёздах, в министерских
кабинетах, в чиновничьих крестах, в генеральских штабах,
одетые в судейские колпаки и прокурорские мантии? Что
движет их тёмным разумом? Почему они ненасытны? Грабят,
стяжают, грызут, захватывают русские реки, русские леса и
заповедные рощи. Выгребают из русских недр золото, нефть,
драгоценные камни и эшелонами везут за рубеж. Почему они
строят себе дворцы и палаты, которых не знал Потёмкин?
Почему шьют туалеты, которым позавидовали бы русские
императрицы? И всё это - среди народа, который
проваливается в бедность и нищету. Где умирающим детям не
сыскать денег на лекарства. Где гниют города и
посёлки. Где гуляют безнаказанно наркотики и льются реки
палёной водки. Где пьяные деревенские женщины идут на
большие дороги торговать своим телом. Где закрываются и
хиреют заводы и фермы, нуждаясь в деньгах, а в это время
русские миллиарды текут и текут за рубеж, кормят чужие
народы и страны. Это те деньги, на которые Америка строит
свои самолёты и танки, приближая их к границам России.

Плачут голодные дети с чукотских шахт. В барнаульском

дурдоме 85 "врачей-и-учителей" объявили об отказе от
аминазина вплоть до погашения "долгов" по "зарплате". В
"Мытищах" дрессированные Жыдовские Попугаи обзывают Людей
- "Дураками". В Фашыстской Эстонии каждый день вырезается
до 36 578 Православных. Рядовой Петя, находясь в
состоянии нажравшысь как Блядь, и побуждаемый Жыдами,
пострелял из Говномета весь Генеральный Штаб ЦК КПСС
N-ского округа. Доктор исторических наук Лидия
Кирилловна, из хулиганских побуждений, сожрала
собственную Пизду. Перед чего, ее также опоили Жыды.

Чудища явились в русскую жизнь и стоят, покинув ненадолго
свои коллегии и министерские кресла, перед алтарями вместе
с батюшками, освещённые лампадами и свечами. Крестят свои
лбы, идут в крестных ходах вокруг храмов, окружённые
неприступной охраной. Они охраняют себя от народа или от
Господа Бога? Они молятся перед алтарями о падших, о
сиротах, о заблудших или об умножении своих несчётных
богатств, своих тучных пастбищ? Неужели Господь отнял у
них разум? Они забыли о Пугачёве, о Стеньке Разине, о
русских революциях, о бунтах, о горящих усадьбах, о
поднятых на вилы помещиках? Они забыли о судьбах русской
знати, русской аристократии, которая танцевала на балах и
ездила к дорогим куртизанкам, когда народ погибал в окопах
и тысячами умирал под немецкими пулемётами?

Россия стонет под Жыдовским Гбнетом, на Хуй! О Великая
Россия! Когда жэ проснется Россия? О Несчастная Россия!
Бейте Жыдов! Россия - для Русских! Россия - не для Жыдов!
Жыды - убирайтесь в Адъ и Израиль! Где Жыды... Вся власть
в России - Великому Русскому Православному
Народу-Броненосцу, на Хуй! Во главе с народным Вождем -
Их Преподобием - Внуком Божьим - Бобой Иисусовичем
Рабиновичем! В Пизду, Блядь! Долой Жыдов! Православные -
все на Священный Погром! за Родину! За Жратву!

Привет

Current Mood: sick
Current Music: EMBRYO - Embryo's rache
Tags: ,

(11 comments | Leave a comment)

05:36 am
tiphareth
[User Picture]

[Link]

"Руки прочь от Путина!"
Зомби-апокалипсис в Краснодаре
28.03.2013г. в г. Краснодаре у офиса регионального
отделения "Яблоко" прошел очередной пикет под лозунгом
"Руки прочь от Путина!"


Для любителей творчества аналитика Лидии Аркадьевны.

http://a-shen.livejournal.com/107819.html
https://www.youtube.com/watch?v=wSYvK94lylc
https://www.youtube.com/watch?v=EgE6G_HP0no
http://webgazeta.info/ch4yzkm0yoo2
https://www.obozrevatel.com/politics/80426-salo-nashe-est-russkoe-i-putina-ne-lyubit-pensioneryi-rossii-pojmali-vraga-naroda-videofakt.htm
http://verola.livejournal.com/113096.html
https://golosislama.com/news.php?id=16116

Привет

Current Mood: sick
Current Music: Nektar - A Tab In The Ocean
Tags: , ,

(13 comments | Leave a comment)

March 23rd, 2017
09:22 pm
lj_probegi

[Link]

О благости молчания
Я был первым среди тысяч тех немногих, кто не написал в тот же день "пусть поет по скайпу".
Но мало же нас, благочестивых.

хехе

(Leave a comment)

08:41 pm
lj_probegi

[Link]

Уже завтра!


На последние.
хехе

(Leave a comment)

08:29 pm
lj_probegi

[Link]

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

И ведь все правильно рассуждают!

Во-первых, транспортная обстановка в Москве, хоть на Тверской, хоть в Марьино, всегда известно, какая. Разве что на Тверской по выходным днем пробок не бывает (пока, но Сергей Семеныч работает над этим). Но тут что уж. Если власть не солжет в лицо своим подданным, то кто же тогда солжет?

Во-вторых, если все, кого достали наглые воры, жулики и бандиты, держащие (и вполне успешно) всех прочих "граждан" за умственно отсталых терпил, придут на Тверскую, то там само собой образуется "присутствие большого числа граждан". Большого - это мягко выражаясь. Яблоку упасть (извините за каламбур) негде будет, автозаки в крови и кишках буксовать будут, вот какое число граждан легко может быть.

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

хехе

(Leave a comment)

08:45 pm
lj_jakobin1793
[User Picture]

[Link]

Пердеводчики
Купил книжку про древний Египет (бумажную! за деньги!). Раскрываю, а там древние египтяне выращивают кукурузу. Причем в каждой главе из раза в раз это повторяется. Автор - суровый британский ученый из тех времен, когда это ещё не было мемом, а было почетно, так что написать такой фигни он не мог по определению. Просто пердеводчик со словом corn решил долго не возиться.

(Leave a comment)

08:09 pm
lj_jakobin1793
[User Picture]

[Link]

Пичалька
Убили злые Харконнены герцога Атридеса. Ничего, вырастет Пол и отомстит за отца.

Как человек и гражданин покойный был редкостной дрянью. Но как источник лулзов он заслуживал прожить до ста лет. Жаль, теперь уже не порадует.

(Leave a comment)

06:31 pm
lj_probegi

[Link]

Проверим-как мировой разум
Что за фильм?

Ну, кто узнает кино? Откуда этот кадр?
хехе

(Leave a comment)

[<< Previous 25 entries]

PLHK Powered by LJ.Rossia.org