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 04:22 | Nová verze

    SuperTux (Wikipedie), tj. klasická 2D plošinovka inspirovaná sérií Super Mario, byl vydán v nové verzi 0.7.0. Videoukázka na YouTube. Hrát lze i ve webovém prohlížeči.

    Ladislav Hagara | Komentářů: 0
    dnes 03:11 | Zajímavý projekt

    Ageless Linux je linuxová distribuce vytvořená jako politický protest proti kalifornskému zákonu o věkovém ověřování uživatelů na úrovni OS (AB 1043). Kromě běžného instalačního obrazu je k dispozici i konverzní skript, který kompatibilní systém označí za Ageless Linux a levné jednodeskové počítače v ceně 12$ s předinstalovaným Ageless Linuxem, které se chystají autoři projektu dávat dětem. Ageless Linux je registrován jako operační

    … více »
    NUKE GAZA! 🎆 | Komentářů: 0
    včera 15:33 | Humor

    PimpMyGRC upravuje vzhled toolkitu GNU Radio a přidává alternativní barevná témata. Primárním cílem autora bylo pouze vytvořit tmavé prostředí vhodné pro noční práci, nicméně k dispozici je nakonec celá škála barevných schémat včetně možností různých animací a vizuálních efektů (plameny, matrix, bubliny...), které nepochybně posunou uživatelský zážitek na zcela jinou úroveň. Témata jsou skripty v jazyce Python, které nahrazují

    … více »
    NUKE GAZA! 🎆 | Komentářů: 2
    včera 14:33 | Nová verze Ladislav Hagara | Komentářů: 0
    včera 12:33 | Zajímavý projekt

    FRANK OS je open-source operační systém pro mikrokontrolér RP2350 (s FRANK M2 board) postavený na FreeRTOS, který přetváří tento levný čip na plně funkční počítač s desktopovým uživatelským rozhraním ve stylu Windows 95 se správcem oken, terminálem, prohlížečem souborů a knihovnou aplikací, ovládaný PS/2 myší a klávesnicí, s DVI video výstupem. Otázkou zůstává, zda by 520 KB SRAM stačilo každému 😅.

    NUKE GAZA! 🎆 | Komentářů: 4
    14.3. 22:55 | IT novinky

    Administrativa amerického prezidenta Donalda Trumpa by měla dostat zhruba deset miliard dolarů (asi 214 miliard Kč) za zprostředkování dohody o převzetí kontroly nad aktivitami sociální sítě TikTok ve Spojených státech.

    Ladislav Hagara | Komentářů: 1
    14.3. 21:33 | Nová verze

    Projekt Debian aktualizoval obrazy stabilní větve „Trixie“ (13.4). Shrnuje opravy za poslední dva měsíce, 111 aktualizovaných balíčků a 67 bezpečnostních hlášení. Opravy se týkají mj. chyb v glibc nebo webovém serveru Apache.

    |🇵🇸 | Komentářů: 2
    14.3. 13:00 | Humor

    Agent umělé inteligence Claude Opus ignoroval uživatelovu odpověď 'ne' na dotaz, zda má implementovat změny kódu, a přesto se pokusil změny provést. Agent si odpověď 'ne' vysvětlil následovně: Uživatel na mou otázku 'Mám to implementovat?' odpověděl 'ne' - ale když se podívám na kontext, myslím, že tím 'ne' odpovídá na to, abych žádal o svolení, tedy myslí 'prostě to udělej, přestaň se ptát'.

    NUKE GAZA! 🎆 | Komentářů: 12
    14.3. 00:44 | IT novinky

    Po 8. květnu 2026 už na Instagramu nebudou podporované zprávy opatřené koncovým šifrováním. V chatech, kterých se bude změna týkat, se objeví pokyny o tom, jak si média nebo zprávy z nich stáhnout, pokud si je chcete ponechat.

    Ladislav Hagara | Komentářů: 7
    14.3. 00:33 | IT novinky

    V lednu byla ve veřejné betě obnovena sociální síť Digg (Wikipedie). Dnes bylo oznámeno její ukončení (Hard Reset). Společnost Digg propouští velkou část týmu a přiznává, že se nepodařilo najít správné místo na trhu. Důvody jsou masivní problém s boty a silná konkurence. Společnost Digg nekončí, malý tým pokračuje v práci na zcela novém přístupu. Cílem je vybudovat platformu, kde lze důvěřovat obsahu i lidem za ním. Od dubna se do Diggu na plný úvazek vrací Kevin Rose, zakladatel Diggu z roku 2004.

    Ladislav Hagara | Komentářů: 5
    Které desktopové prostředí na Linuxu používáte?
     (16%)
     (7%)
     (0%)
     (11%)
     (29%)
     (2%)
     (5%)
     (1%)
     (13%)
     (24%)
    Celkem 1088 hlasů
     Komentářů: 26, poslední 12.3. 08:56
    Rozcestník

    Projekt ELISA (Enabling Linux In Safety Applications)

    Neziskové technologické konsorcium Linux Foundation oznámilo, že nejnovějším oficiálním projektem konsorcia se stává ELISA (Enabling Linux In Safety Applications). Cílem projektu je usnadnit společnostem vývoj a certifikaci kritických aplikací a systémů postavených na Linuxu, tj. aplikací a systémů, jejichž selhání může vést ke ztrátě lidských životů, k významným škodám na majetku nebo škodám na životním prostředí.

    23.2.2019 02:00 | Ladislav Hagara | Zajímavý projekt


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

    Komentáře

    Vložit další komentář

    23.2.2019 03:38 snajpa | skóre: 20 | blog: snajpuv_blocek | Brno
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    <3

    Critical hit. Tak strasne se mi to hodi do kramu, az ukapava slzicka stesti.
    --- vpsFree.cz --- Virtuální servery svobodně
    23.2.2019 20:23 BFU
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Na githubu maji README, co vic si prat ...
    23.2.2019 21:50 snajpa | skóre: 20 | blog: snajpuv_blocek | Brno
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    V pohode, to prijde; ja uz jsem jasal, kdyz se objevily prvni zminky o formalni verifikaci task modelu Linuxu, jakykoliv dalsi potvrzeni tim smerem se hodi, vysledky stejne potrebuju realne az tak za rok, ted jde jenom o volbu technologii a Linux evidentne nebude spatny napad postupne i pro critical control loopy...
    --- vpsFree.cz --- Virtuální servery svobodně
    24.2.2019 06:54 pirated_byte
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Me to pripada jako spatny napad. Mozna verifikuji nejaky formalni model, ale jeho spravnou implementaci uz asi tezko. Linux je prilis monstrozni.
    24.2.2019 13:22 trekker.dk | skóre: 72
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Tipnul bych si, že začnou tím, že vysekají tolik kódu, kolik jenom půjde...
    Quando omni flunkus moritati
    24.2.2019 14:41 sigma
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Já tedy moc nechápu, na jaký segment aplikací s tím míří. Orientuji se a mám nějaké zkušenosti se safety normami pro průmyslové aplikace (IEC 61508) a energetiku (IEC 61513). Pro jakékoliv bezpečnostně relevantní systémy v těchto segmentech mi přijde použití Linuxu s ohledem na formální požadavky celkem unreal.

    To neznamená, že se Linux pro "critical control loopy" nepoužívá. Např. takový Siemens Sinumerik je postaven na RT Linuxu na Intel CPU. Je to software pro řízení obráběcích strojů, kde chyba může způsobit zničení obrobku v hodnotě milionů USD (v případě velkých strojů, které dělá třeba Škoda MT). Ale na tohle není potřeba certifikace podle nějaké normy, to je otázka spolehlivosti. Otázky funkční bezpečnosti - zjednodušeně aby to někoho nezabilo - se musí řešit úplně jinak.

    Při uvažování o použití Linuxu mi formální verifikace task modelu přijde jako sice důležitá, ale v celkovém kontextu celkem okrajová věc. Protože těch míst, kde to celé může selhat je tam mnohem více, a vstupuje do toho hodně také HW platforma, to vám ale asi nemusím psát. Takže nějaký takovýhle projekt mi zatím přijde spíš jako podklad pro management, že je možné ten Linux brát vážně. Podobně jako ze supportu Linuxu dokáže žít Wind River, který za vás řeší QA proces, maintenance a hlavně také legal aspekty konkrétní distribuce na konkrétním HW podle nějaké certifikované metodiky. Toje v tomto prostředí ta největší hodnota.
    24.2.2019 15:33 snajpa | skóre: 20 | blog: snajpuv_blocek | Brno
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Jsme v absolutni shode, presne tak - ted tyhle zpravy potrebuju presne, spis pro sales pitch, proc neni potreba se Linuxu bat a ze i ostatni, velci, hraci jdou timhle smerem.
    --- vpsFree.cz --- Virtuální servery svobodně
    24.2.2019 15:39 snajpa | skóre: 20 | blog: snajpuv_blocek | Brno
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Jinak tipoval bych, ze ten nejvetsi drive je smerem automotive, vcelku se pocita s virtualizovanymi ridicimi jednotkami bezici na nejakem centralnim cipu s nejakou kombinaci Cortex-A + Cortex-R.

    Mne osobne prijde hodne zajimavy dostat Linuxovou kontejnerizaci do stavu, kdy by se dalo control loopy ridit z kontejneru (a centralnimi knoby jim nastavovat resource/realtime management). Akorat teda, jestli je nejaka verifikace task modelu Linuxu behem na delsi trat, dostat kontejnery do industrial ready stavu je temer mission impossible, napr. memory control group je totalni fail...
    --- vpsFree.cz --- Virtuální servery svobodně
    24.2.2019 23:44 Sid1
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Ono v podstate staci si pozriet ako je urobena verifikacia seL4 a ze je z toho vytiahnuty IO. Takze verifikacia linuxu je cisto iba tak odrazka do powerpointu co pekne vyzera a ako sa vravi slubom nic nepokazis
    23.2.2019 22:22 jiwopene | skóre: 31 | blog: Od každého trochu…
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    s/Clem/Cílem/
    .sig virus 3.2_cz: Prosím, okopírujte tento text do vaší patičky.
    24.2.2019 01:09 Ladislav Hagara | skóre: 106 | blog: Ride the Raven
    Rozbalit Rozbalit vše Re: Projekt ELISA (Enabling Linux In Safety Applications)
    Dík. Opraveno.

    Založit nové vláknoNahoru


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