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

Byla vydána verze 0.10.0 webového prohlížeče qutebrowser (Wikipedie). Přehled novinek v příspěvku na blogu. Vývojáři qutebrowseru kladou důraz na ovladatelnost pomocí klávesnice a minimální GUI. Inspirovali se prohlížečem dwb a rozšířeními pro Firefox Vimperator a Pentadactyl. Prohlížeč qutebrowser je naprogramován v Pythonu a využívá PyQt5. Zdrojové kódy jsou k dispozici na GitHubu pod licencí GNU GPL 3.

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

Po pěti měsících od vydání Waylandu a Westonu 1.12.0 oznámil Bryce Harrington (Samsung) vydání Waylandu 1.13.0 a Westonu 2.0.0.

Ladislav Hagara | Komentářů: 0
24.2. 13:37 | Bezpečnostní upozornění

Společnost Cloudflare (Wikipedie) na svém blogu potvrdila bezpečnostní problém s její službou. V požadovaných odpovědích od reverzní proxy byla odesílána také data z neinicializované paměti. Útočník tak mohl získat cookies, autentizační tokeny, data posílaná přes HTTP POST a další citlivé informace. Jednalo se o chybu v parsování HTML. Zneužitelná byla od 22. září 2016 do 18. února 2017. Seznam webů, kterých se bezpečnostní problém potenciálně týká na GitHubu.

Ladislav Hagara | Komentářů: 1
24.2. 08:22 | Nová verze

Byla vydána první beta verze Ubuntu 17.04 s kódovým názvem Zesty Zapus. Ke stažení jsou obrazy Kubuntu, Lubuntu, Ubuntu Budgie, Ubuntu GNOME, Ubuntu Kylin, Ubuntu Studio a Xubuntu. Dle plánu by Ubuntu 17.04 mělo vyjít 13. dubna 2017.

Ladislav Hagara | Komentářů: 33
23.2. 17:53 | Bezpečnostní upozornění

Google na svém blogu věnovaném počítačové bezpečnost informuje o nalezení "reálného" způsobu generování kolizí hašovací funkce SHA-1. Podrobnosti a zdrojové kódy budou zveřejněny do 90 dnů. Již dnes lze ale na stránce SHAttered nalézt 2 pdf soubory, jejichž obsah se liší a SHA-1 otisk je stejný (infografika).

Ladislav Hagara | Komentářů: 34
23.2. 17:51 | Nová verze

Vyšla nová verzia open source software na správu a automatizáciu cloudových datacentier Danube Cloud 2.4. Danube Cloud je riešenie postavené na SmartOS, ZFS, KVM a zónach. Obsahuje vlastnosti ako integrovaný monitoring, DNS manažment, zálohy, a samozrejme rozsiahlu dokumentáciu.

dano | Komentářů: 12
23.2. 17:46 | Pozvánky

V Plzni se 3. až 5. března 2017 uskuteční AIMTEChackathon. Je to akce pro vývojáře, grafiky, webdesignéry i veřejnost. Akci provází zajímavé přednášky IT odborníků. Více o programu a možnosti přihlášení na stránkách akce.

cuba | Komentářů: 0
23.2. 01:00 | Nová verze

Známý šifrovaný komunikátor Signal od verze 3.30.0 již nevyžaduje Google Play Services. Autoři tak po letech vyslyšeli volání komunity, která dala vzniknout Google-free forku LibreSignal (dnes již neudržovaný). Oficiální binárky jsou stále distribuované pouze přes Google Play, ale lze použít neoficiální F-Droid repozitář fdroid.eutopia.cz s nezávislými buildy Signalu nebo oficiální binárku stáhnout z Google Play i bez Google účtu

… více »
xm | Komentářů: 8
22.2. 23:14 | Nová verze

Po třech týdnech od vydání první RC verze byla vydána první stabilní verze 17.01.0 linuxové distribuce pro routery a vestavěné systémy LEDE (Linux Embedded Development Environment), forku linuxové distribuce OpenWrt. Přehled novinek v poznámkách k vydání. Dotazy v diskusním fóru.

Ladislav Hagara | Komentářů: 8
22.2. 17:28 | Bezpečnostní upozornění

Byly zveřejněny informace o bezpečnostní chybě CVE-2017-6074 v Linuxu zneužitelné k lokální eskalaci práv. Jde o chybu v podpoře DCCP (Datagram Congestion Control Protocol). Do linuxového jádra se dostala v říjnu 2005. V upstreamu byla opravena 17. února (commit). Bezpečnostní chyba byla nalezena pomocí nástroje syzkaller [Hacker News].

Ladislav Hagara | Komentářů: 16
Jak se stavíte k trendu ztenčování přenosných zařízení (smartphony, notebooky)?
 (13%)
 (2%)
 (72%)
 (3%)
 (10%)
Celkem 711 hlasů
 Komentářů: 66, poslední 22.2. 18:57
    Rozcestník

    Dotaz: Scheme - vlastní procedura

    22.10.2010 11:11 AlastorM
    Scheme - vlastní procedura
    Přečteno: 517×

    Vytvořte proceduru Implies, která bude realizovat pravdivostní funkci logické spojky implikace. Mělo by se to chovat následovně:
    > (implies #f #f)
    #t
    > (implies #f #t)
    #t
    > (implies #t #f)
    #f
    > (implies #t #t)
    #t

    Zkoušel jsem toto:
    (define implies (lambda (x y) (if (= x y) #t (and (= x #f)(= y #t)))))
    a při zadání (implies #f #f)
    vyskočí chyba  =: expects type <number> as 1st argument, given: #f; other arguments were: #f

    Pomůže někdo?


    Řešení dotazu:


    Odpovědi

    wamba avatar 22.10.2010 14:14 wamba | skóre: 37 | blog: wamba
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    že by eq? místo = ?

    PS. není lepší se spolehnout na logiku a vyjádřit implikaci pomocí not a or ?
    This would have been so hard to fix when you don't know that there is in fact an easy fix.
    22.10.2010 18:45 AlastorM
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    s tím eq? to funguje, ale jak to udělat s not a or ještě nevím...zkusím to a když to nepůjde, tak to nechám s tím eq? Jo a díky
    25.10.2010 10:49 pranvera
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    nevědeli byste jak použít "or a not" procedury, aby to melo stejnou funkčnost jako při " eq? "

    díky
    wamba avatar 25.10.2010 13:13 wamba | skóre: 37 | blog: wamba
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    This would have been so hard to fix when you don't know that there is in fact an easy fix.
    26.10.2010 10:01 pranvera
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    jo, tam už to vidím i já.

    (or ( not a)b)

    díky
    frEon avatar 22.10.2010 14:36 frEon | skóre: 40 | Praha
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    procedury v funkcionalnim jazyce, to jsou mi veci ;-)
    Talking about music is like dancing to architecture.
    Fluttershy, yay! avatar 19.10.2011 18:08 Fluttershy, yay! | skóre: 81 | blog:
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    Jo, říká se tomu tak.
    17.10.2011 01:21 djmeff
    Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
    takto to vypadá líp

    (define implies (lambda (a b) (if a b #t)))

    Založit nové vláknoNahoru

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

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