尽管美国在 2019 年出台法律禁止政府机构与使用华为设备的实体签署合同，但由于华为在全球电信设备收入中占据近三分之一的份额，寻找替代方案几乎不可能，五角大楼难以完全避免与依赖华为技术的公司开展业务。五角大楼认为，严格遵守这些限制将 disrupt 其采购医疗用品、药品、服装和其他类型的后勤支持的能力，并已寻求正式豁免其在该法案下的义务。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25571098/videoframe_2708826.png)
谷歌 Pixel 9 系列手机将成为首批支持卫星 SOS 功能的安卓手机，该功能允许用户在没有蜂窝网络信号的情况下通过卫星联系紧急救援人员并分享位置信息。该服务最初在美国推出，为期两年免费，但不适用于夏威夷和阿拉斯加州。
阅读更多
为保障游客安全，纽约市在海滩部署无人机巡逻，以搜寻鲨鱼和遇险游泳者。然而，此举引发了当地鸟类的强烈不满。据报道，自5月无人机投入使用以来，经常有鸟群对其进行俯冲攻击，迫使警方和其他机构调整飞行计划。野生动物专家对此表示担忧，认为无人机可能会对海岸线筑巢的濒危鸟类造成负面影响。
阅读更多
Alex Pliutau 分享了他对 Gleam 语言的初体验。他通过构建一个监控多个网站并存储结果的简单守护进程应用程序来学习 Gleam。文章详细介绍了 Gleam 的安装、依赖管理、Yaml 解析、SQLite 集成、并发处理、测试和 IDE 支持等方面，并分享了使用体验和代码示例。
阅读更多
这篇文章探讨了在 Java/Clojure/GraalVM 中使用 C 语言编写特定代码的可能性。作者介绍了 GraalVM 的 polyglot 编程功能，以及如何使用它来调用 C 代码。文中提供了代码示例，展示了如何在 Java 和 Clojure 中调用 C 代码。
阅读更多
上周六，日本新千岁机场一家零售店的一把剪刀不见了，引发了一场安全恐慌，导致机场安检暂停了至少两个小时。由于正值日本盂兰盆节假期，许多旅客滞留在机场，超过200趟航班延误，36趟航班被取消。最终，这把剪刀在同一家商店被找到，并非被盗窃。
阅读更多
本文讲述了作者修复一台1984年产Macintosh 128K电脑的经历。作者详细描述了寻找、购买、诊断、修复和翻新这台古董电脑的过程，包括如何识别故障内存芯片、更换芯片、维护软驱以及使用Retrobright翻新塑料外壳等细节。最终，作者成功地将这台Macintosh恢复到接近全新状态。
阅读更多
一项新的研究表明，澳大利亚巨蜥可以通过减少绿头苍蝇的数量，每年为澳大利亚养羊户节省数百万美元，因此必须优先考虑将其纳入保护计划，以促进当地野生动物的数量。巨蜥是一种大型食腐蜥蜴，通过清除周围环境中被蛆虫腐蚀的动物尸体来充当天然的清洁队。这减少了绿头苍蝇的出现，绿头苍蝇通过在绵羊背部产卵来攻击绵羊，这些卵孵化成食肉蛆。
阅读更多
尽管科技公司计划在人工智能领域投入超过1万亿美元，但高盛集团在一份报告中指出，人工智能的投资回报可能需要很长时间，并且回报率可能令人失望。高盛分析师认为，人工智能技术成本高昂，但目前的表现难以匹配其高昂的成本，基础任务的结果往往差强人意。此外，人工智能芯片市场由英伟达主导，过度依赖竞争来降低人工智能成本的假设可能过于乐观。
阅读更多
SquirrelFS是一种新的持久内存崩溃安全文件系统，它利用Rust的类型状态模式在编译时强制执行特定的操作顺序。它引入了一种新的崩溃一致性机制，即同步软更新，将崩溃安全性简化为强制执行文件系统元数据更新之间的顺序。SquirrelFS不需要单独的证明，而是将正确性保证纳入类型状态本身，编译仅需几秒钟，成功编译表示崩溃一致性，而错误则提供修复错误的起点。
阅读更多
本文介绍了作者在使用 Clojure 宏时的一次有趣经历。作者原本想用宏来实现一个文档和测试功能，却发现传统的宏方法会导致代码格式丢失。于是，作者想出了一个“疯狂”的解决方案：直接读取源代码文件，提取所需代码片段并渲染。作者认为，尽管这种做法不规范，但 Clojure 语言的灵活性让其成为了可能，并感叹 Clojure 是他使用过的最有趣的编程语言。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/23951355/STK043_VRG_Illo_N_Barclay_1_Meta.jpg)
由于担忧欧盟监管环境的不确定性，Meta公司决定不在欧盟地区发布其即将推出的多模态AI模型。该模型能够处理视频、音频、图像和文本等多种数据类型。Meta公司发言人表示，他们将在未来几个月内发布该模型，但不会在欧盟地区发布。Meta公司还暂停了在欧盟地区发布其AI助手和在巴西发布其生成式AI工具的计划，原因都是担心数据保护合规性问题。
阅读更多
Prelude 是一款简单易用的工具，可以帮助用户从代码库构建大型语言模型（LLM）提示。它可以生成包含指定目录下文件树和文件内容的提示，并将其复制到剪贴板或保存到文件中。Prelude 支持使用相对路径、文件名匹配模式和忽略文件来定制提示生成过程。
阅读更多
本文介绍了QEMU如何通过模拟硬件内存映射来虚拟化操作系统，并解释了虚拟化技术的基本原理。文章详细阐述了QEMU如何模拟IDE磁盘、网络适配器等硬件设备，以及virtio技术如何通过优化硬件设计来提高虚拟化性能。
阅读更多
文章指出，在数据泄露事件频发的今天，硬件安全密钥Yubikey的重要性日益凸显。作者呼吁马萨诸塞州政府应强制要求医疗、金融等关键行业使用Yubikey等硬件安全密钥保护用户敏感数据，并对未采用该措施的企业进行处罚，从而引导并推动安全技术的普及。
阅读更多
本文主要探讨了桥梁如何通过深基础设计来承受巨大重量而不下沉。文章首先介绍了桥梁结构的特点和其对地基的特殊要求，然后详细解释了两种主要的深基础形式：桩基础和钻孔桩。桩基础利用锤击将桩体打入地下，通过端承力和摩擦力来抵抗荷载；而钻孔桩则是通过在地面钻孔并浇筑混凝土而成，可以根据需要设置扩底和斜桩来增强承载能力。文章还介绍了其他类型的深基础，并通过案例分析强调了地质工程在深基础设计中的重要性。
阅读更多
在 Gamers Nexus (GN) 对其美国保修程序提出强烈批评后，PC 和电子产品制造商华硕已同意对其支持和维修系统进行全面改进。华硕承诺将创建一支专门团队来解决客户调查中提出的所有突出问题，并建立一个新的美国支持中心。这些变化是GN创始人Steve Burke及其团队经过调查工作后促成的，最终双方在台北电脑展2024上进行了面对面会谈。华硕承诺将在本周晚些时候发布一份关于 ROG Ally 中 SD 卡过热问题的正式声明。
阅读更多
本文介绍了一个名为“&udm=14”的代码，可以帮助用户在谷歌搜索中屏蔽人工智能生成的结果，获得更纯粹的搜索体验。该代码由 Tedium 开发，并使用 Plausible 进行隐私友好的数据分析，不会追踪用户的搜索记录。
阅读更多
本文介绍了 TrustNet，一个基于信任的去中心化内容审核系统。TrustNet 允许用户根据不同领域（如内容审核、音乐推荐）向其他用户分配信任值，并通过 Appleseed 算法计算出用户最信任的用户列表。基于此列表，用户可以自动屏蔽被信任用户屏蔽的内容，实现主观的内容审核。TrustNet 还考虑了用户之间的不信任关系，以及不同类型的屏蔽操作，以更好地满足用户的需求。
阅读更多
文章讨论了量子密钥分发（QKD）和后量子密码学（PQC）两种量子安全技术。中国在QKD研究和开发方面处于领先地位，而美国则专注于PQC。QKD基于量子物理学，安全性更高，但需要专门的硬件设施；PQC基于复杂的数学算法，可在传统计算机上运行，但其安全性尚未得到完全验证。文章认为，PQC可能会成为未来安全通信的默认标准，而QKD则可能在混合安全通信和量子互联网等方面发挥重要作用。
阅读更多
本文分析了泄露的英特尔Skymont CPU架构幻灯片，重点关注其性能提升。Skymont的IPC(每时钟周期指令数)预计将大幅提升，这得益于更宽的指令提取和解码、更大的乱序执行引擎以及其他增强功能。该分析还探讨了Skymont在桌面和移动设备上的潜在应用，突出了其作为英特尔CPU战略关键部分的重要性。
阅读更多
本文回顾了上世纪90年代CD隐藏音轨的流行趋势，特别是“空白预留轨”(pregap)技术。文章详细介绍了该技术的起源、应用案例（如威利·纳尔逊的专辑和增强型CD），以及它所引发的专利纠纷和技术挑战。文章还探讨了增强型CD的兴衰，以及CD技术标准化和创新之间的矛盾。
阅读更多
CHERI项目致力于解决内存安全漏洞问题，通过扩展传统硬件指令集架构，实现细粒度内存保护和高度可扩展的软件隔离。CHERI架构已在CHERI-MIPS、CHERI-RISC-V和Morello等原型中实现，并进行了广泛的软件移植。为了确保CHERI架构的安全性，研究人员使用了严格的工程方法，包括基于模型的测试生成和机器检验的数学证明，以验证其关键安全属性，例如可达能力单调性，确保软件无法伪造能力或提升权限。
阅读更多
RTINGs的测试表明，侧光式液晶电视存在设计缺陷，导致耐用性问题。这些问题包括背光板翘曲、导光板破裂和LED烧毁，这些问题在长时间高亮度使用后会出现。与全阵列局部调光或直下式背光电视相比，侧光式电视的热量集中在边缘，导致热量散发问题，从而导致这些问题。
阅读更多
大脑像一个复杂的管道系统，需要清除代谢产生的废物。最新研究表明，大脑依靠睡眠时的慢电波将细胞周围的液体推向表面，这些液体携带废物，包括与老年痴呆症相关的毒素，最终通过血液循环排出体外。这一发现为理解、治疗和预防多种脑部疾病提供了新思路。
阅读更多
本文讲述了开源屏幕录制软件 Captura 的开发者 Mathew Sachin 停止更新软件的原因。Mathew 从高中时期开始开发 Captura，但随着软件规模的扩大，维护和开发压力也越来越大，同时他还面临着软件被盗卖、收到威胁邮件等问题，最终导致他选择停止更新。Mathew 在文中也分享了他从 Captura 项目中吸取的经验教训，以及他对未来开源项目和软件开发的一些想法。
阅读更多
Dawarich 是一款开源的 Web 应用，可以替代谷歌时间轴（谷歌位置记录）。它允许用户从谷歌地图时间轴和 Owntracks 导入位置记录、在地图上查看以及查看一些统计数据，例如访问过的国家和城市数量以及旅行距离。用户可以使用 Owntracks 或 Overland 应用跟踪位置，并从谷歌地图时间轴、OwnTracks、Strava、GPX 文件和照片的 EXIF 数据导入现有位置记录。
阅读更多:max_bytes(150000):strip_icc()/GettyImages-1140938011-c47e1709e8dc48e7b406386c7225df3c.jpg)
尽管英伟达因人工智能的增长机遇而备受投资者青睐，但截至2023年底，巴菲特的伯克希尔哈撒韦公司并未持有其股份。巴菲特以价值投资而闻名，他更喜欢易于理解的传统行业公司。虽然近年来伯克希尔投资了苹果和亚马逊，但错过了早期投资机会也让巴菲特感到后悔。英伟达股价在过去一年中上涨了250%，市值突破2万亿美元，成为美国第四家达到这一水平的公司。巴菲特是否会因为错过英伟达而后悔，还有待观察。
阅读更多
谷歌宣布将其安卓地震警报系统扩展到美国所有50个州和6个地区。该系统最初于2020年推出，利用手机内置的加速度计来检测地震，并向用户提供预警。对于加利福尼亚州、俄勒冈州和华盛顿州的用户，警报将继续由ShakeAlert系统提供支持，该系统利用传统的地震仪来检测地震。
阅读更多
本文阐述了人工智能模型的训练和使用方式，以及如何制定有效的监管政策。文章重点讨论了加州SB 1047法案，该法案旨在规范人工智能，但由于缺乏对技术细节的理解，可能阻碍开源人工智能的发展，并最终损害人工智能安全。作者建议将监管重点从发布模型转向部署系统，并强调开源人工智能在安全和创新方面的关键作用。文章还讨论了人工智能模型的双重用途，以及如何平衡安全与创新的关系。
阅读更多