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 03:22 | IT novinky

    Společnost OpenAI představila text-to-video AI model Sora 2 pro generování realistických videí z textového popisu. Přesnější, realističtější a lépe ovladatelný než předchozí modely. Nabízí také synchronizované dialogy a zvukové efekty.

    Ladislav Hagara | Komentářů: 0
    včera 23:11 | Nová verze

    UBports, nadace a komunita kolem Ubuntu pro telefony a tablety Ubuntu Touch, vydala Ubuntu Touch 24.04-1.0, tj. první stabilní vydání založené na Ubuntu 24.04 LTS.

    Ladislav Hagara | Komentářů: 0
    včera 21:00 | Komunita

    Rakouská armáda přechází na LibreOffice. Ne kvůli licencím (16 000 počítačů). Hlavním důvodem je digitální suverenita. Prezentace v pdf z LibreOffice Conference 2025.

    Ladislav Hagara | Komentářů: 15
    včera 12:44 | Bezpečnostní upozornění

    Národní úřad pro kybernetickou a informační bezpečnost (NÚKIB) upozorňuje na sérii kritických zranitelností v Cisco Adaptive Security Appliance (ASA) a Firepower Threat Defense (FTD) a Cisco IOS, CVE-2025-20333, CVE-2025-20363 a CVE-2025-20362. Zneužití těchto zranitelností může umožnit vzdálenému neautentizovanému útočníkovi spustit libovolný kód (RCE). Společnost Cisco uvedla, že si je vědoma aktivního zneužívání těchto zranitelností.

    Ladislav Hagara | Komentářů: 16
    včera 12:11 | IT novinky

    Ochrana uživatelů a zároveň příznivé podmínky pro rozvoj umělé inteligence (AI). Ministerstvo průmyslu a obchodu (MPO) připravilo minimalistický návrh implementace evropského nařízení o umělé inteligenci, tzv. AI aktu. Český zákon zajišťuje ochranu občanům a bezpečné používání AI, ale zároveň vytváří pro-inovační prostředí, ve kterém se může AI naplno rozvíjet, firmy mohou využít jeho potenciál a nebudou zatíženy zbytečnou administrativou. Návrh je nyní v meziresortním připomínkovém řízení.

    Ladislav Hagara | Komentářů: 8
    včera 05:11 | Komunita

    Dle plánu Linus Torvalds odstranil souborový systém bcachefs z mainline Linuxu. Tvůrce bcachefs Kent Overstreet na Patreonu informuje, že bcachefs je nově distribuován jako DKMS modul.

    Ladislav Hagara | Komentářů: 2
    29.9. 17:44 | IT novinky

    PIF, Silver Lake a Affinity Partners kupují videoherní společnost Electronic Arts (EA) za 55 miliard dolarů (1,14 bilionu korun).

    Ladislav Hagara | Komentářů: 2
    29.9. 16:33 | Pozvánky

    Konference LinuxDays 2025 proběhne již tento víkend 4. a 5. října v Praze v areálu ČVUT v Dejvicích na FIT. Konference znamená desítky přednášek a workshopů, zástup zajímavých osobností, místo pro setkání, spoustu nových nápadů a informací a stánky řady různých projektů: Fedora, openSUSE, vpsFree.cz, Mozilla, MacGyver - bastlíři SH, OpenAlt a mnoho dalších. Účast na konferenci je zdarma.

    Ladislav Hagara | Komentářů: 0
    29.9. 14:22 | Zajímavý článek

    Před měsícem Google oznámil, že bude vyžadovat ověření identity vývojářů aplikací pro Android. Dnes se k této změně vyjádřil F-Droid, tj. instalovatelný katalog svobodných a open source aplikací pro platformu Android. Změna ohrožuje F-Droid a další otevřené platformy pro distribuci aplikací.

    Ladislav Hagara | Komentářů: 19
    29.9. 00:22 | Nová verze

    Po 9 týdnech vývoje od vydání Linuxu 6.16 oznámil Linus Torvalds vydání Linuxu 6.17. Přehled novinek a vylepšení na LWN.net: první a druhá polovina začleňovacího okna a Linux Kernel Newbies.

    Ladislav Hagara | Komentářů: 0
    Jaké řešení používáte k vývoji / práci?
     (40%)
     (48%)
     (12%)
     (14%)
     (17%)
     (14%)
     (18%)
     (13%)
     (13%)
    Celkem 144 hlasů
     Komentářů: 9, poslední 24.9. 17:28
    Rozcestník

    Pár postřehů z konference ScalaDays 2014

    20.6.2014 21:57 | Přečteno: 924× | Co mě zaujalo

    Co mě na konferenci ScalaDays 2014 zaujalo nejvíce.

    Avian

    Pracuje se na novém JVM Avian. Pro funkcionální jazyky je zajímavá podpora kontinuací a optimalizace tail-callů.

    Makra

    Je nešťastné, jak silnou pozici si vybudovala makra ve Scale. Řada přednášek se nějakým způsobem dotkla maker. Někteří přednášející dokonce svou celou přednášku zasvětili pouze jedinému makru.

    Hlavní problém maker spočívá v jejich interakci. Například Heather Miller ve své prezentaci Spores: Towards Function-Passing Style in the Age of Concurrency and Distribution ukázala makro spore, kterým lze omezit volné proměnné, jenž smějí být součástí uzávěru. Problémy se mohou objevit ve chvíli, kdy na kód z makra spore aplikujeme jiné makro – jinému makru nic nebrání porušit omezení vynucená makrem spore.

    DOT

    DOT kalkulus by se mohl stát základem typového systému Scaly a je to možná jeden z kroků k formální (mechanizované) specifikaci Scaly. Taková specifikace by slovy Roberta Harpera znamenala posun od Scala kompilátoru ke Scala jazyku.

    K čemu je formální specifikace ve své přednášce o denotační sémantice naznačil i Erik Meijer:

    def a: Int = try {        1 } finally {        2 }
    def b: Int = try {        1 } finally { return 2 }
    def c: Int = try { return 1 } finally {        2 }
    def d: Int = try { return 1 } finally { return 2 }
    

    Zkuste říci, co jednotlivé funkce vrací.

           

    Hodnocení: 83 %

            špatnédobré        

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

    Komentáře

    Vložit další komentář

    20.6.2014 23:25 Jiří Jakeš | skóre: 22 | blog: Linuxovna_JJ | Taipei
    Rozbalit Rozbalit vše Re: Pár postřehů z konference ScalaDays 2014
    Závidím, že ses tam byl podívat. Já jen četl na Twitteru výkřiky J. Bonéra, V. Klanga, R. Kuhna a dalších, jak je to tam úžasné a skvělé. Snad budou brzy videa, témata vypadala extrémně zajímavě.
    21.6.2014 12:06 deda.jabko | skóre: 23 | blog: blog co se jmenuje "každý den jinak" | za new york city dvakrát doleva a pak už se doptáte
    Rozbalit Rozbalit vše Re: Pár postřehů z konference ScalaDays 2014
    Pracuje se na novém JVM Avian. Pro funkcionální jazyky je zajímavá podpora kontinuací a optimalizace tail-callů.
    Nejsou k tomu nejake slidy/paper? Zajimalo by me, jak to funguje vzhledem k tomu, ze tyto veci nemaji primou podporu v JBC.
    Je nešťastné, jak silnou pozici si vybudovala makra ve Scale. Řada přednášek se nějakým způsobem dotkla maker. Někteří přednášející dokonce svou celou přednášku zasvětili pouze jedinému makru.
    Ano, je to nestastne. Diskutovat dlouhe hodiny o makrech bylo vzdy vysadou LISParu. ;-]
    Asi před rokem se dostali hackeři na servry Debianu a ukradli jim zdrojové kódy.
    22.6.2014 02:35 Radek Miček | skóre: 23 | blog: radekm_blog
    Rozbalit Rozbalit vše Re: Pár postřehů z konference ScalaDays 2014
    Zajimalo by me, jak to funguje vzhledem k tomu, ze tyto veci nemaji primou podporu v JBC.
    Každé volání, jenž je v bajtkódu v tail pozici, se optimalizuje, tudíž žádná speciální instrukce není třeba. Háček je v tom, že volání, která jsou ve zdrojovém kódu v tail pozici, nemusí být v bajtkódu v tail pozici.

    Kontinuace mají speciální podporu v runtimu, ta je přístupná přes třídu avian.Continuations.
    Bedňa avatar 22.6.2014 01:40 Bedňa | skóre: 34 | blog: Žumpa | Horňany
    Rozbalit Rozbalit vše Re: Pár postřehů z konference ScalaDays 2014
    def a: Int = try {        1 } finally {        2 }
    def b: Int = try {        1 } finally { return 2 }
    def c: Int = try { return 1 } finally {        2 }
    def d: Int = try { return 1 } finally { return 2 }
    Zkuste říci, co jednotlivé funkce vrací.
    a = 1

    b = 2

    c = 1

    d = 2
    KERNEL ULTRAS video channel >>>
    22.6.2014 13:22 Miriam | skóre: 3 | blog: zivot
    Rozbalit Rozbalit vše Re: Pár postřehů z konference ScalaDays 2014
    Až na jedničku uvažuju stejně, jednička podle mě vrací null.
    Bedňa avatar 22.6.2014 19:49 Bedňa | skóre: 34 | blog: Žumpa | Horňany
    Rozbalit Rozbalit vše Re: Pár postřehů z konference ScalaDays 2014
    Vychádzam z toho že
    def a: Int = try {        1 } finally {        2 }
    Sa do "a" pokúsi priradiť hodnotu z try {} a pokiaľ nieje niečo ako return vo finally {}, tak ostane 1.

    Skalu vôbec nepoznám, je to čistá konšpirácia.
    KERNEL ULTRAS video channel >>>
    30.6.2014 16:29 Jirka P
    Rozbalit Rozbalit vše Re: Pár postřehů z konference ScalaDays 2014
    To je blbost, ve Scale nevrací null skoro nic, kde není null explicitně uveden - a určitě ne ta jednička, ta je naopak úplně jasná. Horší je to s těmi ostatními možnostmi, ono return je ve Scale tak trochu poukázka do slzavého údolí.

    Bendňa to má dobře, jak podle http://www.scala-lang.org/docu/files/ScalaReference.pdf, tak podle kompilátoru
    scala> def a: Int = try {        1 } finally {        2 }
    <console>:7: warning: a pure expression does nothing in statement position; you may be omitting necessary parentheses
           def a: Int = try {        1 } finally {        2 }
                                                          ^
    a: Int
    
    scala> def b: Int = try {        1 } finally { return 2 }
    b: Int
    
    scala> def c: Int = try { return 1 } finally {        2 }
    <console>:7: warning: a pure expression does nothing in statement position; you may be omitting necessary parentheses
           def c: Int = try { return 1 } finally {        2 }
                                                          ^
    c: Int
    
    scala> def d: Int = try { return 1 } finally { return 2 }
    d: Int
    
    scala> (a, b, c, d)
    res1: (Int, Int, Int, Int) = (1,2,1,2)                                                                                                                                                                                                                                         
    Jinak jestli je tenhle celkem jasný příklad důvodem, proč formalizovat Scalu, tak to radši nedělat. Scala má mnohem závažnější mouchy.
    1.7.2014 20:55 Radek Miček | skóre: 23 | blog: radekm_blog
    Rozbalit Rozbalit vše Re: Pár postřehů z konference ScalaDays 2014
    Jinak jestli je tenhle celkem jasný příklad důvodem, proč formalizovat Scalu, tak to radši nedělat.
    Formální specifikace usnadní tvorbu nástrojů a alternativních implementací, pomůže při návrhu jazyka a umožní provést důkaz korektnosti typového systému.
    27.1.2024 15:40 UFAAUTO789
    Rozbalit Rozbalit vše Re: Pár postřehů z konference ScalaDays 2014
    ยูฟ่าเบท789 เว็บแทงบอลที่ใหญ่ และการเงินมั่นคงที่สุด สล็อตออนไลน์ ไม่มีขั้นต่ำ ใช้ทุนน้อย เล่นได้ทุกเกม
    29.1.2024 20:05 ยูฟ่าเบท
    Rozbalit Rozbalit vše Re: Pár postřehů z konference ScalaDays 2014
    This the most tender part of love, each other to forgive. By far the best proof is experience. Success is a lousy teacher. It seduces smart people into thinking they can't lose. ยูฟ่าเบท
    15.3.2024 15:45 BETFLIXSUPERVIP
    Rozbalit Rozbalit vše Re: Pár postřehů z konference ScalaDays 2014
    I think your blog might be having browser compatibility issues. When I look at your website in Ie, it looks fine but when opening in Internet Explorer, it has some overlapping. I just wanted to give you a quick heads up! Other then that, terrific blog!betflik vip

    Založit nové vláknoNahoru

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