## PlanckForth:一个极简的Forth解释器
PlanckForth是一个有趣的项目,旨在从一个1KB的ELF二进制文件创建一个自举的Forth解释器。该项目仅使用`xxd`构建,展示了一个功能性的Forth系统如何从极其有限的起点出现。
最初,解释器直接从编译后的二进制文件运行,执行特定的字节序列。然后,它使用一个小的Forth源代码文件(`bootstrap.fs`)进行自举,从而实现更传统的Forth编程。
该项目包含示例代码,例如斐波那契数列计算器,展示了如何定义和执行词(Forth函数)。提供了一组核心的原始词,用于处理堆栈操作、算术运算、控制流和内存访问。这些原始词能够在Forth环境中定义更复杂的功能。
PlanckForth纯粹是一个自举的演示,并非用于实际用途,但它突出了Forth语言的力量和优雅。
Ghidra是由美国国家安全局开发的强大、免费且开源的软件逆向工程 (SRE) 框架。它为分析 Windows、macOS 和 Linux 上的编译代码提供了一套全面的工具,包括反汇编、反编译和脚本编写功能。Ghidra 支持多种处理器类型和可执行文件格式,可在交互式和自动化模式下运行。
用户可以通过 Java 或 Python 脚本扩展 Ghidra 的功能并开发自定义扩展。Ghidra 最初是为了解决复杂 SRE 任务中的扩展性和协作挑战而创建的,它有助于分析恶意代码并识别漏洞。
安装需要 JDK 21,并涉及下载和提取发布文件。也可以通过 GitHub 进行开发构建,需要额外的构建依赖项和工具,如 Gradle 和 Eclipse。有兴趣贡献的用户可以在项目资源中找到开发和贡献指南。**重要提示:**在使用前请注意已知的安全漏洞并查阅 Ghidra 的安全公告。
司法部正在关闭 Courtsdesk,这是一个重要的数字档案,被超过 1500 名记者用于跟踪刑事案件,尽管存在广泛反对。英国皇家法院及法庭服务处 (HMCTS) 以“未经授权的信息共享”为由,发布通知要求删除所有记录。
Courtsdesk 强调了一个重要的未报道案件问题——发现三分之二的法院经常在未通知记者的情况下举行听证会。尽管该公司提出了 16 次申诉,甚至前司法部长克里斯·菲尔普介入,政府仍拒绝重新考虑。
Courtsdesk 的创始人认为 HMCTS 自己的数据不可靠(仅有 4.2% 的准确率),并且有 160 万场听证会未被媒体知晓,这使得他们的平台对于公开司法至关重要。HMCTS 坚持媒体将继续获得法院信息,但人们仍然担心这会对报道和透明度产生影响。