Бананы и Линзы
ZuriHac 2017: как это было.
schematic: type-safe JSON spec and validation tool.
10 things Idris improved over Haskell.
https://bananasandlenses.net//episode039.html
ZuriHac 2017: как это было.
schematic: type-safe JSON spec and validation tool.
10 things Idris improved over Haskell.
https://bananasandlenses.net//episode039.html
Forwarded from Kolyann
В таверне гномы бухают и иногда выкидывают кружки с алкоголем на пол оставляя лужу
Коты проходя по этой луже мочат лапы в алкоголе
Коты периодически сами себя моют попутно съедая всё, что на них было нанесено
Когда кот моет лапы, он слизывает с них весь алкоголь
Если алкоголь был очень крепкий, то коты напиваются до смерти
Коты проходя по этой луже мочат лапы в алкоголе
Коты периодически сами себя моют попутно съедая всё, что на них было нанесено
Когда кот моет лапы, он слизывает с них весь алкоголь
Если алкоголь был очень крепкий, то коты напиваются до смерти
Listen to Something Different by Danielle Ate the Sandwich #np on #SoundCloud
https://soundcloud.com/danielleatethesandwich/something-different
https://soundcloud.com/danielleatethesandwich/something-different
SoundCloud
Something Different
From the album 'The Drawing Back of Curtains,' composed for the soundtrack to the documentary film 'Packed in a Trunk: The Lost Art of Edith Lake Wilkinson.'
Forwarded from Что ты несёшь?
9 кругов научного ада
Круг I: Лимб. Первый круг есть место не наказания, а, скорее, сожаления. Здесь находятся те, кто не совершали научных грехов сами по себе, но видя их, делали вид, будто не замечают, и потакали им грантами и публикациями. Они проводят вечность на лысой горе, глядя на страдания внизу и размышляя над тем, что они тоже за это ответственны.
Круг II: Преувеличивавшие ценность. Здесь содержатся те, кто преувеличивал ценность своей работы, чтобы получить гранты или опубликовать статьи. Грешники сидят по шею в отвратительной слизи в яме с отвесными стенами. Каждому из них выдается одна ступенька лестницы с надписью «Путь к выходу: ученые решили проблему выхода из второго круга ада».
Круг III: Подводившие базу. Грешники здесь постоянно уворачиваются от демонов, пускающих в них стрелы из лука. Когда в кого–нибудь попадает стрела, демоны читают ему длинную нотацию о том, что именно в него–то они и целились.
Круг IV: Искатели статистической значимости. Сюда попадают те, кто перебирает все статистические методы из справочника до тех пор, пока не получит значимость p < 0,05. Грешники находятся в лодках на озере мутной воды, где они должны ловить рыбу себе на пропитание. Им выдается большой набор удочек и сетей, обозначенных «Байес», «Стьюдент» и так далее. К их несчастью, только одна из 20 выловленных рыб оказывается съедобной, так что грешники постоянно голодны.
Круг V: Выбиравшие экспериментальные точки. Здесь те, кто отбрасывал не укладывающиеся в теорию экспериментальные точки. Бесы выщипывают им волосы по одному, каждый раз объясняя, что именно без этого волоса грешник выглядит гораздо лучше.
Круг VI: Плагиаторы. Этот круг пуст, потому что, как только кто–то здесь появляется, его забирает крылатый черт и уносит в другой круг, где он и отбывает наказание. Когда трехлетний срок должности истекает, грешник вываливается обратно, и все повторяется.
Круг VII: Непубликовавшие полученные данные. Грешники здесь прикованы к горящим стульям перед столом с неисправной пишущей машинкой. Их отпустят, только если они напишут статью о своем затруднительном положении. Ящики стола полны готовых статей на эту тему, но надежно заперты.
Круг VIII: Публиковавшие частичные данные. В любой момент времени ровно половина грешников преследуется чертями с острыми вилами. Черти выбирают группу погоняемых случайным образом, но так, чтобы она представляла собой достоверный срез по возрасту, полу, росту и весу. Знойный пустынный ветер несет нескончаемый поток статей о новой программе по воодушевлению участников к физическим упражнениям, не упоминающих побочные эффекты.
Круг IX: Фальсификаторы. Грешники замораживаются в огромном кубе льда. Перед лицом каждого вморожена статья, весьма убедительно доказывающая, что в этом круге ада вода не замерзает. К их несчастью, данные в статье полностью сфальсифицированы.
#паста #чтотынесешь
Круг I: Лимб. Первый круг есть место не наказания, а, скорее, сожаления. Здесь находятся те, кто не совершали научных грехов сами по себе, но видя их, делали вид, будто не замечают, и потакали им грантами и публикациями. Они проводят вечность на лысой горе, глядя на страдания внизу и размышляя над тем, что они тоже за это ответственны.
Круг II: Преувеличивавшие ценность. Здесь содержатся те, кто преувеличивал ценность своей работы, чтобы получить гранты или опубликовать статьи. Грешники сидят по шею в отвратительной слизи в яме с отвесными стенами. Каждому из них выдается одна ступенька лестницы с надписью «Путь к выходу: ученые решили проблему выхода из второго круга ада».
Круг III: Подводившие базу. Грешники здесь постоянно уворачиваются от демонов, пускающих в них стрелы из лука. Когда в кого–нибудь попадает стрела, демоны читают ему длинную нотацию о том, что именно в него–то они и целились.
Круг IV: Искатели статистической значимости. Сюда попадают те, кто перебирает все статистические методы из справочника до тех пор, пока не получит значимость p < 0,05. Грешники находятся в лодках на озере мутной воды, где они должны ловить рыбу себе на пропитание. Им выдается большой набор удочек и сетей, обозначенных «Байес», «Стьюдент» и так далее. К их несчастью, только одна из 20 выловленных рыб оказывается съедобной, так что грешники постоянно голодны.
Круг V: Выбиравшие экспериментальные точки. Здесь те, кто отбрасывал не укладывающиеся в теорию экспериментальные точки. Бесы выщипывают им волосы по одному, каждый раз объясняя, что именно без этого волоса грешник выглядит гораздо лучше.
Круг VI: Плагиаторы. Этот круг пуст, потому что, как только кто–то здесь появляется, его забирает крылатый черт и уносит в другой круг, где он и отбывает наказание. Когда трехлетний срок должности истекает, грешник вываливается обратно, и все повторяется.
Круг VII: Непубликовавшие полученные данные. Грешники здесь прикованы к горящим стульям перед столом с неисправной пишущей машинкой. Их отпустят, только если они напишут статью о своем затруднительном положении. Ящики стола полны готовых статей на эту тему, но надежно заперты.
Круг VIII: Публиковавшие частичные данные. В любой момент времени ровно половина грешников преследуется чертями с острыми вилами. Черти выбирают группу погоняемых случайным образом, но так, чтобы она представляла собой достоверный срез по возрасту, полу, росту и весу. Знойный пустынный ветер несет нескончаемый поток статей о новой программе по воодушевлению участников к физическим упражнениям, не упоминающих побочные эффекты.
Круг IX: Фальсификаторы. Грешники замораживаются в огромном кубе льда. Перед лицом каждого вморожена статья, весьма убедительно доказывающая, что в этом круге ада вода не замерзает. К их несчастью, данные в статье полностью сфальсифицированы.
#паста #чтотынесешь
Forwarded from Oldie World
Расписание встреч с Г. Л. Олди на фестивале «UNICON» (Минск, Минский футбольный манеж, проспект Победителей, 20/2):
1-е сентября, 15.00-16.00: подпись книг и общение на Аллее Авторов.
2-е сентября, 13.00-15.00, конференц-зал 2: встреча с читателями.
3-е сентября, 13.00-15.00: автограф-сессия на промо-стенде.
Добро пожаловать!
1-е сентября, 15.00-16.00: подпись книг и общение на Аллее Авторов.
2-е сентября, 13.00-15.00, конференц-зал 2: встреча с читателями.
3-е сентября, 13.00-15.00: автограф-сессия на промо-стенде.
Добро пожаловать!
Forwarded from HackerNews Robot
[last news]
Lua code: security overview and practical approaches to static analysis [pdf](http://spw17.langsec.org/papers/costin-lua-static-analysis.pdf)
Lua code: security overview and practical approaches to static analysis [pdf](http://spw17.langsec.org/papers/costin-lua-static-analysis.pdf)
Вообще, вся наука - это хрень, пока она не может создать кошкодевок, вот что я вам скажу