亚马逊宣布默认删除Alexa语音请求录音，但此举将导致不保存录音的用户失去Voice ID功能，该功能允许Alexa执行诸如共享日历事件等操作。此举引发了关于用户隐私与功能便利性之间权衡的争议。此前，亚马逊曾因员工监听Alexa录音和Ring摄像头视频录音事件而面临批评。亚马逊表示此举是为了改进语音识别和自然语言理解系统，并强调录音传输加密且拥有安全保护措施。然而，分析人士指出，亚马逊此举是为了挽救Alexa+订阅服务，将盈利置于用户隐私之上。
阅读更多
Grafana Loki，号称日志领域的 Prometheus，其早期数据模型却在处理系统日志（syslog 或 systemd journal）时暴露出致命缺陷。它将每个标签值组合分别存储，且不压缩日志存储，导致高基数标签引发存储爆炸。为解决这个问题，Loki 引入了“结构化元数据”，但目前（3.0.0 版本）仍不成熟。结构化元数据标签并非真正的 Loki 标签，查询方式不同，且与现有标签的迁移困难重重，甚至可能导致高基数标签的意外创建。升级需谨慎，旧数据迁移代价巨大，建议新项目使用时充分考虑其局限性。
阅读更多
本文介绍了一个利用AMG8833红外热成像传感器、树莓派和S2流数据平台构建的实时家居占用检测系统。该系统通过将传感器数据以流的形式发送到S2，并利用S2的实时数据读取功能，在Next.js前端实时显示热力图，并通过简单的图像处理算法判断是否有其他人存在。S2的低成本和易用性使得该项目成为一个经济高效的解决方案，每月成本仅约2美元。
阅读更多
本文作者分享了其网站jasonthorsness.com和hn.unlurker.com的缓存策略。针对不同类型的网站，作者提出了不同的缓存方案：静态网站采用内容哈希、CDN和客户端缓存；数据驱动的动态网站则结合了短时缓存控制头、后端内存缓存、单例模式和磁盘缓存；对于用户认证网站，作者建议优先处理非用户特定部分，并利用浏览器和服务器协同缓存。通过巧妙的缓存策略，作者用极低的成本实现了高性能的网站，即使在面对大量的访问流量时也能保持稳定运行。
阅读更多
微软近日公布了其在拓扑量子比特研究上的进展，声称已制造出首个拓扑量子比特，但这一说法引发了学术界的广泛争议。虽然微软的研究人员在APS会议上展示了相关数据，但许多物理学家仍对证据的充分性表示怀疑，认为实验数据中存在的噪声和缺乏清晰的双峰信号使得结论难以令人信服。虽然微软对自身技术充满信心，但要让整个学术界完全信服，仍需进一步的研究和更确凿的证据。
阅读更多
这款开源的 Firefox 桌面扩展程序可以阻止 YouTube 的自动翻译功能。它可以保留视频标题、音频轨道和描述的原始语言，并只显示所选语言的真实字幕（忽略自动生成的字幕）。该扩展程序完全免费，但用户可以选择通过 Ko-fi 进行捐赠以支持开发。Chrome 浏览器用户也可以在 Chrome 网上应用店找到它。
阅读更多
Bret Victor 在这篇论文中挑战了传统的软件设计理念，认为大多数软件（信息软件）的核心在于信息呈现，而非交互操作。他主张信息软件设计应以图形设计为基础，通过巧妙的图形化呈现和上下文感知能力，减少用户与软件的交互，从而提升用户体验。论文中列举了火车时刻表、在线书店和电影列表等案例，对比了传统交互式设计和基于图形设计的方案，并提出了基于环境感知和历史记录的上下文推断方法。最终，Victor 呼吁软件设计行业重视视觉传达，革新信息软件设计模式，创造更直观、高效的用户体验。
阅读更多
近期，大量机器人流量涌入学术网站，导致DiscoverLife等网站不堪重负，甚至瘫痪。这些机器人主要来自匿名IP地址，被怀疑用于训练生成式AI模型。 这一现象并非个例，BMJ和Highwire Press等机构也遭受类似困扰。COAR调查显示，超过90%的成员网站遭遇AI机器人抓取内容，其中三分之二出现服务中断。虽然开放获取资源欢迎合理使用，但如此激进的抓取行为已造成严重问题。DeepSeek的出现降低了LLM训练门槛，加剧了这一问题。学术界呼吁解决这一问题，否则小型机构恐将面临生存危机。
阅读更多
Cogitator是一个强大的Python工具包，用于在大型语言模型（LLM）中实验和使用链式思维（CoT）提示方法。CoT提示通过引导模型在得出最终答案之前生成中间推理步骤，从而提高LLM在复杂任务（如问答、推理和问题解决）中的性能。它还可以通过提供对模型推理过程的洞察来提高LLM的可解释性。该工具包旨在简化使用流行的CoT策略和框架进行研究或将其集成到AI应用程序中的过程。它包含一个可定制且可扩展的基准测试框架，用于评估不同CoT策略在各种数据集上的性能。
阅读更多
这段代码实现了一个强大的Awk函数，用于解析JSON数据并提取指定键的值。它能够处理嵌套对象和数组，支持点分隔符路径，并优雅地处理各种JSON数据类型。该函数利用Awk的字符串处理能力，高效地遍历JSON结构，找到目标键并返回其对应的值，展现了Awk在数据处理方面的强大功能。
阅读更多
Bolt Graphics发布了其Zeus GPU架构，这是一个基于RISC-V指令集的模块化设计，采用多芯片方案，最高可达4个芯片，每个芯片配备64GB LPDDR5X和大量高速互联接口，如800GbE和PCIe Gen5。Zeus的目标是通过高内存容量和高带宽互联来实现大规模GPU集群，挑战英伟达在高性能计算领域的霸主地位。虽然目前还处于早期开发阶段，预计2025年第四季度提供开发者套件，但其独特的架构和高性价比潜力值得关注。
阅读更多
Stack AI，一家由两名MIT博士创立、YC和Google投资的AI公司，正在招聘10倍工程师。他们开发了一个无代码平台，整合了OpenAI、Anthropic等AI模型和多种数据源，旨在使人人能够构建AI应用。公司拥有超过8.5万用户和300多付费客户，寻求精通Python、数据库、AWS和容器化技术的工程师，参与构建可扩展的后端系统，并与AI模型集成。理想候选人应具备强大的问题解决能力和团队合作精神，并对AI充满热情。
阅读更多
厌倦了pyenv、pipx等工具的繁琐配置？博主分享了从pyenv迁移到uv的完整过程。uv集成了pip、pyenv、pipx等工具的功能，简化了Python环境管理。文章详细描述了卸载pyenv、安装uv、安装Python版本、创建symlink以及使用uv tool install安装工具的步骤，并解决了tox安装问题。最终，博主成功使用uv管理Python环境，并计划删除所有.python-version文件，更新项目文档。
阅读更多
饱经战乱的伊拉克古城巴比伦正在复苏。在世界古迹基金会（WMF）的努力下，伊什塔尔城门北侧的护墙和宁玛赫神庙修复工程接近尾声。神庙计划秋季重新开放，用于婚礼、音乐会等活动。这项由美国驻巴格达大使馆资助的“巴比伦未来计划”，旨在保护这片2500英亩的遗址。巴比伦的旅游业也因此蓬勃发展，游客数量屡创新高，当地居民也重新聚集于此，巴比伦正以其坚韧的生命力，在历史与现代之间，书写着新的篇章。
阅读更多
Rao 是一款用于 RStudio 的 AI 代码编辑器，旨在加速你的工作流程。它能够读取并分析你的项目文件以理解你的数据，然后生成与你的现有项目结构相集成的目标代码。Rao 可以生成和运行 R 脚本和 R Markdown 文件，编辑现有代码以修复错误并改进你的分析，还能解释各种代码输出（从控制台结果到数据可视化和错误消息），并据此建议下一步操作，帮助你理解代码结果的含义。现在提供 7 天免费试用（无需信用卡）。
阅读更多
印度航空一架14年机龄的787-8客机坠毁，造成重大人员伤亡，波音公司因此面临巨大压力。此次事故发生在巴黎航展前夕，波音已取消相关活动。这起空难引发了人们对787安全性的担忧，也再次揭示了波音公司长期以来存在的系统性问题，包括737 MAX、777X、747-8和KC-46A等机型都曾出现过严重的设计、生产和质量问题，导致巨额损失和延误。事故调查仍在进行中，但波音能否走出困境仍未可知。
阅读更多
本文探讨了Rust语言中`for`循环与函数式编程方法（如`map`和`fold`）在性能和可读性方面的权衡。作者通过一系列基准测试，比较了不同方法在处理向量和嵌套向量时的效率。结果显示，对于简单的集合转换，`map`函数通常更快且更具声明性；然而，对于更复杂的场景，如扁平化嵌套向量或错误处理，`for`循环的性能优势更加明显，且代码更易于理解和维护。作者建议根据具体情况选择最合适的方法，不必盲目追求函数式编程风格。
阅读更多
2024年，世界面临着诸多挑战：持续不断的战争、极端天气事件以及政治两极分化。然而，光明依然存在。乍得成功消灭了昏睡病，美国批准了具有变革意义的新药，研究表明即使是微小的改变也能对健康产生积极影响，体育健儿们创造了新的纪录，气候变化方面也取得了一些进展，例如大气中消耗臭氧层的物质含量下降，以及新的碳捕获技术。即使在灾难中，人类也展现出团结互助的精神。
阅读更多
Nash 是一款无需任何其他软件或服务的独立 HTML 笔记应用。你可以离线保存和编辑笔记，创建静态博客或单页内容，并通过消息应用预览长内容再分享。其灵感源于开发者用单一 HTML 文件验证想法的经历，发现 HTML 的强大潜力，最终目标是创建一个无需 Notion 或 Word 等软件就能工作的文档文件。Nash 是开源的，你可以随意修改和使用。
阅读更多
阿里巴巴旗下T-HEAD推出的高性能RISC-V核心C910，旨在降低对国外芯片的依赖，并为物联网和边缘计算等领域提供高性价比的解决方案。文章深入分析了C910的架构，包括其乱序执行引擎、分支预测器、缓存系统等，并通过实际测试数据揭示其性能特点。C910在向量扩展和非对齐访问处理方面表现出色，但在调度器、寄存器文件等关键结构的容量与ROB容量的平衡性方面存在不足，缓存系统也相对薄弱，这限制了其整体性能。文章总结认为，虽然C910展现了T-HEAD的雄心，但其在平衡核心架构和内存子系统方面仍需改进。
阅读更多
本文讲述了PuTTY工具图标从1990年代手绘到如今SVG矢量图的演变历程。作者最初使用MSVC图标编辑器手工绘制32x32像素的图标，受限于当时的16色调色板和显示技术。随着时间的推移，为了适应更高分辨率的显示和不同工具的需求，作者不断改进，最终开发了可以自动生成多种尺寸和格式图标的脚本，并最终完成了SVG版本的图标，实现了真正的可缩放性。这些图标的设计理念简单明了，体现了PuTTY“可靠的复古风格”，并沿用至今。
阅读更多
Classic 2 鼠标正式发布，售价144加元起！它沿袭了初代Classic的经典人体工学设计，并对USB接口升级为USB-C，同时大幅提升了滚轮精度，解决了初代产品滚轮反应迟缓的问题。这一切得益于搭载了新的Raspberry RP2040微控制器。Classic 2依旧开源，并提升了3D打印的友好性，但遗憾的是，并不提供升级套件。
阅读更多
美国太空军已认证联合发射联盟（ULA）的Vulcan Centaur火箭，使其能够执行国家安全任务。这一认证历经漫长等待，基于对2024年1月和10月两次认证发射数据的分析以及其他审查。尽管第二次发射中助推器喷嘴脱落，但火箭仍完成了任务，ULA已采取纠正措施。未来，Vulcan火箭将执行国家安全发射任务，ULA计划今年发射12枚火箭，目标是每月两次发射。
阅读更多
作者的Rust网站构建时间长达4分钟，每次修改都需要重新构建、复制和重启。为了加速，作者尝试使用Docker容器和cargo-chef进行依赖预构建，但效果不佳。通过rustc的自分析功能和LLVM的跟踪数据，作者发现链接时优化（LTO）和LLVM模块代码生成是主要瓶颈。经过一系列优化，包括调整LTO等级、优化级别，以及拆分大型异步函数，最终将构建时间从4分钟缩短到32.3秒。
阅读更多
这款电子产品以其独特的性价比优势脱颖而出，价格低于传统方案，性能却与全新中端电子产品相当。它采用标准化主流硬件接口和流行的开源软件框架，实现快速开发、部署和评估迭代。更重要的是，它摆脱了对亚洲供应商的依赖，避免了供应短缺和漫长的交货期。此外，该产品还能帮助企业树立市场可持续发展领导者的形象，成为全球首个循环智能设备，并显著降低碳排放。
阅读更多
为应对恐怖袭击威胁，奥地利政府批准一项新计划，允许警方监控嫌疑人的加密信息，例如WhatsApp。此前，奥地利缺乏相关法律框架，严重依赖盟友的情报共享。该计划需经三名法官批准，预计每年监控人数不超过30人，以避免大规模监控。这项措施旨在提高公众安全感，预计将于2027年正式实施。
阅读更多
一项针对20名参与者的用户研究评估了用户在典型应用交互中是否能够检测到TapTrap攻击。研究人员开发了一款名为KillTheBugs的游戏，其中嵌入了三种TapTrap攻击场景，分别针对位置、摄像头和设备管理员权限。参与者玩了两次游戏，一次没有任何攻击先验知识，另一次则告知可能存在攻击。结果显示，在没有明显的安全指示器的情况下，用户不太可能检测到TapTrap攻击。即使存在指示器，也常常被忽略。只有在告知可能存在攻击后，一部分参与者才注意到摄像头指示器，而基于位置和设备管理员权限的攻击则几乎未被发现。这表明TapTrap攻击具有很高的隐蔽性，需要改进安全指示器设计来提升用户感知能力。
阅读更多
这篇文章揭秘了 JavaScript 中 `` 作为注释符的奇特历史。最初，为了兼容旧版浏览器，开发者会在 `` 标签内使用 HTML 注释包裹 JavaScript 代码。令人意外的是，现代浏览器仍然支持这种语法，这源于浏览器兼容性的历史包袱和标准化委员会对“不破坏网络”的承诺。文章解释了这种语法如何工作，以及为什么 `-->` 只能出现在行首。
阅读更多
operative.sh 推出了一个名为 MCP Server 的工具，它利用浏览器和一个名为“Cursor agent”的智能代理，实现对 Web 应用的自动测试和调试。MCP Server 会在你的代码编辑器中自动执行和调试代码，并提供详细的网络请求、控制台日志和时间线报告。用户只需安装工具并获取 API 密钥，即可体验这一自动化调试流程，极大提高开发效率。该工具支持 macOS、Linux 和 Windows 系统。
阅读更多
最近arXiv上涌现出一批评估大型语言模型（LLM）代码生成能力的基准测试论文。这些论文涵盖了LLM解决真实世界GitHub问题、生成自调用代码、使用API、稳定性分析、以及针对软件开发生命周期各个阶段的评估等多个方面。研究者们开发了各种基准测试集，例如SWE-bench、HumanEval Pro、SEAL、DevEval等，并提出了相应的评估指标，旨在更全面地评估LLM的代码生成能力，推动该领域的发展。
阅读更多