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í
×

    včera 16:55 | Nová verze

    Projekt openSUSE dnes, 3. listopadu 2026, oficiálně vydal openSUSE Leap 16.1, novou verzi své stabilní linuxové distribuce. Novinkou je také Immutable Mode, který nahrazuje dosavadní samostatnou distribuci openSUSE Leap Micro. Podrobnosti o novém vydání najdete v oficiálním oznámení nebo v českém překladu oznámení. Instalační obrazy jsou již dostupné na get.opensuse.org. Vydání společně oslavíme v pátek ve virtuálním baru a na … více »

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

    Bylo oznámeno vydání Fedora Linuxu 45. Ve finální verzi vychází šest oficiálních edic: Fedora Workstation a Fedora KDE Plasma Desktop pro desktopové, Fedora Server pro serverové, Fedora Cloud pro cloudové nasazení, Fedora CoreOS pro ty, kteří preferují neměnné systémy a Fedora IoT pro internet věcí. Vedle nich jsou k dispozici také další atomické desktopy, spiny a laby. Podrobný přehled novinek v samostatných článcích na stránkách

    … více »
    Ladislav Hagara | Komentářů: 0
    včera 15:44 | Zajímavý článek

    Vědci z MIT CSAIL představili koncept 'weight-space programming' a názorně předvedli, že pokročilé jazykové modely SI dokážou přímo číst a upravovat váhy neuronových sítí. Studie ukazuje, že modely nejen dokážou identifikovat účel sítí z pouhého nahlédnutí do jejich číselných vah, ale mohou i cíleně opravovat chyby a nedostatky, například GPT-6 Astra se změnou pouhých 0,016% vah open-weight modelu Qwen3.5-0.8B podařilo odstranit

    … více »
    👻 | Komentářů: 2
    včera 14:00 | Komunita

    Organizátoři komunitního setkání nejen českých a slovenských správců sítí CSNOG 2027, které se uskuteční 20. a 21. ledna na půdě zlínské univerzity Tomáše Bati, oznámili prodloužení termínu pro zasílání abstraktů do programu akce. Zájemci se mohou hlásit prostřednictvím webu setkání do úterý 10. listopadu. Programová komise uvítá příspěvky věnované nejen správě sítí, ale také legislativě a regulaci nebo síťařským aktivitám studentů a pedagogů.

    VSladek | Komentářů: 0
    včera 13:55 | IT novinky

    Bylo spuštěno předobjednávání zařízení Flipper One s Linuxem. Za 20 dolarů si lze koupit kupón a zajistit si tím speciální cenu 379 dolarů po spuštění kampaně na Kickstarteru.

    Ladislav Hagara | Komentářů: 0
    včera 12:44 | Nová verze

    Tor Browser, tj. fork webového prohlížeče Mozilla Firefox s integrovaným klientem sítě Tor přednastavený tak, aby přes tuto síť bezpečně komunikoval, byl vydán ve verzi 16.0. Postaven je na Firefoxu ESR 153. Vydána byla také nová verze 7.16 živé linuxové distribuce Tails (The Amnesic Incognito Live System), jež klade důraz na ochranu soukromí uživatelů a anonymitu. S Tor Browserem 16.0.

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

    FreeTube, desktopový klient pro YouTube využívající lokální API, byl vydán ve verzi 0.26.0. Toto velké opravné vydání mj. vrací částečnou podporu živých přenosů nebo přepracovává zobrazování titulků a obecně nastavení videa v přehrávači – FreeTube umožňuje např. přehrávat video s větším zrychlením.

    ʚĭɞ 🍉 | Komentářů: 1
    včera 03:55 | Humor

    Další vlna kyberútoků zasáhla chladicí zařízení supermarketů v sedmi evropských zemích, Belgii, Lucembursku, Švédsku, Nizozemsku, Irsku, Estonsku a Finsku. Mrazáky se v některých prodejnách opět 'proměnily v trouby' a zahřály až na 50°C, což pochopitelně vedlo ke znehodnocení uskladněných potravin. Útoky navazují na podobný incident ve Francii z první poloviny října letošního roku, pachatel stále není znám.

    👻 | Komentářů: 9
    2.11. 17:52 | Zajímavý projekt
    WorldTUI je experimentální LLM o 360 milionech parametrů, který napodobuje terminál. Podle stisknutých kláves se snaží předpovídat změny na obrazovce a zvládá tak vyonávat rozličné příkazy, například Vim, tmux i jednoduchou hru Snake. Nejedná se o skutečný příkazový řádek, jeho 'soubory' i příkazy jsou pouze simulované a model může samozřejmě různě chybovat. WorldTUI vychází z jazykového modelu Qwen2.5-Coder-0.5B, který autor … více »
    👻 | Komentářů: 2
    2.11. 17:48 | Zajímavý článek
    Josef Bacik navrhuje novou abstrakci cell, která by celý kontejner reprezentovala jako jeden kernelový objekt. Proces by vznikl přímo uvnitř cell a nemohl by ji opustit. Oprávnění ke správě by se odvozovala od držení cellfd. … více »
    vencour | Komentářů: 11
    Které desktopové prostředí na Linuxu používáte?
     (9%)
     (7%)
     (4%)
     (20%)
     (30%)
     (9%)
     (5%)
     (2%)
     (14%)
     (20%)
    Celkem 2970 hlasů
     Komentářů: 34, poslední 26.10. 08:24
    Rozcestník

    Důkaz MIP*=RE

    Článek na popularizačním webu Quanta Magazine představuje důkaz MIP*=RE zveřejněný v lednu na arXiv.org. Zjednodušeně, interaktivní dokazovací systém (kvantový počítač s provázáním) teoreticky může řešit na Turingově stroji nerozhodnutelné problémy jako problém zastavení. Shrnutí také v blogu Quantum Frontiers či Scotta Aaronsona a následné diskuzi.

    6.3.2020 07:00 | ʚĭɞ 🍉 | Zajímavý článek


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

    Komentáře

    Vložit další komentář

    6.3.2020 09:20 dsf
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Sami belosi, jak to vubec muzes postnout ty rasisto!
    ʚĭɞ 🍉 avatar 6.3.2020 09:28 ʚĭɞ 🍉 | skóre: 94 | blog:
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Vypadají Henry Yuen, Zhengfeng Ji nebo Anand Natarajan jako běloši?
    🇵🇸 ✊ Touch grass ✊ 🇺🇦 ✊ ani boha, ani pána
    6.3.2020 09:34 /dev/urandom
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Ked pouzijem spravny filter tak ano :-D
    6.3.2020 09:39 Petr
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Z toho se nevykroutíš, žádný černý tarnsgender lesbický muslimky. Literally Hitler.
    6.3.2020 11:02 yxcy
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Jak se opovažuješ zmiňovat dávno zavržený koncept rasy?
    6.3.2020 09:29 dsfd
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    A už nějakej kvantovej počítač mají?
    6.3.2020 09:33 /dev/urandom
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Raspberry Pi Quantum Edition
    6.3.2020 09:40 Faceless man
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Predstavte si AI zalozene na QC a podporovane petabajtami storagu.
    6.3.2020 10:55 _
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Bude to schopné inteligenčně překonat myš?
    6.3.2020 11:01 yxyxyxxyxyxy
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Ano, třeba v šachách. Ale muselo by to mít víc qubitů, než má v hlavě ta myš.
    6.3.2020 11:27 _
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Šachy nevyžadují moc inteligence (pokud vůbec nějakou), to je v podstatě mechanická úloha.
    6.3.2020 12:24 yx
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    A lov kořisti je z 95% teorie řízení, rozpoznávání obrazu a prvidla kde kempit.
    6.3.2020 12:26 _
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Nic z toho žádná AI nezvládne. A myš toho musí zvládat mnohem víc.

    Ale je poravda, že jsem to s tou myší přehnal. To je scifi. Raději zkusit švába. Nebo trepku :)
    6.3.2020 12:37 xz
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Proč myslíš? Na lov jenom nemáme HW, ale i pokročilý smečkový chování typu nadehnání do pasti se dá naprogramovat. Připravit matku o chráněného potomka je samozřejmě jiná liga.
    Já defakto pokračuju v tom, co tu kdosi nadhazoval posledně. Že otázka co to je ta inteligence se dá dost rozvolnit, až k tomu, že řekneme, že inteligence vlastně není nic.
    A samozřejmě vím, že to myší učení prostě nedáváme.
    6.3.2020 11:09 Petr
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    To jakože to je petaqubajtový počítač, nebo jak se z kvantové superpozice sahá na storage?
    6.3.2020 10:38 karel_iv | skóre: 2
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Ještě existuje o tom přednáška https://sites.google.com/site/plustcs/past-talks
    6.3.2020 12:37 JK
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    K hovnu.
    6.3.2020 13:08 Sid
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Predpokladam, ze to moze riesit problem zastavenia pre konkretny turingov stroj. Ale je to schopne riesit tento problem pre obecne lubovolny stroj?
    6.3.2020 16:08 B
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    A jak to souvisí s Linuxem?
    6.3.2020 17:37 Petr
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Kolibáč si potřeboval zamachrovat.
    6.3.2020 22:56 Fluttergay Yai
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    No souvisi to tak, ze Alan Turing v zivote Linux nepouzil.
    7.3.2020 00:11 YYCCYY
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Vy jste někdy někdo potkal Turringův stroj v praxi? Já si vždycky hrál jen s konečnejma automatama...
    7.3.2020 07:28 Knuth
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Tragéde :) Každý procesor obsahuje instrukce a každá jedna instrukce je Turingovým strojem.
    8.3.2020 03:00 /dev/urandom
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    netrep
    8.3.2020 15:39 Tibi
    Rozbalit Rozbalit vše Re: Důkaz MIP*=RE
    Má pravdu. Každú inštrukciu zrealizuješ páskou a ceruzkou. NAND stačí na celý boolean logic.

    Založit nové vlákno • Nahoru


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