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

logo

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

Публикации с тегом Доказательство теорем

Доказана омнипериодичность игры «Жизнь» Конвея +92

  • 26.07.2023 05:46
  • Pavgran
  • 9
  • Математика
  • Научно-популярное

Совершенный кубоид +5

  • 25.05.2023 06:22
  • Lloyder
  • 1
  • Математика

Как в Индиане чуть не узаконили π = 3.2 +35

  • 15.04.2023 12:50
  • impwx
  • 137
  • Математика
  • Научно-популярное
  • Биографии гиков

Гипотеза Колатца +1

  • 07.07.2022 11:52
  • Lloyder
  • 108
  • Математика
Страница 1 из 1
ЛУЧШЕЕ

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

Пионеры разработки: внедрение АСУ 38 лет назад +38

08:03

Зарядное устройство для свинцово-кислотных аккумуляторов 4В +13

05:38

Центробанк решил быть няшным, а Google выпустил чатбот, который матерится на русском душевнее всех +13

05:30

Автоматизация мониторинга в НЛМК: от агрегации данных и ML до инцидент-менеджмента +10

05:30

Автоматизация мониторинга в НЛМК: от агрегации данных и ML до инцидент-менеджмента +10

06:53

Рекомендательная библиотека RePlay: сравнение с конкурентами RecBole и Recommenders на примере SOTA-модели SASRec +8

07:00

«Нам нужен дизайн»: как сплотить большую команду на пути к продукту +5

06:16

Как агрегируются порты (LAG, teaming, bonding EtherChannel и т.д.) +5

07:42

Программа, которая падала на первой команде +4

07:01

Про рабочую тревожность и про то, как с ней справляться +3

04:16

Удаленка, гибрид или офис, или как пасти котов в 2025 году? +3

07:43

Этот год в open source +2

06:30

Будущее облачных технологий: основные направления развития Kubernetes в 2025 году +2

05:28

ZLE — язык программирования без условных операторов и циклов +2

08:00

Рецензия на Lean Startup Э.Риса +1

07:45

Расцвет скоростей в сетях ЦОД: 400GbE уже мейнстрим или совсем мало? +1

07:06

Стратификация: как не облажаться с A/B тестами +1

13:39

Не радуйтесь офферу из СБЕРа +176

08:32

Как мы раскрыли внутреннюю архитектуру Flutter и затащили его на собственную платформу +55

09:17

20-летие Linux для десктопных систем (Часть 1) +42

13:26

AI, который всё за нас решит +27

07:05

Ностальгические игры: Command & Conquer – Generals +27

08:03

Лучшие одноплатные компьютеры: топ-5 моделей для разработки и хобби +24

15:54

Кроме шуток — шмели тоже обучаются и не знают всё по «инстинктам» +19

09:01

Натрий-ионные батареи станут массовыми? Новости из Китая +18

19:01

Парольная защита статичной HTML-страницы на JS +16

13:37

34 клавиши — это много или мало? Мой опыт использования сплит клавиатуры +12

11:02

Lazarus IDE для аналитика. Приемы работы в современном Free Pascal — 2 +9

10:10

Управление проектами: дайджест публикаций #23 +9

09:02

Миф о RAM +7

13:42

Мэтчинг персонажей. Level Hard +6

08:43

Таинственные быстрые радиовсплески могут вызывать астероиды, врезающиеся в мёртвые звёзды +6

23:26

JavaScript: Удобство или Угроза? Размышления о Приватности и Вебе +5

08:11

Как наладить работу в Scrum? +5

06:23

Как LLM меняют архитектуру систем: от простых дата-пайплайнов к интеллектуальным автономным агентам +5

17:00

Подмания: запускаем графические приложения в контейнерах. Часть 2 +4

16:37

Skip List в Golang +4

09:01

«Не трогай оливье, это на Новый год!»: немного об истории самого культового и мемного блюда новогоднего стола +71

11:20

Космический интернационал +59

08:12

Seagate представляет 32 ТБ накопитель для пользователей: технология HAMR идет в массы +41

10:45

Как я разрабатывал хоррор-стратегию на Game Maker, что из этого вышло + пара советов +27

16:14

Стратегия Келли точно не подведёт +23

21:10

Как засунуть слона в чемодан +22

14:05

Как китайцы «айфон на винде» сделали: Смотрим на Meizu M8 +20

20:03

Малварь ниже «уровня радаров» +19

12:04

Оптимизация компилятора на пальцах +19

16:34

Как поднять Wi-Fi на ESP8266 и не зашквариться об Arduino +17

07:05

Бегущий по флешбэкам +17

12:31

Продукт всё, платная реклама ничто. Итоги второго года в проде +16

19:01

Солнечный зонд Parker начал рекордно близкое сближение с Солнцем +13

08:23

PVS-Studio соответствует требованиям ГОСТ Р 71207—2024 (статический анализ программного обеспечения) +13

12:39

Как Ultimatum помогает бороться со слежкой в сети +9

15:58

PHP Typed: Маленький Composer пакет, который нарушает PHP правила ради вас +7

06:42

Обходимся почти без мышки: Некоторые настройки Linux и Xorg для комфортной работы на старом железе +6

22:27

Tg бот для IT + автоматизация ИПРО-2 используя MTS Exolve. Упаковка в Docker и автоматизация сборки с GitHub Actions +5

15:56

Mostly и Only — кто и для чего строит сети IPv6 +5

14:20

Создание Powershell Shellcode Downloader для обхода Defender (Без обхода Amsi) +5

СЕРВИСЫ
  • logo

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

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

  • Не радуйтесь офферу из СБЕРа +176

    • 318

    «Не трогай оливье, это на Новый год!»: немного об истории самого культового и мемного блюда новогоднего стола +71

    • 61

    Гарантированно безопасный способ передачи технологических данных АСУ ТП в интернет. Возможно? -12

    • 59

    Натрий-ионные батареи станут массовыми? Новости из Китая +18

    • 53

    AI, который всё за нас решит +27

    • 43

    PVS-Studio соответствует требованиям ГОСТ Р 71207—2024 (статический анализ программного обеспечения) +13

    • 42

    Как поднять Wi-Fi на ESP8266 и не зашквариться об Arduino +17

    • 36

    Seagate представляет 32 ТБ накопитель для пользователей: технология HAMR идет в массы +41

    • 34

    34 клавиши — это много или мало? Мой опыт использования сплит клавиатуры +12

    • 26

    Как китайцы «айфон на винде» сделали: Смотрим на Meizu M8 +20

    • 25

    20-летие Linux для десктопных систем (Часть 1) +42

    • 24

Подписка


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