Byla vydána nová stabilní verze 24.05 linuxové distribuce NixOS (Wikipedie). Její kódové označení je Uakari. Podrobný přehled novinek v poznámkách k vydání. O balíčky se v NixOS stará správce balíčků Nix.
Byla vydána nová verze 1.48.0 sady nástrojů pro správu síťových připojení NetworkManager. Novinkám se v příspěvku na blogu NetworkManageru věnuje Fernando F. Mancera. Mimo jiné se v nastavení místo mac-address-blacklist nově používá mac-address-denylist.
Před 25 lety, 31. května 1999, započal vývoj grafického editoru Krita (Wikipedie). Tenkrát ještě pod názvem KImageShop a později pod názvem Krayon.
Farid Abdelnour se v příspěvku na blogu rozepsal o novinkám v nejnovější verzi 24.05.0 editoru videa Kdenlive (Wikipedie). Ke stažení brzy také na Flathubu.
David Revoy, autor mj. komiksu Pepper&Carrot, se rozepsal o své aktuální grafické pracovní stanici: Debian 12 Bookworm, okenní systém X11, KDE Plasma 5.27, …
Wayland (Wikipedie) byl vydán ve verzi 1.23.0. Z novinek lze vypíchnout podporu OpenBSD.
Craig Loewen na blogu Microsoftu představil novinky ve Windows Subsystému pro Linux (WSL). Vypíchnout lze GUI aplikaci pro nastavování WSL nebo správu WSL z Dev Home.
V sobotu 1. června lze navštívit Maker Faire Ostrava, festival plný workshopů, interaktivních činností a především nadšených a zvídavých lidí.
Webový server Caddy (Wikipedie) s celou řadou zajímavých vlastností byl vydán ve verzi 2.8 (𝕏). Přehled novinek na GitHubu.
Byla vydána verze 3.0 (@, 𝕏) svobodného softwaru HAProxy (The Reliable, High Performance TCP/HTTP Load Balancer; Wikipedie) řešícího vysokou dostupnost, vyvažování zátěže a reverzní proxy. Detailní přehled novinek v příspěvku na blogu společnosti HAProxy Technologies.
Na blogu Inside 245s autor ukazuje, jak implementovat návrhové vzory známé z objektově orientovaných jazyků ve funkcionálním jazyce Haskell.
Tiskni Sdílej:
Každému jazyku se dá porozumět, koneckonců stejně všechno ve všech jazycích je prekabátěné goto, podmínky a proměnné.to je hodne naivni predstava. s takovou muzu tvrdit, ze boeing 747 je jenom prekabateny Ford T. a s touto logikou muzu dal pokracovat... nicmene, boeingy jsou vytvářeny tak, že je horší se v nich orientovat... Boeing dneska v podstatě takřka nikdo nepouziva (proti porovnání s jinými běžnými dopravnimi prostredky je to statistická chyba). Myslím, že s ohledem na jejich náročnost boeing časem zanikne.
Haskell Curry žijící 1900 až 1982 vymyslel ty věci
To záleží jaké věci máte na mysli. AFAIK lidé kolem Haskellu vymysleli typové třídy, view patterns, Spineless Tagless G-machine, zobecněné algebraické datové typy, různé datové struktury (zippery, finger tree), různé techniky programování (parsec, quickcheck) a další.
1936 - Alonzo Church also invents every language that will ever be but does it better. His lambda calculus is ignored because it is insufficiently C-like. This criticism occurs in spite of the fact that C has not yet been invented.
To ale není pravda. Stačí vzít nějaký jazyk a přidat tam funkci rozhodni_jestli_zastaví
, která pro libovolný Turingův stroj a vstup určí, zda-li stroj na vstupu zastaví.
IO
. No a zbytek jsou jen takové učené kecy kolem.