Forwarded from Solidot
NSA 公布逆向工程框架 Ghidra
NSA 正式开源了它开发的软件逆向工程框架 Ghidra，下载地址屏蔽了中国 IP，但用代理很容易绕过。Ghidra 可用于分析恶意代码和病毒等恶意程序，帮助网络安全专业人士更好的理解其网络和系统的漏洞。Ghidra 能运行在 Windows、Mac OS 和 Linux 上，支持多种处理器指令集，包含了你预计会在高端商业工具看到的所有功能。源代码托管在 Github 上，采用 Apache License 2.0 许可证。Media
https://www.solidot.org/story?sid=59786
NSA 正式开源了它开发的软件逆向工程框架 Ghidra，下载地址屏蔽了中国 IP，但用代理很容易绕过。Ghidra 可用于分析恶意代码和病毒等恶意程序，帮助网络安全专业人士更好的理解其网络和系统的漏洞。Ghidra 能运行在 Windows、Mac OS 和 Linux 上，支持多种处理器指令集，包含了你预计会在高端商业工具看到的所有功能。源代码托管在 Github 上，采用 Apache License 2.0 许可证。Media
https://www.solidot.org/story?sid=59786
Forwarded from Rust 视界
Oxide：无限接近Rust所有权模型本质的形式化语义
#rust
Rust是工业编程语言的一个重大进步，它重点是弥合了底层系统编程和高级应用程序编程之间的鸿沟。但目前Rust编程的缺点是缺乏一个用于证明Rust程序的有效工具，之前也有很多类似的工作但是不太理想。
本论文展示了Oxide了形式化语义，重新使用类型系统构建了Rust所有权和借用这个核心机制，来推理Rust的行为，并且希望研究人员能将其作为Rust工作的基础。
[氧化：Rust的本质（Oxide: The Essence of Rust）](https://arxiv.org/abs/1903.00982)
Arxiv平台Rust相关论文整理：
- [Rust在安全领域的应用： Angora: Efficient Fuzzing by Principled Search](https://arxiv.org/abs/1803.01307)
- [Rust实现的Tsetlin Machine]( https://github.com/KhaledSharif/TsetlinMachine)
- [Tsetlin Machine 对模式识别优化的论文地址](https://arxiv.org/abs/1804.01508)
- [Rust加密API的可用性如何？](https://arxiv.org/pdf/1806.04929.pdf)
- [使用Javascript安全地管理Rust数据的生命周期](https://arxiv.org/pdf/1807.00067.pdf)
- [优化编译器的未来方向](https://arxiv.org/pdf/1809.02161.pdf)
- [Mesh：可避免灾难性内存碎片的内存分配器](https://arxiv.org/abs/1902.04738)
#rust
Rust是工业编程语言的一个重大进步，它重点是弥合了底层系统编程和高级应用程序编程之间的鸿沟。但目前Rust编程的缺点是缺乏一个用于证明Rust程序的有效工具，之前也有很多类似的工作但是不太理想。
本论文展示了Oxide了形式化语义，重新使用类型系统构建了Rust所有权和借用这个核心机制，来推理Rust的行为，并且希望研究人员能将其作为Rust工作的基础。
[氧化：Rust的本质（Oxide: The Essence of Rust）](https://arxiv.org/abs/1903.00982)
Arxiv平台Rust相关论文整理：
- [Rust在安全领域的应用： Angora: Efficient Fuzzing by Principled Search](https://arxiv.org/abs/1803.01307)
- [Rust实现的Tsetlin Machine]( https://github.com/KhaledSharif/TsetlinMachine)
- [Tsetlin Machine 对模式识别优化的论文地址](https://arxiv.org/abs/1804.01508)
- [Rust加密API的可用性如何？](https://arxiv.org/pdf/1806.04929.pdf)
- [使用Javascript安全地管理Rust数据的生命周期](https://arxiv.org/pdf/1807.00067.pdf)
- [优化编译器的未来方向](https://arxiv.org/pdf/1809.02161.pdf)
- [Mesh：可避免灾难性内存碎片的内存分配器](https://arxiv.org/abs/1902.04738)
arXiv.org
Oxide: The Essence of Rust
Rust claims to advance industrial programming by bridging the gap between low-level systems programming and high-level application programming. At the heart of the argument that this enables...
Forwarded from 钉子刷屏 (Dimpurr Cheny)
愿望总是合理存在的、并且总是会被实现的，但是不是在眼前马上，所以大胆的想象并去做好准备。#principle
能拨开眼前困难的迷雾想象自己的远方的人，我们称他能使未来清晰；能拨开社会浮躁的迷雾想象时代发展的远方的人，我们称他具有远见和洞察力；能拨开人类文明阶段的迷雾想象历史的远方的人，我们称他先知者和先驱者。
不能只聚焦于眼前的困难，悲伤困扰于无法马上解决，而因此永远被当下困扰，永远不会为未来做好准备而陷入恶性循环、缺乏跳脱和长远发展的力量。
能拨开眼前困难的迷雾想象自己的远方的人，我们称他能使未来清晰；能拨开社会浮躁的迷雾想象时代发展的远方的人，我们称他具有远见和洞察力；能拨开人类文明阶段的迷雾想象历史的远方的人，我们称他先知者和先驱者。
不能只聚焦于眼前的困难，悲伤困扰于无法马上解决，而因此永远被当下困扰，永远不会为未来做好准备而陷入恶性循环、缺乏跳脱和长远发展的力量。
Forwarded from 钉子刷屏 (Dimpurr Cheny)
高中的时候我们经常拿「X神心情不好就刷几道数学题放松一下，这才是真正的 dalao」开玩笑。
但是「心情不好所以不想工作/做正事」其实根本就没有逻辑必然性，为什么就不能把「心情不好时能让自己重新获得意义感的工作」作为事业？
但是「心情不好所以不想工作/做正事」其实根本就没有逻辑必然性，为什么就不能把「心情不好时能让自己重新获得意义感的工作」作为事业？
Forwarded from 钉子刷屏 (Dimpurr Cheny)
另一个玩笑就是「X神高考后仍欲求不满，花了几天把剩下的30套模拟卷都写完了」。
事实上，如果一个人内心永远都是「工作不要再来了、下一个任务不要再来了」，显然这样的工作是不会成为事业的吧。所谓事业，就是想飞速的做完手头的事情、然后迎接下一个激动人心的挑战啊。
事实上，如果一个人内心永远都是「工作不要再来了、下一个任务不要再来了」，显然这样的工作是不会成为事业的吧。所谓事业，就是想飞速的做完手头的事情、然后迎接下一个激动人心的挑战啊。
Forwarded from Solidot
最好的匿名操作系统
安全研究员 David Balaban 对比了五个匿名操作系统：Tails OS，Whonix，Kodachi，Qubes 和 Subgraph，分析了各个系统的优缺点。Qubes 和 Subgraph 都是隔离应用来实现安全，它们其实不是为匿名设计的。Tails OS 基于 Debian，所有流量都经过 Tor，设计作为 Live CD 或 Live USB 使用，不在主系统留下痕迹，会话结束之后所有痕迹就抹掉了，它不适合作为一个永久性的操作系统使用。Whonix 也是基于 Debian，通过 VirtualBox 和 Tor 实现匿名，内置了大量应用，但不具有可携性，硬件需要也比较高。Kodachi 基于 Debian，通过 VPN 和 Tor 实现匿名，硬件需求不高，作者认为它是目前最好的匿名操作系统。Media
https://www.solidot.org/story?sid=59846
安全研究员 David Balaban 对比了五个匿名操作系统：Tails OS，Whonix，Kodachi，Qubes 和 Subgraph，分析了各个系统的优缺点。Qubes 和 Subgraph 都是隔离应用来实现安全，它们其实不是为匿名设计的。Tails OS 基于 Debian，所有流量都经过 Tor，设计作为 Live CD 或 Live USB 使用，不在主系统留下痕迹，会话结束之后所有痕迹就抹掉了，它不适合作为一个永久性的操作系统使用。Whonix 也是基于 Debian，通过 VirtualBox 和 Tor 实现匿名，内置了大量应用，但不具有可携性，硬件需要也比较高。Kodachi 基于 Debian，通过 VPN 和 Tor 实现匿名，硬件需求不高，作者认为它是目前最好的匿名操作系统。Media
https://www.solidot.org/story?sid=59846