Linux.org.ua

---

ghostty — це емулятор терміналу, написаний на Zig, який підтримує багато стандартів і може використовуватися для щоденної роботи, і в той же час демонструє високу швидкість роботи, за рахунок використання графічного процесора. Термінал підтримує вкладки та поділ вікна, а також графічний протокол Kitty (можна подивитися зображення з допомогою chafa).

Домашня: https://ghostty.org/
Проєкт: https://github.com/ghostty-org/ghostty

---

Новий випуск журналу TUGboat уже доступний онлайн і в магазині TUG.

---

Це видання містить матеріали 46-ї щорічної конференції Міжнародної групи користувачів TeX (TeX Users Group), яка проходила в Тривандрумі (Індія) з 18 по 20 липня 2025 року. Включено багато офіційної інформації про цей захід, а також деякі неформальні звіти про конференцію:
J. Shaji. TUG meets Trivandrum yet again: 2025. TUGboat 46(2):175–180, 2025. doi:1...

---

mdo — це альтернативна реалізація sudo, яка працює на рівні ядра (через модуль ядра mac_do та системного виклику setcred), яка дозволяє непривілейованим процесам змінити свій ідентифікатор користувача та групи на основі правил встановлених адміністратором системи. Так як правила перенесені в ядро, то вони працюють для всіх процесів, навіть у контейнерах (jail). Під час літнього проєкту, значно покращили функціонал утиліти, наблизивши його по можливостях до sudo.

Покращення: https://wiki.freebsd.o...

---

MiniZinc  — це компілятор та середовище розробки для моделей з обмеженнями, який компілює моделі у мову FlatZinc, яка підтримується 15-тьма розвʼязувачами. З коробки поставляються Gecode, Chuffed, Google OR-Tools CP-SAT, HiGHS, та COIN-OR CBC. Використання MiniZinc дозволяє знаходити розвʼязки проблем, таких як наприклад мінімізація відходів при порізці матеріалу, пошук оптимальної послідовності дій, і тому подібне, без написання складних програм.

Домашня: https://www.minizinc.org/
Спробуват...