А также, behold, это фанфик по Поняшам и Аксиоматической теории множеств
https://www.fimfiction.net/story/103143/1/twilight-ships-rainbow-dash-with-everything-in-the-universe/axiomatic-set-theory
https://www.fimfiction.net/story/103143/1/twilight-ships-rainbow-dash-with-everything-in-the-universe/axiomatic-set-theory
Numbers Station Omeґа
А во-вторых, это. Горжусь безмерно, благодарен всем, кто принимал участие в создании.
Если что, на изображении Эрнст Цермело, один из авторов аксиоматики теории множеств Цермело-Фрэнкеля или ZF. У нее есть модификация - аксиоматика ZF с аксиомой выбора (axiom of choice), которая кратко называется ZFC.
Wikipedia
Zermelo–Fraenkel set theory
In set theory, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox.…
Пост любви к numberphile
https://twitter.com/numberphile/status/1221057754934272000?s=19
https://twitter.com/numberphile/status/1221057754934272000?s=19
Forwarded from Красные пики (Serge Abdulmanov)
Читал тут книгу про структурный разбор языков. Узнал, что есть такое племя матсес в Южной Америке, у которых есть не только три прошедших времени, но эвиденциальные различия в глаголах. В смысле, что нельзя сказать ничего так, чтобы не обозначить источник фактов и степень их достоверности. А теперь прекрасная цитата:
«Есть отдельные глагольные формы, зависящие от того, рассказываете ли вы о непосредственном опыте (вы видели проходящего мимо своими глазами), о чем-то, выведенном из материальных следов (вы видели отпечатки на песке), о предположении (люди всегда проходят мимо в это время дня) или о свидетельствах других лиц (ваш сосед сказал вам, что он видел кого-то, проходящего мимо).
Если утверждение сделано в неверной эвиденциальной форме, оно считается ложным. Так что если, например, вы спросите матсеса, сколько у него жен, то если только он не видит их всех в этот момент, то он будет отвечать в прошедшем времени и скажет нечто вроде: daëd ikoşh – «было две» (прямой недавний опыт). То есть то, что он скажет, значит: «Было две, когда я последний раз проверял». В конце концов, учитывая, что жены не присутствуют, он не может быть абсолютно уверен, что ни одна из них не умерла и не сбежала с другим с тех пор, как он последний раз ее видел, даже если это было всего пять минут назад. Поэтому он не может сообщить об этом как об известном факте в настоящем времени».
«Есть отдельные глагольные формы, зависящие от того, рассказываете ли вы о непосредственном опыте (вы видели проходящего мимо своими глазами), о чем-то, выведенном из материальных следов (вы видели отпечатки на песке), о предположении (люди всегда проходят мимо в это время дня) или о свидетельствах других лиц (ваш сосед сказал вам, что он видел кого-то, проходящего мимо).
Если утверждение сделано в неверной эвиденциальной форме, оно считается ложным. Так что если, например, вы спросите матсеса, сколько у него жен, то если только он не видит их всех в этот момент, то он будет отвечать в прошедшем времени и скажет нечто вроде: daëd ikoşh – «было две» (прямой недавний опыт). То есть то, что он скажет, значит: «Было две, когда я последний раз проверял». В конце концов, учитывая, что жены не присутствуют, он не может быть абсолютно уверен, что ни одна из них не умерла и не сбежала с другим с тех пор, как он последний раз ее видел, даже если это было всего пять минут назад. Поэтому он не может сообщить об этом как об известном факте в настоящем времени».
Numbers Station Omeґа
Невероятно https://twitter.com/bob_burrough/status/1218598778841616384?s=19
Увидел сегодня работу этой штуки на практике и это офигенно. Только что б было действительно 50фпс надо выбрать качество получше. Особенно круто, если сначала посмотреть оригинал
https://www.youtube.com/watch?v=-VELzks3a8U
https://www.youtube.com/watch?v=-VELzks3a8U
Солнышко впечатляет
https://twitter.com/coreyspowell/status/1222587352037691393?s=19
https://twitter.com/coreyspowell/status/1222587352037691393?s=19
Twitter
Corey S. Powell
This is the sharpest movie of the Sun ever made. Even at this fine resolution, the scale is enormous; each plasma cell here is about the size of Texas. https://t.co/0G1VI3hrhi via @NatSolarObs https://t.co/JYSDw1Grx6
А также, развернутая версия предыдущего поста via @archivechan via @photonost:
Forwarded from AstroAlert | Наблюдательная астрономия
⚡️ Получено самое детальное в истории изображение поверхности Солнца!
Новейший 4-метровый солнечный телескоп имени Дэниела Иноуэ, расположенный в обсерватории Халеакала (остров Мауи, Гавайи), позволил астрономам получить изображение поверхности Солнца с самым высоким на сегодняшний день разрешением. Мельчайшие детали на снимке имеют размер около 30 км!
На нем вы можете видеть паттерн турбулентного, «кипящего» газа, покрывающего все Солнце. Структуры, похожие на растительные клетки, называются гранулами — каждая размером около 1000 км. Их образование вызвано конвекцией солнечной плазмы. Конвективные потоки формируют колонны конвекции, перемешивающие вещество в зоне конвекции. Гранулы являются видимыми вершинами таких отдельных колонн. Горячая плазма поднимается вверх по центру колонны, растекается, остывает и сбрасывается вниз по краям гранулы (яркий цвет означает высокую температуру, а темный, соответственно, более низкую). Время существования гранул от 8 до 20 минут.
В темных полосах также заметны крошечные, яркие маркеры магнитных полей. Астрономы их никогда не видели раньше в таких подробностях. Предполагается, что эти яркие пятнышки направляют энергию вверх во внешние слои солнечной атмосферы — корону. Они могут быть причиной того, почему температура солнечной короны составляет более миллиона градусов Цельсия!
Оригинальный снимок (26MB): https://www.nso.edu/wp-content/uploads/2020/01/full_image_high.jpg
Источник → https://www.nso.edu/telescopes/dkist/first-light-full-image/
Новейший 4-метровый солнечный телескоп имени Дэниела Иноуэ, расположенный в обсерватории Халеакала (остров Мауи, Гавайи), позволил астрономам получить изображение поверхности Солнца с самым высоким на сегодняшний день разрешением. Мельчайшие детали на снимке имеют размер около 30 км!
На нем вы можете видеть паттерн турбулентного, «кипящего» газа, покрывающего все Солнце. Структуры, похожие на растительные клетки, называются гранулами — каждая размером около 1000 км. Их образование вызвано конвекцией солнечной плазмы. Конвективные потоки формируют колонны конвекции, перемешивающие вещество в зоне конвекции. Гранулы являются видимыми вершинами таких отдельных колонн. Горячая плазма поднимается вверх по центру колонны, растекается, остывает и сбрасывается вниз по краям гранулы (яркий цвет означает высокую температуру, а темный, соответственно, более низкую). Время существования гранул от 8 до 20 минут.
В темных полосах также заметны крошечные, яркие маркеры магнитных полей. Астрономы их никогда не видели раньше в таких подробностях. Предполагается, что эти яркие пятнышки направляют энергию вверх во внешние слои солнечной атмосферы — корону. Они могут быть причиной того, почему температура солнечной короны составляет более миллиона градусов Цельсия!
Оригинальный снимок (26MB): https://www.nso.edu/wp-content/uploads/2020/01/full_image_high.jpg
Источник → https://www.nso.edu/telescopes/dkist/first-light-full-image/
Forwarded from N + 1
Квантовая физика уже преподнесла нам немало сюрпризов в мире технологий, но, кажется, готовится удивить человечество еще раз: годы развития квантовой термодинамики показали, что квантовые тепловые двигатели могут иметь высокую эффективность на малых масштабах, недоступную для классических машин. Рассказываем о том, что такое квантовые двигатели, как они устроены и на что способны
http://short.nplus1.ru/quaengine
http://short.nplus1.ru/quaengine
Forwarded from HN Best Comments
Re: Grindr and OKCupid Sell Your Data, but Twitter’s M...
One more time, what mobile phone owners need is an intermediary layer in the mobile OS where they can either manually or programmatically (via e.g. a random number generator) lie to higher-level application layers about the phone's data. It's not enough to just turn off permission to access this data (because then the apps will often just refuse to work); it's essential to be able to lie to these apps in a way that they cannot tell the data is fake. This is a perfect opportunity to build weaponized AI that acts on behalf of users against adtech.
dreamcompiler, 1 day ago
One more time, what mobile phone owners need is an intermediary layer in the mobile OS where they can either manually or programmatically (via e.g. a random number generator) lie to higher-level application layers about the phone's data. It's not enough to just turn off permission to access this data (because then the apps will often just refuse to work); it's essential to be able to lie to these apps in a way that they cannot tell the data is fake. This is a perfect opportunity to build weaponized AI that acts on behalf of users against adtech.
dreamcompiler, 1 day ago