Библиотека: Техника и Технологии
Ir al canal en Telegram
Интересные книги по технике и технологиям, а так же их истории, и математике. Авторская подборка. Чат @techo_book_library_chat
Mostrar másEl país no está especificadoLa categoría no está especificada
202
Suscriptores
Sin datos24 horas
Sin datos7 días
+130 días
Archivo de publicaciones
С мест сообщают: Роскомнадзор заблокировал… Linux в России не получается обновить ядро без обходов.
Repost from Старая🗝️книга
Сказительница
Аграфена Тимофеевна Голубева
Новгородская область
Деревня Крутец, 1975 год
👻😇🥰 Старая книга ✍️🍡🎈
+1
Стр 414
Надо бы найти оригинальную статью. А то может это байка производства CNN
Repost from Borisenko Dmitriy
Мне пишут:
Здравствуйте! Наткнулся на интересную историю и реальный судебный кейс по Ютубу.
Человек уже год судится.
Юрист из Новосибирска (18 лет практики) подал иск против Ростелекома из-за фактической блокировки YouTube.
Коротко по сути:
1. YouTube официально не запрещён
— не внесён в реестр запрещённых сайтов
— нет решения суда о блокировке
Но у абонентов Ростелекома он перестал работать.
2. Ростелеком отвечает одинаково
«Проблемы из-за оборудования, которое нам не принадлежит»
При этом не объясняет:
— какое оборудование
— где оно стоит
— кому принадлежит
Юрист считает это недобросовестным поведением.
3. Начался суд
Ростелеком принёс «протокол проверки доступности YouTube» — набор непонятных цифр, который даже их представитель объяснить не смог.
Суд попросил привести специалиста — Ростелеком не привёл.
4. Истец привёл своего специалиста
Тот заявил, что документ Ростелекома — «туфта», ничего не доказывает.
Предлагали прямо в суде провести тест через роутер, чтобы показать блокировку наглядно — суд отказал.
5. Суд предложил экспертизу
Истец подготовил вопросы для экспертов и доказательства.
Ростелеком сначала сам просил экспертизу, потом внезапно отказался — классическая тактика затягивания.
6. Самое странное
Суд назначил экспертизу, но:
— включил только 2 своих вопроса
— вопросы истца отклонил без объяснений
— оплату экспертизы возложил на истца (хотя по закону о защите прав потребителей должен платить продавец услуги)
Причём это появилось только в письменном тексте определения.
7. Нарушение протокола
В аудиозаписи заседания отсутствует часть, где суд оглашал решение.
Секретарь сказала: «Я не записала».
Истец подал частную жалобу в областной суд.
8. Почему это важно
Он считает, что дело принципиальное:
— провайдер ограничивает доступ к сервису без официальных оснований
— суды закрывают глаза
— процесс затягивают
— потребителя заставляют доказывать очевидное за свой счёт
Видео этой истории юрист выложил в своем Ютубе.
Repost from ITc | наука и технологии
Sony представила технологию гибридного хранения игр весом в 100 МБ
Японская корпорация запатентовала систему, которая позволит радикально экономить место на SSD: на консоль устанавливается лишь базовый исполняемый файл, а тяжелые текстуры и звуки подгружаются из облака в реальном времени.
В отличие от обычного стриминга, этот метод исключает задержку ввода (инпут-лаг), так как вычисления происходят локально.
Главными вызовами для технологии остаются необходимость стабильного скоростного интернета и потенциально долгое время первичной загрузки локаций.
Repost from ЭлектроКот - ТехноБлог
VETUSWARE.COM
Самая большая в мире коллекция бесплатных заброшенных програм
MS DOS
https://www.vetusware.com/os/DOS/?os=1&filter=8
Repost from ITc | наука и технологии
ИИ-парадокс: нейросети не сокращают, а увеличивают нагрузку
Исследование UC Berkeley показало, что доступ к ИИ провоцирует «ползучий рост нагрузки» вместо экономии времени.
За восемь месяцев наблюдений ученые выяснили, что сотрудники добровольно начинают работать дольше и интенсивнее, забирая себе задачи смежных специалистов и заполняя промптами даже перерывы на обед.
Этот эффект сравнивают с парадоксом Джевонса: повышение эффективности ресурса лишь увеличивает его потребление.
Чтобы избежать массового выгорания, исследователи призывают компании внедрять жесткие нормы использования технологий, включая защиту от многозадачности и время на верификацию результатов.
Repost from Литография в домашних условиях
Дефицит кадров в микроэлектронике достиг 5,3 тыс. человек и будет только расти
Самые острые «дыры» — монтажники радиоэлектронной аппаратуры (дефицит вырос на 113% за год), инженеры-конструкторы и технологи
При этом, согласно прогнозам, уже к 2030 году отрасль может столкнуться с нехваткой до 50 тысяч специалистов
Проблема носит системный характер
Она вызвана как многолетним провалом в подготовке кадров после 2000-х годов, так и текущими условиями: низкие зарплаты, высокая текучка (30% новичков уходят в первый год) и разрыв между навыками выпускников и реальными требованиями предприятий
Вузы физически не успеют закрыть эту кадровую пропасть, производя лишь несколько тысяч специалистов к 2030 году, на фоне потребности в десятках тысяч
Это ставит под вопрос реализацию планов по импортозамещению в стратегической отрасли
В топ-3 самых дефицитных профессий вошли монтажник РЭА (не хватает 1342 человека), инженер-конструктор (546) и инженер-технолог (646)
Repost from Я Математик
💥 Теорема Гёделя о неполноте: День, когда математика сломалась
До 1931 года математики жили в сладкой иллюзии. Они верили, что математика - это идеальная система. Что любое истинное утверждение можно доказать, если достаточно долго думать.
Великий Давид Гильберт даже провозгласил лозунг: «Мы должны знать - мы будем знать!».
А потом пришел 25-летний австриец Курт Гёдель и одной статьей разрушил эту мечту навсегда.
🤥 Парадокс лжеца
Чтобы понять Гёделя, вспомните древний парадокс.
Человек говорит: «Я лгу».
• Если он говорит правду, значит, он лжет (как и сказал). Противоречие.
• Если он лжет, значит, фраза «я лгу» - неправда. То есть он говорит правду. Снова противоречие.
Гёдель перевел этот лингвистический трюк на язык строгой математики.
🔢 Атака изнутри
Гёдель придумал хитрый способ зашифровать математические утверждения в числа. И с помощью этого кода он сконструировал уравнение, которое буквально говорило само про себя:
«Это утверждение нельзя доказать».Перед математикой встал тупик: 1. Если мы МОЖЕМ это доказать, значит, утверждение ложно (ведь оно гласит, что его доказать нельзя). Тогда вся математика - враньё и противоречива. 2. Если мы НЕ МОЖЕМ это доказать, значит, утверждение истинно (оно действительно недоказуемо). Но тогда получается, что у нас есть истина, которую невозможно доказать. 🏁 Что это значит для нас? Гёдель доказал страшную вещь: Математика неполна. В любой достаточно сложной системе (даже в школьной арифметике!) всегда найдутся утверждения, которые являются истинными, но их невозможно ни доказать, ни опровергнуть внутри этой системы. Это как иметь пазл, в котором точно не хватает одной детали, но вы знаете, что картинка правильная. Итог: Мы никогда не узнаем всего. У логики есть границы. И это не потому, что мы глупые, а потому, что так устроена Вселенная. 📲 Мы в MAX 👉 @Pomatematike
Repost from Импортозамещение в ИТ
💥 КРОК: Генеративный ИИ начнет приносить реальный экономический эффект к концу десятилетия
КРОК представил результаты исследования 26 ключевых технологий, которые в ближайшие пять лет станут основой для трансформации отечественного бизнеса. Анализ показал, что на российском рынке уже сформировался зрелый технологический слой:
🔹 облачные вычисления
🔹 кибербезопасность
🔹 микросервисные архитектуры.
На их фоне появляются новые волны инноваций: от ИИ-агентов до 6G и роботов. Подробнее тут
🇷🇺 Импортозамещение в ИТ
Repost from ITc | наука и технологии
Wayback Machine оживит битые ссылки на сайтах
Организация Internet Archive совместно с Automattic (владельцем WordPress) разрабатывает плагин Link Fixer, призванный решить проблему «вымирания» интернета.
По статистике, около 40% ссылок десятилетней давности сегодня ведут на страницу 404. Новый сервис будет автоматически сканировать контент сайта и заменять нерабочие ссылки на их сохраненные копии в архиве Wayback Machine.
При этом система продолжит мониторить оригинальные адреса: если ресурс снова станет доступен, плагин мгновенно вернет исходную прямую ссылку.
Repost from ITc | наука и технологии
NASA разрешила современные смартфоны в космосе
Агентство официально пересмотрело правила сертификации техники, разрешив использование актуальных гаджетов в миссиях Crew-12 и Artemis II.
Ранее из-за бюрократии и тестов на радиацию в космос попадало только устаревшее железо, однако успех частных полетов Polaris Dawn доказал надежность современных устройств.
Это решение позволит астронавтам снимать Луну и МКС на флагманские смартфоны в высоком разрешении, минуя многолетние задержки, характерные для старых протоколов безопасности.
Repost from Импортозамещение в ИТ
💥 HP, Dell, Acer и Asus могут перейти на использование Китайских чипов памяти
Ведущие производители компьютерной техники рассматривают возможность закупки чипов памяти у китайских компаний. Среди них — американские компании HP, Dell и тайваньские Acer и Asus.
Причиной возможного перехода на китайскую продукцию стал глобальный дефицит чипов. По данным источников Nikkei Asia, компании HP и Dell уже начали проверять на соответствие своим требованиям чипы производства китайского разработчика ChangXin Memory Technologies (CXMT), ставшего четвертым по величине в мире производителя чипов DRAM.
Если ко второй половине 2026 года проблема дефицита не решится, HP и Dell начнут закупать чипы DRAM у CXMT. Подробнее тут
🇷🇺 Импортозамещение в ИТ
Repost from 3pcb.ru
Уже достало. Давайте примем правила хорошего тона в работе с ИИ.
Любой нормальный сотрудник — инженер, программист, менеджер — сейчас обязан не просто пользоваться нейронками. Он должен принимать на себя ответственность за результат, который с их помощью получил.
Поэтому сотрудник НЕ ДОЛЖЕН:
— Ныть, что «нейронки тупые». Если сеть выдала ерунду — это твоя проблема с промптом или валидацией. Добивайся верного ответа или делай задачу руками.
-- Пересылать коллегам свой диалог с ChatGPT. Подход «пусть сами решают, верить или нет» — это перекладывание ответственности. Ты фильтр, ты эксперт, ты выдаешь готовое решение. И отвечаешь за него.
— Отправлять невычитанный текст. Если ответ полон воды, канцелярита и кривых фраз — перепиши. Заставлять других читать сырой выхлоп ИИ — свинство.
-- Использовать решение, которое сам не понимаешь. Будь то код, схема или тезис. Если ты не можешь объяснить, как и почему это работает — ты не имеешь права это использовать. Не понял — потрать время, изучи тему, разберись. Иначе как ты можешь за это отвечать?
— Дергать коллег, не спросив сначала у нейронки. Раньше гуглили, теперь — промптим. И только если там тупик — идем к людям.
Repost from Мир Linux
«Rust в ядре NetBSD, скорее всего, вообще не вариант», – говорит давний разработчик NetBSD.
Приводится множество причин, по которым язык программирования Rust не подходит для использования в NetBSD, в том числе:
- «NetBSD поддерживает множество архитектур, для которых Rust просто недоступен».
- «Даже просто запустить компилятор Rust изначально — сложно», и «Поддерживать работоспособность Rust — это довольно много работы».
- «Процесс bootstrap опирается на бинарный пакет предыдущей версии. Это неприемлемо».
- «NetBSD 9.0 был выпущен в 2020 году. На тот момент актуальной версией был Rust 1.41. Если бы Rust 1.41 был включён в NetBSD 9, он был бы бесполезен для чего-либо, кроме сборки самого NetBSD — Rust 1.41 настолько старый, что практически никакой современный код с ним не скомпилируется. Такое себе».
https://bentsukun.ch/posts/netbsd-rust-kernel/
@linuxos_tg
