Root.cz  »  Programovací jazyky  »  Vyšla Agda 2.6.3  »  Všechny názory

Názory k článku
Vyšla Agda 2.6.3

  • Článek je starý, nové názory již nelze přidávat.

Dále u nás najdete

Proč přichází éra suverénních datových center?

Zdravotní a sociální pojištění 2026 u OSVČ: Opět výrazný růst záloh

Na oční bychom měli jít nejpozději ve čtyřiceti

Co nového přináší Securitytrends 4/2025?

iPhone a Android umí konečně sdílet obrázky nablízko

Vánoční nákupy ohrožují podvodné e-shopy a falešné reklamy

Máte záložní plán, pokud byste chtěli odjet z ČR?

Průvodce novým vyhledáváním v éře AI. Co musíte vědět o GEO

Česká televize chystá projekt Tak moment pro mladé

Evropa už utíká od amerických cloudů

Pupp, Ještěd, InterContinental: Poznejte slavné hotely podle fotek

České investiční fondy sní americký sen

AI reklama Rohlíku to schytala na sítích. Prý je bezpohlavní

ChatGPT rozšiřuje prostor pro spolupráci

Lenovo ThinkPad P14s: uživatelské zkušenosti po půl roce používání

Europoslanci doporučují zákaz sociálních sítí pro mladší 16 let

KVÍZ: Pravda, nebo lež? Jak dobře znáte československé retroznačky?

V ČR vznikají čtyři velká datacentra pro AI

Huawei se ne a ne odporoučet z Česka a Evropy

Množství údajů dle nařízení vlády k JMHZ mnohé překvapí