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
冷知识：Internet Archive 里面有所有上传到 CKAN 的 KSP Mod
https://archive.org/details/kspckanmods
https://archive.org/details/kspckanmods
archive.org
KSP CKAN Mods : Free Software : Free Download, Borrow and Streaming : Internet Archive
The CKAN is a metadata repository and associated tools to allow you to find, install, and manage mods for Kerbal Space Program. It provides strong assurances that mods are installed in the way prescribed by their metadata files, for the correct version of…
👍4🥰2
Forwarded from 竹新社
俄罗斯将撤出国际空间站运作，但会按照原本承诺，继续维护国际空间站至2024年，并在撤出前提前一年通知其他参与方。
俄罗斯联邦航天局局长德米特里·罗戈津在接受电视采访时作出上述表态。罗戈津强调，俄罗斯没有义务给出具体撤出的时间，但会遵守以前做出的维持国际空间站运转的承诺。罗戈津还称，俄罗斯在国际空间站上的运作情况取决于俄罗斯政府和总统普京，也取决于俄罗斯自己开发的空间站的进度。
罗戈津本月早先称西方对俄航天工业的制裁会对国际空间站造成影响，并威胁西方国家解除制裁，否则就将撤出国际空间站。俄罗斯联邦航天局也就这一问题向美国NASA、欧洲航天局、加拿大航天局发函。美国和加拿大方面认为当前的首要任务是保障国际空间站能安全运转。NASA则称美国现有对俄制裁不会影响国际空间站的运转。
（塔斯社，国际文传电讯社，彭博社）
俄罗斯联邦航天局局长德米特里·罗戈津在接受电视采访时作出上述表态。罗戈津强调，俄罗斯没有义务给出具体撤出的时间，但会遵守以前做出的维持国际空间站运转的承诺。罗戈津还称，俄罗斯在国际空间站上的运作情况取决于俄罗斯政府和总统普京，也取决于俄罗斯自己开发的空间站的进度。
罗戈津本月早先称西方对俄航天工业的制裁会对国际空间站造成影响，并威胁西方国家解除制裁，否则就将撤出国际空间站。俄罗斯联邦航天局也就这一问题向美国NASA、欧洲航天局、加拿大航天局发函。美国和加拿大方面认为当前的首要任务是保障国际空间站能安全运转。NASA则称美国现有对俄制裁不会影响国际空间站的运转。
（塔斯社，国际文传电讯社，彭博社）
😢5👏2
不，请不要让 JavaScript 出现在更多他不需要出现的地方了。你用什么语言写脚本都好——Lua, Python, Ruby, WebAssembly, 哪怕是 Lisp 都可以——但是真的不要用 JS 了谢谢。
😁15🤔3👍2
Forwarded from Hacker News
JavaScript Containers (Score: 150+ in 1 day)
Link: https://readhacker.news/s/5c2VG
Comments: https://readhacker.news/c/5c2VG
Link: https://readhacker.news/s/5c2VG
Comments: https://readhacker.news/c/5c2VG
tinyclouds.org
JavaScript Containers
The majority of server programs are Linux programs. They consist of a file system, some executable files, maybe some shared libraries, they probably
interface with system software like systemd or nsswitch.
interface with system software like systemd or nsswitch.