Ох уж эти инфоповоды «… репозитории госпроекта обнаружили …». На самом деле лицензия презентовалась и обсуждалась на докладе «Восхода» на конфе OSSDEVCONF → https://0x1.tv/20210418H
У меня задача записывать ноутбуком некие лекции, т.е. надо взять звук с микшера (3.5мм/6.3mm джек), и как-то передать на ноутбук. (допустим там свежий линукс, со всякими FastStream, aptX и т.п.)
Текущий вариант малокомпактен — длинные аудиошнуры, внешняя USB-карта (обычно Zoom H1), ADUM для развязки помех по питанию. (обычные входные звуковые карты ноутов еще более шумные с неожиданными наводками). Специфика — речь, 16кгц моно возможно достаточно (32кгц точно хватит, важно чтобы шумов не было и заикания редкие).
Я ищу какой-то Bluetooth трансмиттер, который
подхватится стандартной Bluetooth картой ноутбука (возможно она не умеет в A2dp sink, но может FSP)
ну или комплект приемник-передатчик, но тогда уже чтобы можно было в самом хорошем режиме (FastStream или что там есть), лить с микшера в ноут.
Что можно рекомендовать из железа для этих вариантов? (очень не хочется перебирать весь али и ебей).
Все так. Ну тогда было время такое, «мода на импортозамещение», что даже вот этот доклад пришлось сильно заманивать выступить, и мягко дорабатывать. Ну и даже затащить стек ява+постгрес, и чтобы на этом что-то шевелилось (проблемы с нативными хешами на яве, спинлоки в пг) — было как бы ну если не подвиг, то саксесс-стори.
Теперь же, если мне в на ревью попадутся рассказы о реализованных на Э. инфосистемах, то, конечно, буду требовать раскрытия этих вопросов.
В этом докладе были некоторые цифры http://0x1.tv/20181012BC , но в целом - сильно сэкономили, потому что до альтернатива была в сверхдорогих решениях от IBM, и чтобы сползти с них, использовалось "импортозамещение".
Разумеется, с рыночным небрендовым x86 по TCO вряд ли реально сравниваться, я не видел таких сравнений.
На конференции «Свободное программное обеспечение в высшей школе», которая в июне 2021 проходила в городе Переславле-Залесском (ИПС им. А.К. Айламазяна РАН), нашел заинтересованных людей, к которым на тестирование отправился один из экземпляров устройства. … Запись моего доклада на данной конференции (и не только моего, и не только этой конференции) можно посмотреть на http://0x1.tv/.
Ну например, унифицировав формат аккумулятора с известными марками. Не меняя формат аккумулятора в новых моделях. Что угодно — если на старые (15 лет) ноуты HP/Thinkpad можно до сих пор купить аккумуляторы, значит это решаемо. Меньше NIH-форматов, стандартнов, дизайнов, и будет гораздо всем удобней.
Ну как раз на этом докладе в секции вопросов московский учитель информатики сказал, что корпуса как раз ОК — прочные (дети кидались ноутами). Проблема в коротком жизненном цикле, когда после гарантии нифига не купить запчастей и т.п.
Это и было основной претензией.
Тополь, «Любожид». Хотя конечно это пересказ городских легенд, в обсуждениях считают что это никогда не работало, а после 90го (когда борьба с отмыванием и т.п.), это совершенно невозможно. Ну и отдельно есть наказание за «…whoever mutilates, cuts, disfigures, perforates, unites or cements together, or does any other thing to any bank bill, draft, note, or other evidence of debt issued by… imprisoned not more than six months…»
Ну и в целом там наверно больше Isabelle, что-то там совместно с микрософтом по Z3.
Могу поспрашивать, наверно, если что, как я уже сказал, я в этом не специалист, только сам пытаюсь разобраться…
Презентованное там почти всегда применяется в каких-то проектах и продуктах, институт ведет множество таковых, «чистой науки для души» там практически нет. Есть и проекты для верификации ОСРВ и сертифицированной авионики в частности… но тут я только знаю, что они есть (тут я не очень в теме, а для меня верификация это пока хобби и в основном в части автоматических доказательств).
К чему это я — может стоит убрать риторический абзац о «пыльных трудах института системного программирования РАН»? По моему мнению, условных 95% открывших эту статью, прочтут пару первых вводных абзацев с игривым тоном, и не полезут в скучные подробности, не говоря уже о комментариях. Но где-то этот абзац отложится, с меткой «на хабре считают что…». Это же нехорошо.
«Затем наступают «темные века», которых найти не удается, и потом в 2017 году снова появляются материалы»
— возможно вы зашли на страницу «последних выпусков» (там номера с 2017), но не прошли по ссылке «полный архив» ← там номера с 2000 → и вот так, появилась «хронология Скалигера с темными веками». На всякий случай, для прохожих — это не так, проекты и темы (особенно по верификации), в ИСПРАНе развивались методично и равномерно. Кроме статей, часто получалось, когда я снимал разные доклады, что именно по темам верификации, включая весьма прикладные аспекты, именно ИСПРАНовские ребята попадались чаще всего.
Видимо, под трудами ИСПРАН вы имели в виду любое творчество, как-то сводимое к сотрудникам ИСПРАН (ну да, есть пожилые сотрудники, у них были относительно олдскульные курсы для младшекурсников, возможно вы наткнулись на курсы Л×××ва, или Л×××вой) — именно это предпредложение я добавил в комментарий (не хотел дробить). Но Труды ИСПРАН это вполне определенный рецензируемый журнал, и если там проходит дичь и древности по верификации, мне это было бы интересно — я смог бы найти рецензентов, ну и повлиять, чтобы никогда. А так, по моим данным, уровень проектов, тем, технологий по верификации там вполне на уровне.
Уверяю, не хотел никого обидеть. Хотя ваше утверждение «пыльных трудах института системного программирования РАН, которые как будто бы от жизни отстают лет на 30, а то и 50» как раз является панибратским и менторским, и, по-моему мнению, действительно может кого-то обидеть.
Ох уж эти инфоповоды «… репозитории госпроекта обнаружили …». На самом деле лицензия презентовалась и обсуждалась на докладе «Восхода» на конфе OSSDEVCONF → https://0x1.tv/20210418H
Даже в самых продвинутых веганских культурных артефактах к свободному выращиванию мучных червей относятся настороженно http://www.leftoversoup.com/archive.php?num=59
У меня задача записывать ноутбуком некие лекции, т.е. надо взять звук с микшера (3.5мм/6.3mm джек), и как-то передать на ноутбук. (допустим там свежий линукс, со всякими FastStream, aptX и т.п.)
Текущий вариант малокомпактен — длинные аудиошнуры, внешняя USB-карта (обычно Zoom H1), ADUM для развязки помех по питанию. (обычные входные звуковые карты ноутов еще более шумные с неожиданными наводками). Специфика — речь, 16кгц моно возможно достаточно (32кгц точно хватит, важно чтобы шумов не было и заикания редкие).
Я ищу какой-то Bluetooth трансмиттер, который
подхватится стандартной Bluetooth картой ноутбука (возможно она не умеет в A2dp sink, но может FSP)
ну или комплект приемник-передатчик, но тогда уже чтобы можно было в самом хорошем режиме (FastStream или что там есть), лить с микшера в ноут.
Что можно рекомендовать из железа для этих вариантов? (очень не хочется перебирать весь али и ебей).
А можно как-то скачать обработанные субтитры — как на английском (перед переводом), так и на русском (после озвучки)? Хотя бы просто текстом.
Есть, но с некоторыми тонкостями. Недавно был доклад альтов → http://0x1.tv/20210617J
Конкретный слайд
Все так. Ну тогда было время такое, «мода на импортозамещение», что даже вот этот доклад пришлось сильно заманивать выступить, и мягко дорабатывать. Ну и даже затащить стек ява+постгрес, и чтобы на этом что-то шевелилось (проблемы с нативными хешами на яве, спинлоки в пг) — было как бы ну если не подвиг, то саксесс-стори.
Теперь же, если мне в на ревью попадутся рассказы о реализованных на Э. инфосистемах, то, конечно, буду требовать раскрытия этих вопросов.
должно сопровождаться цифрами
В этом докладе были некоторые цифры http://0x1.tv/20181012BC , но в целом - сильно сэкономили, потому что до альтернатива была в сверхдорогих решениях от IBM, и чтобы сползти с них, использовалось "импортозамещение".
Разумеется, с рыночным небрендовым x86 по TCO вряд ли реально сравниваться, я не видел таких сравнений.
На конференции «Свободное программное обеспечение в высшей школе», которая в июне 2021 проходила в городе Переславле-Залесском (ИПС им. А.К. Айламазяна РАН), нашел заинтересованных людей, к которым на тестирование отправился один из экземпляров устройства. … Запись моего доклада на данной конференции (и не только моего, и не только этой конференции) можно посмотреть на http://0x1.tv/.
Все же оставлю прямые ссылки и на
«доклад про мышь™» → http://0x1.tv/20210418I
эти конференции 2021 года в Переславле → http://0x1.tv/Category:OSSDEVCONF-2021 и http://0x1.tv/Category:OSEDUCONF-2021
Ну например, унифицировав формат аккумулятора с известными марками. Не меняя формат аккумулятора в новых моделях. Что угодно — если на старые (15 лет) ноуты HP/Thinkpad можно до сих пор купить аккумуляторы, значит это решаемо. Меньше NIH-форматов, стандартнов, дизайнов, и будет гораздо всем удобней.
Ну как раз на этом докладе в секции вопросов московский учитель информатики сказал, что корпуса как раз ОК — прочные (дети кидались ноутами). Проблема в коротком жизненном цикле, когда после гарантии нифига не купить запчастей и т.п.
Это и было основной претензией.
Изготовление корпусов, литье, как раз очень сложно, заказывается в китае.
А сборка да, российская.
Ну так например, у ICL. http://0x1.tv/202104200
Ну не только нейросетями скелет можно распознать, не упомянут, например, http://ipisoft.com
Тополь, «Любожид». Хотя конечно это пересказ городских легенд, в обсуждениях считают что это никогда не работало, а после 90го (когда борьба с отмыванием и т.п.), это совершенно невозможно. Ну и отдельно есть наказание за «…whoever mutilates, cuts, disfigures, perforates, unites or cements together, or does any other thing to any bank bill, draft, note, or other evidence of debt issued by… imprisoned not more than six months…»
Что-то в тиньков банке даже, судя по курсам, в хуавее русском… не только жетбрейнс.
Курс по алгоритмам, 6 курс, ФУПМ. Или я ошибся?
Привет (если меня помните)!
Ну вместо названий наверно интересней конкретные фамилии, давайте зацепимся в поиске за http://www.mathnet.ru/php/person.phtml?option_lang=rus&personid=125232 например.
(наверно это группа Петренко… но не уверен).
Ну и в целом там наверно больше Isabelle, что-то там совместно с микрософтом по Z3.
Могу поспрашивать, наверно, если что, как я уже сказал, я в этом не специалист, только сам пытаюсь разобраться…
Презентованное там почти всегда применяется в каких-то проектах и продуктах, институт ведет множество таковых, «чистой науки для души» там практически нет. Есть и проекты для верификации ОСРВ и сертифицированной авионики в частности… но тут я только знаю, что они есть (тут я не очень в теме, а для меня верификация это пока хобби и в основном в части автоматических доказательств).
К чему это я — может стоит убрать риторический абзац о «пыльных трудах института системного программирования РАН»? По моему мнению, условных 95% открывших эту статью, прочтут пару первых вводных абзацев с игривым тоном, и не полезут в скучные подробности, не говоря уже о комментариях. Но где-то этот абзац отложится, с меткой «на хабре считают что…». Это же нехорошо.
— возможно вы зашли на страницу «последних выпусков» (там номера с 2017), но не прошли по ссылке «полный архив» ← там номера с 2000 → и вот так, появилась «хронология Скалигера с темными веками». На всякий случай, для прохожих — это не так, проекты и темы (особенно по верификации), в ИСПРАНе развивались методично и равномерно. Кроме статей, часто получалось, когда я снимал разные доклады, что именно по темам верификации, включая весьма прикладные аспекты, именно ИСПРАНовские ребята попадались чаще всего.
Видимо, под трудами ИСПРАН вы имели в виду любое творчество, как-то сводимое к сотрудникам ИСПРАН (ну да, есть пожилые сотрудники, у них были относительно олдскульные курсы для младшекурсников, возможно вы наткнулись на курсы Л×××ва, или Л×××вой) — именно это предпредложение я добавил в комментарий (не хотел дробить). Но Труды ИСПРАН это вполне определенный рецензируемый журнал, и если там проходит дичь и древности по верификации, мне это было бы интересно — я смог бы найти рецензентов, ну и повлиять, чтобы никогда. А так, по моим данным, уровень проектов, тем, технологий по верификации там вполне на уровне.
Уверяю, не хотел никого обидеть. Хотя ваше утверждение «пыльных трудах института системного программирования РАН, которые как будто бы от жизни отстают лет на 30, а то и 50» как раз является панибратским и менторским, и, по-моему мнению, действительно может кого-то обидеть.