[#]introduction
@ru
Всем привет!
Меня зовут Мара. Я родилась в 80-е, в российской провинции. С детства интересовалась математикой, программированием и наукой. Физику уважаю, но не люблю - в споре реального с идеальным, я всей душой за математиков :)
Люблю читать и писать. Мир есть текст. Вначале было Слово.
Обожаю думать и решать сложные задачи (даже когда это не требуется).
Максимальный кайф в жизни - видеть искру понимания в глазах других.
Самое необычное из хобби - любительская #астрономия и #астрофотография Сейчас, правда, вынужденный перерыв в этом увлечении, но как минимум, старые фото обязательно выложу. Мечтаю возобновить на новом уровне (полностью автоматизировать телескоп/гидирование/съемку). В астрофото больше интересны технические достижения, чем романтика. Например, попробовать снять спектр какого-нибудь объекта.
С юных лет сочувствовала миру #FOSS, имела много друзей, а потом и коллег - линуксоидов, мейнтейнеров, активистов, преподавателей. Однако, сама почти не участвовала - меня ослепляло желание сделать карьеру. Вавилон прельщал меня блеском золота и власти, и мое тогдашнее окружение очень способствовало тому, чтобы я однажды встала на сторону тьмы по-настоящему. Всего лишь, за деньги.
К счастью, все это в прошлом. Нравственный закон внутри меня выстоял. А каминг-аут и транспереход, показали мне изнанку моей прекрасной либертарианской (на тот момент) реальности. Заставив, как говориться, чекнуть свои прошлые привилегии и профильтровать в соответствии с этим, многие свои взгляды. Прямо как в фильме "Далласский клуб покупателей", ага.
Главное — всё заебись, и я здесь (с)
Здесь я чувствую себя снова на своем месте в жизни. Пропустила в свое время FidoNet по причине юного возраста - но вот теперь можно будет Fediverse ноду админить. Собираюсь заниматься этим всерьез и надолго, подтянуть сюда всех приличных людей, кого смогу, а так же развернуть и другие точки входа в Fediverse - для замены остальных сервисов.
Будем знакомы!
=> More informations about this toot | More toots from mara@andamunda.alda.ms
@mara
Велкам!
на сторону тьмы по-настоящему
Любопытство меня распирает. Не суверенный инет строила?
=> More informations about this toot | More toots from kirill@s.zholnay.name
@mara Добро пожаловать!!
споре реального с идеальным, я всей душой за математиков
Да как же вы заеба...
@ru
=> More informations about this toot | More toots from drq@mastodon.ml
@drq > Да как же вы заеба...
Мвехеххехехе >:3
Это ты просто бесчувственный пень, неспособный оценить совершенство и красоту абстрактных материй, не связанных ограничениями дурацкого реального мира. Или че-то типа того.
Алсо, держите мемес.
@mara @ru
=> More informations about this toot | More toots from n0icz@mastodon.ml
@n0icz или просто математики не осилили воплотить свои красивости в реальность, в отличие от инженеров
(давайте сойдёмся на том что все хороши, даже гуманитарии иногда)
@drq @mara
=> More informations about this toot | More toots from mo@mastodon.ml
@mo > (давайте сойдёмся на том что все хороши, даже гуманитарии иногда)
Я согласна. Мир, дружба, жвачка. Инженеры нужны математикам, как и математики инженерам, чтобы вместе приносить в мир больше красивостей и полезностей :^)
@drq @mara
=> More informations about this toot | More toots from n0icz@mastodon.ml
@n0icz Не, красоту-то я оцениваю, но вот тащу я вас всех таких эстетов далеко не за счет абстрактных материй, а за счет креативной работы в жестких ограничениях реальной природы :D
@mara @ru
=> More informations about this toot | More toots from drq@mastodon.ml
@drq я не то что бы знаток истории технических наук, но могу ставить деньги на то, что твоя работа базируется на целой куче концепций, которые скучающие математики придумали красоты ради еще в те стародавние времена, когда никакого прикладного смысла извлечь из них было невозможно :>
@mara @ru
=> More informations about this toot | More toots from n0icz@mastodon.ml
@n0icz Частично.
А частично - "ебать, у меня камень светится" или "бля, у меня гвозди к булыжнику притянулись" или "хммм... этого напряжения не должно быть здесь" или "пиздец, плесень из вчерашней булки устроила геноцид холерной палочке"
@mara @ru
=> More informations about this toot | More toots from drq@mastodon.ml
@drq интересно, есть ли изобретения в сфере CS которые были открыты так же...
@n0icz @mara @ru
=> More informations about this toot | More toots from mo@mastodon.ml
@mo Полно. Вся айтишечка держится на случайностях, ошибках и похуях. Тебе ли не знать.
@n0icz @mara @ru
=> More informations about this toot | More toots from drq@mastodon.ml
@drq просто сложно представить как, например, покорраптившая свою память программа могла открыть какой-то полезный эффект...
@n0icz @mara @ru
=> More informations about this toot | More toots from mo@mastodon.ml
@drq типо, единственная мысль на которую наводит сегфолт, это «бля, как бы сделать так чтобы такой хуйни не было»
А ответ уже есть у математиков, с их теорией типов
@n0icz @mara @ru
=> More informations about this toot | More toots from mo@mastodon.ml
@mo @drq @n0icz @ru
Да, я бы вообще переформулировала эту дискуссию так:
Есть люди, которым чуть легче принимать несовершенство реальности, вот начиная прямо с day-to-day опыта взаимодействия со своим телом (которое постоянно грозит тебя убить, если ты слишком погрузишься в невероятно интересную тебе СЕЙЧАС проблему и отмахнешься от его свинских потребностей).
А есть люди, которым именно смириться с несовершенством, и принять его, как фундаментальную неизбежность, требующую бесконечной работы - настолько тяжело, что это просто периодически коротит мозг. Должен быть какой-то хотя бы внутренний мысленный ответ на вызов несовершенства. Такая вот нейроотличность.
Все люди при этом вынуждены как-то жить в этом несовершенстве. И все могут приносить пользу общему реальному делу. Но вот мотивация у этих категорий разная, и это имхо главное, что стоит подсветить данным тредом.
Исходя из моего опыта общения с людьми, искренне любящими математику - открытие нового в математике, это всегда борьба за какой-то идеальный ответ, пусть он даже и недостижим в реальности. Это фундаментальная потребность таких людей ("Черт, Гарри не привык, чтобы в спорах у него кончались аргументы!!" - #hpmor).
Чувство, что ты сейчас не открыла, нееет - УЗНАЛА какой-то факт или замечательное свойство математической системы, и этот факт - абсолютно внешний по отношению к тепловой смерти Вселенной и вообще всему, что способен представить твой разум - очень похоже на религиозное. Не сравнимое, лично для меня, ни с каким физическим кайфом. Лучшей аналогии у меня нет.
А спорить о чувствах бессмысленно - поэтому я пишу это просто, чтобы другие могли понять, что в голове у тех, кто за математиков :)
=> More informations about this toot | More toots from mara@andamunda.alda.ms
@mo Есть такой вид искусства извлечения полезных эффектов из разного рода обсеров программ и железа. Хакинг называется.
Кстати, пресловутый всеми нами любимый Юникс тоже родился чуть ли не случайно.
@n0icz @mara @ru
=> More informations about this toot | More toots from drq@mastodon.ml
@drq все равно это локальный факт, а не прям эффект. Потому что каждая программа дырявая в своих уникальных местах
@n0icz @mara
=> More informations about this toot | More toots from mo@mastodon.ml
@mo Но научный метод все равно используется. Просто это наука для одной конкретной среды.
@n0icz @mara
=> More informations about this toot | More toots from drq@mastodon.ml
@drq но я спрашивала не про это %)
@n0icz @mara
=> More informations about this toot | More toots from mo@mastodon.ml
@drq @mo @n0icz
Как любительница научного метода, поделюсь его фундаментальными ограничениями - чтобы его адекватно применять, надо точно уметь описывать (или моделировать) понятие "реальность" для конкретной среды.
Еще это было краеугольным местом всех QA/QC курсов, которые я когда-либо вела для сотрудников :)
Ваши представления о правильности работы любой системы, должны исходить только из требований к ней.
В современной физике (как системе), например, реальностью называются 6 сигм. То есть, типа, очень большая вероятность (определенная авторитетными людьми) - это реальность. Ну ок.
=> More informations about this toot | More toots from mara@andamunda.alda.ms
@mo @drq @n0icz но бывают и уязвимости в протоколах, например. Зачем было бы разрабатывать Monero, когда уже был Bitcoin? Откуда пришло value туда? Благодаря хакингу и трекингу, который закончился кейсом силкроада.
=> More informations about this toot | More toots from mara@andamunda.alda.ms
Не, ну тут скорее
@mo@mastodon.ml @drq@mastodon.ml @n0icz@mastodon.ml @mara@andamunda.alda.ms @ru@lor.sh
=> More informations about this toot | More toots from foxido@social.cutie.team
@foxido а ничего что железку, позволяющую писать в область исполняемого кода, перед этим заранее спроектировали с такой фичей by design?
@drq @n0icz @mara
=> More informations about this toot | More toots from mo@mastodon.ml
em, actually no
права на страницы памяти, как и вообще виртуальная память, появились сильно позже самомодифицирующегося кода. Ну, у будем честны, появились как раз из-за него
В целом мой пример фиговый, так как именно коррапт памяти наверное ничего не дал. Но тут твоя вина, так как это плохая аналогия к OP, так как не является чем-то неожиданным
Изобретениями из неожиданности скорее были языки программирования и всякие идиомы, где пьяные челы чета написали, получилось красиво и теперь используют
Ну или легендарный обратный квадрат из дума)
@mo@mastodon.ml @drq@mastodon.ml @n0icz@mastodon.ml @mara@andamunda.alda.ms
=> More informations about this toot | More toots from foxido@social.cutie.team
@foxido Квейка, вообще-то. Но да. Там не столько про математику, сколько про странное поведение железки, которое сделало этот математический трюк возможным.
@mo @n0icz @mara
=> More informations about this toot | More toots from drq@mastodon.ml
сорри, да
Кстати если уж подняли геймдев, то там наверное кладезь таких открытий с потолка: рандомные необоснованные ничем формулы для освещений "потому что диффуры сложно, а это выглядит почти как надо", трюки с зеркалами и двойными камерами и так далее.
Никто не сидел и не рисовал красивые теории как бы так сделать, все просто брали и делали, а дальше как пойдет, как и в науке собственно
@drq@mastodon.ml @mo@mastodon.ml @n0icz@mastodon.ml @mara@andamunda.alda.ms
=> More informations about this toot | More toots from foxido@social.cutie.team
@foxido
как и в науке собственно
Да суть дискуссии как раз в том, что в науке бывает и так и так. Бывает открытие "от теории", когда матанщики высидели какую-то хрень, а она потом обнаружилась и подтвердилась, а бывает и наоборот от эксперимента - когда электрон изменил свои свойства от того, что на него косо посмотрели и это надо как-то объяснить.
@mo @n0icz @mara
=> More informations about this toot | More toots from drq@mastodon.ml
@foxido я про архитектуру железа, не разделяющую память. Она ж строилась не хуем об палец, её проектировали намеренно
@drq @n0icz @mara
=> More informations about this toot | More toots from mo@mastodon.ml
даааа, так и вижу как проектировщики 8086 сидят и думают, как же важно поддержать самомодифицирующийся код, что вот память должна быть общая
да им похуй на него было, они про это вообще не думали, у них были проблемы поважнее. Собственно будь им не похуй они бы сразу это запретили — как это и запрещено в большинстве случаев сейчас
Ты еще скажи что они упорядоченность memory операций сделали для упрощения многопоточного программирования в NUMA системах, угу. На этапе проектирования 8086
@mo@mastodon.ml @drq@mastodon.ml @n0icz@mastodon.ml @mara@andamunda.alda.ms
=> More informations about this toot | More toots from foxido@social.cutie.team
@foxido не думали конечно, но "открытием" это можно назвать с большой натяжкой.
@drq @n0icz @mara
=> More informations about this toot | More toots from mo@mastodon.ml
@mo В смысле, почему? То, что люди сделали этот камень, не значит, что они знали о нем все. Узнавание чего-то о рукотворных вещах - это тоже открытие.
@foxido @n0icz @mara
=> More informations about this toot | More toots from drq@mastodon.ml
@drq Вы бы при ведении IT-срача вывели новоприбывшую из упоминаемых, что ли...
@mo @foxido @n0icz @mara
=> More informations about this toot | More toots from th3rdsergeevich@mastodon.ml
@th3rdsergeevich К этому моменту это уже не IT-срач, а эпистемологический срач.
@mo @foxido @n0icz @mara
=> More informations about this toot | More toots from drq@mastodon.ml
@th3rdsergeevich а че, пусть сразу поймет куда попала :D
@drq @mo @foxido @mara
=> More informations about this toot | More toots from n0icz@mastodon.ml
@th3rdsergeevich ну нет, хеллтред об определениях это отличная демонстрация того какие мы все тут поехавшие!
@drq @foxido @n0icz @mara
=> More informations about this toot | More toots from mo@mastodon.ml
ну кстати любой продолжительный спор между адекватными™ людьми оказывается просто неразрешимым срачем об определениях — иначе бы они уже договорились. но тем оно и весело
@mo@mastodon.ml @th3rdsergeevich@mastodon.ml @drq@mastodon.ml @n0icz@mastodon.ml @mara@andamunda.alda.ms
=> More informations about this toot | More toots from foxido@social.cutie.team
@foxido да, поэтому чтобы не уйти в бесконечную рекурсию важно вовремя переключиться на мамок
@drq @th3rdsergeevich @n0icz @mara
=> More informations about this toot | More toots from mo@mastodon.ml
@th3rdsergeevich @drq @mo @foxido @n0icz
да нет, отлично, вот сразу и познакомимся, так сказать :)
и заодно может выясню, кого сразу дефедерировать надо, ибо в интро много специально расставленных детекторов))))
=> More informations about this toot | More toots from mara@andamunda.alda.ms
ну, смотри
никто не думал использовать плесень во благо а она сидела и убивало хуйню всякую, как работала так и работает. Начали использовать => это открытие
никто не думал использовать неразделяющую архитектуру, а она сидела и не разделяла, как не разделяла так и не разделяет. Начали использовать => получается открытие. Сугубо инженерное, но открытие
@mo@mastodon.ml @drq@mastodon.ml @n0icz@mastodon.ml @mara@andamunda.alda.ms
=> More informations about this toot | More toots from foxido@social.cutie.team
@foxido но про плесень там "не знал но открыл", а в случае с железками "знал но не сразу догадался". Ок, открытие, но другое
@drq @n0icz @mara
=> More informations about this toot | More toots from mo@mastodon.ml
@mo
знал но не сразу догадался
Это еще с чего "знал"-то?
@foxido @n0icz @mara
=> More informations about this toot | More toots from drq@mastodon.ml
@drq потому что своей головой придумали (и даже теоретически описали!) железку где общая память у инструкций и данных. @foxido @n0icz @mara
=> More informations about this toot | More toots from mo@mastodon.ml
@drq следовательно, открыть этот факт (что у железки общая память) уже не получится. Можно придумать ему применение, да. Но это не то же самое что открытие пенициллина и антибиотиков
@foxido @n0icz @mara
=> More informations about this toot | More toots from mo@mastodon.ml
оооокей, смотри, предположим какой-то инженер придумал какой-то новый ахуенный способ строить мосты. Дешевле, прочнее. Не умаляя общности скажем что это висящие мосты
И вот смотри, с твоей точки зрения это не открытие. Ведь все же знали что палки можно подвесить по другому. Просто не сразу догадались и не сразу посчитали — а он догадался и посчитал.
Но если честно не вижу чем этот инженер хуже чела, который просто плесневелую булочку в микроскоп засунул. Ведь все знали что можно засунуть, просто не сразу догадались
@mo@mastodon.ml @drq@mastodon.ml @n0icz@mastodon.ml @mara@andamunda.alda.ms
=> More informations about this toot | More toots from foxido@social.cutie.team
@foxido ты понимаешь разницу между словами "другое" и "хуже"?
@drq @n0icz @mara
=> More informations about this toot | More toots from mo@mastodon.ml
@foxido Знаешь, что? Мне кажется в словах @mo есть смысл, и мы пытаемся в одном и том же ключе говорить об открытиях и изобретениях. Это похожие по смыслу понятия, они иногда используются взаимозаменяемо (и в иных случаях изобретение можно считать частным случаем открытия, если попутно было выявлено что-то фундаментальное), но все же немного разные.
Но под изначальную задачу подходят в принципе оба.
@n0icz @mara
=> More informations about this toot | More toots from drq@mastodon.ml
@drq о, отличный момент чтобы вбросить мой любимый вопрос: а вот математику люди изобрели или таки открыли? :D
@foxido @mo @mara
=> More informations about this toot | More toots from n0icz@mastodon.ml
придумали, лол. математики не существует за пределами математики
@n0icz@mastodon.ml @drq@mastodon.ml @mo@mastodon.ml @mara@andamunda.alda.ms
=> More informations about this toot | More toots from foxido@social.cutie.team
@drq @mara @ru
Топикстартер делает пост-приветствие, описывает себя.
Приходит старожил, берёт одну строчку и пишет:
Да как же вы заеба...
Десятки/сотни сообщений и несколько разветвлений треда спустя все друг-друга реально достали и устали от баталий.
Кроме топикстартера. Она не написала ни одного сообщения в треде. Но и не отписалась от него — тегать её продолжали до самого конца. Это скорее из за новизны и не знания, что от треда можно отписаться, чем от желания всё это читать.
Вряд-ли кто-то поменял в результате своё мнение.
Что это было и зачем?
(Воспринимайте мой пост как шитпост, не нужно под ним начинать "нужны-ли/имеют смысл-ли/имеют право на существование-ли такие треды" тред, пожалуйста. Просто для меня забавно, как небольшой триггер может вызвать такое, особенно в очевидности, что, не напиши ты, что ты устал от этого — тебя бы точно никто не стал этим долбить целый час подряд)
=> More informations about this toot | More toots from Lemonid@mastodon.ml
@Lemonid > Что это было и зачем?
Это было общение. Обмен мнениями. Честно говоря, такие треды - одна из основных вещей, за которые я люблю феди :^)
@drq @mara @ru
=> More informations about this toot | More toots from n0icz@mastodon.ml
@n0icz @drq @mara @ru аааа!! Неужели бесполезному на первый взгляд треду, допустимы ли другие бесполезные на первый взгляд треды — всё таки быть?
Я попался в ловушку, которую только что описал! Над которой смеялся!
=> More informations about this toot | More toots from Lemonid@mastodon.ml This content has been proxied by September (3851b).Proxy Information
text/gemini