#rustjerk
trait Rope {
fn _____________<U>(_: Self, _: U) where Self: Sized {}
}
struct T;
impl Rope for T {}
fn tug_o_war(_: impl Fn(T, T)) {}
fn main() {
tug_o_war(<T>::_____________::<T>);
}
https://www.reddit.com/r/rustjerk/comments/twqkux/fish_fight/reddit
Fish Fight
trait Rope { fn _____________<U>(_: Self, _: U) where Self: Sized {} } struct T; impl Rope for T {} fn tug_o_war(_:...
Forwarded from 每日 AWESOME 观察
space-thumbnails
Windows 下 3D 模型文件没有缩略图，很难收纳管理。用 Rust 写了个 Shell 插件能够支持常用的 3D 模型格式的缩略图预览。
用 msi 打包，可以干净的安装卸载，欢迎有需求的下载使用
Windows 下 3D 模型文件没有缩略图，很难收纳管理。用 Rust 写了个 Shell 插件能够支持常用的 3D 模型格式的缩略图预览。
用 msi 打包，可以干净的安装卸载，欢迎有需求的下载使用
👍6
Forwarded from Hacker News
A single memory is stored across many connected brain regions (Score: 150+ in 11 hours)
Link: https://readhacker.news/s/5bW7r
Comments: https://readhacker.news/c/5bW7r
Link: https://readhacker.news/s/5bW7r
Comments: https://readhacker.news/c/5bW7r
MIT News
A single memory is stored across many connected brain regions
The mammalian brain stores a single memory across a widely distributed, functionally connected complex spanning many brain regions, rather than in just one or even a few places.
给 Rust 用的轻量级形式化验证工具 Kani 现已发布
https://model-checking.github.io/kani-verifier-blog/2022/05/04/announcing-the-kani-rust-verifier-project.html
它是カニ 🦀
https://model-checking.github.io/kani-verifier-blog/2022/05/04/announcing-the-kani-rust-verifier-project.html
它是カニ 🦀
Kani Rust Verifier Blog
Announcing the Kani Rust Verifier Project
The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project.
Forwarded from Iyouport
Hive Systems 称，黑客可以在不到一小时内暴力破解一个八字符的密码 ——
在最近公布的一项新研究中，这家安全风险服务公司表示，任何少于七个字符的密码都可以 “立即” 被暴力破解。
研究结果表明，与两年前相比，更容易获得和负担得起的云计算服务使破解密码变得更加简单，当时该公司显示，一个相对强大的8个字符的密码在8小时内就可以破解。
Hive 表示，密码管理器是保护密码的最佳选择，该公司还发现，一个由密码管理器创建的12个字符的密码可能需要大约3000年才能被暴力破解。Hive 还公布了一个密码表，其中包括其对密码字符组合及其对暴力破解的脆弱性的研究结果。
📌关于密码管理器的选择方法和利弊，在这里看到。
#Security #selfdefence
在最近公布的一项新研究中，这家安全风险服务公司表示，任何少于七个字符的密码都可以 “立即” 被暴力破解。
研究结果表明，与两年前相比，更容易获得和负担得起的云计算服务使破解密码变得更加简单，当时该公司显示，一个相对强大的8个字符的密码在8小时内就可以破解。
Hive 表示，密码管理器是保护密码的最佳选择，该公司还发现，一个由密码管理器创建的12个字符的密码可能需要大约3000年才能被暴力破解。Hive 还公布了一个密码表，其中包括其对密码字符组合及其对暴力破解的脆弱性的研究结果。
📌关于密码管理器的选择方法和利弊，在这里看到。
#Security #selfdefence