Please provide the content you want me to translate. I need the text to be able to translate it to Chinese. Just paste it here, and I will give you the Chinese translation.
Please provide the content you want me to translate. I need the text to be able to translate it to Chinese. Just paste it here, and I will give you the Chinese translation.
## Bob 项目更新:Scheme 到 WebAssembly
开源项目 Bob,一套用 Python 实现的 Scheme 语言工具集,最近庆祝了它的 15 周年。最初创建 Bob 是为了探索字节码虚拟机,现在它包含了 Python 和 C++ 中的解释器、编译器和虚拟机。开发者最近添加了一个新的编译器,能够将 Scheme 直接编译到 WebAssembly (WASM)。
此举旨在解决将具有垃圾回收和闭包等特性的高级语言编译到 WASM 的复杂性,并获得使用 WASM GC 扩展的实践经验。该项目成功地在 WASM 环境中表示 Scheme 对象,如对、布尔值和符号,利用 WASM GC 进行内存管理,并使用线性内存进行字符串表示。
主要挑战包括实现 `write` 函数,以便在 WASM 文本中直接输出 Scheme 值,最终借助了 AI 的帮助。WASM 编译器依赖于两个宿主函数进行基本输出,保持核心逻辑自包含。生成的编译器大约有 1000 行代码(其中很大一部分是生成的 WASM 文本),提供了一个关于实际代码发射到 WASM 的良好示例。
一项对85项研究的新回顾表明,就大脑健康而言,并非所有坐姿都是一样的。研究人员区分了“主动式”坐姿——例如阅读、玩牌或使用电脑——和“被动式”坐姿,例如看电视。
虽然*总*坐姿时间与认知能力下降有关,但“主动式”坐姿却显示出与认知功能有压倒性的*积极*关联,改善了记忆力和执行功能。相反,“被动式”坐姿始终与*负面*结果相关,包括更高的痴呆症风险。
关键区别在于精神参与度;主动式坐姿刺激大脑,而被动式坐姿则不然。研究人员希望这一发现能将健康建议从简单地“少坐”转变为鼓励在*坐着*时进行精神刺激活动,从而提供一种现实的方式来支持长期的脑部健康并可能降低痴呆症风险。锻炼仍然至关重要,但大脑锻炼并不总是意味着站起来活动。
即使您的设备不在列表中,我们建议您保持设备更新,以确保其免受最新的安全漏洞影响。 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 查看详情 由于伦理考量和潜在滥用风险,WhisperPair的实现并未公开提供。 请联系我们以获取测试工具,我们可以根据要求私下发布。 这项工作得到了弗拉芒政府通过网络安全研究项目,项目编号为:VOEWICS02的支持。
Mintlify 现在支持“技能”——具体来说是 `skill.md` 文件——以提高 AI 代理使用您的文档时的性能。该文件位于 `/.well-known/skills/default/skill.md`,为 Claude Code 和 Cursor 等代理提供关于您的产品、最佳实践、限制和特定配置的简洁、最新的信息。 Mintlify 会在每次文档更新时自动生成此文件,确保代理拥有最新的上下文。用户可以自定义 `skill.md` 以反映他们的偏好并解决常见的代理错误。这种方法取代了先前宣布的 `install.md`,成为传递安装 *和* 使用知识的更有效方式。 主要好处是提高了代码生成质量。虽然代理可以访问完整的文档,但它们难以处理以人为中心的内容结构和长度。`skill.md` 整合了关键信息,使用决策表和明确的边界等格式来有效地指导代理。它为 AI 提供的是“作弊单”,而不是对全面文档的替代。 Mintlify 鼓励用户复制生成的 `skill.md` 并添加个性化注释,以随着时间的推移改进代理的理解。
## OpenFGA动态授权规划器:降低尾部延迟
OpenFGA是一个开源授权系统,致力于解决其核心“检查”操作(确定访问权限)中的尾部延迟问题——最慢请求的响应时间。这需要高效的图遍历,但最佳遍历策略因数据分布而异。
最初,OpenFGA使用基于图复杂度的静态策略选择,但这种方法缺乏灵活性。为了解决这个问题,开发了一种动态自调整规划器,使用了**汤普森采样**,一种强化学习技术。该规划器从实时生产延迟中学习,独立对待每个图节点并应用最有效的策略。
汤普森采样通过维护每个策略性能的概率分布,来平衡**探索**(尝试新策略)和**利用**(使用已证明的策略)。重要的是,系统使用精心调整的“先验”进行初始化——编码基于子图结构的预期性能的领域知识,从而实现快速收敛。
部署到Auth0 FGA显示出显著的改进,复杂模型的P99延迟降低高达98%。该规划器甚至识别出原始逻辑仍然是最优的情况,证明了其对各种现实世界数据的适应性。这种方法提供了一个更强大、性能更高的授权系统,使OpenFGA用户和更广泛的社区受益。
Hugging Face
模型
数据集
Spaces
社区
文档
企业
定价
登录
注册
Linum-AI 的 Collections
Linum v2 (2B, text-to-video)
Linum v2 (2B, text-to-video)
更新于 3 小时前
360p 或 720p, 2-5 秒, Apache 2.0
赞
1
Linum-AI/linum-v2-360p
文本到视频
更新于 2 天前
3
Linum-AI/linum-v2-720p
文本到视频
更新于 3 天前
2
赞
1
分享 Collection
查看历史
Collection 指南
浏览 Collections
系统主题
公司
使用条款
隐私
关于
招聘
网站
模型
数据集
Spaces
定价
文档
## Lyft 自行车破解:一个夏季项目
这记录了2019年对 Lyft 自行车共享系统的一次引人入胜(且已道德披露)的安全探索。作者因自行车丢失而感到沮丧,逆向工程了 Lyft 的 iOS 应用 API,以远程解锁自行车。这包括使用 Charles Proxy 等工具拦截和解密网络流量,使用自定义证书克服 SSL 加密,并最终利用一个漏洞。
核心挑战是绕过地理围栏并获取有效的自行车 ID。由于无法直接检索 ID,作者采用了一种暴力破解方法,最初需要数小时,但使用 `aiohttp` 的异步请求优化到约 15 秒。这使得远程解锁自行车成为可能,甚至发现了一个允许同时解锁的错误。
在被 Lyft 实习生发现后,作者通过 HackerOne 负责任地披露了这些发现。尽管最初对暴力破解方法有所担忧,但 Lyft 还是为该报告奖励了 500 美元的赏金,以表彰该漏洞。
这次经历突出了逆向工程的力量、负责任披露的重要性,以及隐藏在看似物理系统中的令人惊讶的数字接口。Lyft 随后修补了这些漏洞并推出了自行车预订功能,从而使这些技术过时了。
这篇帖子详细描述了对通过SSH运行的高性能游戏进行的性能调查。初步分析显示,停止游戏数据传输后,CPU使用率下降了50%——出乎意料地不是100%。`tcpdump`分析显示,即使在用户输入很少的情况下,也存在大量36字节的数据包(约90/秒),这让作者和Claude Code感到困惑。
根本原因被发现是SSH在2023年添加的按键时序混淆功能,旨在通过在按键输入的同时发送“ chaff”数据包(SSH2_MSG_PING)来增强隐私。对于低延迟游戏来说,这种开销很大。客户端禁用混淆功能可以提高性能,但对最终用户来说不是理想选择。
解决方案是通过fork Go的crypto库,并撤销添加触发混淆功能的扩展,从而减少了超过50%的CPU占用并节省了带宽。作者强调了使用像Claude Code这样的LLM进行调试的价值,同时也承认了它们的局限性以及对人类直觉的需求。这次经历强调了理解网络流量以及SSH等核心协议不断演化的功能的重要性。