Друзі, привіт! Ми з'ясували, що з попередньої конференції не всі доповіді ще були оприлюднено! Що ж - виправляємось і тепер поновлюємо щотижневу рубрику, щоб цінний досвід наших спікерів був переданий ширшій аудиторії. Сьогодні на черзі:
🔸 Доповідь з UA Rust Conference 2024 - "Trustfall: a foundation for next-gen developer tools" від Predrag Gruevski. 🔸
У цій доповіді Predrag представляє Trustfall - універсальний механізм запитів, який вирішує ключові проблеми інструментів розробки.
У доповіді: ◾️ Визначення інструментів розробника та їх вимоги. ◾️ Проблеми, пов'язані з підтримкою семантичного версіонування в Rust, та як cargo-semver-checks їх виявляє. ◾️ Технічні труднощі розробки лінтерів ◾️ Як Trustfall моделює дані і дозволяє писати декларативні запити для вирішення проблем. ◾️ Демонстрація запитів Trustfall на прикладі виявлення видалених публічних функцій. ◾️ Переваги Trustfall: легкість написання та підтримки лінтів, автоматична оптимізація та висока продуктивність.
Дивіться відео за посиланням, та ставте вподобайки! 🎥🔥
Друзі, привіт! Ми з'ясували, що з попередньої конференції не всі доповіді ще були оприлюднено! Що ж - виправляємось і тепер поновлюємо щотижневу рубрику, щоб цінний досвід наших спікерів був переданий ширшій аудиторії. Сьогодні на черзі:
🔸 Доповідь з UA Rust Conference 2024 - "Trustfall: a foundation for next-gen developer tools" від Predrag Gruevski. 🔸
У цій доповіді Predrag представляє Trustfall - універсальний механізм запитів, який вирішує ключові проблеми інструментів розробки.
У доповіді: ◾️ Визначення інструментів розробника та їх вимоги. ◾️ Проблеми, пов'язані з підтримкою семантичного версіонування в Rust, та як cargo-semver-checks їх виявляє. ◾️ Технічні труднощі розробки лінтерів ◾️ Як Trustfall моделює дані і дозволяє писати декларативні запити для вирішення проблем. ◾️ Демонстрація запитів Trustfall на прикладі виявлення видалених публічних функцій. ◾️ Переваги Trustfall: легкість написання та підтримки лінтів, автоматична оптимізація та висока продуктивність.
Дивіться відео за посиланням, та ставте вподобайки! 🎥🔥
In the “Bear Market Screaming Therapy Group” on Telegram, members are only allowed to post voice notes of themselves screaming. Anything else will result in an instant ban from the group, which currently has about 75 members. There have been several contributions to the group with members posting voice notes of screaming, yelling, groaning, and wailing in different rhythms and pitches. Calling out the “degenerate” community or the crypto obsessives that engage in high-risk trading, Co-founder of NFT renting protocol Rentable World emiliano.eth shared this group on his Twitter. He wrote: “hey degen, are you stressed? Just let it out all out. Voice only tg channel for screaming”. Users are more open to new information on workdays rather than weekends. During a meeting with the president of the Supreme Electoral Court (TSE) on June 6, Telegram's Vice President Ilya Perekopsky announced the initiatives. According to the executive, Brazil is the first country in the world where Telegram is introducing the features, which could be expanded to other countries facing threats to democracy through the dissemination of false content. best-secure-messaging-apps-shutterstock-1892950018.jpg
from us
