Gemini CLI umožňuje používání AI Gemini přímo v terminálu. Vydána byla verze 0.10.0.
Konference OpenAlt 2025 proběhne již příští víkend 1. a 2. listopadu v Brně. Nabídne přibližně 80 přednášek a workshopů rozdělených do 7 tematických tracků. Program se může ještě mírně měnit až do samotné konference, a to s ohledem na opožděné úpravy abstraktů i případné podzimní virózy. Díky partnerům je vstup na konferenci zdarma. Registrace není nutná. Vyplnění formuláře však pomůže s lepším plánováním dalších ročníků konference.
Samsung představil headset Galaxy XR se 4K Micro-OLED displeji, procesorem Snapdragon XR2+ Gen 2, 16 GB RAM, 256 GB úložištěm, operačním systémem Android XR a Gemini AI.
Před konferencí Next.js Conf 2025 bylo oznámeno vydání nové verze 16 open source frameworku Next.js (Wikipedie) pro psaní webových aplikací v Reactu. Přehled novinek v příspěvku na blogu.
Sovereign Tech Fund oznámil finanční podporu následujících open source projektů: Scala, SDCC, Let's Encrypt, Servo, chatmail, Drupal, Fedify, openprinting, PHP, Apache Arrow, OpenSSL, R Project, Open Web Docs, conda, systemd a phpseclib.
Bylo vydáno OpenBSD 7.8. S předběžnou podporou Raspberry Pi 5. Opět bez písničky.
Valkey (Wikipedie) byl vydán v nové major verzi 9.0. Valkey je fork Redisu.
Byly publikovány informace o kritické zranitelnosti v knihovně pro Rust async-tar a jejích forcích tokio-tar, krata-tokio-tar a astral-tokio-tar. Jedná se o zranitelnost CVE-2025-62518 s CVSS 8.1. Nálezci je pojmenovali TARmageddon.
AlmaLinux přinese s verzí 10.1 podporu btrfs. XFS bude stále jako výchozí filesystém, ale instalátor nabídne i btrfs. Více informací naleznete v oficiálním oznámení.
Společnost OpenAI představila svůj vlastní webový prohlížeč ChatGPT Atlas. Zatím je k dispozici pouze na macOS.
Napriklad KEVM testnet... Plutus s formalni verifikaci pro slozite kontrakty, abstraktni Marlowe smart-contract language pro jednoduche financni kontrakty,...Tohle všechno se mi zdá být obecně použitelné nezávisle na tom, zdali to je ETH, Cardano, nebo jakákoliv jiná "distribuovaná" VM. Proto také existuje široká škála programovacích jazyků pro kontrakty (některé zaměřené na formální verifikaci, jiné na praktičnost - třeba) pro Ethereum. Nejinak tomu bude (vlastně už je - první fáze již běží) u Ethereum 2.
Primarni vyzkum, formalni metody, Haskell. Kolik peer-reviewed paperu publikovali ti co stoji za Eth2?Nu, zběžně jsem zahlédl nějaké whitepaper/bluepaper/orangepapers/... a v nich nějaké odkazy. Možná jsou některé i peer-reviewed. A to, že je něco/vše v Haskellu neříká o Cardanu jakožto technickém designu zhola nic. Haskell je pouze "implementační detail".
Jak je to se spotrebou energie kdyz nemam zajem tezit jenom udelat transakci ?Jde o PoS takze spotreba energie je minimalni jak pri mintingu, tak pri generovani transakci.
Je mozna papirova alternativa? Proste vytisknu si nejaky token coz bude ekvivalent fiat bankovky?Paper wallet.
Umoznuje obchodovani anonymne ? Jako cash.zk-Snarks
Uznám-li já a můj tržní partner gram stříbra za prostředek směny, je to pouze naše dohoda se všemi riziky že onen gram stříbra již nikdo nebude jako prostředek směny akceptovat. Tento princip je základem pochopení fungování jakýchkoli peněz.NIkoliv. Toto se týká pouze zlatého(stříbrného, etc) standardu. A také blockchainu. Proto je blockchain tak zajímavý. Fiat měna funguje jinak. Co se týče šeku, tak jste pouze nepochopil co jsem napsal. Šek funguje jako měna. A bankovka (krytá) není nic jiného než šek (netýká se fiat měny). Zkuste se nad tím zamyslet
Tiskni
Sdílej: