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.

Komerční sdělení

Dále u nás najdete

Notepad++ opravil chybu zneužívanou k šíření malware

Daňové přiznání 2026: Termíny, novinky a změny

Desítky rozšíření pro Chrome kradou uživatelská data

České firmy pod náletem kyberútoků. Počet vzrostl o pětinu

Stát se za data retention omluvil, ale údaje sbírá dál

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

Malware, ransomware a další online hrozby: Jak se liší?

Proč mají vysavače mikrofony? Omylem ovládl tisíce vysavačů DJI

Stát dá svobodu důchodcům, které držel ve III. pilíři

Sophos kupuje Arco Cyber, zpřístupní CISO organizacím

Nový model OpenAI kóduje 15krát rychleji než jeho předchůdce

Irsko se po pauze znovu otevírá pro výstavbu datových center

Plánované změny v penzích: Zjistili jsme další podrobnosti

Připravit, pozor, teď! Spouštíme Channeltrends Awards 2025

Google uvádí Gemini 3.1 Pro a přidává působivé benchmarky

Je tu první vydání magazínu CIOtrends v tomto roce

Z evropského koláče chytrých telefonů ukusují Apple a Honor

Navazující a souběžná zaměstnání pro účely JMHZ

AI se snaží promlouvat i do stavebnictví

Ještě mi nevrátili peníze za Markétu a už je tu EET zas

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