CHERIoT RTOS的调度器从传统的固定周期计时器中断模式转变为无计时器模型,旨在提高性能和降低功耗。新模型计算下一次调度决策的时间并设置计时器中断,仅在必要时唤醒CPU。此外,thread_sleep API被重构为区分“yield”和“sleep”,允许线程在更短的时间内放弃CPU,从而进一步提高了系统效率。
这篇文章探讨了 Ruby 代码中常见的五个问题,并提供了如何将这些问题转化为惯用写法的建议。文章首先强调了使用 Rubocop 和 Ruby 惯用写法来减少代码差异的重要性。然后,文章深入探讨了五个具体问题:冗长、检测 nil 的长表达式、过度使用 self、在临时变量中收集结果以及在内存中排序和过滤。对于每个问题,文章都提供了示例代码来说明问题,并展示了更简洁、更高效的解决方案。
文章介绍了纽约格林威治村一家名为Caffe Reggio的咖啡馆,该咖啡馆以其1903年的古董浓缩咖啡机而闻名。这台机器是店主Dominic Parisi用毕生积蓄从意大利购买的,对他来说意义非凡。Caffe Reggio咖啡馆本身也充满了历史韵味,拥有16世纪的绘画作品和美第奇家族的古董长椅等古董。
自去年发生一起行人被无人驾驶车辆拖拽的事件以来,通用汽车支持的Cruise公司首次恢复了自动驾驶汽车的道路测试。该公司目前在亚利桑那州凤凰城部署了两辆配备安全驾驶员的自动驾驶汽车,并计划逐步扩大服务范围。Cruise此次谨慎回归道路测试,旨在向监管机构展示其对安全和信任的重视。
本文作者反思了自己对iPad的看法,从最初认为iPad是“精神上的失败品”,到如今将其视为集娱乐和工作于一体的“瑞士军刀”。作者发现,iPad可以作为外部显示器,满足了工作需求,同时也能用于漫画、绘画、视频等娱乐活动,避免了无休止地刷手机。尽管iPad还有提升空间,但在作者的设置下,它已经成为一个既有趣又实用的工具。
本文介绍了如何使用Bytewax和Proton实时分析Hacker News数据。Bytewax用于构建自定义输入连接器,从Hacker News API获取最新数据,并进行数据处理和转换。Proton则用于实时分析和可视化数据,通过SQL查询创建物化视图和Grafana仪表板,展示趋势帖子和活跃评论者等信息。
微软 Edge 浏览器正在进行一系列改进,旨在提升用户界面的响应速度。通过分析用户数据,微软发现 Edge 浏览器在低资源设备上的响应速度有待提升。为此,微软推出内部项目 WebUI 2.0,采用全新的标记优先架构,减少代码包大小和初始化过程中运行的 JavaScript 代码数量。这一改进使得 Edge 浏览器在各种设备上的 UI 响应速度更快。
这篇文章探讨了图像识别AI在识别一只没有斑点的长颈鹿时遇到的困难。作者使用MMICL和InstructBLIP这两种模型进行实验,发现它们都无法准确描述这只长颈鹿,反而会编造出一些不存在的特征,例如条纹或穿着外套。作者认为,AI在识别这只长颈鹿时表现不佳,主要是因为它之前从未见过类似的图像,以及AI倾向于给出最常见的答案,而不是最准确的答案。
gittuf项目旨在为Git提供安全层,解决当前Git在代码安全性上的不足。它借鉴了TUF和RSL的概念,通过强制执行安全策略、管理密钥以及防范版本控制层的攻击来保护Git仓库。gittuf利用in-toto项目提供证明,允许项目声明软件的属性,例如记录多个签名。目前该项目处于Alpha阶段,未来计划添加对角色和团队的支持、签名推送等功能。
一项最新研究发现,过去一年中,全球平均经历了 26 天由气候变化导致的额外极端高温天气。赤道附近的国家,如印度尼西亚、巴西和刚果民主共和国,极端高温天气增加的天数最多。苏里南和厄瓜多尔等国甚至增加了超过 150 天。研究人员指出,气候变化正在通过更强烈和更频繁的极端天气事件表现出来,而热浪受到的影响最为显著。
这篇文章探讨了清晰易读的代码的重要性,作者通过自身的经历说明,过于“聪明”、简洁的代码虽然看起来高深,但在实际工作中却难以维护和理解。作者认为,清晰易懂的代码更易于调试和协作,即使在代码审查和绩效评估中显得“平庸”,也是更优的选择。文章还强调了代码规范和团队合作对代码质量的影响,建议程序员通过大量练习和经验积累来提升代码可读性。
惠普宣布重新命名其消费级和商用电脑产品线。消费级笔记本、台式机和一体机将不再使用Spectre等品牌,而是统一使用Omni品牌,并根据配置高低分为3到5、7、X和Ultra等不同等级。商用笔记本将不再使用Dragonfly品牌,低端产品线命名为ProBook,高端产品线命名为EliteBook。新品牌命名旨在简化产品线,并强调AI功能的整合。
Marc Brooker 在其博客文章《不仅仅是规模》中探讨了分布式系统的重要性,反驳了“现代计算机速度飞快,单机足以满足所有需求”的观点。他指出,除了规模,可用性、持久性、资源利用率、延迟、专业化和隔离性等因素也是分布式系统不可或缺的原因。分布式系统通过冗余组件和多副本机制,实现了高可用性和数据持久性。同时,多租户系统能优化资源利用率,降低成本,并通过负载均衡降低延迟。此外,分布式系统支持组件专业化,针对不同工作负载进行优化,并增强安全性。文章强调,简单性是系统属性,而非组件属性,分布式系统能通过合理的设计和部署实现整体简化。最后,文章也承认规模的重要性,强调企业需要根据自身情况选择合适的规模,才能实现可持续发展。
NASA发布了来自其TEMPO仪器的新数据,该仪器可以提供史无前例的高分辨率空气污染观测结果,甚至可以细化到单个社区的规模。 这些近乎实时的观测数据来自该机构的TEMPO(对流层排放:污染监测)仪器,该仪器于去年发射,旨在通过彻底改变科学家从太空观测空气质量的方式来改善地球上的生命。
本文介绍了如何在个人网站上创建一个名为“/now”的页面,用于向朋友和访客更新你的近况。作者Derek Sivers解释了创建该页面的原因、方法以及如何将其添加到nownownow.com网站。
Android 15 Beta 2版本发布,亮点功能包括“私密空间”,允许用户将敏感应用程序隐藏在额外身份验证层之下,以及“盗窃检测锁”,利用加速计和Google AI感应手机是否被盗。此外,Android 15还将支持始终在线的任务栏、预测性后退手势和软件AV1解码。
本文介绍了如何使用 Hetzner 救援系统在基于 ARM 的 Hetzner 云服务器上安装 OpenBSD。文章详细介绍了选择正确的服务器类型、下载和刷入 OpenBSD 安装程序、使用 Hetzner 云服务器 KVM 控制台安装 OpenBSD 以及安装后的基本安全步骤,例如设置 SSH 公钥、禁用基于密码的 SSH 身份验证和禁用 root 用户密码等。
本文介绍了2024年Flutter/Dart的新功能,包括Google AI Dart SDK、Flutter对WebAssembly的支持以及Dart宏。作者认为这些功能将使Flutter更易于使用,并使其成为构建高性能应用程序的更好选择。
企业协作平台Slack被曝一直在抓取客户数据,包括消息、文件和使用信息,以开发新的AI和ML模型,引发了隐私争议。默认情况下,Slack系统会分析客户数据和使用信息来构建AI/ML模型以改进软件,用户无需选择加入。虽然Slack坚称其拥有技术控制措施来阻止其访问底层内容,并承诺数据不会跨工作场所泄露,但企业Slack管理员仍在争相选择退出数据抓取。
本文探讨了“研究作为一种休闲活动”的概念,区别于传统学术机构中的研究,强调由个人兴趣和热情驱动,不受学科限制,自由探索各种主题,并以个人输出的方式分享研究成果。作者列举了艺术家、作家、博主等将研究融入休闲活动的例子,认为这种方式能够促进跨学科学习,加深对世界的理解。
美国食品药品监督管理局(FDA)批准了Neuralink公司对其第二位患者进行脑机接口植入测试。此前,该公司 reportedly 解决了第一个接受人体试验患者设备功能受限的电极问题。Neuralink 公司由埃隆·马斯克所有,该公司正在寻找另一位患有四肢瘫痪的患者进行申请,以测试该设备是否能让患者完成控制手机和电脑等任务。
本文探讨了在实时协作应用程序中使用中心服务器的不同架构。文章分析了三种服务器端重定位策略:序列化、类CRDT操作和类OT操作,以及它们如何处理并发操作。文章还讨论了乐观本地更新,包括服务器协调、CRDT和OT方法,以及它们在处理客户端操作和服务器状态之间的交互方面的优缺点。最后,文章比较了突变和状态更改作为操作形式,并提供了一个现有应用程序和工具的分类表,根据其架构选择进行组织。
微软宣布,将在即将发布的 Windows 11 24H2 版本中移除 Cortana、Tips 和 WordPad 应用。 此前,微软已在预览版和支持文档中逐步宣布了对 Cortana 和 WordPad 的弃用计划。 此举是微软为移除攻击者常用功能、提高系统安全性的持续努力的一部分。
这篇文章介绍了免耕园艺的益处和具体操作方法。作者倡导再生农业,并将其运用到自家花园。免耕园艺指不翻耕土壤,而是通过使用宽叉松土、铺设“千层面覆盖物”来抑制杂草、增加肥力。作者详细介绍了“千层面覆盖物”的构成,并推荐了相关视频资源。
本文探讨了在大公司和初创公司工作的利弊,涵盖了收入、工作内容、学习和经验等方面。作者认为,大公司薪酬更高,工作稳定,且有更多资源支持研究项目。而初创公司则更具灵活性,员工更容易对公司产生影响,但收入存在较大不确定性。作者建议读者根据自身情况和职业目标,权衡利弊,选择适合自己的公司类型。
波士顿大学的研究人员开发了一种名为 MAMA BEAR 的自主机器人,该机器人能够创造和测试能够有效吸收能量的 3D 打印结构。通过持续的迭代和贝叶斯优化,MAMA BEAR 已经创造出一种能量吸收效率高达 75% 的结构,打破了以往的记录。这项技术在保护性包装、汽车缓冲器和军事头盔等领域有着广泛的应用前景。