Forwarded from ozkriff.games 🦀 (ozkriff🇺🇦)
# Google: Memory Safe Languages in Android 13
https://security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html
> There are approximately 1.5 million total lines of Rust code in AOSP ... To date, there have been zero memory safety vulnerabilities discovered in Android’s Rust code.
> ...
> In general, use of unsafe in Android’s Rust appears to be working as intended. It’s used rarely, and when it is used, it’s encapsulating behavior that’s easier to reason about and review for safety.
> ...
> As the amount of new memory-unsafe code entering Android has decreased, so too has the number of memory safety vulnerabilities. From 2019 to 2022 it has dropped from 76% down to 35% of Android’s total vulnerabilities. 2022 is the first year where memory safety vulnerabilities do not represent a majority of Android’s vulnerabilities.
/r/rust discussion
https://security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html
> There are approximately 1.5 million total lines of Rust code in AOSP ... To date, there have been zero memory safety vulnerabilities discovered in Android’s Rust code.
> ...
> In general, use of unsafe in Android’s Rust appears to be working as intended. It’s used rarely, and when it is used, it’s encapsulating behavior that’s easier to reason about and review for safety.
> ...
> As the amount of new memory-unsafe code entering Android has decreased, so too has the number of memory safety vulnerabilities. From 2019 to 2022 it has dropped from 76% down to 35% of Android’s total vulnerabilities. 2022 is the first year where memory safety vulnerabilities do not represent a majority of Android’s vulnerabilities.
/r/rust discussion
👍1
https://youtu.be/79x81Xai8rc милое выступление, которое позволяет не слушать добрую половину начальных лекций Бартоша Милевского про теорию категорий чтобы вкурить что туплы и варианты дуальны. И заодно получить интуицию, что на самом деле таких понятий много и это очень интересно
YouTube
Lightning Talk: Cotuple - A Trip to Category Theory and Back - Tobias Löw - CppNow 2022
CppNow Website: https://www.cppnow.org
CppNow Twitter: @CppNow
---
Lightning Talk: Cotuple - A Trip to Category Theory and Back - Tobias Löw - CppNow 2022
---
Tobias Löw presents this CppNow lightning talk on "A Trip to Category Theory and Back" at the…
CppNow Twitter: @CppNow
---
Lightning Talk: Cotuple - A Trip to Category Theory and Back - Tobias Löw - CppNow 2022
---
Tobias Löw presents this CppNow lightning talk on "A Trip to Category Theory and Back" at the…
👍1
This media is not supported in your browser
VIEW IN TELEGRAM
Клиппинг для частей уровня которые логически не должны быть видны (вылеты на краях карты, так как карта рисуется через дуальный граф, всё что не является Mud как бы вылезает за пределы карты) + добавил индикацию выделенной ячейки
https://github.com/madwareru/rl23 залил проект рогалика в гитхабы. Пока что кроме маленького крейта с форматом карт и крейта для редактора этих карт ничего более особо и нету
GitHub
GitHub - madwareru/rl23: roguelike-like game without a particular name
roguelike-like game without a particular name. Contribute to madwareru/rl23 development by creating an account on GitHub.
👍3
Forwarded from Nikita Prot
Rust Community Meetup в СПб 11 февраля
Всем привет!👋
Rust Lang Community и компания «Криптонит» приглашает разработчиков пообщаться в неформальной обстановке, послушать доклады и поделиться опытом в разных сферах разработки.
📍Где и когда?
11 февраля в 14:00 в офисе компании «Криптонит» (Санкт-Петербург, Уральская ул. 4)
К митапу можно присоединиться и online — трансляция будет на YouTube. Зарегистрируйтесь, чтобы получить ссылку.
Темы докладов:
• Илья Л., «Lady Deirdre»;
• Илья Л., «Embedded скриптовый язык»;
• Никита П., «Assembler arm64 Rust»;
• Михаил Д., «Aya-rs: самодостаточный eBPF на Rust»;
• Михаил М., «Crate config-manager: универсальное решение настройки приложения»;
• Андрей Т., «MessageBus как вариант асинхронной акторной модели с унифицированными акторами».
- - - - - - - - - - - - - - - - - - - - - -
📌Вход бесплатный. Ознакомиться с программой, докладами и зарегистрироваться на мероприятие можно по ссылке.
📌Задать вопрос по событию можно в комьюнити разработчиков Rust Lang.
Всем привет!👋
Rust Lang Community и компания «Криптонит» приглашает разработчиков пообщаться в неформальной обстановке, послушать доклады и поделиться опытом в разных сферах разработки.
📍Где и когда?
11 февраля в 14:00 в офисе компании «Криптонит» (Санкт-Петербург, Уральская ул. 4)
К митапу можно присоединиться и online — трансляция будет на YouTube. Зарегистрируйтесь, чтобы получить ссылку.
Темы докладов:
• Илья Л., «Lady Deirdre»;
• Илья Л., «Embedded скриптовый язык»;
• Никита П., «Assembler arm64 Rust»;
• Михаил Д., «Aya-rs: самодостаточный eBPF на Rust»;
• Михаил М., «Crate config-manager: универсальное решение настройки приложения»;
• Андрей Т., «MessageBus как вариант асинхронной акторной модели с унифицированными акторами».
- - - - - - - - - - - - - - - - - - - - - -
📌Вход бесплатный. Ознакомиться с программой, докладами и зарегистрироваться на мероприятие можно по ссылке.
📌Задать вопрос по событию можно в комьюнити разработчиков Rust Lang.
👍1
https://mewo2.com/notes/terrain/ интересный подход к генерации карт, натолкнул на мысли как рисовать подобные карты вручную, мне для моего проекта как раз нужно было что-то подобное
👍4