Ну что. Лор уже не тот, некоторые сайты из гугла не открываются без прокси, а SQL.ru вообще плохо. Встаёт вопрос, как сделать нормальный форум?
Требования

• Без единой точки отказа
• Настоящее п2п с всем контентом, который будет доступен оффлайн
• С возможностью одновременно вести несколько версий
• Устойчивость к вандализму
• Гейт в интернеты

Т.е. по сути это распределённая одноранговая база данных с системой контроля версий + ui. Цель - консолидация сообщества и создание базы знаний, которая не просрётся из-за какой-нибудь неприятности с сервером, модератором или владельцем ресурса.

6 января исполнилось 25 лет указу президента России «О разработке космического ракетного комплекса (КРК) «Ангара»». Однако за четверть века российской космонавтике так и не удалось наладить серийное производство этих носителей, хотя предполагалось, что к настоящему времени они станут основными средствами доставки в космос грузов и экипажей.

https://www.kommersant.ru/doc/4214792

Приветствую,

Есть задача парсить pcap файлы (с помощью питон-библиотеки dpkt), извлечь TLS-сессии и собрать последовательноти типов сообщений. Поскольку имеются разные версии TLS, то последовательности сообщений могут варъироваться.

Очень упрощенный пример:

- TLS сессия как правило начинается с handshake-ов между клиентом и сервером, т.е. первое сообщение с ID=22 - далее сообщение ChangeCipher c ID=20 - клиент и сервер обо всем договорились, началась передача криптованных данных в TLS сообщениях с ID=23

То есть скрипт должен пропарсить весь pcap и построить как бы граф сообщений: 22->20->23

Но в реальности это может быть значительно более длинный граф, в зависимости от приложения, версий TLS и пр.

Изначально коды этих сообщений я предполагал складывать в список (list).

Но поскольку в одном pcap куча сессий _одного_ приложения, то необходимо как-то отличать «граф» сессий друг от друга.

Что можно использовать вместо списка для данной задачи?

Спасибо!

Здравствуйте друзья.

Имеется игровое приложение l3 по протоколу tcp. На него поступают частые (сотни/тысячи) запросы с подменных IP (т.е. syn-spoof ddos) из-за чего нагрузка приложения на процессор вырастает до 80-100%, а само приложение не успевает обработать все подключения (включая поддельные) и недоступно.

Подскажите пожалуйста, какие меры можно принять для фильтрации поддельных коннектов?

Рекомендуйте годные каналы, где можно услышать советов мудрых, отдохнуть душой и телом, увеселиться.

Например вот: https://www.youtube.com/user/BachiloDmitry

Человек вещает о давно забытых технологиях. Делитесь годнотой в общем.

автор принял вещества и покинул тред

Ведь в общем случае явно не сравнив ключи клиентов, нельзя гарантировать, что не осуществляется MitM. Вот взять Bitmessage, tox и подобное. Там адрес уже содержит ключ, и его не подменить не подменяя адреса.

Но в таком случае случае доверять End-to-End шифрованию в таких мессенджерах нельзя. Нельзя безопасно обменяться ключами по номеру телефона или домену сервера.

Но тогда с чего всякие EFF подтверждают безопасность? И что стоят слова Сноудена, который сам пострадал от того, что недооценивал необходимость приватности и анонимности?

Эту тему я поднял из-за того, что не все понимают, что человекочитаемые адреса и приватность несовместимые понятия чуть менее чем полностью.

Австрийский программист Alex J. Champandard создал программу, превращающую рисунки, нарисованные в графическом редакторе Paint, в художественные шедевры с помощью нейросетей. Анализируя алгоритмы рисования многих известных художников, программа обрабатывает рисунок, нарисованный пользователем, и стилизует его. На выходе получаются красивые картины.

>>> Подробности

Тихо и незаметно вышла новая версия системы интерактивного доказательства теорем Coq (Петух).

Система Coq предоставляет язык Gallina (Курица) — функциональный язык с зависимыми типами, основанный на исчислении индуктивных конструкций. Особенностью данной системы является наличие особого подъязыка тактик доказательства (в отличии от, например, Агды, в которой пользователь конструирует элемент типа, являющийся доказательством, в явном виде с использованием интерактивного интерфейса, основанного на Emacs).

Coq используется как собственно в математике, так и для так называемого сертифицированного программирования — написания программ вместе с доказательством их корректности.

Основные новшества в версии 8.5:

• асинхронное редактирование документов в CoqIDE, позволяющее работать с текущим доказательством, в то время как Coq проверяет другие доказательства в фоне;
• полиморфизм относительно универсумов, позволяющий использовать одни и те же определения для универсумов разного уровня;
• примитивные проекции, улучшающие временную и пространственную эффективность для записей и добавляющие для них эта-конверсию;
• новый движок тактик;
• новая процедура редукции native_compute, позволяющая вычислять термы, используя нативный компилятор OCaml'а;
• новый быстрый режим компиляции, пропускающий проверку доказательств;
• новая опция -type-in-type, позволяющая объединять иерархию типов в один универсум (делает логику несогласованной, но упрощает эксперименты);
• заметное улучшение эффективности в целом.

>>> Новость

Ъ: https://see.stanford.edu/Course/CS229

!Ъ: Стэнфорд выложил курс по ML, который читает Andrew Ng (если кто не в курсе - патриарх этой области нынче, вместе с Лекуном). По беглому осмотру - есть существенные отличия от курса ML, который был начитан этим же ученым для Coursera.

Накидайте must know вещей, которые могут по ядру спросить (позиция не конкретно по ядру, но в списке навыков присутствует). Я в ядре ничего не писал, только пару модулей отлаживал, ну и вот это читал http://www.tldp.org/LDP/khg/HyperNews/get/tour/tour.html

А есть какие-нибудь исследования на тему аля `какой синтаксис наиболее удобен для просмотра изменений?`. А вдруг тут прямая взимосвязь с `взлетел` — `не взлетел`. Вот в лиспе диффы жутко неудобно смотреть, чуть изменилось и сразу всё сдвигается (то что по сути не менялось).

По идее удобнее языке с, как бы так сказать, `вертикальным` синтаксисом, такие как джава, питон, го, и неудобнее `горизонтальный`, руби, перл, хаскел(?)

Как правильно переписать данный код:

int64_t Spades = 0x1f0a0; // U+1f0a0
for(int64_t i = Spades; i < Spades + 0xf; ++i)
    std::cout << (char*)&i << std::endl; // Не работает!

Я хочу напечатать первую строчку из этой таблицы, оперируя hex-значениями Unicode: http://www.fileformat.info/info/unicode/block/playing_cards/utf8test.htm

На Cassandra Summit, Avi Kivity и Dor Laor (создатели KVM и OSv) объявили о создании ScyllaDB — открытой реализации Apache Cassandra на C++

По утверждению авторов, пропускная способность на ноду у ScyllaDB в 10 раз выше чем у оригинального кода на Java, со временем отклика не превышающим 1мс на 99% запросов.

Они также получили 1 миллион транзакций в секунду на одной ноде.

>>> Подробности

Наткнулся на интересное почтовое сообщение от Alexandre Rebert в рассылке Debian'а. Думаю исследование Alexandre Rebert'a даёт представление об действительном положении вещей с безопасностью программного обеспечения.

Оригинал сообщения находится по ссылке. Здесь я приведу свой, не полный, перевод:

Привет,

я занимаюсь поиском уязвимостей в программном обеспечении в Carnegie Mellon University. Моя рабочая группа нашла тысячи необработанных исключений в бинарных пакетах из репозиториев debian wheezy. Don Armstrong (owner@bugs.debian.org) посоветовал нам связаться с вами, прежде чем заполнить около 1200 отчётов об ошибках.

Ошибки были найдены с помощью Mayhem, - автоматической системой поиска ошибок, разрабатываемой в течении нескольких лет в исследовательской лаборатории David Brumley. Mayhem'ом были проверены почти все бинарные файлы (~23000) из репозитория Debian Wheezy.

Наша цель заполнить отчёты об ошибках как можно полнее. Чтобы уменьшить кол-во дубликатов, мы сообщаем только об одном необработанном исключении в каждом бинарном файле, и максимум о пяти в одном пакете. Таким образом отчёт содержит около 1200 уязвимостей.

>>> Оригинал

Subj ? Почему то нужно ставить LOCK на table в транзакции чтобы одна и та же запись не попала нескольким workерам сразу Т е что-то типа:

begin
LOCK table
select fromt table where id = 1
delete from table where id =1
commit

. В результате эти LOCKи временами скапливаются что не есть хорошо и тормозит все систему. Есть ли альтернативы ?

http://koronit.ru/shop/product/stol-rabochii-klassik

Как думаете, оно жёсткое?

Написано, выдерживает 300 КГ, но меня волнует не раскачивается ли оно из стороны в сторону? Мне бы избежать такого сценария.

Я вижу там сварка и жёсткие крепления, мне кажется всё жёстким и стойким, плюс это, типа, знаменитый бренд столов для радиомонтажа.

А что вы скажете? Возможности потрогать вживую нет, оно доставляется только после оплаты по безналу доставкой из-за бугров.

Я собрался за ним кодить. Это единственный нормальный стол, который я вообще могу себе представить. В нём нет ничего лишнего, сделан для профессионалов и ценник вменяемый.

Ищу приложение на подобии этого:
http://applications.3d4medical.com/essential_anatomy_5/

Но оно только под Mac.

Есть ли нечто подобное под Linux?

Подскажите скажите название алго, или хотя бы в какую сторону гуглить. Суть: Есть рандомный контур например. Дана точка. Нужно найти минимальный контур, в котором она находится. Или сказать что такого нет, как например тут

UPD

Входная информация не готовые контуры в виде многоугольников, а набор ребер.

Условия задачи такие:
1. Дан граф;
2. Разрешено удалять вершины, вместе с вершиной удаляются все инцидентные ей ребра;
3. Никаким другим способом удалять ребра нельзя;
4. Требуется найти минимальное множество вершин, после удаления которого ребер в графе не остается.

Вопросы:
1. Каково общепринятое название этой задачи?
2. Есть ли готовые быстрые алгоритмы?

Имеются табличные данные, объемом с десяток мегабайт. Хочется таскать их прямо в исполнимом файле, влинкованными.

Самый простой вариант — вывалить данные в исходник на Си вида «const char my_data[] = {0x4, 0x9, 0x10, 0x3, ....};» и прогнать через компилятор и линковщик. Если бы табличка была размером в пару килобайт, я на этом бы и успокоился. Но вот поступать так с десятком мегабайт? Существует для этого какой-то менее костыльный способ?