ProHoster > Blog > Nowinki internetowe

Kategoria: Nowinki internetowe

Kategoria Aktualności Internetowe

topalias: narzędzie do generowania krótkich aliasów na podstawie historii bash/zsh

Posted on

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ć) […]

Coq 8.12

Posted on

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 […]

Rozpoczęcie wysyłki Librem 5 Evergreen

Posted on

15 listopada firma Purism rozpoczęła wysyłkę telefonów Librem-5 w wersji do masowej produkcji o kodowej nazwie Evergreen. Wysyłka jest podzielona na etapy. Na początku zostaną wysłane urządzenia dla wcześniejszych zamówień. Wysyłka urządzeń dla późniejszych zamówień planowana jest na 1 kwartał 2021 roku. Specyfikacje urządzenia zmieniły się niewiele. Z ostatnich zmian warto zaznaczyć powiększoną baterię do 4500 mA*h. Evergreen nie […]

Firefox 83

Posted on

Dostępny jest Firefox 83. Silnik JS SpiderMonkey otrzymał dużą aktualizację pod kodową nazwą Warp, co poprawiło bezpieczeństwo, wydajność (wzrost do 15%), responsywność stron (do 12%), zmniejszyło użycie pamięci (o 8%). Na przykład ładowanie Google Docs przyspieszyło o około 20%. Tryb „tylko HTTPS” uznano za wystarczająco gotowy (teraz uwzględnia adresy z lokalnej sieci, gdzie stosowanie HTTPS jest często […]

youtube-dl na GitHubie odblokowany

Posted on

Wcześniej zablokowane repozytorium youtube-dl na GitHubie zostało odblokowane 16 listopada po tym, jak EFF (Electronic Frontier Foundation, Fundacja Elektronicznych Granic) przedstawiła argumenty przeciwko zgłoszeniu o naruszenie DMCA [PDF]. GitHub (należący do Microsoftu) oświadczył, że uznał, iż zgłoszenie nie spełnia jego polityki dotyczącej usuwania zgodnie z DMCA. Źródło: linux.org.ru

Obrazy Fedora 33 opublikowane w AWS Marketplace

Posted on

Ta historia rozpoczęła się w odległym 2012 roku, kiedy to przed Matthew Millerem, wówczas nowym liderem projektu Fedora, postawiono na pozór prostą misję: umożliwienie klientom chmury AWS łatwego uruchamiania serwerów opartych na Fedora. Techniczny problem z tworzeniem obrazów odpowiednich do użycia w infrastrukturze chmury został dość szybko rozwiązany. Tak więc zarówno qcow, jak i […]

Frrouting 7.5

Posted on

Ukazała się nowa wersja programu do zarządzania dynamiczną trasowaniem w linux/BSD Frrouting! Dostępne zmiany: wsparcie BFD, wsparcie profili, wsparcie dla ustawienia minimalnego TTL, wsparcie BGP RPKI w VRF, poprawki w BGP Graceful Restart, dodano opcję szczegółowego wyświetlania tras, dodano opcję konfiguracji maximum-prefix force bestpath-routes dla konfiguracji na sąsiedzie, dodano komendę bgp shutdown message MSG… dodano możliwość […]

Ukazała się nowa wersja Open CASCADE Technology (OCCT) 7.5.0

Posted on

OCCT to jedyny aktualnie dostępny rdzeń modelowania geometrii z otwartym źródłem, dystrybuowany na licencji wolnej. Open CASCADE Technology jest istotnym elementem takich projektów jak FreeCAD, KiCAD, Netgen, gmsh, CadQuery, pyOCCT i innych. Wersja OCCT 7.5.0 zawiera ponad 400 usprawnień i poprawek w porównaniu do poprzedniej wersji 7.4.0. Wersja Open CASCADE […]

Wydano wersję androwish „The Flux Capacitor”.

Posted on

AndroWish to natywny port tcl/tk z zapasem dla platformy Android, umożliwiający uruchamianie skryptów bez zmian lub z minimalnymi zmianami. Opracowywane są również komendy specyficzne dla androida, umożliwiające interakcję z systemem i urządzeniami: borg — zarządzanie i interakcja z Androidem; ble — do interakcji z urządzeniami bluetooth; rfcomm, usbserial — przesyłanie danych przez urządzenia bluetooth i usb-serial. Zawiera niezbędne […]

Wydanie .NET 5

Posted on

Firma Microsoft wydała .NET 5 dla systemów operacyjnych Windows, macOS, Linux. .NET 5 to zunifikowana platforma open source, łącząca .NET Core, .NET Framework, Xamarin i Mono, umożliwiająca korzystanie z jednej bazy kodu dla wszystkich platform, w tym Androida i iOS. Istotnie poprawiono wydajność i zmniejszono zużycie pamięci, C# 9 i F# 5 nowe biblioteki do wprowadzenia kodu […]

The Mutt 2.0

Posted on

„Wszystkie programy pocztowe są do niczego. Ten po prostu mniej zawodzi.” zaktualizowano do wersji 2.0. Tak radykalny wzrost liczby w jej starszej części jest raczej spowodowany nie pojawieniem się nowych możliwości (jest ich niewiele w porównaniu z poprzednimi wydaniami), ale wprowadzeniem szeregu zmian łamiących kompatybilność: przy użyciu komendy do przeglądania i wybierania wielu załączników, wyjście po […]

Wydanie QVGE 0.6.1 (integracja z GraphViz)

Posted on

https://www.linux.org.ru/images/19295/1500px.jpg Odbyła się kolejna wersja wieloplatformowego wizualnego edytora grafów Qt Visual Graph Editor 0.6.1. Ta wersja charakteryzuje się ściślejszą integracją z pakietem GraphViz, w szczególności: grafy w formacie DOT są ładowane bezpośrednio przez dot, co umożliwia znacznie lepsze wykonywanie ich parsowania; wywoływanie silników układu GraphViz bezpośrednio z interfejsu graficznego aplikacji, z natychmiastowym podglądem wyników. Również z aplikacji […]

« na początek 609 610 611 612 613 614 615 616 617 618 na koniec »
Kup solidny hosting stron z ochroną przed DDoS, serwery VPS VDS 🔥 Kup solidny hosting stron z ochroną przed DDoS, serwery VPS VDS | ProHoster