#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.