Evropský parlament dnes přijal směrnici týkající se tzv. práva spotřebitele na opravu. Poslanci ji podpořili 584 hlasy (3 bylo proti a 14 se zdrželo hlasování). Směrnice ujasňuje povinnosti výrobců opravovat zboží a motivovat spotřebitele k tomu, aby si výrobky nechávali opravit a prodloužili tak jejich životnost.
Bylo oznámeno (cs) vydání Fedora Linuxu 40. Přehled novinek ve Fedora Workstation 40 a Fedora KDE 40 na stránkách Fedora Magazinu. Současně byl oznámen notebook Slimbook Fedora 2.
ČTK (Česká tisková kancelář) upozorňuje (X), že na jejím zpravodajském webu České noviny byly dnes dopoledne neznámým útočníkem umístěny dva smyšlené texty, které nepocházejí z její produkce. Jde o text s titulkem „BIS zabránila pokusu o atentát na nově zvoleného slovenského prezidenta Petra Pelligriniho“ a o údajné mimořádné prohlášení ministra Lipavského k témuž. Tyto dezinformace byly útočníky zveřejněny i s příslušnými notifikacemi v mobilní aplikaci Českých novin. ČTK ve svém zpravodajském servisu žádnou informaci v tomto znění nevydala.
Byla založena nadace Open Home Foundation zastřešující více než 240 projektů, standardů, ovladačů a knihoven (Home Assistant, ESPHome, Zigpy, Piper, Improv Wi-Fi, Wyoming, …) pro otevřenou chytrou domácnost s důrazem na soukromí, možnost výběru a udržitelnost.
Společnost Meta otevírá svůj operační systém Meta Horizon OS pro headsety pro virtuální a rozšířenou realitu. Vedle Meta Quest se bude používat i v připravovaných headsetech od Asusu a Lenova.
Společnost Espressif (ESP8266, ESP32, …) získala většinový podíl ve společnosti M5Stack, čímž posiluje ekosystém AIoT.
Byla vydána nová stabilní verze 3.5 svobodného multiplatformního softwaru pro editování a nahrávání zvukových souborů Audacity (Wikipedie). Přehled novinek také na YouTube. Nově lze využívat cloud (audio.com). Ke stažení je oficiální AppImage. Zatím starší verze Audacity lze instalovat také z Flathubu a Snapcraftu.
50 let operačního systému CP/M, článek na webu Computer History Museum věnovaný operačnímu systému CP/M. Gary Kildall z Digital Research jej vytvořil v roce 1974.
Byl zveřejněn program a spuštěna registrace na letošní konferenci Prague PostgreSQL Developer Day, která se koná 4. a 5. června. Na programu jsou 4 workshopy a 8 přednášek na různá témata o PostgreSQL, od konfigurace a zálohování po využití pro AI a vector search. Stejně jako v předchozích letech se konference koná v prostorách FIT ČVUT v Praze.
Po 48 letech Zilog končí s výrobou 8bitového mikroprocesoru Zilog Z80 (Z84C00 Z80). Mikroprocesor byl uveden na trh v červenci 1976. Poslední objednávky jsou přijímány do 14. června [pdf].
Zdrojový kód kompilátoru jazyka F# 2.0 i s knihovnou byl uvolněn pod licencí Apache 2.0.
Tiskni Sdílej:
Note: This page does not list esoteric programming languages.
je to v nějaké oblasti trochu víc rozšířeno?
V jazycích z rodiny ML bylo napsáno mnoho dokazovačů (ostatně jazyk ML vznikl kvůli dokazovači LCF – od toho název metalanguage). Například interaktivní dokazovač Coq je napsán v OCamlu.
V dnešní době lze v OCamlu programovat v podstatě cokoliv od webových aplikací (Ocsigen, PGOcaml, ocamljs) až po aplikace obchodující na burze (viz Jane Street Capital).
Nedojde, bude následovat F#++, pak F$, F$++Po F# vyvinou G♭, ale zjistí, že vyvinuli úplně to stejné...
To je asi každému jasné. Veď čo iné by to mohlo byť? Shellový komentár v zmysle "po C potopa"? C-čkovský preprocesor?
Moja interpretácia F# je, že vzniklo zo C# (nie ako jazyk ale platforma, tj. .NET) a F znamená funkcionálny
F# preto, že dnes už má # aj ďalší význam: CLI jazyk. Viď jazyky A#, J#, L#, P# a možno aj nejaké ďalšie.
To je trochu moc zjednodušené, ale v zásade by sa to tak asi dalo povedať.
Keď môžu hudobnú notáciu používať matematici a fyzici (ako izomorfizmus TM a T*M pre Riemannovskú varietu M), tak prečo nie programátori?