Byla vydána (𝕏) nová verze 26.1 open source firewallové a routovací platformy OPNsense (Wikipedie). Jedná se o fork pfSense postavený na FreeBSD. Kódový název OPNsense 26.1 je Witty Woodpecker. Přehled novinek v příspěvku na fóru.
Deník TO spustil vlastní zpravodajský webový portál ToHledej.CZ s internetovým vyhledávačem a bezplatnou e-mailovou schránkou. Dle svého tvrzení nabízí 'Zprávy, komentáře, analýzy bez cenzury' a 'Mail bez šmírování a Velkého bratra'. Rozložením a vizuálním stylem se stránky nápadně podobají portálu Seznam.cz a nejspíše je cílem být jeho alternativou. Z podmínek platformy vyplývá, že portál využívá nespecifikovaný internetový vyhledávač třetí strany.
Computer History Museum (Muzeum historie počítačů) zpřístupnilo své sbírky veřejnosti formou online katalogu. Virtuálně si tak můžeme prohlédnout 'rozsáhlou sbírku archivních materiálů, předmětů a historek a seznámit se s vizionáři, inovacemi a neznámými příběhy, které revolučním způsobem změnily náš digitální svět'.
Ruský hacker VIK-on si sestavil vlastní 32GB DDR5 RAM modul z čipů získaných z notebookových 16GB SO-DIMM RAM pamětí. Modul běží na 6400 MT/s a celkové náklady byly přibližně 218 dolarů, což je zhruba třetina současné tržní ceny modulů srovnatelných parametrů.
Národní identitní autorita (NIA), která ovlivňuje přihlašování prostřednictvím NIA ID, MEP, eOP a externích identit (např. BankID), je částečně nedostupná.
Byla vydána nová verze 1.16.0 klienta a serveru VNC (Virtual Network Computing) s názvem TigerVNC (Wikipedie). Z novinek lze vypíchnout nový server w0vncserver pro sdílení Wayland desktopu. Zdrojové kódy jsou k dispozici na GitHubu. Binárky na SourceForge. TigerVNC je fork TightVNC.
Byla vydána nová verze 4.6 (𝕏, Bluesky, Mastodon) multiplatformního open source herního enginu Godot (Wikipedie, GitHub). Přehled novinek i s náhledy v příspěvku na blogu.
Rozsáhlá modernizace hardwarové infrastruktury Základních registrů měla zabránit výpadkům digitálních služeb státu. Dnešnímu výpadku nezabránila.
Čínský startup Kimi představil open-source model umělé inteligence Kimi K2.5. Nová verze pracuje s textem i obrázky a poskytuje 'paradigma samosměřovaného roje agentů' pro rychlejší vykonávání úkolů. Kimi zdůrazňuje vylepšenou schopnost modelu vytvářet zdrojové kódy přímo z přirozeného jazyka. Natrénovaný model je dostupný na Hugging Face, trénovací skripty však ne. Model má 1 T (bilion) parametrů, 32 B (miliard) aktivních.
V Raspberry Pi OS lze nově snadno povolit USB Gadget Mode a díky balíčku rpi-usb-gadget (CDC-ECM/RNDIS) mít možnost se k Raspberry Pi připojovat přes USB kabel bez nutnosti konfigurování Wi-Fi nebo Ethernetu. K podporovaným Raspberry Pi připojeným do USB portu podporujícího OTG.
Generické programování je podporované v řadě jazyků. Může být implementováno různými způsoby – např. v Javě nebo Rustu jsou to generika zatímco v C++ nebo D jsou to šablony. Na první pohled vypadají stejně a je tam dost velký překryv (základní využití v kolekcích). Ale oba přístupy mají svoje specifika a umí něco, co ten druhý přístup neumožňuje. V případě šablon se v podstatě kód v době kompilace rozkopíruje do tolika variant, s kolika typy jsme danou šablonu použili jinde v kódu. Kdežto u generik jde spíš o typovou kontrolu v době kompilace + přetypování v době běhu (kód je stále tentýž a pracuje s obecnými objekty). V obou případech se ale jedná o velice hodnotnou vlastnost programovacího jazyka.Tohle není úplně pravda... IMO není dobrý to pojmenovávat generika versus šablony, spíš mluvíš o rozlišení type-erasure versus monomorphisation. Generika v Javě jsou implementována tím prvním způsobem, kdežto v C++, Rustu a (AFAIK) D tím druhým. Generika v Rustu nefungují jako v Javě, ten overhead boxingu generických věcí by byl nepřijatelný. Od C++ se neliší tím, že by kompilátor nedělal kopie, ale tím, že jsou silně typovaný, tj. liší se to jen ve fázi kontroly. Nicméně po tom, co kompilátor vyhodnotí, že kód je korektní (ať už jakýmkoli způsobem), tak v obou případech nastane ta monomorfizace, tj. rozkopírování kódu. Pak tam jsou ještě nějaké další rozdíly, jako např. že v Rustu se generické definice serializují do metadat knihoven (ve formě intermediate reprezentace kódu), takže je možný je z knihovny importovat bez použití hlavičkových souborů. (A to samé platí i o makrech, btw.) Zajímavý je v tomhle ohledu IIRC C#, kde kompilátor monomorfizuje generika nad hodnotovými typy. (Ale jenom jsem to někde četl, nemam k tomu zdroj a C# nerozumim do hloubky.)
Generika v Rustu nefungují jako v Javě, ten overhead boxingu generických věcí by byl nepřijatelný.Boxování se v Javě týká jen primitivních typů a s generiky to v podstatě nijak nesouvisí. Ten problém není exkluzivní pro generika, a naopak se u generik projevit nemusí vůbec, pokud nepoužíváš primitivní typy. Obecně je overhead generik v Javě daný jen nutností dělat přetypování (resp. kontrolovat, že z generika vylezl správný typ).
Boxování se v Javě týká jen primitivních typů a s generiky to v podstatě nijak nesouvisí.Týká se všechn typů, primitivní typy se liší pouze tím, že jsou to hodnotové typy a je potřeba je zboxovat "navíc" oproti normálu. Ostatní typy jsou boxované by default. S generiky to souvisí poměrně zásadně. Důvod, proč jazyky jako C++ a Rust používají monomorfizaci je ten, že každá instance generické funkce nebo typu počítá s konkrétními vlastnostmi těch dosazenýh typů. Pokud má položka struktury generický typ, tak různé instanciace té struktury budou mít různou velikost, vevnitř různé zarovnání/padding a budou v metodách na tom typu volat různé implementace funkcí/operátorů. Což umožňuje aby hodnotové typy zůstaly v generickém kódu hodnotovými typy. S type-erasure to nejde dohromady - nemůžeš jedné funkci předat jako argument ukazetel/referenci na struktury s různým layoutem. Aby type-erasure-based generickej kód fungoval, musí být generický věci boxovaný (aby byla vždy stejná velikost a zarovnání typu) a jejich funkce/operátory se musí volat přes vtable. Odtud ten overhead. (S tím, že Java VM bude nejspíš umět ten overhead do nějaký míry zredukovat, např. inlinovat virtuální volání apod., ale úplně odstranit ho AFAIK nemůže.)
AbcLinuxu.cz
ITBiz.cz
HDmag.cz
AbcPráce.cz
18.5.2020 19:32
java.lang.Object, virtuálních volání apod.
Kdyby jazyk, který tu režii jinde neplatí, chtěl generika implementovat stejně, zaplatil by tam tu režii celou najednou, čemuž se patrně bude chtít vyhnout.
a v nutnosti kontrolovat, že z generik lezou správné typy.Tohle zase trochu matě mě. Čekal bych, že když už je ten kód type-checkován kompilátorem, že už nebude potřeba správnost typu kontrolovat v runtime (samozřejmě pokud člověk udělá downcasting, tak jo). Nebo je možný třeba do kolekce v Javě nějak procpat špatný typ?
List<Integer> list = new ArrayList<>();
((List) list).add("mhm");
System.out.println(list.get(0));
Ale ono je to jedno. I kdyby tam nebyla ta instrukce checkcast v bajtkódu, JVM si stejně nakonec musí nějak pohlídat, jestli manipuluje se správným typem, aby jí nepřetekl nějaký pointer nebo whatever (jinak by to byla bezpečnostní díra jako blázen).
Takže v praxi je to tak, že nějaké checky dělá kompilátor (a občas ti dovolí takovuto šílenost), nějaké další checky nacpe do vygenerovaného bajtkódu a pak nějaké checky dělá ještě JVMko. Nakonec si to HotSpot určitě nějak vyoptimalizuje a věci, které jsou tam zbytečně, vyhází.
Čekal bych, že když už je ten kód type-checkován kompilátorem, že už nebude potřeba správnost typu kontrolovat v runtime (samozřejmě pokud člověk udělá downcasting, tak jo)To muzes predpokladat pouze u jazyku, ktere jsou kompilovany do strojoveho kodu. Z principu runtime nemuze predpokladat, ze kod byl zkompilovan spravnym prekladacem a je spravny (to by vedlo k brutalnim bezpecnostnim diram), javovsky runtime umoznuje nacitat tridy dynamicky (to by vedlo na dalsi kategorii problemu, pokud by se neprovadely kontroly i na urovni runtimu).
Skutečně je java runtime schopen zajistit bezpečnost třeba při načtení třídy z neznámého zdroje?No, to je trošku záludná otázka, ale řekněme to takhle: ano, měl by. Co jsem se kdysi díval, v čem byl bezpečnostní problém u slavných Java appletů, tak primárně nešlo o díry přímo v JVMku, ale třeba v nesprávném použití SecurityManageru ve standardní knihovně.
To by vyžadovalo nějaký sandboxing, ne? (Ve kterém by třeba naopak segfault už "nevadil"...).Proč?
Pokud není požadavkem načítat třídy z neznámých zdrojů, tak by mohly stačit nějaký metadata o verzi kompilátoru etc., ne?JVM je interpreter a měl by se chovat korektně. Mj. by nebylo dobré, aby došlo ke crashi JVM třeba kvůli zbabrané instrumentaci (modifikaci bajtkódu před načtením třídy) atd.
Proč?No, tak protože bez toho může ten importovanej kód dělat arbitrary věci, ne? Mohl by např. použít
sun.misc.Unsafe nebo nějaké JNI pro rozbití JVM. Ale i po blacklistování těhle dvou by mohl třeba házet libovolné výjimky, dělat libovolné I/O, alokovat kvanta paměti, těžit bitcoiny... Zkrátka, moc si to bez sandboxu neumim představit...
Spotřebu paměti omezíš parametrem při spouštění JVMka.Jo, ale tim ji omezíš celýmu tomu kódu..
a třeba JavaScriptový engine v prohlížeči to taky neumí.Do jistý míry jo.
Kdybych dnes potřeboval spustit nedůvěryhodný kód, izoloval bych raději asi celé JVMkoSouhlas.
Jo, ale tim ji omezíš celýmu tomu kódu..Z hlediska omezení např. spotřeby paměti je jedno, jestli sandboxuješ interpreter a věříš systému, nebo sandboxuješ program a věříš interpreteru. Ale ono jsme teď sklouzli trochu jiným směrem než byla původní debata. Původně byla řeč o té kontrole typů, co lezou z generik. Myslím si, že užitečnost těch případných chybových hlášek, když se něco podělá, za těch pár podmínek stojí. No a teprve druhá věc je, že historicky JVM byla stavěná i na spouštění nedůvěryhodného kódu a ty kontroly tam být musely i z bezpečnostních důvodů.
Do jistý míry jo.Jak? Ono jde zpomalit těžbu Bitcoinů, ale ne všechno ostatní? Možná zpomalit jen určité operace s tím, že sice je lze emulovat, ale těžba už nebude tak efektivní a vyfrknou se na to?
"Referencované typy" by bylo blíž a určitě to blíž javovské terminologii, ale není to úplně přesný, protože obecně třeba v C++ jeden typ se dá použít jako hodnotový i jako "boxovaný".Pojem referencni objektovy model se pouzival minimalne jiz v devadesatych letech a oznacuje situace, kdy se objekt chova jako skutecny objekt (ma svou identitu) a ne jako hodnota. Boxing je v jave opravdu jen zabaleni hodnoty primitivniho datoveho typu do tridy, aby se to chovalo jako skutecny objekt.
Generika v Rustu nefungují jako v Javě, ten overhead boxingu generických věcí by byl nepřijatelný.
Aby type-erasure-based generickej kód fungoval, musí být generický věci boxovaný (aby byla vždy stejná velikost a zarovnání typu) a jejich funkce/operátory se musí volat přes vtable.Co použít místo třeba "overhead boxingu"? Když řeknu "overhead referencování" tak to není to, co mam na mysli - referencování (indirekce) je jen část problému, druhá část je ta alokace toho místa, které se referencuje, a přesunutí té hodnoty do toho místa, ie. "boxing".
Dříve jsem používal slovník cizích slov velmi rád, protože mi dokázal krátce, rychle a stručně odpovědět na moje dotazy. Díky sáhodlouhým encyklopedickým příspěvkům prof. PhDr. Rudolfa Kohoutka, CSc., se však ze slovníku stal nepřehledný bordel, jehož použití je pro mě zcela strašné. Kdybych chtěl vědět víc o daných heslech, použiju jiný zdroj. Rád bych tímto inicioval omezení počtu znaků a vrátil tak slovníku původní smysl.
Proti tomuto je i ta nejvetsi prasarna v jave prochazkou po rozkvetlem paloucku.
Komplexita sestává z reality a imaginarity. Imaginaritu je třeba buď odstranit, nebo transformovat v realitu.
Tiskni
Sdílej:
18.5.2020 22:56
19.5.2020 18:53
