最新

亲爱的HN社区！期待听到您对ACE（保证机密执行）技术的反馈，该技术为嵌入式RISC-V系统实现了基于虚拟机的可信执行环境（TEE），重点关注形式验证和可审计的固件。我们的目标是高保障系统，这些系统可以从隔离和硬件支持的隔离中受益。关键组件称为安全监控器（固件），采用Rust语言实现。形式规范直接在代码中作为注释定义，并通过RefinedRust自动化工具转换为Coq。ACE设计现已成为RISC-V机密虚拟机扩展（CoVE）规范的一部分（部署模型3）。

我制作了布莱恩·约翰逊的脑健康蓝图，旨在帮助你实现每日的最佳生产力。 以下是其工作原理： 1) 我们会获取你生活的快照——连接你的手机数据、日历以及可穿戴设备的生物标志数据，并回答一些标准化的问题。 2) 心理学家会审核你的数据。 3) 你将获得一份完整的脑健康快照——以及个性化的行动计划。 我之所以构建这个系统，主要是因为作为一名前国家柔道队运动员，我亲眼见证了顶尖表现需要在身体和心理上都处于前1%的水平——改善我的脑健康、睡眠习惯、应对压力等方面帮助我显著提升了表现。 我们目前处于早期访问阶段，位于旧金山，主要与运动员和创始团队合作。

我大约一个月前发布了一条关于Mind Jam如何进行情感分析的消息……现在，Mind Jam彻底打破了YouTube创作者的语言障碍。 如果你是一位拥有国际观众的创作者，你一定知道这个问题：你只能理解和回复你会说的语言的评论。对我们大多数人来说，这意味着要忽视50%到80%的观众。 我们现在可以自动将任何语言的评论翻译成英语，并对所有内容进行情感分析。我们在多语言频道上进行了测试，创作者们突然能够看到每一个反应、笑话、问题和批评。 这里有一个西班牙语iPhone视频的演示链接：[https://mind-jam.co.uk/analysis/dvsfPTAfGzM?utm_source=hackernews&utm_medium=post&utm_campaign=translations&utm_term=translations](https://mind-jam.co.uk/analysis/dvsfPTAfGzM?utm_source=hackernews&utm_medium=post&utm_campaign=translations&utm_term=translations) 在我们进行BETA测试期间，我们已将此功能免费提供给所有创作者。只需在这里给我发消息，申请访问权限或在网站上请求演示。