本文介绍了如何使用 CSS 的 backdrop-filter 属性创建更逼真的毛玻璃效果。文章指出，开发者通常只使用 `backdrop-filter: blur()`，但忽略了周边元素的影响，导致效果失真。作者提出了一个巧妙的解决方案：通过创建一个更大的子元素，应用模糊滤镜，再用遮罩将其修剪回原始大小，从而将周边元素纳入模糊范围。文章还讨论了指针事件、顶部闪烁、玻璃厚度、浏览器兼容性以及玻璃边缘效果等问题，并提供了最终代码示例。
阅读更多
JSON5是JSON的一种扩展，旨在提高手动编写和维护JSON文件（例如配置文件）的易用性。它并非用于机器间通信。JSON5是JSON的超集，兼容ES5语法，支持单引号字符串、多行字符串、十六进制数字、注释、额外的空格以及对象和数组中的尾随逗号等特性。该项目提供了一个JavaScript库用于JSON5的解析和序列化，并已被Chromium、Next.js、Babel等项目采用。
阅读更多
KlongPy 是 Klong 数组语言的 Python 实现，它利用 NumPy 提供高性能的向量化操作。KlongPy 结合了内置模块和 Python 丰富的生态系统，方便开发者使用简洁的语法快速开发应用程序。其核心功能包括：基于 NumPy 的向量化操作、CPU 和 GPU 后端支持，以及与 Python 生态系统的无缝集成。KlongPy 提供数组编程、高速计算、快速列式数据库、进程间通信、表格和键值存储、Python 集成、Web 服务器和定时器等功能。它适用于数据科学家、分析师、研究人员和编程语言爱好者。
阅读更多
公共交通出行App Transit发布新功能，即使在地铁等无GPS信号的地下环境中，也能准确定位用户位置并提供到站提醒。该功能利用手机的振动特征判断用户是否在行驶的列车上，并结合列车时刻表和用户最后已知位置进行预测，准确率高达90%。该功能完全离线运行，保护用户隐私。
阅读更多
Scooter是一款交互式终端查找和替换工具。它支持使用固定字符串或正则表达式进行搜索，输入替换内容，并交互式地切换要替换的实例。用户还可以指定文件路径的正则表达式模式进行搜索。Scooter 能够识别 .gitignore 和 .ignore 文件。如果尝试替换的实例自搜索执行后已更改（例如切换分支后该行不再存在），则不会进行替换，并在最后显示所有此类情况。
阅读更多
国家电网可再生能源公司在威斯康星州波尔克县破土动工，建设100兆瓦的Apple River太阳能项目。该项目将使用美国制造的First Solar Series 6 Plus双面组件，由Boldt公司承建，创造150个建筑和服务工作岗位。未来20年，Apple River太阳能项目将带来超过3600万美元的直接经济效益。该项目计划于2025年底上线，届时将为Xcel能源公司供应清洁能源，该公司为整个中西部地区的客户提供服务。据国家电网可再生能源公司称，该太阳能发电场每年将产生足够的能源，为约2.6万户家庭供电，相当于每年减少约12.99万吨二氧化碳排放，相当于减少3.09万辆汽车上路行驶。
阅读更多
瑞典能源部长埃巴·布什(Ebba Busch)将瑞典飙升的能源价格归咎于德国的弃核政策，并表示瑞典政府正在考虑采取新措施以应对能源危机。布什对德国的决定表示愤怒，称其对瑞典和欧盟造成了严重后果。由于电力价格的地区差异和南部地区价格飙升，瑞典政府正在考虑帮助家庭和企业应对不断上涨的能源价格压力。尽管如此，瑞典政府目前似乎并不打算退出欧盟能源市场，而是将问题归咎于欧盟的电力市场机制——基于流量的市场耦合系统（Flow-Based Market Coupling）。
阅读更多
Framasoft 发布了适用于 Android 和 iOS 的 PeerTube 移动应用程序的首个版本。该应用注重用户体验，旨在帮助更广泛的受众观看视频和发现平台，同时避免用户的注意力和数据被利用。PeerTube 是一个去中心化的视频平台网络，该应用简化了 PeerTube 的使用体验，允许用户创建本地帐户、浏览平台和搜索视频。为了进入应用商店，该应用目前对可访问的 PeerTube 平台数量进行了限制。未来计划添加更多功能，如后台播放、登录账户、改进平台列表、适配平板电脑和电视，以及离线观看等。Framasoft 呼吁用户下载、使用和分享该应用，并通过报告错误、贡献代码和翻译界面来做出贡献。
阅读更多
Dropbox由于服务器硬件差异巨大，传统的负载均衡方式难以有效分配负载，导致服务器超载甚至崩溃。为解决此问题，Dropbox团队自研了名为“Robinhood”的负载均衡器，该系统包含负载均衡服务（LBS）、代理和路由数据库三个组件。LBS动态收集服务器数据，利用PID控制器调节各服务器的资源使用上限和下限，实现动态权重分配。代理负责收集服务器负载数据并发送给LBS，路由数据库则存储服务器信息，供LBS实例访问。Robinhood上线后，Dropbox服务器CPU使用率趋于稳定，最终减少了25%的服务器规模，大幅降低了成本，预计节省数百万美元。
阅读更多
Tig是一款基于ncurses库的文本模式Git界面，它主要用作Git仓库浏览器，但也可以辅助进行分块提交暂存更改，并充当各种Git命令输出的分页器。Tig提供便捷的安装和使用说明，以及版本发布说明，方便用户获取最新功能和错误修复。用户可以通过官网、GitHub、Gitter和Stack Overflow等渠道获取更多信息、报告问题或提出功能请求。
阅读更多
作者Ivan Shubin在开发交互式图表编辑器Schemio时，巧妙地运用线性代数中的矩阵运算解决了一系列难题。起初，Schemio仅支持简单的形状创建和操作。但当引入项目层次结构后，坐标转换变得复杂。作者最初采用递归方法，但遇到缩放和旋转中心点问题。最终，作者利用矩阵表示变换（平移、旋转、缩放），通过矩阵乘法实现坐标转换，并巧妙地运用矩阵求逆解决世界坐标与局部坐标转换问题。此外，作者还利用矩阵运算解决了对象在层次结构中移动时位置和旋转的精确调整问题，避免了对象位置的异常跳动。Schemio的源码已开源，感兴趣的读者可以前往GitHub查看。
阅读更多
两位程序员耗时两周开发出一款名为Droste's Lair的奇幻编程环境游戏。游戏中，玩家通过拖拽、放置等直观操作来构建和计算数学结构，并运用“amb”机制实现分支执行和递归调用。游戏以剑与魔法为主题，玩家需完成一系列挑战，例如反转列表元素、生成所有扑克牌花色组合以及计算多米诺骨牌覆盖棋盘的方法数。Droste's Lair巧妙地结合了编程和游戏元素，为学习编程和数学概念提供了一种新颖有趣的途径。
阅读更多
GinkgoNotes 是一款基于间隔重复原理的笔记应用，旨在帮助用户长期记忆学习内容。用户添加笔记后，应用会通过电子邮件在特定日期发送复习提醒，个性化安排复习计划，提高记忆 retention。该应用支持多种笔记类型，包括文本和链接，并提供多种定价方案。
阅读更多
香港城市大学的研究人员开发了一种棒棒糖形状的VR味觉模拟器。该设备通过离子电泳技术，利用流经水凝胶的离子传输味觉化学物质，可以模拟糖、盐、柠檬酸、樱桃、牛奶、绿茶、百香果、榴莲和葡萄柚九种口味。用户舔舐棒棒糖即可体验虚拟的味道。该技术未来可用于虚拟味觉测试、沉浸式在线购物和混合现实教育等领域。
阅读更多
在AI图像时代，一些摄影师开始拥抱复古数码相机的独特缺陷，以追求怀旧的“千禧年美学”。他们使用老式数码相机拍摄低分辨率、颗粒感强的照片，认为这些照片的缺陷并非bug，而是一种特色，是对过度美化、千篇一律的现代摄影的一种反抗。文章探讨了这种趋势背后的原因，包括对童年时代的怀旧、对独特风格的追求以及对消费主义的反思。同时，文章也提到了收藏和使用老式数码相机所面临的挑战，例如电池和存储卡的兼容性问题、设备老化等。
阅读更多
X 的 AI 聊天机器人 Grok 现已免费向所有 X 用户开放。用户每 2 小时可免费使用 10 次提示，并生成 10 张图片。但图像分析功能每天限制为 3 张，超出部分需要付费订阅。此前，Grok 只对 X Premium 会员开放，每月费用 8 美元起。Grok 的免费模式类似于 OpenAI 的 ChatGPT 和 Anthropic 的 Claude。xAI，Grok 背后的 AI 公司，刚刚根据 SEC 文件筹集了 60 亿美元，使其总资金达到 120 亿美元。
阅读更多
Seer是一个面向GDB的Linux图形用户界面前端。它旨在提供一个简单而美观的GDB界面，方便用户进行调试工作。Seer支持多种功能，包括查看源代码、函数、变量、寄存器、堆栈信息、线程信息、内存、汇编代码等。此外，Seer还支持设置断点、观察点、捕获点和打印点，以及执行手动GDB命令。Seer可以通过包管理器或从源码安装，并支持Qt6和Qt5构建。
阅读更多
作者克里斯·阿纳德以其独特的视角，通过观察美国各地麦当劳餐厅，揭示了美国社会底层人民的真实生活。从特朗普在麦当劳的政治作秀，到麦当劳成为精神疾病患者的避风港，以及麦当劳作为社区中心的功能，作者指出，麦当劳超越了快餐的意义，它反映了美国社会中人与人之间的联系，以及人们对归属感的渴望。精英阶层往往忽视这种底层社区的价值，而作者强调，这些自发形成的社区是美国社会韧性的体现。
阅读更多
Linux内核的EFI Zboot代码将精简其压缩库，不再支持LZ4、LZMA、LZO、XZ等多种压缩选项，仅保留Gzip和Zstd两种。此举旨在简化代码，提高效率，并方便其他使用EFI Zboot格式的软件（如QEMU和kexec）进行透明支持，而无需携带多种解压缩库。Gzip压缩速度快，久经考验；Zstd压缩率高，解压速度也很快。这一改动已进入efi.git的“urgent”分支，预计将很快被合并到Linux 6.13版本中。
阅读更多
AMD 在最新的BIOS更新中悄然禁用了Zen 4处理器的循环缓冲区。该功能旨在通过在前端缓存少量指令来降低功耗并提高性能，尤其是在处理小型循环时。Chips and Cheese 通过 SPEC CPU2017 和游戏《赛博朋克 2077》的测试发现，禁用循环缓冲区对性能的影响微乎其微，因为 Zen 4 的操作缓存已足够提供后续重命名/分配阶段所需的带宽。虽然循环缓冲区的主要目的是节能，但实际测试表明，其对功耗的影响也很小。作者推测，AMD 禁用该功能可能是因为发现了未公开的硬件错误，或者仅仅是因为该功能收益有限。
阅读更多
Modelica协会致力于推广Modelica语言及其相关工具，Modelica是一种面向对象的建模语言，用于构建和模拟复杂系统，尤其擅长对基于数学方程的、可重用的组件进行非因果连接建模。该协会提供语言规范、工具、库以及社区支持，助力用户高效地进行系统建模。
阅读更多
一位名叫Trey的程序员为一家3G电信初创公司工作。他编写了一个自动化支付测试程序，本意是进行小额测试交易，却因程序中三个Bug导致程序每五分钟向测试账户注入100美元。由于缺乏存活性检查，一个网关故障导致程序持续运行数小时，最终累积了巨额款项。第二天早上，Trey面临着安全团队的质询，直到部门主管解释清楚才化险为夷，但测试账户余额也被清零。
阅读更多
Andy Konwinski发起了一项名为K奖的百万美元竞赛，旨在推动开源AI代码能力的进步。该竞赛基于一个改进版的SWE-bench基准测试，该版本去除了测试集污染，以更准确地评估AI模型的真实编码能力。Konwinski受到Netflix Prize的启发，相信竞赛能够促进AI研究发展，并吸引全球顶尖人才参与。
阅读更多
谷歌将停止在欧盟投放政治广告，包括YouTube平台。此举是为了应对欧盟即将出台的新规，该法规对政治广告的定义过于宽泛，且技术指导不明确。谷歌表示，新规带来了巨大的运营挑战和法律不确定性。此外，谷歌已在加拿大、法国和巴西停止投放政治广告。
阅读更多
大型语言模型(LLM)通常在“语言空间”中进行推理，使用思维链(CoT)解决复杂问题。然而，语言空间并非总是最优的，因为许多词语对推理并非必要，而一些关键词语又需要复杂的规划。本文介绍了一种新的范式Coconut（连续思维链），它利用LLM的最后一个隐藏状态作为推理状态（称为“连续思维”）的表示，并将其直接反馈给LLM作为后续输入嵌入，而不是将其解码为词语标记。实验表明，Coconut可以有效地增强LLM在多个推理任务上的性能。这种新的潜在推理范式带来了高级推理模式：连续思维可以编码多个替代的推理步骤，允许模型执行广度优先搜索(BFS)来解决问题，而不是像CoT那样过早地提交到单一的确定性路径。在某些需要大量回溯的逻辑推理任务中，Coconut的性能优于CoT，并且推理所需的思维标记更少。
阅读更多
文章探讨了如何改变容貌以躲避人脸识别技术。专家指出，仅仅戴帽子和墨镜不足以骗过先进的算法，疫情期间，系统更依赖于眼形识别。虽然化妆、遮挡面部或快速移动可以干扰摄像头捕捉清晰图像，但最有效的方法是避开摄像头。彻底改变外貌并不可行，一旦照片与姓名关联出现在网络上，就很容易被识别。专家建议，与其费尽心思改变外貌，不如推动政府立法来保护我们的生物识别数据。
阅读更多
SP1是Succinct Labs发布的第一代零知识虚拟机（zkVM），可验证任意Rust（或任何LLVM编译语言）程序的执行。相比现有zkVM，SP1的目标是实现数量级的性能提升，其Alpha版本在某些程序中速度提升高达28倍，并且与基于电路的方法相比也具有竞争力。SP1是一个完全开源、易于贡献的公共产品，旨在构建用于汇总、协处理器和其他ZKP应用的最佳zkVM。SP1持续改进，颠覆了黑盒zkVM难以定制且无法跟上最新证明系统进步的现状。
阅读更多