Forwarded from Новости синтеза доказательств
Брайан Ноузек (сооснователь OSF.io и большой активист борьбы с кризисом воспроизводимости) такое предлагает в своем твиттере: как разделить терминологию, касающуюся воспроизведения/репликации, чтобы не возникала сумятица. В частности, Мэтт Пейдж уже отписался, что они предлагаемую терминологию приняли для проекта REPRISE (https://doi.org/10.1186/s13643-021-01670-0) — крупнейшего в истории человечества исследования воспроизводимости синтезов доказательств.
А как мы это тогда по-русски бы обозвали?
* Repeatability — повторимость?
* Reproducibility — воспроизводимость?
* Robustness — реаналитическая устойчивость?
* Replicability — репликационная устойчивость?
Шарьте пост с коллегами, делитесь мнением в комментах, плз…
А как мы это тогда по-русски бы обозвали?
* Repeatability — повторимость?
* Reproducibility — воспроизводимость?
* Robustness — реаналитическая устойчивость?
* Replicability — репликационная устойчивость?
Шарьте пост с коллегами, делитесь мнением в комментах, плз…
Некоторое — уже значительное — время назад Observable проводили мастер-класс по анализу временных рядов с использованием Observable Notebooks, понятное дело. Доступны материалы — запись трансляции на YouTube и собственно ноутбуки с данными и примерами: https://observablehq.com/@observablehq/timeseries-workshop-materials
Хочу отметить, что мастер-класс был посвящён именно анализу, а не моделированию (ARIMA и т.п.) и предсказанию. При этом, основные инструменты анализа — грамотная группировка данных и подходящая визуализация. Для любителей хардкорного статистического численного анализа такой подход может показаться "детским", но тем не менее, демонстрируется пара приёмов, полезных перед применением "статистического хардкора" и после — для донесения результатов до "заинтересованных неспециалистов", в том числе в виде красивых визуализаций.
#datascience #analysis #visualization #timeseries
Хочу отметить, что мастер-класс был посвящён именно анализу, а не моделированию (ARIMA и т.п.) и предсказанию. При этом, основные инструменты анализа — грамотная группировка данных и подходящая визуализация. Для любителей хардкорного статистического численного анализа такой подход может показаться "детским", но тем не менее, демонстрируется пара приёмов, полезных перед применением "статистического хардкора" и после — для донесения результатов до "заинтересованных неспециалистов", в том числе в виде красивых визуализаций.
#datascience #analysis #visualization #timeseries
Observablehq
Workshop Materials: Analyzing Time Series Data
Introduction This three-part hands-on tutorial is based on the techniques and concepts put forth in the Analyzing Time Series Data articles. Each part guides you through implementing essential data visualization techniques for time series analysis. The live…
Зашёл в аптеку -- набрал лекарств на 4000. Как я дошёл до жизни такой?! Хочется лечь и умереть. Чувствую себя старым и разваливающимся. Ещё и колени болят...
Forwarded from Блуждающий нерв
В MIT Media Lab запущен проект по взлому сновидений. Есть первые успехи: сочетание звуковых сигналов и маски, отслеживающей стадии сна, позволяет редактировать контент сновидений. А вмешательство в контент, в принципе, может влиять на консолидацию памяти, на предпочтения бодрствующих и, как максимум, незаметно изменять черты их личности.
Светлая сторона таких разработок повернута к медицине — заманчиво так лечить фобии, депрессии, стрессовые расстройства. Или развивать творческие способности. Темной же стороной активно интересуются крупные компании, в т.ч. Microsoft. Их привлекает другая опция, ведь в сны так можно подмешивать рекламу. Например, через умные колонки.
Сами исследователи не хотели бы такой славы и написали летом открытое письмо, где призвали сочинить этику и политику в отношении технологии: «Наши сновидения не должны стать еще одной игровой площадкой для рекламодателей. Наука о мозге помогла разработать несколько технологий, вызывающих привыкание, от мобильных телефонов до социальных сетей, которые сегодня определяют большую часть нашей бодрствующей жизни; мы не хотим, чтобы то же самое произошло с нашим сном». Письмо подписали 38 ученых.
Конечно же, это не смутило бизнес. Согласно отчету Future of Marketing от Американской ассоциации маркетинга 77% опрошенных маркетологов хотели бы использовать сновидения для рекламы в ближайшие три года. Ученые вновь отреагировали, и вчера в Aeon вышел еще один текст-предостережение. С примерами и подробностями.
Сюжет до боли напоминает другую историю, о которой вы читали здесь два месяца назад: как разработчик нейроинтерфейсов призывает заранее обдумать их опасность и даже демонстрирует ее в экспериментах, чтобы всех проняло. Увы, таких сюжетов будет все больше: технологии, связанные с человеком, всегда обоюдоострые.
Светлая сторона таких разработок повернута к медицине — заманчиво так лечить фобии, депрессии, стрессовые расстройства. Или развивать творческие способности. Темной же стороной активно интересуются крупные компании, в т.ч. Microsoft. Их привлекает другая опция, ведь в сны так можно подмешивать рекламу. Например, через умные колонки.
Сами исследователи не хотели бы такой славы и написали летом открытое письмо, где призвали сочинить этику и политику в отношении технологии: «Наши сновидения не должны стать еще одной игровой площадкой для рекламодателей. Наука о мозге помогла разработать несколько технологий, вызывающих привыкание, от мобильных телефонов до социальных сетей, которые сегодня определяют большую часть нашей бодрствующей жизни; мы не хотим, чтобы то же самое произошло с нашим сном». Письмо подписали 38 ученых.
Конечно же, это не смутило бизнес. Согласно отчету Future of Marketing от Американской ассоциации маркетинга 77% опрошенных маркетологов хотели бы использовать сновидения для рекламы в ближайшие три года. Ученые вновь отреагировали, и вчера в Aeon вышел еще один текст-предостережение. С примерами и подробностями.
Сюжет до боли напоминает другую историю, о которой вы читали здесь два месяца назад: как разработчик нейроинтерфейсов призывает заранее обдумать их опасность и даже демонстрирует ее в экспериментах, чтобы всех проняло. Увы, таких сюжетов будет все больше: технологии, связанные с человеком, всегда обоюдоострые.
Для тех, кто не заметил ни сам факт, ни пост, Милевский рассказывает почему Factorio — это функциональное программирование (и категория): https://bartoszmilewski.com/2021/02/16/functorio/ 😊
Bartosz Milewski's Programming Cafe
Functorio
You might have heard people say that functional programming is more academic, and real engineering is done in imperative style. I’m going to show you that real engineering is functional, and …
https://marianoguerra.github.io/advent-of-future-of-code/
"Advent of Future of Code"
25 tasks 1 per day starting December 1st. With a twist: you have to solve it with some "Future of Code" (Low-code, Visual Programming or something) tool and record and send back your experience, especially hurdles. 😊
"Advent of Future of Code"
25 tasks 1 per day starting December 1st. With a twist: you have to solve it with some "Future of Code" (Low-code, Visual Programming or something) tool and record and send back your experience, especially hurdles. 😊
C.P. Snow’s chapter (with Norbert Wiener of Cybernetics as discussant) predicted a world where software would rule our lives, but the people who wrote the software would be outside the democratic process. He wrote, “A handful of people, having no relation to the will of society, having no communication with the rest of society, will be taking decisions in secret which are going to affect our lives in the deepest sense.”
In nineteen-fucking-sixty-one! And sixty years later here we are. 😒
From https://computinged.wordpress.com/2021/11/26/computer-science-was-always-supposed-to-be-taught-to-everyone-but-not-about-getting-a-job-a-historical-perspective/
Computing Education Research Blog
Computer Science was always supposed to be taught to everyone, and it wasn’t about getting a job: A historical perspective
I gave four keynote talks in the last two months, at SIGITE, Models 2021 Educators’ Symposium, VL/HCC, and CSERC. I’m honored to be invited to them, but I do suspect that four keynotes in six weeks…
Android: слушай, пальцами в экран тыкать -- это не твоё, лучше Ассистенту объясни голосом, что тебе надо, а?
https://osc-delft.github.io/posts/2021/11/24/open-data-and-software-in-tackling-the-climate-crisis/
Любопытная дискуссия в которой упомянули некоторые неочевидные проблемы. Интересный набор ссылок в конце. В частности, https://www.worldcommunitygrid.org/ — как старый добрый SETI@Home, но для других целей.
Любопытная дискуссия в которой упомянули некоторые неочевидные проблемы. Интересный набор ссылок в конце. В частности, https://www.worldcommunitygrid.org/ — как старый добрый SETI@Home, но для других целей.
www.worldcommunitygrid.org
Home
World Community Grid enables anyone with a computer or Android device to donate their unused computing power to advance cutting-edge scientific research on topics related to health and sustainability.
Forwarded from Новости синтеза доказательств
У
scite_ появилось расширение для браузера, показывающее список литературы (кнопочка со списком), цитирования (зеленая галочка — поддерживающие, черная косая черта — просто упоминающие, синий знак вопроса — противопоставляющие), а также эрраты и ретракции: https://scite.ai/extension-install Имхо, грех не поставить себе! 👍 #инструментыhttps://acmsigsoft.github.io/EmpiricalStandards/about/
An initiative to have some common research standards for Empirical Software Engineering (that's a term).
An initiative to have some common research standards for Empirical Software Engineering (that's a term).
Empirical Standards
About
Empirical standards for conducting and evaluating research in software engineering
https://thehottgameguide.readthedocs.io/en/latest/index.html
The Homotopy Type Theory Game.
Sounds like a lot of fun doesn't it? 😁
The Homotopy Type Theory Game.
Sounds like a lot of fun doesn't it? 😁
https://www.wombo.art/
Не знаю, насколько это "легально", но картинки (временами) генерирует крутые! 😃
Не знаю, насколько это "легально", но картинки (временами) генерирует крутые! 😃
dream.ai
Dream by WOMBO
Create beautiful artwork using the power of AI. Enter a prompt, pick an art style and watch WOMBO Dream turn your idea into an AI-powered painting in seconds.
https://buttondown.email/hillelwayne/archive/defense-in-depth-is-actually-a-good-thing/
Another (pretty comprehensive) argument for combining both formal methods and testing (and code reviews, and everything else) from Hillel Wayne.
The only part I slightly disagree about is cohesion: I don't think all the techniques necessarily push code in different directions. Kinda obvious counterexample is static types and deductive functional verification: they both push code in the same direction, namely Functional Programming (yep, even in OO and other languages). Which perfectly aligns with Property-Based Testing. I'd argue it aligns with Unit Testing as well. And if all of your team does all of that — types, verification, PBT, etc. — they all will consider such code "natural" so your code reviews will push it in the same direction. Maybe, cohesion wouldn't be so bad with DiD after all. 😊
Another (pretty comprehensive) argument for combining both formal methods and testing (and code reviews, and everything else) from Hillel Wayne.
The only part I slightly disagree about is cohesion: I don't think all the techniques necessarily push code in different directions. Kinda obvious counterexample is static types and deductive functional verification: they both push code in the same direction, namely Functional Programming (yep, even in OO and other languages). Which perfectly aligns with Property-Based Testing. I'd argue it aligns with Unit Testing as well. And if all of your team does all of that — types, verification, PBT, etc. — they all will consider such code "natural" so your code reviews will push it in the same direction. Maybe, cohesion wouldn't be so bad with DiD after all. 😊
buttondown.email
Defense in Depth is actually a good thing
So my TLAConf talk is out and I was gonna talk about technique research but then I saw this tweet and knew I had to rant about it: If after-release testing...