Google Chrome 142 byl prohlášen za stabilní. Nejnovější stabilní verze 142.0.7444.59 přináší řadu novinek z hlediska uživatelů i vývojářů. Podrobný přehled v poznámkách k vydání. Opraveno bylo 20 bezpečnostních chyb. Za nejvážnější z nich bylo vyplaceno 50 000 dolarů. Vylepšeny byly také nástroje pro vývojáře.
Pro moddery Minecraftu: Java edice Minecraftu bude bez obfuskace.
Národní identitní autorita, tedy NIA ID, MeG a eOP jsou nedostupné. Na nápravě se pracuje [𝕏].
Americký výrobce čipů Nvidia se stal první firmou na světě, jejíž tržní hodnota dosáhla pěti bilionů USD (104,5 bilionu Kč). Nvidia stojí v čele světového trhu s čipy pro umělou inteligenci (AI) a výrazně těží z prudkého růstu zájmu o tuto technologii. Nvidia již byla první firmou, která překonala hranici čtyř bilionů USD, a to letos v červenci.
Po Canonicalu a SUSE oznámil také Red Hat, že bude podporovat a distribuovat toolkit NVIDIA CUDA (Wikipedie).
TrueNAS (Wikipedie), tj. open source storage platforma postavená na Linuxu, byl vydán ve verzi 25.10 Goldeye. Přináší NVMe over Fabric (NVMe-oF) nebo OpenZFS 2.3.4.
Byla vydána OpenIndiana 2025.10. Unixový operační systém OpenIndiana (Wikipedie) vychází z OpenSolarisu (Wikipedie).
České základní a střední školy čelí alarmujícímu stavu kybernetické bezpečnosti. Až 89 % identifikovaných zranitelností v IT infrastruktuře vzdělávacích institucí dosahuje kritické úrovně, což znamená, že útočníci mohou vzdáleně převzít kontrolu nad klíčovými systémy. Školy navíc často provozují zastaralé technologie, i roky nechávají zařízení bez potřebných aktualizací softwaru a používají k nim pouze výchozí, všeobecně známá
… více »Během tradiční ceremonie k oslavě Dne vzniku samostatného československého státu (28. října) byl vyznamenán medailí Za zásluhy (o stát v oblasti hospodářské) vývojář 3D tiskáren Josef Průša. Letos byly uděleny pouze dvě medaile Za zásluhy o stát v oblasti hospodářské, druhou dostal informatik a manažer Ondřej Felix, který se zabývá digitalizací státní správy.
Tor Browser, tj. fork webového prohlížeče Mozilla Firefox s integrovaným klientem sítě Tor přednastavený tak, aby přes tuto síť bezpečně komunikoval, byl vydán ve verzi 15.0. Postaven je na Firefoxu ESR 140.
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: