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 14:00 | Zajímavý článek

    Byl publikován aktuální přehled vývoje renderovacího jádra webového prohlížeče Servo (Wikipedie).

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

    V programovacím jazyce Go naprogramovaná webová aplikace pro spolupráci na zdrojových kódech pomocí gitu Forgejo byla vydána ve verzi 12.0 (Mastodon). Forgejo je fork Gitei.

    Ladislav Hagara | Komentářů: 0
    17.7. 18:44 | Zajímavý článek

    Nová čísla časopisů od nakladatelství Raspberry Pi zdarma ke čtení: Raspberry Pi Official Magazine 155 (pdf) a Hello World 27 (pdf).

    Ladislav Hagara | Komentářů: 1
    17.7. 16:11 | Nová verze

    Hyprland, tj. kompozitor pro Wayland zaměřený na dláždění okny a zároveň grafické efekty, byl vydán ve verzi 0.50.0. Podrobný přehled novinek na GitHubu.

    Ladislav Hagara | Komentářů: 2
    17.7. 15:55 | Komunita

    Patrick Volkerding oznámil před dvaatřiceti lety vydání Slackware Linuxu 1.00. Slackware Linux byl tenkrát k dispozici na 3,5 palcových disketách. Základní systém byl na 13 disketách. Kdo chtěl grafiku, potřeboval dalších 11 disket. Slackware Linux 1.00 byl postaven na Linuxu .99pl11 Alpha, libc 4.4.1, g++ 2.4.5 a XFree86 1.3.

    Ladislav Hagara | Komentářů: 5
    16.7. 21:22 | IT novinky

    Ministerstvo pro místní rozvoj (MMR) jako první orgán státní správy v Česku spustilo takzvaný „bug bounty“ program pro odhalování bezpečnostních rizik a zranitelných míst ve svých informačních systémech. Za nalezení kritické zranitelnosti nabízí veřejnosti odměnu 1000 eur, v případě vysoké závažnosti je to 500 eur. Program se inspiruje přístupy běžnými v komerčním sektoru nebo ve veřejné sféře v zahraničí.

    Ladislav Hagara | Komentářů: 19
    16.7. 16:22 | IT novinky

    Vláda dne 16. července 2025 schválila návrh nového jednotného vizuálního stylu státní správy. Vytvořilo jej na základě veřejné soutěže studio Najbrt. Náklady na přípravu návrhu a metodiky činily tři miliony korun. Modernizovaný dvouocasý lev vychází z malého státního znaku. Vizuální styl doprovází originální písmo Czechia Sans.

    Ladislav Hagara | Komentářů: 26
    16.7. 15:33 | Upozornění

    Vyhledávač DuckDuckGo je podle webu DownDetector od 2:15 SELČ nedostupný. Opět fungovat začal na několik minut zhruba v 15:15. Další služby nesouvisející přímo s vyhledáváním, jako mapyAI asistent jsou dostupné. Pro některé dotazy během výpadku stále funguje zobrazování například textu z Wikipedie.

    bindiff | Komentářů: 8
    16.7. 13:33 | Bezpečnostní upozornění

    Více než 600 aplikací postavených na PHP frameworku Laravel je zranitelných vůči vzdálenému spuštění libovolného kódu. Útočníci mohou zneužít veřejně uniklé konfigurační klíče APP_KEY (např. z GitHubu). Z více než 260 000 APP_KEY získaných z GitHubu bylo ověřeno, že přes 600 aplikací je zranitelných. Zhruba 63 % úniků pochází z .env souborů, které často obsahují i další citlivé údaje (např. přístupové údaje k databázím nebo cloudovým službám).

    Ladislav Hagara | Komentářů: 5
    16.7. 00:11 | Nová verze

    Open source modální textový editor Helix, inspirovaný editory Vim, Neovim či Kakoune, byl vydán ve verzi 25.07. Přehled novinek se záznamy terminálových sezení v asciinema v oznámení na webu. Detailně v CHANGELOGu na GitHubu.

    Ladislav Hagara | Komentářů: 0
    Kolik tabů máte standardně otevřeno ve web prohlížeči?
     (0%)
     (0%)
     (50%)
     (0%)
     (0%)
     (0%)
     (0%)
     (50%)
    Celkem 2 hlasů
     Komentářů: 0
    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 | Fluttershy, yay! | 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!
    Fluttershy, yay! avatar 6.3.2020 09:28 Fluttershy, yay! | 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.