Michael Meeks, CEO společnosti Collabora, na apríla oznámil, nebyl to ale apríl, že nadace The Document Foundation zastřešující vývoj kancelářského balíku LibreOffice vyloučila ze svých řad všechny zaměstnance a partnery společnosti Collabora, tj. více než třicet lidí, kteří po mnoho let přispívali do LibreOffice. Nadace The Document Foundation po několika dnech publikovala oficiální vyjádření. Přiznává pochybení při zakládání
… více »Protože je už po aprílu, můžou strahováci opět zveřejnit program další Virtuální Bastlírny, aniž by připravená témata působila dojmem, že jde o žert. Vězte tedy, že v úterý 14. dubna (změna!!!) od 20:00 proběhne VB, kde se setkají bastlíři, technici, učitelé i nadšenci do techniky a kde i vy se můžete zapojit do družného hovoru, jako by všichni seděli u pomyslného piva. Co mají bastlíři tento měsíc na srdci? Pravděpodobně by nás musel zasáhnout
… více »Byla vydána verze 26.1 aneb čtvrtletní aktualizace open source počítačového planetária Stellarium (Wikipedie, GitHub). Vyzkoušet lze webovou verzi Stellaria na Stellarium Web.
VOID (Video Object and Interaction Deletion) je nový open-source VLM model pro editaci videa, který dokáže z videí odstraňovat objekty včetně všech jejich fyzikálních interakcí v rámci scény (pády, kolize, stíny...) pomocí quadmaskingu (čtyřhodnotová maska, která člení pixely scény do čtyř kategorií: objekt určený k odstranění, překrývající se oblasti, objektem ovlivněné oblasti a pozadí scény) a dvoufázového inpaintingu. Za projektem stojí výzkumníci ze společnosti Netflix.
Design (GitHub) je 2D CAD pro GNOME. Instalovat lze i z Flathubu. Běží také ve webovém prohlížeči.
Příspěvek na blogu herního enginu Godot představuje aplikaci Xogot přinášející Godot na iPad a iPhone. Instalovat lze z App Storu. Za Xogotem stojí Miguel de Icaza (GitHub) a společnost Xibbon.
Na čem pracují vývojáři webového prohlížeče Ladybird (GitHub)? Byl publikován přehled vývoje za březen (YouTube).
ESP-IDF (Espressif IoT Development Framework), tj. oficiální vývojový framework pro vývoj aplikací na mikrokontrolérech řady ESP32, byl vydán v nové verzi 6.0. Detaily na portálu pro vývojáře.
DeepMind (Alphabet) představila novou verzi svého multimodálního modelu, Gemma 4. Modely jsou volně k dispozici (Ollama, Hugging Face a další) ve velikostech 5-31 miliard parametrů, s kontextovým oknem 128k až 256k a v dense i MoE variantách. Modely zvládají text, obrázky a u menších verzí i audio. Modely jsou optimalizované pro běh na desktopových GPU i mobilních zařízeních, váhy všech těchto modelů jsou uvolněny pod licencí Apache 2.0. Návod na spuštění je už i na Unsloth.
Cursor (Wikipedie) od společnosti Anysphere byl vydán ve verzi 3. Jedná se o multiplatformní proprietární editor kódů s podporou AI (vibe coding).
For me the greatest beauty always lies in the greatest clarity.
15.6.2015 09:29
| Programování
| 
| Přečteno: 1529×
| Komentářů: 8, poslední 26. 8. 2015
| Hodnocení: 91 % (11 hlasů)
Algebraickým efektem (dále už jen efektem) jsou například výjimky, (asynchronní) vstup a výstup, měnitelný stav nebo nedeterminismus. V tomto zápisku si ukážeme, k čemu jsou algebraické efekty dobré, jak oddělit deklarace efektů od jejich implementace, a jak toto oddělení prospívá modularitě programů a usnadňuje jejich testování.
6.3.2015 19:13
| Programování
|
| Přečteno: 3025×
| Komentářů: 93, poslední 12. 3. 2024
| Hodnocení: 70 % (10 hlasů)
Jelikož je asynchronní kód stále častějším jevem,
přidávají programovací jazyky speciální podporu
pro jeho zápis. Příkladem takové podpory jsou klíčová slova
async a await, která se momentálně z jazyka C# 5 šíří
do dalších jazyků. V tomto zápisku vysvětlím,
proč async a await není dobrý nápad.
14.8.2014 18:18
| Programování
|
| Přečteno: 1598×
| Komentářů: 25, poslední 13. 3. 2024
| Hodnocení: 71 % (7 hlasů)
Typové systémy mohou výrazně zjednodušit konstrukci a údržbu větších programů. Python bohužel zatím žádný oficiální typový systém nemá, ale zřejmě se blýská na lepší časy. Guido van Rossum, autor jazyka, přišel s návrhem, aby se anotace funkcí specializovaly pro typové anotace. Předpokládám, že je jen otázkou času, kdy Python dostihne Dart a získá volitelný typový systém.
Co mě na konferenci ScalaDays 2014 zaujalo nejvíce.
17.2.2013 19:45
| Programování
|
| Přečteno: 1333×
| Komentářů: 58, poslední 25. 11. 2025
| Hodnocení: 100 % (10 hlasů)
V tomto zápisku si ukážeme jednu užitečnou schopnost Emacs módu pro jazyk Agda. Jedná se o automatické napsání kódu, kdy programátor pouze specifikuje, co má kód dělat, a nechá editor, aby takový kód napsal.
Po více než sedmi letech vyšla nová verze jazyka Haskell. Nový jazyk se jmenuje Haskell 2010 a od svého předchůdce Haskellu 98 se liší zejména tím, že podporuje hierarchické moduly a standardizuje FFI. Novinek je samozřejmě více a najdete je v Haskell 2010 Language Report.
Dnes odpoledne se na blogu Marka Stopky objevily dvě úlohy, při jejich řešení jsem si vzpomněl na jinou úlohu. Je docela profláklá, ale stejně pro ty, co ji neznají, zde je zadání:
Máme dvě čísla, obě jsou větší než 1 a menší než 100. Adamovi řekneme jejich součet a Evě jejich součin.
Eva: Já nevím jaká to jsou čísla.
Adam: Já věděl, že to nebudeš vědět.
Eva: Už to vím.
Adam: Já už taky.
Jaká to jsou čísla?
AbcLinuxu.cz
ITBiz.cz
HDmag.cz
AbcPráce.cz