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/
管理和频道主 Mentioned!
https://blog.rust-lang.org/inside-rust/2026/07/07/maintainer-spotlight-gen-li-rami3l
https://blog.rust-lang.org/inside-rust/2026/07/07/maintainer-spotlight-gen-li-rami3l
In 2019, my friend @lynzrand introduced me to this cool new language that he has been playing with
blog.rust-lang.org
Maintainer spotlight: Gen Li (@rami3l) | Inside Rust Blog
Want to follow along with Rust development? Curious how you might get involved? Take a look!
🔥15🥰7🎉3👨💻1
Forwarded from Solidot 纯净版
LG 显示器静默安装 Windows 广告程序
#商业
Reddit 用户报告 LG 显示器会静默安装 Windows 广告程序。而戴尔和 Alienware 显示器被发现也存在类似的行为。分析发现，LG 显示器会通过 Microsoft Store 和 Windows Update 自动安装名为 LG Monitor App Installer 的安装程序，LG Monitor App 会开机启动，会弹出广告，比如将用户导向迈克菲的杀毒软件。LG Monitor App 无法通过 Microsoft Store 卸载，阻止其弹出广告的方法是禁止其开机启动（位于 设置>应用>启动 中）。而禁止显示器自动安装程序的方法是干脆完全禁用 Microsoft Store。
https://www.techspot.com/news/113031-lg-alienware-monitors-caught-auto-installing-windows-adware.html
https://www.reddit.com/r/pcmasterrace/comments/1uk7v0v/windows_update_silently_installed_lg_bloatware/
#商业
Reddit 用户报告 LG 显示器会静默安装 Windows 广告程序。而戴尔和 Alienware 显示器被发现也存在类似的行为。分析发现，LG 显示器会通过 Microsoft Store 和 Windows Update 自动安装名为 LG Monitor App Installer 的安装程序，LG Monitor App 会开机启动，会弹出广告，比如将用户导向迈克菲的杀毒软件。LG Monitor App 无法通过 Microsoft Store 卸载，阻止其弹出广告的方法是禁止其开机启动（位于 设置>应用>启动 中）。而禁止显示器自动安装程序的方法是干脆完全禁用 Microsoft Store。
https://www.techspot.com/news/113031-lg-alienware-monitors-caught-auto-installing-windows-adware.html
https://www.reddit.com/r/pcmasterrace/comments/1uk7v0v/windows_update_silently_installed_lg_bloatware/
💩10
儿歌大王果然是儿歌大王
https://www.bilibili.com/video/BV14YTn6dEjr
https://www.bilibili.com/video/BV14YTn6dEjr
Bilibili
🥳kkr：梦限大ed⭐ゆめみた【夢ノ結唱 HALO】_哔哩哔哩_bilibili
基于：Synthesizer V 夢ノ結唱 halo rose星夜调出梦限大ed, 视频播放量 79317、弹幕量 193、点赞数 14676、投硬币枚数 1504、收藏人数 4423、转发人数 2747, 视频作者 活跃黑江乐, 作者简介 曾用名：活跃多语黑江乐~ fans群:913369718 欢迎来玩！一起Happy Lucky Smile Yeah！，相关视频：ksm也要唱小资历ed！【夢ノ結唱 POPY】うちゅうのふしぎ-梦限大MewType【Synthesizer V Cover】，ykn也要唱小资历ed！【夢ノ結唱…
Forwarded from Hacker News
Rewriting Bun in Rust (🔥 Score: 159+ in 2 hours)
Link: https://readhacker.news/s/6Y7iX
Comments: https://readhacker.news/c/6Y7iX
Link: https://readhacker.news/s/6Y7iX
Comments: https://readhacker.news/c/6Y7iX
Bun
Rewriting Bun in Rust
Why & how we rewrote Bun from Zig to Rust
Forwarded from Hacker News
My Thoughts on the Bun Rust Rewrite (🔥 Score: 172+ in 2 hours)
Link: https://readhacker.news/s/6Y94J
Comments: https://readhacker.news/c/6Y94J
Link: https://readhacker.news/s/6Y94J
Comments: https://readhacker.news/c/6Y94J