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: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ářů: 2
    dnes 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ářů: 10
    dnes 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
    dnes 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
    včera 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
    včera 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ářů: 3
    včera 15:55 | Nová verze

    Multiplatformní open source voxelový herní engine Luanti byl vydán ve verzi 5.14.0. Podrobný přehled novinek v changelogu. Původně se jedná o Minecraftem inspirovaný Minetest v říjnu loňského roku přejmenovaný na Luanti.

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

    Byla vydána nová stabilní verze 6.10 (YouTube) multiplatformního frameworku a GUI toolkitu Qt. Podrobný přehled novinek v poznámkách k vydání.

    Ladislav Hagara | Komentářů: 0
    6.10. 23:55 | Komunita

    Ubuntu 26.04 LTS bude (𝕏) Resolute Raccoon (rezolutní mýval).

    Ladislav Hagara | Komentářů: 5
    6.10. 21:00 | Nová verze

    Netwide Assembler (NASM) byl vydán v nové major verzi 3.00. Přehled novinek v poznámkách k vydání v aktualizované dokumentaci.

    Ladislav Hagara | Komentářů: 0
    Jaké řešení používáte k vývoji / práci?
     (38%)
     (46%)
     (15%)
     (17%)
     (21%)
     (15%)
     (17%)
     (15%)
     (15%)
    Celkem 198 hlasů
     Komentářů: 13, poslední dnes 07:41
    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: 93 | 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áknoNahoru


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