• Главная
  • Контакты
Подписаться:
  • Twitter
  • Facebook
  • RSS
  • VK
  • PushAll
logo

logo

  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные
  • За год
    • Положительные
    • Отрицательные
  • Сортировка
    • По дате (возр)
    • По дате (убыв)
    • По рейтингу (возр)
    • По рейтингу (убыв)
    • По комментам (возр)
    • По комментам (убыв)
    • По просмотрам (возр)
    • По просмотрам (убыв)
Главная
  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные

Публикации с тегом soundness

Трилемма Святого Грааля типизации: почему нельзя всё сразу +14

  • 29.07.2026 09:05
  • DrArgentum
  • 9
  • Блог компании Timeweb Cloud
  • Программирование
  • TypeScript
  • Python
  • C++
Страница 1 из 1
ЛУЧШЕЕ

  • Сегодня
  • Вчера
  • Позавчера
06:00

Как за вами следит Яндекс: часть 1/3 +139

02:28

Мы опубликовали стабильный, быстрый, качественный и доступный синтез ещё для 29 языков России +29

09:01

Правила программирования Роба Пайка +21

08:00

5 новых мини-ПК августа: от бесшумных офисных моделей до игровых систем с GeForce RTX 5070 +15

07:04

? выглядит как try/catch. Внутри — полная противоположность +13

10:24

Подводные камни ИИ-инфраструктуры: что узнаёт заказчик через полгода после запуска (и как мы предусмотрели это в ПАК) +10

07:02

Кайтен не для людей +10

09:05

Iron Core. Часть 5: Столкновение с птицей в Терминале №2 +9

08:27

«Скопируй промпт дважды и получишь +76%». Я решил проверить +9

10:12

Анатомия технологических химер: почему разумные идеи складываются в нежизнеспособные продукты +8

09:05

Нейросеть, которую почти не учат или что такое резервуарные вычисления +8

10:15

Пять вопросов, на которые должны отвечать ваши данные, прежде чем с ними начнёт работать ИИ-агент +7

08:05

99-й перцентиль за 20 мс: T-Digest и магия сжатых распределений +7

08:00

Почему мы выбрали MCP для ИИ-агента и почему это был удачный выбор +7

06:38

Недельный геймдев: #289 — 2 августа, 2026 +6

04:05

Локальный ИИ из MacBook M1 +6

13:01

Как Google Карты незаметно определяют победителей и проигравших в общепите +5

09:08

Плановая смена паролей: разбор темы и аргументов +5

08:54

DeepSeek, коммерческая тайна и увольнение за ИИ: чему первое громкое дело учит бизнес +5

12:00

Выпекаем тесты на Go с Testo: делимся нашим open-source-фреймворком +4

08:00

Как сэкономить миллиард, если правильно подуть на раскаленную железку +192

09:00

Как мы подвели Кира Булычёва и почему его книги — об украденном детстве и о том, как его сохранить другим +107

15:05

Чернобыльские титаны. Краны Demag +75

09:01

Как я воскресил Canon 7D Mark II, который продавался «на запчасти» +66

11:30

Тропа хиппи: утраченный маршрут +56

18:36

Необычный ремонт LCD Roland JUNO-G +44

08:05

Вышли 25 лет назад и изменили игровую индустрию навсегда. 5 самых важных игр 2001 года +38

13:02

Россия глазами наших инженеров: как сервисная команда К2Тех заменила аккумуляторы в 430+ офисах по всей стране +32

13:01

Как избавить гравитацию от времени: теория шейп-динамики +32

16:45

Подземные города от античности до ближайшего будущего +26

05:54

«Оценка 300 часов? ИИ мне сделает за вечер!». Считаем тремя методами, и 300 — ниже плинтуса в индустрии +25

08:22

История о том, как я написал компилятор Svelte на Rust +19

18:10

Избыточные размышления не любят движущуюся цель +17

05:33

JOIN как в ORM: связи по foreign key в PostgreSQL +17

05:45

Спустя 6 лет я докопался до ядра компьютера, и там была математическая формула +13

21:33

Научный метод +12

09:06

Если вы думаете, что знаете, чем отличается «Expression» от «Statement», то, скорее всего, вы ошибаетесь +12

00:37

Обзор препринтов научных статей в области астрофизики за июнь 2026 года +10

21:50

Hazelcast: Хороший, плохой, злой +9

20:16

Мой код терял бы 230 байт из 231. Чтобы это увидеть, пришлось патчить QEMU +9

10:49

Фильтрация ТСПУ у серверов Таймвеб Cloud: диагностика, обход через reverse-proxy и СDN +72

19:23

7 месяцев вайбкодинга: как в одиночку делать то, что раньше требовало команду +71

09:00

Эхолокация: микрофон и фазированная решётка из колонок +53

13:01

Не самый дешёвый суперстрат Cort G250 Spectrum +47

09:01

Как изобрели письменность? Часть 3. От египетских иероглифов к финикийскому алфавиту через синайские копи +45

14:05

Подробная история развития 2D-графики в PC +40

09:01

От Dune II до Dune: Awakening: как менялась легендарная серия игр по «Дюне» +32

00:03

Детектор жизни +26

16:35

Нейронные сети нетрадиционного квантования +25

21:46

Тёмные паттерны: как закон в России впервые прямо запрещает манипулятивный дизайн +21

08:00

5 странных гаджетов 2026 года: смартфоны с E‑Ink, Linux‑раскладушка, наладонник и кое‑что еще +21

11:02

DroneCan. Анатомия +19

12:16

Ловушка для ума разработчика №3: почему самые надёжные инженеры остаются без поддержки +18

11:30

О микроводорослях, недостижимых идеалах и оплачиваемом веганами будущем +17

18:19

Стохастический клеточный автомат на системе типов +12

16:14

Делаем себе сложно +12

14:32

Kakehashi: запуск macOS бинарников на Linux ARM. Часть 1: рабочий 7zip, curl и успехи с Apple Git +12

07:19

«У вас в резюме указаны навыки ИИ. Что вы имели в виду?» Что отвечать, кроме количества потраченных токенов +12

08:57

Двенадцать символов, двадцать один байт: как я научил голый RISC-V говорить «Привет, мир!» +11

07:21

Папа, мне нужен пульт: как я подключил DualSense к детской машинке +11

СЕРВИСЫ
  • logo

    CloudLogs.ru - Облачное логирование

    • Храните логи вашего сервиса или приложения в облаке. Удобно просматривайте и анализируйте их.
ОБСУЖДАЕМОЕ

  • Как мы подвели Кира Булычёва и почему его книги — об украденном детстве и о том, как его сохранить другим +107

    • 329

    7 месяцев вайбкодинга: как в одиночку делать то, что раньше требовало команду +71

    • 192

    Как за вами следит Яндекс: часть 1/3 +147

    • 117

    Возрастная дискриминация в IT, как IT компании продолжают отсеивать по возрасту -5

    • 87

    Фильтрация ТСПУ у серверов Таймвеб Cloud: диагностика, обход через reverse-proxy и СDN +72

    • 84

    Тропа хиппи: утраченный маршрут +56

    • 45

    Как сэкономить миллиард, если правильно подуть на раскаленную железку +192

    • 42

    «Оценка 300 часов? ИИ мне сделает за вечер!». Считаем тремя методами, и 300 — ниже плинтуса в индустрии +25

    • 42

    Эхолокация: микрофон и фазированная решётка из колонок +53

    • 40

    Кто ходит по вашим сайтам, пока вы спите +4

    • 32

    Тёмные паттерны: как закон в России впервые прямо запрещает манипулятивный дизайн +21

    • 26

    Чернобыльские титаны. Краны Demag +75

    • 25

    О микроводорослях, недостижимых идеалах и оплачиваемом веганами будущем +17

    • 25

    5 странных гаджетов 2026 года: смартфоны с E‑Ink, Linux‑раскладушка, наладонник и кое‑что еще +21

    • 25

    Ловушка для ума разработчика №3: почему самые надёжные инженеры остаются без поддержки +18

    • 24

Подписка


  • Главная
  • Контакты
© 2026. Все публикации принадлежат авторам.