Před 32 lety, 6. června 1993, byl spuštěn první český WWW server (ještě pod TLD .cs), pro potřeby fyziků zabývajících se problematikou vysokých energií.
Střílečku Borderlands 2 lze v rámci výprodeje série Borderlands na Steamu získat zdarma napořád, když aktivaci provedete do 8. června 19:00.
Byla vydána nová verze 2.22 svobodného video editoru Flowblade (GitHub, Wikipedie). Přehled novinek v poznámkách k vydání. Videoukázky funkcí Flowblade na Vimeu. Instalovat lze také z Flathubu.
Canonical Launchpad vypíná systém správy verzí Bazaar. Vývojáři mohou své repozitáře do 1. září přemigrovat na Git.
Byla vydána nová verze 2.53.21 svobodného multiplatformního balíku internetových aplikací SeaMonkey (Wikipedie). Přehled novinek v poznámkách k vydání.
Petici za povinné zveřejnění zdrojových kódů softwaru použitých ve veřejné správě lze podepsat na ePetice.
Na Indiegogo byla spuštěna kampaň na podporu linuxového telefonu Liberux NEXX s osmijádrovým procesorem Rockchip RK3588S, 32 GB LPDDR4x RAM a 6.34″ 2400×1080 OLED displejem. Cena telefonu je 1 310 eur.
Miro Hrončok vyhrál volby do Fedora Council. Mezi sedmi kandidáty, kteří se ucházeli o dvě křesla, nakonec získal nejvíce hlasů - 1089. Česká komunita má tak po delší době opět zástupce v nejvyšším orgánu Fedory.
Redox OS (Wikipedie), tj. mikrokernelový unixový operační systém naprogramovaný v programovacím jazyce Rust, nově podporuje X11 a GTK 3.
Dnes po celém světě startuje prodej herní konzole Nintendo Switch 2.
A -> B: kolik je hodin B -> A: 19:41 A -> B: supr, díky B -> A: není zač A -> B: ok B -> A: ok A -> B: ok B -> A: ok A -> B: ok B -> A: ok A -> B: ok ...Mohl by mi tu někodo poradit, jak se něco takového řeší? Třeba v Erlangu, systému Akka, nebo dalších? Nechce se mi spoléhat na to, že ten aktor bude napsán správně. Rád bych tomu dodal alespoň základní ochranu. V "normálním" kódu se to dá trochu statistickou analýzou podchytit. Na druhou stranu mé znalosti problematiky jsou omezené, a tak třeba existuje nějaké jednoduché řešení které dokáže víc. Předem dík.
Kdo definuje ten protokol a význam jednotlivých zpráv? Tam, kde je definováno, co znamená „ok“, by mělo být i definováno, jestli se na takovou zprávu má odpovídat.
K nějakému zacyklení nebo rekurzi může dojít všude. To je chyba návrhu. Určitý počet opakování nebo návrat k předchozím stavům či nějaká rekurze můžou být dokonce žádoucí – např. zadání může znít tak, že se má něco zkusit třikrát s nějakou prodlevou, a pak to teprve má jít jinou cestou (opustit cyklus, ukončit se). Tzn. přidáš si tam nějaké počítadlo. Ale jak říkám, to je otázka návrhu/zadání. Pokud máš chybné zadání nebo se jím neřídíš, tak ti žádná technologie nepomůže.
Ten návrh můžeš mít popsaný nějakým formálním jazykem a z něj generovat kód… pak bys mohl staticky analyzovat ten formální popis. Jestli ten kód píšeš ručně a jsou to prostě jen různé kousky kódu, které nějak reagují na nějaké události, ale není nikde zachycený ten logický model jako celek, tak se obávám, že to nelze. Leda k tomu psát automatické testy – ale tím neprokážeš, že to nikdy neselže – jen, že to v předpokládaných případech pracuje podle zadání.
P.S. upravil jsem formátování (přidal <pre/>)
Tiskni
Sdílej: