Společnost OpenAI představila GPT-5 (YouTube).
Byla vydána (𝕏) červencová aktualizace aneb nová verze 1.103 editoru zdrojových kódů Visual Studio Code (Wikipedie). Přehled novinek i s náhledy a videi v poznámkách k vydání. Ve verzi 1.103 vyjde také VSCodium, tj. komunitní sestavení Visual Studia Code bez telemetrie a licenčních podmínek Microsoftu.
Americký prezident Donald Trump vyzval nového generálního ředitele firmy na výrobu čipů Intel, aby odstoupil. Prezident to zdůvodnil vazbami nového šéfa Lip-Bu Tana na čínské firmy.
Bylo vydáno Ubuntu 24.04.3 LTS, tj. třetí opravné vydání Ubuntu 24.04 LTS s kódovým názvem Noble Numbat. Přehled novinek a oprav na Discourse.
Byla vydána verze 1.89.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.
Americká technologická společnost Apple uskuteční v USA další investice ve výši sta miliard dolarů (2,1 bilionu korun). Oznámil to ve středu šéf firmy Tim Cook při setkání v Bílém domě s americkým prezidentem Donaldem Trumpem. Trump zároveň oznámil záměr zavést stoprocentní clo na polovodiče z dovozu.
Zálohovací server Proxmox Backup Server byl vydán v nové stabilní verzi 4.0. Založen je na Debianu 13 Trixie.
Byla vydána nová verze 1.54.0 sady nástrojů pro správu síťových připojení NetworkManager. Novinkám se v příspěvku na blogu NetworkManageru věnuje Jan Václav.
Knižní edice správce české národní domény přináší novou knihu zkušeného programátora Pavla Tišnovského s názvem Programovací jazyk Go. Publikace nabízí srozumitelný a prakticky zaměřený pohled na programování v tomto moderním jazyce. Nejedná se však o klasickou učebnici, ale spíše o průvodce pro vývojáře, kteří s Go začínají, nebo pro ty, kdo hledají odpovědi na konkrétní otázky či inspiraci k dalšímu objevování. Tištěná i digitální verze knihy je již nyní k dispozici u většiny knihkupců.
OpenAI zpřístupnila (en) nové nenáročné otevřené jazykové modely gpt-oss (gpt-oss-120b a gpt-oss-20b). Přístupné jsou pod licencí Apache 2.0.
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: