abclinuxu.cz AbcLinuxu.cz itbiz.cz ITBiz.cz HDmag.cz HDmag.cz abcprace.cz AbcPráce.cz
AbcLinuxu hledá autory!
Inzerujte na AbcPráce.cz od 950 Kč
Rozšířené hledání
×
    dnes 12:11 | IT novinky

    Včera večer měl na YouTube premiéru dokumentární film Python: The Documentary | An origin story.

    Ladislav Hagara | Komentářů: 0
    včera 23:33 | Nová verze

    Společnost comma.ai po třech letech od vydání verze 0.9 vydala novou verzi 0.10 open source pokročilého asistenčního systému pro řidiče openpilot (Wikipedie). Zdrojové kódy jsou k dispozici na GitHubu.

    Ladislav Hagara | Komentářů: 0
    včera 21:55 | Nová verze Ladislav Hagara | Komentářů: 2
    včera 14:11 | IT novinky

    Řada vestavěných počítačových desek a vývojových platforem NVIDIA Jetson se rozrostla o NVIDIA Jetson Thor. Ve srovnání se svým předchůdcem NVIDIA Jetson Orin nabízí 7,5krát vyšší výpočetní výkon umělé inteligence a 3,5krát vyšší energetickou účinnost. Softwarový stack NVIDIA JetPack 7 je založen na Ubuntu 24.04 LTS.

    Ladislav Hagara | Komentářů: 4
    včera 00:44 | Bezpečnostní upozornění

    Národní úřad pro kybernetickou a informační bezpečnost (NÚKIB) spolu s NSA a dalšími americkými úřady upozorňuje (en) na čínského aktéra Salt Typhoon, který kompromituje sítě po celém světě.

    Ladislav Hagara | Komentářů: 24
    27.8. 16:33 | IT novinky

    Společnost Framework Computer představila (YouTube) nový výkonnější Framework Laptop 16. Rozhodnou se lze například pro procesor Ryzen AI 9 HX 370 a grafickou kartu NVIDIA GeForce RTX 5070.

    Ladislav Hagara | Komentářů: 1
    27.8. 14:22 | IT novinky

    Google oznamuje, že na „certifikovaných“ zařízeních s Androidem omezí instalaci aplikací (včetně „sideloadingu“) tak, že bude vyžadovat, aby aplikace byly podepsány centrálně registrovanými vývojáři s ověřenou identitou. Tato politika bude implementována během roku 2026 ve vybraných zemích (jihovýchodní Asie, Brazílie) a od roku 2027 celosvětově.

    Fluttershy, yay! | Komentářů: 7
    27.8. 13:11 | Nová verze

    Byla vydána nová verze 21.1.0, tj. první stabilní verze z nové řady 21.1.x, překladačové infrastruktury LLVM (Wikipedie). Přehled novinek v poznámkách k vydání: LLVM, Clang, LLD, Extra Clang Tools a Libc++.

    Ladislav Hagara | Komentářů: 0
    27.8. 05:11 | Komunita

    Alyssa Anne Rosenzweig v příspěvku na svém blogu oznámila, že opustila Asahi Linux a nastoupila do Intelu. Místo Apple M1 a M2 se bude věnovat architektuře Intel Xe-HPG.

    Ladislav Hagara | Komentářů: 19
    26.8. 12:55 | IT novinky

    EU chce (pořád) skenovat soukromé zprávy a fotografie. Návrh "Chat Control" by nařídil skenování všech soukromých digitálních komunikací, včetně šifrovaných zpráv a fotografií.

    Ladislav Hagara | Komentářů: 83
    Pro otevření více webových stránek ve webovém prohlížečí používám
     (79%)
     (9%)
     (3%)
     (4%)
     (5%)
     (1%)
    Celkem 104 hlasů
     Komentářů: 9, poslední včera 11:53
    Rozcestník

    Formálně ověřená kryptografie ve Firefoxu 57

    Mozilla na svém blogu věnovaném bezpečnosti informuje o formálně ověřené kryptografii ve Firefoxu 57. Jedná se o výsledek spolupráce Mozilly s INRIA a projektem Everest. Do Network Security Services (NSS) bude začleněna formálně ověřená kryptografická knihovna HACL*. Knihovna je naprogramována v programovacím jazyce F*. Před překladem a sestavením se překládá do programovacího jazyka C.

    15.9.2017 10:33 | Ladislav Hagara | Komunita


    Tiskni Sdílej: Linkuj Jaggni to Vybrali.sme.sk Google Del.icio.us Facebook

    Komentáře

    Vložit další komentář

    Ruža Becelin avatar 15.9.2017 10:48 Ruža Becelin | skóre: 40 | blog: RuzaBecelinBlog
    Rozbalit Rozbalit vše Re: Formálně ověřená kryptografie ve Firefoxu 57
    To je sice fajn, ale zas to zaprasi opt-out smirovanim.

    Takze to vypada, ze FF 52 ESR bude muj posledni, prejdu na Vivaldi a FF52 si necham jako legacy, kdyz budu potrebovat add-ony jako DownThemAll a par dalsich.

    Bylo by fajn, kdyby nekdo naprogramoval prohlizec, ktery by v zakladu umel akorat parsovat HTML/JS a zbytek se resil pres low-level pluginy (Takovy FF 3.6 reviwal). Nejsem programator, ale docela me zaujal Rust z hlediska ucici krivky. No, soupnu to do TODO, pokud to do te doby nekdo nenaprogramuje.

    FF 3.6 zdrojaky se taky daji sehnat, tj. ucit se na cem je.
    15.9.2017 14:51 BigBoss
    Rozbalit Rozbalit vše Re: Formálně ověřená kryptografie ve Firefoxu 57
    Nauc se BrainFuck, ten ma krasnou ucici krivku. Jo FF 3.6, to jeste zil Havel a Paroubek byl premier....to byly casy!
    15.9.2017 14:52 R
    Rozbalit Rozbalit vše Re: Formálně ověřená kryptografie ve Firefoxu 57
    Skus Otter Browser.
    18.9.2017 09:48 j
    Rozbalit Rozbalit vše Re: Formálně ověřená kryptografie ve Firefoxu 57
    Mas tu palemoon ... ten pridava konfiguraci na veci, ktery chrofox nikdy ani neumel vypnout(trebas hsts), a bydefault vypina vse, co je jakkoli kontroverzni co se bezpecnosti/soukromi tejce.

    Založit nové vláknoNahoru


    ISSN 1214-1267   www.czech-server.cz
    © 1999-2015 Nitemedia s. r. o. Všechna práva vyhrazena.