O víkendu probíhá konference OpenAlt 2025. Na programu je spousta zajímavých přednášek. Pokud jste v Brně, stavte se. Vstup zdarma.
Josef Průša představil novou velkoformátovou uzavřenou CoreXY 3D tiskárnu Prusa CORE One L a nový open source standard chytrých cívek OpenPrintTag i s novou přepracovanou špulkou.
Na GOG.com běží Autumn Sale. Při té příležitosti je zdarma hororová počítačová hra STASIS (ProtonDB: Platinum).
Ubuntu 25.10 má nově balíčky sestavené také pro úroveň mikroarchitektury x86-64-v3 (amd64v3).
Byla vydána verze 1.91.0 programovacího jazyka Rust (Wikipedie). Podrobnosti v poznámkách k vydání. Vyzkoušet Rust lze například na stránce Rust by Example.
Ministerstvo průmyslu a obchodu vyhlásilo druhou veřejnou soutěž v programu TWIST, který podporuje výzkum, vývoj a využití umělé inteligence v podnikání. Firmy mohou získat až 30 milionů korun na jeden projekt zaměřený na nové produkty či inovaci podnikových procesů. Návrhy projektů lze podávat od 31. října do 17. prosince 2025. Celková alokace výzvy činí 800 milionů korun.
Google v srpnu oznámil, že na „certifikovaných“ zařízeních s Androidem omezí instalaci aplikací (včetně „sideloadingu“) tak, že bude vyžadovat, aby aplikace byly podepsány centrálně registrovanými vývojáři s ověřenou identitou. Iniciativa Keep Android Open se to snaží zvrátit. Podepsat lze otevřený dopis adresovaný Googlu nebo petici na Change.org.
Byla vydána nová verze 18 integrovaného vývojového prostředí (IDE) Qt Creator. S podporou Development Containers. Podrobný přehled novinek v changelogu.
Cursor (Wikipedie) od společnosti Anysphere byl vydán ve verzi 2.0. Jedná se o multiplatformní proprietární editor kódů s podporou AI (vibe coding).
Google Chrome 142 byl prohlášen za stabilní. Nejnovější stabilní verze 142.0.7444.59 přináší řadu novinek z hlediska uživatelů i vývojářů. Podrobný přehled v poznámkách k vydání. Opraveno bylo 20 bezpečnostních chyb. Za nejvážnější z nich bylo vyplaceno 50 000 dolarů. Vylepšeny byly také nástroje pro vývojáře.
Orwell zahrnoval esej o tom ve formě slepého střeva po konci románu, ve kterém základní principy jazyka jsou vysvětleny.
Ale jinak bytí vysokým nepovažuji za kladnou, nýbrž neutrální vlastnost...
Přídavná jména záporných vlastností (zlý, ošklivý) mají svůj protiklad o vlastní základu (hodný, pěkný), protože jsou to pojmy velmi důležité a často používané na rozdíl od slov s ne-zápory. Prostě jsou slova, jejichž protiklad má jiný základ.
Ovšem pozor, i k takovým slovům lze přidávat negující předponu. Výsledné slovo ale nemá (jazykově) opačný význam, protože k tomu již máme jiné slovo. Význam pak obvykle není protiklad, ale doplněk (i když čistě technicky se jedná logickou negaci).
Například nevelký neznamená malý, ale že není velký, například má střední (běžnou) velikost nebo dokonce je i malý.
Když si ukážeme uspořádání podle velikosti:
velký
| \
nemalý střední nevelký
\ |
malý
Tak je vidět, že nevelký je menší než velký, ale není možné vyvodit, že to automaticky znamená malý (nebo střední).
Význam pak obvykle není protiklad, ale doplněk (i když čistě technicky se jedná logickou negaci)Pokud unarni predikat modeluju pomoci podmnoziny objektu z nejakeho univerza, pak predikat definovany jako ciste logicka negace tohoto predikatu bude modelovany pomoci doplnku te podmnoziny (v danem univerzu). Takze doplnek a negace maji mnoho spolecneho.
Jeste by se mohla pridat teorie o dvojitych zaporech. Nektere jazyky je maji ("nic nevim"), vedle cestiny me napada jeste francouzstina. Ostatni jazyky (ktere znam) dvoji zapor berou jako hrubou gramatickou chybu. Je to taky zajimava vec.
Tiskni
Sdílej: