Forwarded from Пушка | Передний край науки и технологий
Вы теперь в зоне риска, если ученый, учитель, преподаватель в вузе, научпопер в России. Или работаете с ними.
Не такие новости вы здесь ждёте. Но я обязан предупредить всех, кого это может коснуться напрямую.
Сегодня Минюст РФ внёс в реестр организаций, деятельность которых в России признана нежелательной, Калифорнийский университет в Беркли. Место, где работали то ли 63, то ли 117 нобелевских лауреатов. Это не понт. Именно это делает событие опасным для вас.
Внёс и внёс, чего бухтеть-то. Но вот другая новость последних дней, чтобы вы понимали, чем это может грозить вам на практике.
Администраторы сайтов четырех ярославских вузов осуждены по протоколам об участии в деятельности "нежелательной" организации (статья 20.33 КоАП).
ЗА ПУБЛИКАЦИЮ НАУЧНЫХ РАБОТ, ГДЕ В БИБЛИОГРАФИИ УПОМИНАЮТСЯ ИЛИ ЕСТЬ ССЫЛКИ НА НЕЖЕЛАТЕЛЬНЫЕ ОРГАНИЗАЦИИ (например, внесенный раннее другой мировой научный центр — Йельский университет).
Не верите? Вот одно из дел с сайта суда (остальные вы можете найти тоже и убедиться). Суд в постановлении пишет, что признание организации “нежелательной” означает запрет на распространение и даже хранение материалов (включая Интернет).
А дальше то самое, ради чего этот пост.
🚨 Суд квалифицирует как “хранение и распространение” даже ссылки, находящиеся в открытом доступе на сайте вуза, включая раздел с диссертациями:
«…осуществлял хранение и распространение информационных материалов… а также то, что указанные ссылки и ресурсы находились в свободном доступе для прочтения и скачивания неограниченным кругом людей…»
понимаете: «…ссылки … направлены на распространение … деятельности…»
Это означает, что если в ваших рефератах, диссертациях, статьях, лекциях, видеороликах есть упоминания Йеля, а теперь и Беркли (список явно будет пополняться), или ссылки на публикации, сделанные их учеными, на их проекты, и тому подобное — это может и будет рассматриваться российскими органами и судами как участие в деятельности нежелательный организаций.
Нельзя исключать, что и пересылка или выкладывание теперь классики физики, вроде Берклеевского курса физики, может считаться распространением материалов нежелательной организации.
Ну, проживем как-то без Йеля и Беркли.
Если не заниматься наукой, образованием и просвещением — проживёте.
То, что десятки нобелевских лауреатов работали в Беркли, означает, что их публикации, труды, проекты аффилированы с Беркли, и теперь тоже относятся к участию в запрещёнке. И классика, и передовая наука, вроде CRISPR. Тоже Беркли.
Даже если вы баловались участием в SETI@home — легендарном проекте по поиску внеземной жизни — вы уже можете оказаться в суде. И это Беркли.
Если вы делали пост и оставляли ссылки много лет назад на курс физики или SETi или статью ученых Беркли — вы можете оказаться в суде.
Закон же не имеет обратной силы.
В России не такая практика правоприменения. Если организацию, человека или что-то еще назначают вне закона, то любые прошлые "объекты", связанные с ними становятся незаконными. Это называется длящимся правонарушением. Вас могут пока только оштрафовать не за публикацию в прошлом, а за то, что публикация продолжает "чадить" сейчас, оставаться доступной — вас можно трактовать как соучастника нежелательных.
Как быть тем, кто не может повлиять на свою публикацию? Не понятно. Ваша научная статья, реферат, диссертация или документальный фильм могут храниться там, где вы не можете ни удалить, ни поправить. Правда, ответственность тогда, возможно, и не совсем вы несете. Как в Ярославле, админы местные. Но Не факт.
Штраф же — это не страшно, не надо нагнетать.
Проблема в том, что с недавних пор за участие в деятельности нежелательных организаций можно не иллюзорно сесть в тюрьму.
Опыт иноагентов показывает, что если мера есть, то человек под нее всегда найдется, В независимости от политических взглядов, оппозиционности или лояльности.
📩 Расскажите про это каждому, кого это может коснуться.
Каждому, кто придет сейчас рассказать, что я паникёр, предлагаю проверить на себе. Сажают уже и за меньшее. А законов, по которым это сделать легче, с каждым днём больше.
Не такие новости вы здесь ждёте. Но я обязан предупредить всех, кого это может коснуться напрямую.
Сегодня Минюст РФ внёс в реестр организаций, деятельность которых в России признана нежелательной, Калифорнийский университет в Беркли. Место, где работали то ли 63, то ли 117 нобелевских лауреатов. Это не понт. Именно это делает событие опасным для вас.
Внёс и внёс, чего бухтеть-то. Но вот другая новость последних дней, чтобы вы понимали, чем это может грозить вам на практике.
Администраторы сайтов четырех ярославских вузов осуждены по протоколам об участии в деятельности "нежелательной" организации (статья 20.33 КоАП).
ЗА ПУБЛИКАЦИЮ НАУЧНЫХ РАБОТ, ГДЕ В БИБЛИОГРАФИИ УПОМИНАЮТСЯ ИЛИ ЕСТЬ ССЫЛКИ НА НЕЖЕЛАТЕЛЬНЫЕ ОРГАНИЗАЦИИ (например, внесенный раннее другой мировой научный центр — Йельский университет).
Не верите? Вот одно из дел с сайта суда (остальные вы можете найти тоже и убедиться). Суд в постановлении пишет, что признание организации “нежелательной” означает запрет на распространение и даже хранение материалов (включая Интернет).
А дальше то самое, ради чего этот пост.
«…осуществлял хранение и распространение информационных материалов… а также то, что указанные ссылки и ресурсы находились в свободном доступе для прочтения и скачивания неограниченным кругом людей…»
понимаете: «…ссылки … направлены на распространение … деятельности…»
Это означает, что если в ваших рефератах, диссертациях, статьях, лекциях, видеороликах есть упоминания Йеля, а теперь и Беркли (список явно будет пополняться), или ссылки на публикации, сделанные их учеными, на их проекты, и тому подобное — это может и будет рассматриваться российскими органами и судами как участие в деятельности нежелательный организаций.
Нельзя исключать, что и пересылка или выкладывание теперь классики физики, вроде Берклеевского курса физики, может считаться распространением материалов нежелательной организации.
Ну, проживем как-то без Йеля и Беркли.
Если не заниматься наукой, образованием и просвещением — проживёте.
То, что десятки нобелевских лауреатов работали в Беркли, означает, что их публикации, труды, проекты аффилированы с Беркли, и теперь тоже относятся к участию в запрещёнке. И классика, и передовая наука, вроде CRISPR. Тоже Беркли.
Даже если вы баловались участием в SETI@home — легендарном проекте по поиску внеземной жизни — вы уже можете оказаться в суде. И это Беркли.
Если вы делали пост и оставляли ссылки много лет назад на курс физики или SETi или статью ученых Беркли — вы можете оказаться в суде.
Закон же не имеет обратной силы.
В России не такая практика правоприменения. Если организацию, человека или что-то еще назначают вне закона, то любые прошлые "объекты", связанные с ними становятся незаконными. Это называется длящимся правонарушением. Вас могут пока только оштрафовать не за публикацию в прошлом, а за то, что публикация продолжает "чадить" сейчас, оставаться доступной — вас можно трактовать как соучастника нежелательных.
Как быть тем, кто не может повлиять на свою публикацию? Не понятно. Ваша научная статья, реферат, диссертация или документальный фильм могут храниться там, где вы не можете ни удалить, ни поправить. Правда, ответственность тогда, возможно, и не совсем вы несете. Как в Ярославле, админы местные. Но Не факт.
Штраф же — это не страшно, не надо нагнетать.
Проблема в том, что с недавних пор за участие в деятельности нежелательных организаций можно не иллюзорно сесть в тюрьму.
Опыт иноагентов показывает, что если мера есть, то человек под нее всегда найдется, В независимости от политических взглядов, оппозиционности или лояльности.
Каждому, кто придет сейчас рассказать, что я паникёр, предлагаю проверить на себе. Сажают уже и за меньшее. А законов, по которым это сделать легче, с каждым днём больше.
Please open Telegram to view this post
VIEW IN TELEGRAM
🤬15💔5💩3🤡3❤2😁2👍1🤯1
Блог*
#prog #game #abnormalprogramming Verilog to Factorio blueprints compiler https://github.com/Redcrafter/verilog2factorio (thanks @GabrielFallen)
#prog #game #abnormalprogramming
Можно запустить онлайн
Facto is a programming language that compiles to Factorio circuit network blueprints. You write readable code describing the logic you want, and the compiler generates optimized combinators that you paste directly into your game. No manual wiring, no layout headaches, no remembering signal types, no memory frustration, no debugging visual spaghetti.
Memory counter: "signal-A";
counter.write((counter.read() + 1) % 20);
Entity lamp = place("small-lamp", 0, 0);
lamp.enable = counter.read() < 30;Можно запустить онлайн
❤16
#prog (и, пожалуй, #blogrecommendation, даже не смотря на иишные иллюстрации)
Немного про возможности и фундаментальные ограничения различных примитивов синхронизации: t.me/types_and_archetypes/29
Немного про возможности и фундаментальные ограничения различных примитивов синхронизации: t.me/types_and_archetypes/29
Telegram
Типы и Архетипы
Иерархия Херлихи: периодическая таблица конкурентности
Сегодня в рамках «распределённых вторников» рассмотрим вопрос, который стоит за всей lock-free/wait-free инженерией: почему вообще неблокирующая синхронизация возможна и почему одни примитивы могут "выразить"…
Сегодня в рамках «распределённых вторников» рассмотрим вопрос, который стоит за всей lock-free/wait-free инженерией: почему вообще неблокирующая синхронизация возможна и почему одни примитивы могут "выразить"…
👍4🔥2👏1
#science #video
Видео о том, как археологические открытия позволили доказать, что извержение Везувия, похоронившее Помпеи, произошло в октябре, а не в августе, как было принято считать ранее.
Видео о том, как археологические открытия позволили доказать, что извержение Везувия, похоронившее Помпеи, произошло в октябре, а не в августе, как было принято считать ранее.
YouTube
The Discovery That Rewrote Pompeii
Howdy friends. In this video we explore the ruins of the infamous cities of Pompeii, Herculaneum, and several others to find clues that shed light on the great mystery of these ancient cities: when were they really destroyed. We will be taking a deep dive…
🔥6😁1
#prog #rust #rustreleasenotes
Вышла версия Rust 1.94.0! Как всегда, тут только то, что интересно мне, остальное в детальных заметках о релизе.
▪️Атрибуты для линта
▪️Касты между сырыми указателями на unsized типы с указанием лайфтаймов теперь требуют, чтобы предыдущий тип жил не меньше нового. Или, иными словами, каст из
▪️Стабилизировали array_windows! Украду пример прямо из блогпоста:
Благодаря выводу типов ещё и размер, как правило, не нужно указывать на методе явно.
▪️
▪️Для
▪️cargo теперь использует для парсинга манифестов наконец-то вышедшую версию TOML 1.1. С практической точки зрения это главным образом означает, что inline-таблицы можно писать на нескольких строках и с запятой после — или, иными словами, зависимость в Cargo.toml с большим количеством фичей теперь можно писать среди остальных и не пихать её в одну длинную строку.
▪️Ещё стабилизация: cargo теперь позволяет разбить конфиг на несколько файлов и объединить их при помощи top-level ключа
Вышла версия Rust 1.94.0! Как всегда, тут только то, что интересно мне, остальное в детальных заметках о релизе.
▪️Атрибуты для линта
dead_code (allow/warn/deny/expect) на трейтах и их частях теперь наследуются impl-ами:#[allow(dead_code)]
trait Foo {
const FOO: u32;
}
impl Foo for u32 {
const FOO: u32 = roundtrip(0);
}
// нет предупреждения о мёртвом коде
const fn roundtrip(x: u32) -> u32 {
x
}
▪️Касты между сырыми указателями на unsized типы с указанием лайфтаймов теперь требуют, чтобы предыдущий тип жил не меньше нового. Или, иными словами, каст из
*mut dyn Trait + 'a в *mut dyn Trait + 'b теперь требует 'a: 'b▪️Стабилизировали array_windows! Украду пример прямо из блогпоста:
For example, part of one 2016 Advent of Code puzzle is looking for ABBA patterns: "two different characters followed by the reverse of that pair, such as xyyx or abba." If we assume only ASCII characters, that could be written by sweeping windows of the byte slice like this:
fn has_abba(s: &str) -> bool {
s.as_bytes()
.array_windows()
.any(|[a1, b1, b2, a2]|
(a1 != b1)
&& (a1 == a2)
&& (b1 == b2)
)
}Благодаря выводу типов ещё и размер, как правило, не нужно указывать на методе явно.
▪️
LazyCell и LazyLock обзавелись методами get, get_mut и force_mut.▪️Для
iter::Peekable добавили методы next_if_map и next_if_map_mut. Пример из документации:let mut iter = "125 GOTO 10".chars().peekable();
let mut line_num = 0_u32;
while let Some(digit) = iter.next_if_map(|c| c.to_digit(10).ok_or(c)) {
line_num = line_num * 10 + digit;
}
assert_eq!(line_num, 125);
assert_eq!(iter.collect::<String>(), " GOTO 10");
▪️cargo теперь использует для парсинга манифестов наконец-то вышедшую версию TOML 1.1. С практической точки зрения это главным образом означает, что inline-таблицы можно писать на нескольких строках и с запятой после — или, иными словами, зависимость в Cargo.toml с большим количеством фичей теперь можно писать среди остальных и не пихать её в одну длинную строку.
▪️Ещё стабилизация: cargo теперь позволяет разбить конфиг на несколько файлов и объединить их при помощи top-level ключа
include (документация).👍5