Sekcja Blog
Zespół deweloperów PHP ogłosił wydanie nowej wersji języka — PHP 8.0.0. Udoskonalenia i nowe możliwości: Typy unii. Zamiast adnotacji PHPDoc dla kombinacji typów można używać natywnych deklaracji typu unii, które są weryfikowane w czasie wykonywania. Argumenty nazwane. Zamiast adnotacji PHPDoc można teraz korzystać z uporządkowanych metadanych z natywną składnią PHP. Operator nullsafe. Zamiast sprawdzania na […]
Długo oczekiwane (dla autora wiadomości) wydanie najbardziej znanego z menedżerów systemowych w świecie GNU/Linux (a nawet trochę poza nim) — systemd. W tej wersji: etykiety (tags) udev odnoszą się teraz do urządzenia, a nie do związku z urządzeniem — narusza to zgodność wsteczną, ale tylko po to, aby poprawnie obsłużyć naruszenie zgodności wstecznej, wprowadzone jeszcze w […]
Wydano wersję 0.9.2 biblioteki libmdbx, realizującej ultra-szybki kompaktowy wbudowany silnik klucz-wartość. libmdbx jest głęboką reprywatyzacją legendarnej bazy danych LMDB i według zapewnień deweloperów przeważa nad swoimi poprzednikami pod względem niezawodności, funkcjonalności i wydajności. Główne nowości, poprawki i zmiany: dostępne są wiązania dla Nim (autor Jens Alfke, architekt w Couchbase) i Rust (autor Clément Renault, założyciel MeiliSearch). Dostępny pakiet dla […]
Cicho i niepostrzeżenie tajemnicza grupa nieokreślonych osób przygotowuje do wydania płytę główną skierowaną na bezpieczeństwo opartą na procesorze Elbrus-8SV. Charakterystyka płyty: Form factor: Mini-ITX Procesor: MCST Elbrus-8SV 8 rdzeni @ 1.5 GHz VLIW (w pełni zgodny z LGA3647 pod względem mocowania radiatora) Mostek południowy: MCST KPi-2 Pamięć: 8 GB lub 32 GB (2x [4+1] 8 Gb/32 Gb DDR4 DRAM […]
Wydano aktualizację dotenv-linter – przydatnego narzędzia do sprawdzania i poprawiania błędów w plikach .env (plikach zmiennych środowiskowych Dockera). Wielu programistów stara się podczas opracowywania oprogramowania przestrzegać manifestu dwunastu zasad. Takie podejście pozwala uniknąć wielu problemów związanych z wdrażaniem aplikacji i ich dalszym wsparciem. Jedna z zasad tego manifestu głosi, że wszystkie ustawienia powinny być przechowywane w […]
Po 10 miesiącach od ostatniej wersji opublikowano wersję mpv 0.33. W tej wersji kompilacja projektu jest możliwa tylko na Pythonie 3. W odtwarzaczu wprowadzono wiele zmian i poprawek, w tym: Nowe funkcje: Filtrowanie napisów według wyrażenia regularnego; Obsługa HiDPI w systemie Windows; Obsługa ekskluzywnego trybu pełnoekranowego na d3d11; Możliwość użycia sixel do odtwarzania wideo w […]
Wydano nową wersję Ardour — darmowej cyfrowej stacji roboczej audio. Główną nowością jest wsparcie dla API wtyczek VST3 we wszystkich systemach operacyjnych, na których działa program. Dodatkowo wspierane są rozszerzenia od firmy PreSonus. Umożliwiają one przesyłanie do wtyczki informacji o skalowaniu interfejsu na ekranach o wysokiej gęstości pikseli, wbudowywanie miniaturowej wersji interfejsu wtyczki w hosta itd. Również wśród zmian: przyspieszenie […]
Po pięciu latach prac nad rozwojem zadebiutowała wersja gmusicbrowser-1.1.16. gmusicbrowser to odtwarzacz audio i menedżer kolekcji muzycznych, napisany w języku Perl z wykorzystaniem zestawu narzędzi gtk+. Używa backendu gstreamer, mplayer lub mpv. Oferuje elastycznie konfigurowalne szablony interfejsu użytkownika. Wspiera edytowanie tagów, zmienianie nazw, wyszukiwanie, powiadomienia itd. W nowej wersji: Wsparcie dla interfejsu na Gtk+3. Wsparcie dla formatu opus. Zaktualizowane źródła okładek […]
Język programowania Scala kontynuuje swój rozwój w ramach gałęzi 2.13. Kolejny wydanie Scala 2.13.4 wprowadza kilka interesujących nowości, w tym: eksperymentalne wsparcie dla bibliotek napisanych w Scala 3; poprawiono sprawdzanie pełności (exhaustivity) gałęzi podczas dopasowywania wzorców. Teraz to sprawdzenie działa także przy użyciu wyrażeń guard oraz niestandardowych ekstraktorów; zmieniono zachowanie ExecutionContext w […]
18 listopada 2020 r. dzięki staraniom pracowników firmy MCST uruchomiono długo oczekiwane forum dla programistów oprogramowania na mikroprocesory Elbrus. Forum jest skonfigurowane do pracy w trybie zamkniętym: niezarejestrowani użytkownicy nie mogą czytać wiadomości, a wyszukiwarki nie mogą indeksować stron forum. Aby zarejestrować się na forum, użytkownik musi podać obowiązkowe informacje: nazwisko, imię, drugie imię, numer telefonu kontaktowego, stanowisko, nazwę organizacji, dział […]
Na GitHubie opublikowano narzędzie Open Source do generowania krótkich aliasów na podstawie historii bash/zsh: https://github.com/CSRedRat/topalias Zagadnienia, które rozwiązuje program: Analiza plików ~/.bash_aliases, ~/.bash_history, ~/.zsh_history z historią wykonywanych poleceń w terminalu Linux w powłoce Bash/Zsh Proponuje krótkie skróty (akronimy) dla długich, trudnych do zapamiętania, ale często używanych poleceń (choć o tym można nawet nie wiedzieć) […]
Wydano wersję 8.12 (ostatnia dostępna wersja minor na dzień pisania wiadomości – 8.12.1) narzędzia do interaktywnego dowodzenia twierdzeń Coq (kogut). Coq zawiera język programowania z zależnymi typami Gallina (kurczak), oparty na teorii obliczeń konstrukcyjnych. System Coq umożliwia rozwijanie zarówno komputerowo weryfikowanych dowodów twierdzeń, jak i programów oraz dowodów zgodności ze specyfikacją. W nowej wersji wprowadzono […]