Битовые поля ни в одном языке не сделаны идеально (и это если учесть что они в основной массе языков не сделаны вообще). В Си еще более-менее (хотя и там есть недостатки), в Rust по сути предлагается откат на более низкий уровень - типа сами пишите код для выполнения всех операций с битами. И это только единичные биты, а если нужны битовые типы данных, к примеру беззнаковое число длиной 3 бита, расположенное по строго определенному битовому смещению в слове?
Интересно еще, чтобы IMEI телефона, "засвеченного" с официальными симками, не засвечивалось с этими виртуальными. В принципе вариант - дешевый gsm-модем для обычных симок и такой модуль... но может уже есть все в одном девайсе?
Возможно глупый вопрос, но если эти резинки при извлечении снимутся с наушников и застрянут в ушах? У меня какой-то иррациональный страх такого:) Поэтому я использую только проводные, и только не затычки (без резинок).
А как это вообще происходит? Что физически покупается, как выглядит сам процесс подключения и использования?
И еще, для того чтобы получать sms на эти e-sim, может есть в природе что-то типа дешевых e-sim gsm модемов? Какой нибудь usb свисток и простейшая софтинка к нему.
Вообще не понимаю эти беспроводные наушники. Они же могут вывалиться, особенно в темное время суток, зимой, в грязь, и ищи-свищи. Проводные хотя-бы на проводе повиснут. Или это "затычки" которые нужно засовывать глубоко в уши, терпеть такое не могу.
ИМХО в теории множеств вообще нет аналога для Tagged union. Потому что в tagged union нельзя хранить разные элементы одновременно, а в теории множеств про "одновременность" вообще ничего не говорится.
По поводу пересечения & - вот пример из интернета
type User = {
name: string;
age: number;
};
type Employee = {
name: string;
department: string;
salary: number;
};
type CommonUserEmployee = User & Employee;
// Result: { name: string; age: number; department: string; salary: number; }
т.е. на выходе мы имеем тип, объединяющий поля из двух типов, причем одинаковые поля сливаются - в точности как в объединении множеств. A={1,2}, B={2,3}, A∪B={1,2,3}.
А вообще к этим курсам лекций явно не хватает какого-то "дерева зависимостей". Т.е. есть явно очень специфические курсы, и непонятно что нужно знать для их успешного изучения.
Какой интересный язык! Кажется в работе с типами он продвинулся дальше многих других современных языков.
Кстати получается что пересечение & это по сути теоретико-множественное объединение, а объединение | это "тип-сумма" (tagged union, variant). А вот интересно, можно в нем сделать теоретико-множественное пересечение, разность или симметрическую разность типов?
Советские лоялисты и нынешние все-же отличаются. Советские были в некотором смысле более наивными и романтичными. Нынешние - максимально приземленные, циничные и жестокие. И сама советская идеология была более... "высокой" что-ли (а значит требующей больше "энергии" на поддержание). Возможно потому и рухнула. Нынешняя идеология - что-то весьма примитивное и приземленное, словно позаимствованное у братков из девяностых. Практически культ силы в чистом виде.
Достойный проект. На таких проектах кстати отлично проверяется и пригодность самого языка (Rust), и возможно за счет обратной связи вносить какие-то улучшения в язык.
Только вот непонятно как прикручивать образ для виртуальной машины к virtualbox'у. Нагуглил что можно сконвертировать в vdi командой VBoxManage convertfromraw --format VDI [filename].img [filename].vdiно в результате все равно получается что-то не то. Лучше бы сделали стандартный формат ova.
Понятно что в конечном итоге техническими средствами политические проблемы не решить (ну или для этого нужны совсем другие технические средства). Но вот зачем те люди, которые в силу своих должностных обязанностей реализуют блокировки технически, лезут так глубоко? Ну спустили сверху "замедлить ютуб" - и замедлите так, чтобы он был недоступен только с компьютера чиновника, далекого от айти. Неужели у нас среди айтишников появились идейные сторонники блокировок интернета?
Я там написал слово "неизбежно". Это проблема, и решения пока не существует (т.е. я ничего не предлагаю, по крайней мере публично в рамках Хабра:) ). Это не значит что решения вообще не существует, и тем более не значит что не нужно думать и пытаться искать это решение. В общем и целом глобализация как таковая по идее способна сгладить проблему, но не решить ее полностью.
Думаю, дети сами в состоянии решить, что им читать а что нет. Впрочем, введение таких запретов только подтолкнет Сообщество к созданию полностью децентрализованных соцсетей, неподконтрольных вообще никому, и я лично в меру своих скромных возможностей постараюсь помочь в этом деле всем чем смогу:)
Не далее чем вчера в соседней теме высказывался по поводу государств. Вопрос - что с этим можно сделать, чтобы государство перестало быть фермером и стало обслуживающим сервисом?
Битовые поля ни в одном языке не сделаны идеально (и это если учесть что они в основной массе языков не сделаны вообще). В Си еще более-менее (хотя и там есть недостатки), в Rust по сути предлагается откат на более низкий уровень - типа сами пишите код для выполнения всех операций с битами. И это только единичные биты, а если нужны битовые типы данных, к примеру беззнаковое число длиной 3 бита, расположенное по строго определенному битовому смещению в слове?
Именно приложение? Т.е. нужен именно смартфон?
Интересно еще, чтобы IMEI телефона, "засвеченного" с официальными симками, не засвечивалось с этими виртуальными. В принципе вариант - дешевый gsm-модем для обычных симок и такой модуль... но может уже есть все в одном девайсе?
Возможно глупый вопрос, но если эти резинки при извлечении снимутся с наушников и застрянут в ушах? У меня какой-то иррациональный страх такого:) Поэтому я использую только проводные, и только не затычки (без резинок).
А как это вообще происходит? Что физически покупается, как выглядит сам процесс подключения и использования?
И еще, для того чтобы получать sms на эти e-sim, может есть в природе что-то типа дешевых e-sim gsm модемов? Какой нибудь usb свисток и простейшая софтинка к нему.
Вообще не понимаю эти беспроводные наушники. Они же могут вывалиться, особенно в темное время суток, зимой, в грязь, и ищи-свищи. Проводные хотя-бы на проводе повиснут. Или это "затычки" которые нужно засовывать глубоко в уши, терпеть такое не могу.
Да, но изложено очень сумбурно.
Тогда понятно
Т.е. здесь имеется в виду декартово произведение
Я просто пытался рассматривать типы как множества полей структур, а не как множества значений.
ИМХО в теории множеств вообще нет аналога для Tagged union. Потому что в tagged union нельзя хранить разные элементы одновременно, а в теории множеств про "одновременность" вообще ничего не говорится.
По поводу пересечения & - вот пример из интернета
т.е. на выходе мы имеем тип, объединяющий поля из двух типов, причем одинаковые поля сливаются - в точности как в объединении множеств. A={1,2}, B={2,3}, A∪B={1,2,3}.
Спасибо, добавил в свой личный список.
А вообще к этим курсам лекций явно не хватает какого-то "дерева зависимостей". Т.е. есть явно очень специфические курсы, и непонятно что нужно знать для их успешного изучения.
Какой интересный язык! Кажется в работе с типами он продвинулся дальше многих других современных языков.
Кстати получается что пересечение & это по сути теоретико-множественное объединение, а объединение | это "тип-сумма" (tagged union, variant). А вот интересно, можно в нем сделать теоретико-множественное пересечение, разность или симметрическую разность типов?
По математике как минимум вот (только крупные коллекции плейлистов):
https://www.youtube.com/@ialt_mipt/playlists ИАЛТ МФТИ
https://www.youtube.com/@OpenLektorium/playlists Лекториум
https://www.youtube.com/@math_hedgehog/playlists Ёжик в матане
https://www.youtube.com/@NAUKA0/playlists/playlists teach-in
https://www.youtube.com/@CMCMSUMoscow/playlists ВМК МГУ
https://www.youtube.com/@sibscience/playlists sibscience
https://www.youtube.com/@-live5741/playlists Физтех-Live
https://www.youtube.com/@SteklovMathInstitute/playlists МЦМУ МИАН
https://www.youtube.com/@MathNetRussia/playlists Math-Net.Ru
https://www.youtube.com/@hse-cs-lectures/playlists ФКН ВШЭ
https://www.youtube.com/@mathematicsathse1021/playlists Mathematics at HSE
Советские лоялисты и нынешние все-же отличаются. Советские были в некотором смысле более наивными и романтичными. Нынешние - максимально приземленные, циничные и жестокие. И сама советская идеология была более... "высокой" что-ли (а значит требующей больше "энергии" на поддержание). Возможно потому и рухнула. Нынешняя идеология - что-то весьма примитивное и приземленное, словно позаимствованное у братков из девяностых. Практически культ силы в чистом виде.
Достойный проект. На таких проектах кстати отлично проверяется и пригодность самого языка (Rust), и возможно за счет обратной связи вносить какие-то улучшения в язык.
Только вот непонятно как прикручивать образ для виртуальной машины к virtualbox'у. Нагуглил что можно сконвертировать в vdi командой
VBoxManage convertfromraw --format VDI [filename].img [filename].vdiно в результате все равно получается что-то не то. Лучше бы сделали стандартный формат ova.Понятно что в конечном итоге техническими средствами политические проблемы не решить (ну или для этого нужны совсем другие технические средства). Но вот зачем те люди, которые в силу своих должностных обязанностей реализуют блокировки технически, лезут так глубоко? Ну спустили сверху "замедлить ютуб" - и замедлите так, чтобы он был недоступен только с компьютера чиновника, далекого от айти. Неужели у нас среди айтишников появились идейные сторонники блокировок интернета?
Интересная тема! А где и как из РФ можно купить такую симку?
Я там написал слово "неизбежно". Это проблема, и решения пока не существует (т.е. я ничего не предлагаю, по крайней мере публично в рамках Хабра:) ). Это не значит что решения вообще не существует, и тем более не значит что не нужно думать и пытаться искать это решение. В общем и целом глобализация как таковая по идее способна сгладить проблему, но не решить ее полностью.
Очень любопытная тема. А эти загруженные e-sim можно каким-то образом загружать с компа и выгружать на комп как обычные файлы?
Думаю, дети сами в состоянии решить, что им читать а что нет. Впрочем, введение таких запретов только подтолкнет Сообщество к созданию полностью децентрализованных соцсетей, неподконтрольных вообще никому, и я лично в меру своих скромных возможностей постараюсь помочь в этом деле всем чем смогу:)
Не далее чем вчера в соседней теме высказывался по поводу государств. Вопрос - что с этим можно сделать, чтобы государство перестало быть фермером и стало обслуживающим сервисом?