🛠 Červencová nejnovější aktualizace vývojářů – budování jádra Tau Net's TestNet Alpha Tým se posunul dále směrem k TestNet Alpha dokončením vytváření bloků, zlepšením výkonu analýzy a vývojem nových algoritmů pro normalizaci vzorců. Zvýrazňuje: - TestNet Alpha: Dokončeno vytváření bloků, propojování a kořenové úložiště Merkle - SAT Solver: Migrace ze Z3 na CVC5 odemkla lepší normalizaci a uspokojivost - Parsovací engine: 60% zvýšení výkonu + potenciální nový patent na analýzu - Jazykový výzkum a vývoj: Anti-prenexing normalizace a eliminace booleovských kvantifikátorů připravena. Ohad procházel nejnovější články o temporální logice. Tau Net a $AGRS zůstávají daleko před současným akademickým pokrokem v oboru. Časová razítka: 00:12 – Karimovo shrnutí 03:48 – David (hlavní vývojář) - Úspěšně přešel ze Z3 na CVC5, čímž se zlepšil celkový výkon řešitele. - Dokončená práce na modulech normalizace, splnitelnosti a tlumočníka s CVC5. - Implementován Ohadem navrhovaný přístup k odložení doslovného rozlišení pro bitové vektorové rovnice. - Pomáhal Umarovi s revizemi kódu a laděním. 05:36 – Lucca (vývojář jazyka Tau) - Vyvinul počáteční specifikaci algoritmu pro eliminaci kvantifikátorů funkcí pro použití v tabulkové funkci Tau. - Integroval jsem jej do algoritmu normalizace anti-prenexing pro zpracování vzorců, na které se CVC5 nevztahuje. - Příprava na implementaci tohoto algoritmu nyní, když je pseudokód dokončen. - Začal používat Tomášovu novou implementaci stromu a pomáhal při řešení jeho závěrečných problémů. 08:30 – Andrei Korotkoff (hlavní vývojář) - Dokončení milníku testovací sítě alfa pro produkci a ukládání bloků, včetně práce s mempoolem, propojování bloků, výpočtů Merkle root a perzistence databáze. - Tato práce pokládá základy pro další milník: trvalý stav řetězu založený na historii bloků. - Vyvinul komplexní nástroj pro zátěžové testování pro simulaci chování tlumočníka Tau a dynamiky blockchainu v bodové revizi. 11:20 - Tomáš Klapka (Senior Developer) - Opraveno několik problémů způsobených přepínačem stromu, včetně zpracování negace, gramatických překlepů a chyb odvození typu. - Refaktorovali knihovnu analyzátoru tak, aby byla pouze hlavičková. - Byla vytvořena podpora Dockeru a noční vydání pro nástroj TGF a analyzátor. - Aktualizován jazyk Tau tak, aby integroval vylepšený analyzátor. 12:26 - Ohad (zakladatel a technický ředitel) - Zaměřeno na návrh nového algoritmu a týmovou spolupráci. - Prozkoumal jazyky nezávislé na doméně s cílem zlepšit rozhodovací postupy. - Přezkoumal nedávné akademické práce o temporální logice a potvrdil, že Tau je stále před současným výzkumem.