Технологический Болт Генона
8.27K subscribers
3.05K photos
373 videos
214 files
3.92K links
До Декарта никогда не существовало рационализма.

Музыкальный Болт Генона: @mus_b0lt_Genona
Мемный Болт Генона: @mem_b0lt_Genona
Кадровый Болт Генона @kadr_b0lt_Genona

Обратная связь: @rusdacent
Download Telegram
Выходные продолжаются (заканчиваются)
https://ascii-patrol.com/

В браузере поиграть (если ставить нет желания)
https://ascii-patrol.com/area54/ascii-patrol-html5.html
Forwarded from Pavel Zhovner
Flipper Zero ищет программистов

Flipper пилит команда из 10 инженеров и разработчиков. Прошивка — очень масштабная часть, состоящая из операционной системы на базе FreeRTOS и большого числа отдельных приложений, поэтому мы постоянно набираем новых разработчиков для ее реализации. Нам нужен человек, который уверенно умеет в C и хорошо знаком с эмбеддом.

Обязательно

Уверенное знание C (ARM, Cortex-M4)

Понимание и опыт многопоточной разработки с RTOS

Опыт работы с периферией STM32

———————
Желательно

💡 Знание modern С++

💡 Опыт разработки устройств с пониженным энергопотреблением

———————
Задачи

Проектирование и разработка системного API и приложений Flipper Zero

Запуск и отладка железа новых устройств

Написание и поддержка документации

Ревью кода участников команды

———————
Условия

💰 Рыночная ЗП, обсуждается в соотвествии с опытом и квалификацией

🏠 Удаленка либо в офисе в центре Москвы, м. Китай-город

🕒 Full-time 5/2

Присылайте резюме на hr@flipperdevices.com либо @alexkulagin
Keylime is a CNCF hosted project that provides a highly scaleable remote boot attestation and runtime integrity measurement solution. Keylime enables users to monitor remote nodes using a hardware based cryptographic root of trust.

https://github.com/keylime/keylime
https://keylime.dev/
Все просто. Windows 8 запущен внутри ReactOS
#машины_разное

Во время своего выступления Дор Лаор, СЕО Scylla анонсировал новый проект Cerci, который в корне меняет структуру консенсуса ScyllaDB.

Взамен Paxos в ядро этого немалоизвестного конкурента Cassandra и DynamoDB будет использоваться Raft, что по словам Дора сделано в угоду консистентности и позволяет быстрее синхронизировать новые узлы в кластере.

Интересно попробовать собрать POSIX FS over Scylla... когда-нибудь.
Самый беззащитный — уже не Сапсан. Всё оказалось куда хуже…
https://habr.com/ru/post/536750/
Forwarded from Inside
Они просто не успели, хотя работают с сентября 2013 года, зато пилят НИОКР «Разработка специального методического обеспечения, а также
инструментальных и программных средств для проверки на киберзащищенность МПСУ ОАО
«РЖД»
Forwarded from oleg_log (Oleg Kovalov)
Automated Symbolic Verification of
Telegram’s MTProto 2.0

Within this model, we have provided a
fully automated proof of the soundness of MTProto 2.0’s protocols for first authentication,
normal chat, end-to-end encrypted chat, and re-keying mechanisms with respect to several
security properties, including authentication, integrity, confidentiality and perfect forward
secrecy. These properties are verified also in presence of malicious servers. Our formalization
covers also the behaviour of the users, when relevant; for instance, we have proved that if
the users do not check the fingerprints of their shared keys, a MITM attack is possible.

In the light of these results, we can affirm that MTProto 2.0 does not present any logical
flaw. Vulnerabilities can arise only from the cryptographic primitives, from implementation
flaws (e.g. insufficient checks), from side-channels exfiltration (such as timing or traffic
analysis), or from incorrect user behaviour.

https://arxiv.org/pdf/2012.03141v1.pdf
NGINX_Cookbook-final.pdf
9.8 MB
Derek DeJonghe. NGINX Cookbook. Advanced Recipes for High-Performance Load Balancing. 2021.

Level up on NGINX with this free O'Reilly eBook, updated for 2021. Get sample configurations for the most popular NGINX deployments: load balancing, caching, security, cloud deployment, automation, containers and microservices, high availability, performance tuning, and more.
The First Affordable RISC-V Computer Designed to Run Linux
https://beagleboard.org/beaglev
Media is too big
VIEW IN TELEGRAM
В декабре 2020 были выложены видосы с RustFest Global 2020

https://www.youtube.com/playlist?list=PL85XCvVPmGQiudPknCxiSpybc5RTfkXe6

Но там была прекрасная часть под названием Artist Performance, которая выделена в отдельный плейлист
https://www.youtube.com/playlist?list=PL85XCvVPmGQji1WRVzvDmPzCEZ3z3NSTS

Сам Rust мне интересен, как что-то новое, но на то что бы осилить и понять его у меня совсем нет времени, поэтому я слежу за ним поверхностно.

Основным проводником в мир Rust'а сейчас для меня стал канал @dereference_pointer_there. Там не только новости, но и много интересных авторских постов. Так что всем интересующимся рекомендую.

Что бы два раза не вставать, то будем считать этот пост одновременно и открыткой каналу @shitsch. Андрей интересуется и Rust'ом, и перформансами, и ещё много чем.

Если у вас тоже есть годные ресурсы про сей замечательный язык, то предлагаю в комментариях поделиться и обсудить.
Forwarded from Security Wine (бывший - DevSecOps Wine) (Denis Yakimov)
Лучшие практики при написании безопасного Dockerfile

Выпустил следующую статью на Хабр, в которой постарался агрегировать лучшие практики по написанию безопасного Dockerfile. В статье:

- Почему COPY, лучше чем ADD
- Полезные лейблы (securitytxt)
- Как скачивать компоненты из Интернета при сборке образа, избегая MiTM атаки
- Почему нужно задавать USER в конце и как может помочь gosu
- Затронута тема минимальных и Distroless образов
- Безопасная работа с секретами (multi-stage сборка, фича BuildKit, проблемы рекурсивного копирования)
- Существующие анализаторы Dockerfile
- Разные полезные доп. материалы

https://habr.com/ru/company/swordfish_security/blog/537280/

#dev #docker
These are tools for reporting and alerting about security information and events on linux systems. The focus is on gathering and annotating authentication, authorization and system configuration information and reporting and alerting based on this information.
. . .
Overview of tools
sec-gather-iptables: Output firewall rules
sec-gather-listenports: Output listening services / ports
sec-gather-misconfigs: Scan for common security misconfigurations
sec-gather-mysqlusers: Output MySQL users and privileges
sec-gather-openvpnusers: Output OpenVPN client certificate status
sec-gather-portscan: Output open ports detected through a portscan of a host
sec-gather-unixgroups: Output unix groups and their members
sec-gather-unixsessions: Output info on login sessions
sec-gather-unixusers: Output unix users and their details
sec-gather-http-headers: Output HTTP security headers for URLs
sec-gather-sslscan: Output SSL / TLS protocol and ciphers for ports
sec-gather-perms: Output files and dirs with dangerous permissions
sec-diff: Output changes in sec-gather-* script output since last time
sec-report: Generate HTML and PDF reports from gathered info
sec-mail: Send alerts and reports.


https://github.com/fboender/sec-tools
Пишем USB-драйверы для заброшенных устройств
https://habr.com/ru/post/476434/