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 15:33 | Komunita

    Ve Firefoxu bude lepší správa profilů (oddělené nastavení domovské stránky, nastavení lišt, instalace rozšíření, uložení hesla, přidání záložky atd.). Nový grafický správce profilů bude postupně zaváděn od 14.října.

    Ladislav Hagara | Komentářů: 0
    dnes 12:44 | Nová verze

    Canonical vydal (email) Ubuntu 25.10 Questing Quokka. Přehled novinek v poznámkách k vydání. Jedná se o průběžné vydání s podporou 9 měsíců, tj. do července 2026.

    Ladislav Hagara | Komentářů: 0
    dnes 12:22 | Nová verze

    ClamAV (Wikipedie), tj. multiplatformní antivirový engine s otevřeným zdrojovým kódem pro detekci trojských koní, virů, malwaru a dalších škodlivých hrozeb, byl vydán ve verzi 1.5.0.

    Ladislav Hagara | Komentářů: 0
    dnes 01:22 | Nová verze

    Byla vydána nová verze 1.12.0 dynamického programovacího jazyka Julia (Wikipedie) určeného zejména pro vědecké výpočty. Přehled novinek v příspěvku na blogu a v poznámkách k vydání. Aktualizována byla také dokumentace.

    Ladislav Hagara | Komentářů: 0
    včera 15:11 | Bezpečnostní upozornění

    V Redisu byla nalezena a v upstreamu již opravena kritická zranitelnost CVE-2025-49844 s CVSS 10.0 (RCE, vzdálené spouštění kódu).

    Ladislav Hagara | Komentářů: 5
    včera 14:00 | IT novinky

    Ministr a vicepremiér pro digitalizaci Marian Jurečka dnes oznámil, že přijme rezignaci ředitele Digitální a informační agentury Martina Mesršmída, a to k 23. říjnu 2025. Mesršmíd nabídl svou funkci během minulého víkendu, kdy se DIA potýkala s problémy eDokladů, které některým občanům znepříjemnily využití možnosti prokázat se digitální občankou u volebních komisí při volbách do Poslanecké sněmovny.

    Ladislav Hagara | Komentářů: 16
    včera 12:33 | Zajímavý software

    Společnost Meta představila OpenZL. Jedná se o open source framework pro kompresi dat s ohledem na jejich formát. Zdrojové kódy jsou k dispozici na GitHubu.

    Ladislav Hagara | Komentářů: 0
    včera 03:33 | IT novinky

    Google postupně zpřístupňuje českým uživatelům Režim AI (AI Mode), tj. nový režim vyhledávání založený na umělé inteligenci. Režim AI nabízí pokročilé uvažování, multimodalitu a možnost prozkoumat jakékoliv téma do hloubky pomocí dodatečných dotazů a užitečných odkazů na weby.

    Ladislav Hagara | Komentářů: 0
    7.10. 18:11 | Nová verze

    Programovací jazyk Python byl vydán v nové major verzi 3.14.0. Podrobný přehled novinek v aktualizované dokumentaci.

    Ladislav Hagara | Komentářů: 2
    7.10. 16:33 | IT novinky

    Bylo oznámeno, že Qualcomm kupuje Arduino. Současně byla představena nová deska Arduino UNO Q se dvěma čipy: MPU Qualcomm Dragonwing QRB2210, na kterém může běžet Linux, a MCU STM32U585 a vývojové prostředí Arduino App Lab.

    Ladislav Hagara | Komentářů: 4
    Jaké řešení používáte k vývoji / práci?
     (39%)
     (46%)
     (15%)
     (17%)
     (21%)
     (15%)
     (17%)
     (15%)
     (15%)
    Celkem 201 hlasů
     Komentářů: 13, poslední včera 07:41
    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.