Xəbərlər

Foresight News xəbərinə görə, Aptos öz Twitter hesabında Aptos-un dinamik paylama (dynamic dispatch) üçün formal təsdiqin həyata keçirildiyi ilk L1 olduğunu bildirib və bunun dizayna uyğun olaraq düzgün işlədiyini riyazi olaraq sübut edə bildiyini qeyd edib. Aptos-un açıqlamasına görə, standartları AI tərtib edir, Move Prover isə onların düzgünlüyünü riyazi üsulla təsdiqləyir. Bu isə bazar və maşınlar üçün etibarın təməlini formalaşdırır. Bundan əlavə, Move yeganə daxili natamam formal təsdiqi dəstəkləyən smart kontrakt dilidir və hazırda dinamik paylama üçün dəstəyi genişləndirib.

Golden Ten Data 14 may tarixli xəbərinə görə, ölkə üzrə dövriyyə sahəsindəki 9 əsas kateqoriyadan 50 mühüm istehsal vasitəsinin bazar qiymətlərinin monitorinqi nəticəsində müəyyən edilib ki, 2026-cı ilin may ayının birinci ongünlüyü ilə aprel ayının son ongünlüyü müqayisə edildikdə, 26 məhsulun qiyməti artıb, 21-nin azalıb, 3-nün isə sabit qalıb.

2 illik dövlət istiqrazı fyuçerslərinin (TS) əsas müqaviləsi 0,01% artdı, 5 illik dövlət istiqrazı fyuçerslərinin (TF) əsas müqaviləsi 0,01% artdı, 10 illik dövlət istiqrazı fyuçerslərinin (T) əsas müqaviləsi 0,02% artdı, 30 illik dövlət istiqrazı fyuçerslərinin (TL) əsas müqaviləsi 0,04% artdı.