Root.cz  »  Programovací jazyky  »  Vyšla nová verze jazyka Idris 2  »  Všechny názory

Názory k článku
Vyšla nová verze jazyka Idris 2

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

Dále u nás najdete

Lyžovat, nebo jít pěšky? Díky nápadu už si nemusíte vybírat

Agentické nakupování mění pravidla e-commerce

AirDrop se rozšíří na další telefony s Androidem

Itálie má dvě pasti, které už se těší na řidiče mířící na olympiádu

Podmořské kabely budou bezpečnější, ochrání je senzory

Microsoft má za sebou úspěšný kvartál, investoři jsou ale nervózní

Víte, proč byste si měli nechat vyšetřit játra?

Bitcoin snadno koupíte i bez záznamu. Poradíme jak

AI odhadne vaši osobnost z fotky a dokonce předpoví váš plat

Hackeři útočí přes e-mail, prahnou po přihlašovacích údajích

30 % nákladů díky AI dolů, ale nuda v práci jde nahoru

Evidenční list již zaměstnavatel vyhotovovat nebude

Máme tu propast mezi složitostí cloudu a odolností. Co s tím?

Drahé RAM máme i kvůli krachu posledního výrobce v Evropě

Nejen daňové přiznání, OSVČ musí podat elektronicky přehledy

Na dotace na zateplení zapomeňte. Nová vláda vykleští NZÚ

Investice do zbrojení: Tři experti radí tipy, co by se mohly vyplatit

Chystá se EDU Rádio, které rodičům ušetří za doučování

Sportovní kanál České televize slaví dvacet let

Nová PID Lítačka: jak bude vypadat?

ŠkOLENÍ: Jak bezpečně spravovat a provozovat linuxové servery?
TO CHCI