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 14:11 | Komunita

    Richard Hughes oznámil, že službu Linux Vendor Firmware Service (LVFS) umožňující aktualizovat firmware zařízení na počítačích s Linuxem, nově sponzoruje také společnost HP.

    Ladislav Hagara | Komentářů: 3
    dnes 13:33 | IT novinky

    O víkendu proběhla demopárty Outline 2026. Publikována byla prezentovaná dema. Upozornit lze na 16 bajtové, opravdu šestnáct bajtové, zvukově obrazové demo Wake Up! 16b (YouTube).

    Ladislav Hagara | Komentářů: 2
    dnes 04:22 | Nová verze

    Byla vydána nová verze 9.5 multiplatformní digitální pracovní stanice pro práci s audiem (DAW) Ardour. Přehled novinek, vylepšení a oprav v poznámkách k vydání a na YouTube.

    Ladislav Hagara | Komentářů: 0
    včera 21:00 | IT novinky

    Dnes a zítra probíhá vývojářská konference Google I/O 2026. Sledovat lze na YouTube a na síti 𝕏 (#GoogleIO).

    Ladislav Hagara | Komentářů: 0
    včera 19:00 | Nová verze

    Canonical vydal Ubuntu Core 26. Vychází z Ubuntu 26.04 LTS a podporováno bude 15 let. Ubuntu Core je minimální neměnný operační systém určený pro vestavěné systémy.

    Ladislav Hagara | Komentářů: 0
    včera 16:22 | Nová verze

    Bylo vydáno OpenBSD 7.9. Po dlouhé době opět se songem: Diamond in the Rough.

    Ladislav Hagara | Komentářů: 0
    včera 16:00 | Nová verze

    Byl vydán Mozilla Firefox 151.0. Přehled novinek v poznámkách k vydání a poznámkách k vydání pro vývojáře. Řešeny jsou rovněž bezpečnostní chyby. Nový Firefox 151 bude brzy k dispozici také na Flathubu a Snapcraftu.

    Ladislav Hagara | Komentářů: 0
    včera 12:22 | IT novinky

    Elon Musk prohrál soudní spor se společností OpenAI, která se podle jeho žaloby odchýlila od původně uváděného cíle vyvíjet umělou inteligenci (AI) ku prospěchu lidstva. Porota včera po necelých dvou hodinách dospěla k jednomyslnému závěru, že Musk žalobu podal příliš pozdě. Musk byl jedním ze spoluzakladatelů společnosti OpenAI, která vznikla v roce 2015 a vyvinula populární chatovací systém ChatGPT. V roce 2018 na svůj post ve vedení

    … více »
    Ladislav Hagara | Komentářů: 0
    včera 10:22 | Nová verze

    Byla vydána nová verze 10.4 z Debianu vycházející linuxové distribuce DietPi pro (nejenom) jednodeskové počítače. Přehled novinek v poznámkách k vydání. Opraveny jsou zranitelnosti Copy Fail a Dirty Frag. Přibyl nový obraz pro Orange Pi 5B.

    Ladislav Hagara | Komentářů: 0
    včera 07:44 | Zajímavý software

    Pokud je zranitelnost Linuxu v nepoužívaném jaderném modulu, lze ji jednoduše vyřešit zakázáním automatického načítání tohoto konkrétního zranitelného modulu. Projekt ModuleJail si klade za cíl zvýšit bezpečnost Linuxu zakázáním automatického načítání všech nepoužívaných jaderných modulů. Jedná se o skript, který dá všechny nepoužívané jaderné moduly na blacklist (/etc/modprobe.d/modulejail-blacklist.conf).

    Ladislav Hagara | Komentářů: 1
    Které desktopové prostředí na Linuxu používáte?
     (13%)
     (8%)
     (2%)
     (14%)
     (31%)
     (4%)
     (6%)
     (3%)
     (16%)
     (26%)
    Celkem 1671 hlasů
     Komentářů: 30, poslední 3.4. 20:20
    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.