Forwarded from opennet.ru
Инструментарий для доказательства теорем Coq рассматривает возможность смены названия https://opennet.ru/54933/
www.opennet.ru
Инструментарий для доказательства теорем Coq рассматривает возможность смены названия
Свободный инструментарий для доказательства теорем Coq рассматривает возможность смены названия. Причина: для англофонов слова "coq" и "cock" (сленговое название мужского полового органа) звучат похоже, и некоторые пользователи-женщины, сталкивались с двусмысленными…
Forwarded from opennet.ru
В ядре Linux 5.13 появится начальная поддержка CPU Apple M1 https://opennet.ru/54940/
www.opennet.ru
В ядре Linux 5.13 появится начальная поддержка CPU Apple M1
Гектор Мартин (Hector Martin), предложил включить в ядро Linux первый набор патчей, подготовленных проектом Asahi Linux, ведущим работу по адаптации Linux для компьютеров Mac, оснащённых ARM-чипом Apple M1. Указанные патчи уже одобрены сопровождающим ветки…
/exploitpool | #arm2026
там только флешинг работает и всё
Пидарас, там уже не только флешинг
Forwarded from Open Source
BusyBox Installer
Это утилита установки BusyBox в один клик для различных архитектур Android. Установщик BusyBox требует ROOT- доступа.
https://github.com/SmartPack/BusyBox-Installer
⚠️Это может быть опасно для вашего устройства
F-droid: https://f-droid.org/en/packages/com.smartpack.busyboxinstaller/
Автор: https://github.com/SmartPack/BusyBox-Installer/graphs/contributors
=============
Если нашел интересный софт, поделись с сообществом: @FOSS_triangle_bot
Это утилита установки BusyBox в один клик для различных архитектур Android. Установщик BusyBox требует ROOT- доступа.
https://github.com/SmartPack/BusyBox-Installer
⚠️Это может быть опасно для вашего устройства
F-droid: https://f-droid.org/en/packages/com.smartpack.busyboxinstaller/
Автор: https://github.com/SmartPack/BusyBox-Installer/graphs/contributors
=============
Если нашел интересный софт, поделись с сообществом: @FOSS_triangle_bot
Forwarded from ServerNews
В будущем дистрибутиве Fedora 34 ожидается появление новинки, которой пока нет ни у кого. В нём будет доступна sevctl — утилита с открытым исходным кодом для управления системой шифрованияя Secure Encrypted Virtualization (SEV) в процессорах AMD EPYC. Эта утилита отображает различные детали SEV, позволяет управлять сертификатами, состоянием платформы и так далее.
#linux #software #fedora #amd #информационнаябезопасность #epyc
#servernews
https://servernews.ru/1037032/?utm_source=nova&utm_medium=tg&utm_campaign=sn
#linux #software #fedora #amd #информационнаябезопасность #epyc
#servernews
https://servernews.ru/1037032/?utm_source=nova&utm_medium=tg&utm_campaign=sn
ServerNews - все из мира больших мощностей
В Fedora 34 добавят утилиту sevctl для управления AMD SEV
В будущем дистрибутиве Fedora 34 ожидается появление новинки, которой пока нет ни у кого. В нём будет доступна sevctl — утилита с открытым исходным кодом для управления системой шифрованияя Secure Encrypted Virtualization (SEV) в процессорах AMD EPYC. Эта…
Forwarded from Witless на C++
Не заводится блядь пизда архитектура ебанутая нахуй
Forwarded from Witless на C++
А кто ищет его, мыслят в секс-оргиях является шуткой, новый способ послать:
иди в arch/x86/configs
иди в arch/x86/configs