这里发现的,不知是否为原始来源:https://www.bilibili.com/video/BV1kLT46aEKC
Forwarded from Hacker News
Fable turned reMarkable into Tom Riddle's diary from Harry Potter (🔥 Score: 152+ in 3 hours)
Link: https://readhacker.news/s/6XWVz
Comments: https://readhacker.news/c/6XWVz
Link: https://readhacker.news/s/6XWVz
Comments: https://readhacker.news/c/6XWVz
GitHub
GitHub - MaximeRivest/riddle: The diary of Tom Riddle for the reMarkable Paper Pro — write with your pen, the page drinks your…
The diary of Tom Riddle for the reMarkable Paper Pro — write with your pen, the page drinks your ink and answers in a flowing hand - MaximeRivest/riddle
YuNiR:
#百合 #きみ死ぬ #きみ死ぬアニメ
「きみが死ぬまで恋をしたい」
いよいよ~ 今夜から放送開始!!
放送祝いイラスト🎉
シーナとミミ、愛の魔法
https://twitter.com/yunir4242/status/2074418283588296952
#百合 #きみ死ぬ #きみ死ぬアニメ
「きみが死ぬまで恋をしたい」
いよいよ~ 今夜から放送開始!!
放送祝いイラスト🎉
シーナとミミ、愛の魔法
https://twitter.com/yunir4242/status/2074418283588296952
❤10
Forwarded from Hacker News
Kani: A Model Checker for Rust (Score: 150+ in 20 hours)
Link: https://readhacker.news/s/6XVh4
Comments: https://readhacker.news/c/6XVh4
Link: https://readhacker.news/s/6XVh4
Comments: https://readhacker.news/c/6XVh4
arXiv.org
Kani: A Model Checker for Rust
Rust's ownership type system prevents memory errors in safe code, but certain desirable properties remain orthogonal to compilation: the soundness of unsafe operations (e.g., raw pointer...
❤1
Hacker News
Kani: A Model Checker for Rust (Score: 150+ in 20 hours) Link: https://readhacker.news/s/6XVh4 Comments: https://readhacker.news/c/6XVh4
This media is not supported in your browser
VIEW IN TELEGRAM
❤5
Forwarded from Solidot 纯净版
LineageOS 项目谈 Google 的开发者认证计划
#Android
LineageOS 项目谈论了即将生效的 Google Android 开发者认证计划对该项目意味着什么。Android 开发者认证计划意味着所有 Android 安装路径都将通过 Google 控制的基础设施,授予 Google 一个“终止开关”可封禁全球任何 Android 应用或开发者。开发者认证对 LineageOS 项目没有直接影响,但会影响到运行任何官方 ROM 的用户。因为验证开发者的基础设施是 Google Mobile Services(GMS)的一部分,而 LineageOS 默认并不提供也无计划提供 GMS。除非 LineageOS 用户选择安装包含开发者验证基础架构的 GApps 包,否则该功能不会造成任何影响。如果 Google 将该功能集成到 Play Services 中,那么 LineageOS 项目将会全局禁用该功能。
https://lineageos.org/Developer-Verification/
#Android
LineageOS 项目谈论了即将生效的 Google Android 开发者认证计划对该项目意味着什么。Android 开发者认证计划意味着所有 Android 安装路径都将通过 Google 控制的基础设施,授予 Google 一个“终止开关”可封禁全球任何 Android 应用或开发者。开发者认证对 LineageOS 项目没有直接影响,但会影响到运行任何官方 ROM 的用户。因为验证开发者的基础设施是 Google Mobile Services(GMS)的一部分,而 LineageOS 默认并不提供也无计划提供 GMS。除非 LineageOS 用户选择安装包含开发者验证基础架构的 GApps 包,否则该功能不会造成任何影响。如果 Google 将该功能集成到 Play Services 中,那么 LineageOS 项目将会全局禁用该功能。
https://lineageos.org/Developer-Verification/