verifast
Co se dozvíte v článku
verifast je nástroj určený pro formální ověřování správnosti programů v jazycích C a Java. Jedná se o proces, který využívá matematické a logické metody k ověření, že programy fungují podle specifikovaných požadavků a nedělá chyby, které by mohly vést k nežádoucím výsledkům.
Umožňuje programátorům přidávat ke kódu anotace s předpoklady a následky pomocí separační logiky, což zajišťuje, že programy splňují stanovené vlastnosti. Podporuje jak jednovláknové, tak vícevláknové aplikace.
github.com/verifast/verifast, 24.12
tarman
tarman je přenosný správce balíčků, který je navržený pro práci s tarbally a dalšími typy archivů. Řeší vcelku běžný problém, kdy někteří autoři poskytují balíčky pouze pro určité distribuce, zatímco pro ostatní je nutné ručně pracovat s archivy tar.gz.
Tento program automatizuje kroky potřebné k instalaci těchto archivů jako balíčků. Instalaci balíčků lze provádět z lokálních souborů, URL nebo repozitářů.
github.com/Alessandro-Salerno/tarman, 24.11.13
multi-gitter
multi-gitter je nástroj, který dokáže spustit skript nebo program v kontextu více gitovských repozitářů a pokud jsou provedeny změny, automaticky vytvoří pull requesty. Tyto pull requesty pak mohou být zamergeovány buď manuálně, nebo automaticky po úspěšném dokončení CI pipeline.
Nástroj poskytuje jednoduché řešení po situace, kdy potřebujete například aktualizovat závislosti napříč několika projekty.
github.com/lindell/multi-gitter, 0.54.1
rquickshare
rquickshare je nástroj, který usnadňuje sdílení souborů mezi PC a mobilními zařízeními s Androidem. Pro komunikaci využívá funkce Nearby Share a Quick Share. Nearby Share (Sdílení na blízko) je služba dostupná na všech zařízení s Androidem ve verzi 6 a novější.
Quick Share je proprietární služby dostupná pouze na zařízeních Samsung. Není tedy vyžadována instalace žádné aplikace do telefonu. Komunikace probíhá na přímo bez využití cloudu.
github.com/Martichou/rquickshare, 0.11.2
Blbinka
Firmy dnes stále častěji nahrazují lidskou podporu umělou inteligencí, aby snížily náklady a zvýšily efektivitu. Tento trend však často vede k frustraci zákazníků, kteří touží po osobním kontaktu a lidském porozumění.
ČLÁNKY DO MAILU