无关键帧动画:CSS新技巧

2025-01-12
无关键帧动画:CSS新技巧

CSS的新特性`@starting-style`允许开发者在不使用`@keyframes`的情况下创建动画。这并非传统动画方式的替代,而是在特定场景下有效的CSS技巧。文中给出了两个例子:一个无限旋转的方块,以及一个更复杂的动画,它通过动画化一个变量`--i`来控制背景颜色、位移和旋转。虽然这并非总是最佳方案,但它提供了一种表达动画的全新方式,为CSS动画设计增添了更多可能性。

阅读更多

对抗提示注入:六种LLM代理安全设计模式

2025-06-13
对抗提示注入:六种LLM代理安全设计模式

一篇来自IBM、Invariant Labs等机构的论文提出六种减轻大型语言模型(LLM)代理提示注入风险的设计模式。这些模式通过限制代理行为来防止其执行任意任务,例如行动选择器模式阻止工具反馈影响代理,计划-执行模式则预先规划工具调用,而双LLM模式使用一个特权LLM协调一个隔离的LLM,避免接触不受信任的内容。论文还包含十个案例研究,涵盖各种应用场景,例如SQL代理、电子邮件助手和软件工程代理,为构建安全可靠的LLM代理提供了实用指导。

阅读更多
AI

PyPI依赖关系可视化:发现隐藏的软件包集群

2025-03-04

作者通过可视化PyPI中超过50万个开源Python软件包的依赖关系,构建了一个巨大的图网络。通过数据清洗和Gephi软件,作者成功展现了软件包间的依赖关系,并从中发现了有趣的现象:一些软件包形成了紧密的集群,例如围绕NumPy的科学计算包集群;也有一些异常集群,包含一些可疑的软件包,这暗示了可视化方法在检测恶意软件包方面的潜力。此外,一些大型企业如Triton和Odoo的软件包也因其内部依赖关系而聚集在一起。这项研究为探索PyPI生态系统提供了新的视角,也展现了数据可视化在软件包分析中的强大作用。

阅读更多
开发

科技巨头签署欧盟协议,打击网络仇恨言论

2025-01-21
科技巨头签署欧盟协议,打击网络仇恨言论

Meta、谷歌、TikTok和X等科技巨头签署了欧盟一项自愿承诺,以打击其平台上的非法仇恨言论。这项名为“打击网络非法仇恨言论行为准则+”的协议,要求签署方提高透明度,允许第三方监督,并在24小时内审查至少三分之二的仇恨言论举报。虽然该协议并非强制性,但它代表了科技公司在应对网络仇恨言论问题上迈出的一步。

阅读更多

WinFile:怀旧的Windows文件管理器复活了!

2025-04-22
WinFile:怀旧的Windows文件管理器复活了!

微软宣布将于2025年3月1日停止维护WinFile项目,但好消息是,这个经典的Windows文件管理器以原生x86、x64和arm64桌面应用的形式复活了,支持所有当前版本的Windows系统,包括Windows 11。项目维护者欢迎用户提交Bug修复和改进建议,但不会再开发新的分支。WinFile项目源码包含两个主要版本:尽量保持原样的`original_plus`分支和积极开发的`master`分支。用户可以从微软商店或项目页面下载预编译版本。

阅读更多
开发

在Emacs中运行Fennel:一个强大的扩展

2025-07-23
在Emacs中运行Fennel:一个强大的扩展

本文介绍了一个名为`require-fennel.el`的Emacs扩展,它允许用户在Emacs中运行Fennel(一种Lua方言)。该扩展通过与Fennel REPL进行通信来实现此功能,允许在Emacs Lisp和Fennel之间进行数据转换和函数调用。作者展示了如何加载Fennel模块、调用Fennel函数、以及在Emacs Lisp中使用Fennel数据结构。此外,该扩展还支持从Fennel调用Emacs Lisp函数,实现了双向交互。这使得开发者能够利用Fennel的简洁性和Emacs的强大功能,创造更强大的Emacs环境。

阅读更多
开发 Fennel

GPU利用率最大化:从分配到FLOP/s

2025-05-07
GPU利用率最大化:从分配到FLOP/s

本文深入探讨了GPU利用率的三个层面:GPU分配利用率、GPU内核利用率和模型FLOP/s利用率。作者指出,高价格和性能敏感性使得最大化GPU利用率至关重要。文章分析了影响各个层面利用率的因素,例如经济限制、DevOps限制、主机开销等,并提出了相应的优化策略,例如使用Modal平台提高GPU分配效率,优化内核代码,提高算术强度等。最后,文章还分享了业界GPU利用率的现状和最佳实践,为开发者提供了宝贵的经验和指导。

阅读更多
开发 GPU利用率

比亚迪海豹实测:1200英里续航的固态电池

2025-06-20
比亚迪海豹实测:1200英里续航的固态电池

比亚迪在其与特斯拉Model 3竞争的海豹电动汽车上开始测试固态电池。初步测试表明,其续航里程可达近1200英里(1875公里)。比亚迪自十多年前就开始研发这项有前景的电池技术,并在2025年宣布已将其安装在海豹车型上进行道路测试。计划于2027年开始在量产车型中使用固态电池,并在2030年实现量产,届时固态电池的成本将与目前的锂离子电池相当。海豹有望成为首款搭载固态电池的车型,其高能量密度和快速充电能力将进一步提升比亚迪在全球电动汽车市场的竞争力。

阅读更多
科技

Rustls:高性能、内存安全的TLS实现再升级

2025-05-16
Rustls:高性能、内存安全的TLS实现再升级

Rustls,一个注重性能的内存安全TLS实现,近期发布了重大性能改进。通过优化会话恢复机制,特别是替换了互斥锁以减少并发连接握手中的竞争,以及减少默认发送的无状态恢复票据数量,Rustls 0.23.17 版本在多核服务器上的性能得到了显著提升,几乎实现了线性扩展,且握手延迟比OpenSSL低约2倍。这使得Rustls成为一个更具竞争力的TLS解决方案,为互联网带来更安全、高效的连接体验。

阅读更多
开发 Rustls

无限的无限:数学家接近解答实数个数之谜

2025-01-09
无限的无限:数学家接近解答实数个数之谜

长久以来,数学家认为确定实数的总数是个无法解答的问题。一篇新的证明却表明情况并非如此。文章讲述了数学家Asperó和Schindler如何证明两个曾被认为是互相竞争的无限数学基础公理实际上是相互蕴含的。这一发现支持了连续统假设为假的观点,并指出在143年前被假设为第一个和第二个无限大数之间存在一个额外的无限大小。虽然这一结果在数学界引起了巨大的兴奋和争论,但关于无限集合大小的争论远未结束。

阅读更多
数学 无限

突破四十年瓶颈:算法破解“书架难题”,挑战二叉搜索树霸权

2025-07-04

计算机科学家们攻克了困扰他们四十多年的“书架难题”(列表标注问题)。该问题旨在高效地将新数据插入已排序的数据结构中,类似于在书架上添加新书。研究人员开发出一种新算法,其成本接近理论下限,实现了在数据插入成本上的巨大飞跃。这项突破有可能挑战目前排序数据结构中占据主导地位的二叉搜索树,为大数据管理带来革命性的变化。

阅读更多
开发

挑战物理学极限:意识如何影响现实?

2025-04-30

长达三十年的实验表明,PEAR研究中出现的异常物理现象与意图、意义、共振和不确定性等主观变量显著相关。这与既定的物理和心理学假设严重不符,需要构建新的理论模型来解释。文章探讨了几个模型,包括将量子力学原理应用于意识,以及通过潜意识与物质过程互动来影响现实。这些模型强调意识在塑造现实中的主动作用,为“主观科学”的构建提供了框架,挑战我们对现实的理解。

阅读更多
AI

远程团队协作新思路:个人“随想”频道

2025-08-03
远程团队协作新思路:个人“随想”频道

对于2-10人的远程团队,不妨试试为每个成员创建专属的“随想”频道。成员可在此分享想法、感悟,例如项目创意、文章评论、问题排查等,如同团队内部的个人日记或微博,增强团队凝聚力。频道命名以成员姓名,仅本人可发主贴,他人可回复。所有“随想”频道集中归类,默认静音,无需强制阅读。Obsidian团队两年前开始实践此方法,有效保持团队联系,激发创意,甚至解决长期问题,成为团队非正式沟通的有效途径。

阅读更多
开发 远程团队

LLM 编译器:代码生成的未来?

2025-07-03

作者设想了一种新的软件开发模式:将大型语言模型(LLM)作为编译器。不再直接编写代码,而是向LLM提供上下文(需求、测试用例等),LLM 迭代生成代码并自动集成,工程师只需关注上下文和测试结果。这将降低开发门槛,提高开发效率,并可能彻底改变软件工程。虽然LLM 的输出并非完全可预测,但通过测试和迭代可以保证其可靠性。这种模式的核心是将代码视为中间层,最终目标是交付功能而非完美代码。

阅读更多
开发

开源维护者反叛:libxml2 维护者不再区别对待安全漏洞

2025-06-19

libxml2 的唯一维护者宣布将不再区别对待安全问题和普通 bug,这一举动在开源社区引发热议。文章认为,这反映了越来越多的开源维护者对公司利用开源软件现状的不满。作者区分了个人合作式开源和公司利用开源两种模式:前者如 Debian 和 BSD,以社区协作为主;后者则以公司盈利为目的,对开源贡献者缺乏责任感。作者预测,未来开源社区将越来越重视这种区别,并可能调整与公司之间的互动模式。

阅读更多
开发

神圣迷幻剂:宗教领袖的迷幻蘑菇体验

2025-06-16
神圣迷幻剂:宗教领袖的迷幻蘑菇体验

一群宗教领袖,包括浸信会学者、天主教神父、犹太教拉比、伊斯兰教领袖和禅宗老师等,参与了一项使用高剂量迷幻蘑菇(裸盖菇素)的实验。超过90%的参与者表示,这次体验是他们生命中最具灵性意义和神圣的经历,许多人还表示这使他们成为更好的宗教领袖。这项研究引发了关于致幻剂与宗教体验之间关系的讨论,尽管存在一些伦理和方法论上的问题,例如样本量小、参与者主要为白人男性基督徒等。

阅读更多

Android的以太网适配器之谜:一个愚蠢的正则表达式

2025-06-08
Android的以太网适配器之谜:一个愚蠢的正则表达式

本文讲述了作者尝试在Android手机上使用USB以太网适配器却失败的经历。深入调查后发现,问题并非驱动程序缺失,而是Android系统中的`EthernetTracker`服务使用了一个正则表达式`eth\d`来匹配以太网接口名称,而CDC以太网适配器创建的接口名称为`usbX`,导致无法识别。作者详细描述了排查问题的过程,包括获取内核配置、分析Android源码等,最终揭示了这个令人哭笑不得的根本原因:一个简单的正则表达式限制了功能。这篇文章既展现了作者强大的问题解决能力,也暴露了Android系统设计中可能存在的缺陷。

阅读更多
开发 USB以太网

法国数字主权危机:对美国科技巨头的依赖

2025-07-21
法国数字主权危机:对美国科技巨头的依赖

法国对美国科技巨头的依赖日益加深,引发了对其数字主权的担忧。参议院报告指出,法国政府将关键数据基础设施外包给受美国域外法管辖的美国公司,例如微软,造成了“政治错误”。这使得包括医疗、教育和关键部门在内的公共数据暴露于美国的《外国情报监视法案》(FISA)和《澄清海外数据合法使用法案》(CLOUD)等法律规定的外国监控之下。报告批评政府系统性地贬低欧洲替代方案,并指出法国公司对国家社会体系的贡献被忽视。丹麦已率先转向开源替代方案,而法国议员则呼吁欧盟采取行动,以应对这种日益严重的数字依赖性,避免关键数据落入外国势力手中。

阅读更多
科技

程序化生成森林生物:漫长而充满挑战的旅程

2025-04-12
程序化生成森林生物:漫长而充满挑战的旅程

作者历时数年,致力于为游戏《大森林》程序化生成并动画化大量森林生物。起初,他尝试使用简单的参数化模型,但效果不佳。之后,他转向手动参数化,并使用主成分分析法寻找更高级别的参数,但效果依旧不尽如人意。最终,他放弃了自动化方案,转而手动定义更高级别的参数,并开发了工具辅助参数调整。在动画方面,作者基于自己之前的研究成果,采用运动学方法,并通过不断改进,最终实现了较为自然的生物运动效果。整个过程充满挑战,但也充满乐趣,作者分享了他不断尝试、失败和改进的经验。

阅读更多
游戏

Meta眼镜Messenger AI扩展:语音控制你的AI助手

2025-06-10
Meta眼镜Messenger AI扩展:语音控制你的AI助手

一个名为Mai的浏览器扩展程序,允许用户通过Meta Rayban智能眼镜或Messenger应用程序,用语音命令控制各种AI机器人(如ChatGPT、Claude)。该扩展利用一个巧妙的技巧,绕过Meta眼镜的限制,允许发送消息给自定义的AI模型。用户可以设置多个API密钥,并选择将消息和图片发送给不同的AI服务,甚至可以将回复转换为语音。目前该扩展仍处于早期阶段,但展示了未来AI与可穿戴设备结合的巨大潜力。

阅读更多
开发

ESP32-BlueJammer:一款强大的2.4GHz干扰器(仅用于教育目的)

2025-06-23
ESP32-BlueJammer:一款强大的2.4GHz干扰器(仅用于教育目的)

ESP32-BlueJammer是一款基于ESP32和nRF24模块的2.4GHz干扰器,能够干扰蓝牙、BLE、WiFi和遥控设备等多种设备。该设备通过发送大量干扰包来实现干扰效果,具有较大的干扰范围(超过30米)。该项目提供DIY套件和预焊接版本,并附带详细的组装和固件烧录教程。需要注意的是,干扰信号是违法的,本项目仅供教育用途,请勿用于非法活动。

阅读更多
硬件 干扰器 2.4GHz

失落的古城:考古学家重返赫利奥波利斯

2025-05-08
失落的古城:考古学家重返赫利奥波利斯

这篇文章介绍了考古学家对埃及赫利奥波利斯古城的抢救性发掘工作。曾经作为尼罗河畔最神圣的遗址,赫利奥波利斯一度被遗忘,直到考古学家介入,才避免了其彻底消失的命运。文章还提到了多个考古发现的杂志,例如《Digs & Discoveries》在不同年份的刊物中都报道了相关发现,展现了考古工作的持续性和重要性。

阅读更多

摄影师与名厨波登:骨髓、特基拉与最后的晚餐

2025-08-06
摄影师与名厨波登:骨髓、特基拉与最后的晚餐

本文讲述了摄影师为其摄影集《我的最后晚餐》拍摄名厨安东尼·波登肖像的幕后故事。从紧张的准备到拍摄过程中的意外,再到最终照片的成功和波登本人对照片的评价,作者用细腻的笔触展现了两人之间的友谊和对艺术的共同追求,以及照片背后复杂的情感和意义。最终,一张波登怀抱女儿的照片成为两人友谊的见证,也体现了摄影作品的永恒魅力。

阅读更多

Common Lisp 的实时编码图形编程:无需重启的Boids算法实现

2025-04-23
Common Lisp 的实时编码图形编程:无需重启的Boids算法实现

本文介绍了如何在 Common Lisp 中使用实时编码技术开发图形程序,以 Boids 算法为例。Common Lisp 强大的重新编译功能允许在程序运行时修改代码并立即生效,无需重启。作者使用 Sketch 图形框架,逐步实现了 Boids 算法,并展示了实时编码带来的高效开发体验。通过修改代码并实时查看效果,作者完成了 Boids 算法的核心部分,包括避让、凝聚和对齐三个规则,最终实现了一个可以跟随鼠标的 Boids 模拟。实时编码极大地提高了开发效率和互动性。

阅读更多

DeepMind发布Genie 3:持久交互式3D AI世界模型

2025-08-06
DeepMind发布Genie 3:持久交互式3D AI世界模型

Google DeepMind发布了其AI“世界”模型的最新版本Genie 3,该模型能够生成用户和AI代理可以实时交互的3D环境。与之前的版本相比,Genie 3能够支持更长时间的交互,并且能够记住用户离开视野后物体的位置。Genie 3能够生成720p分辨率、24fps的持续几分钟交互的世界,并支持通过提示改变天气条件或添加新角色等操作。目前,Genie 3仅限于少量学术界和创造者进行有限的研究预览。

阅读更多

AI 的双刃剑:效率提升与环境伦理的冲突

2025-05-15

大型语言模型(LLM)的兴起带来了开发效率的显著提升,例如代码编辑器Cursor的惊艳表现。然而,AI的快速发展也带来了巨大的环境问题:庞大的能源消耗和数据中心建设对气候变化造成负面影响。此外,AI模型训练数据来源的伦理问题和对网络资源的过度消耗也引发担忧,例如对维基百科服务器的巨大压力以及生成大量低质量内容“AI糟粕”污染网络。作者在体验AI工具带来的便利后,反思了其负面影响,并呼吁关注AI的潜在危害,避免盲目使用。

阅读更多
AI

低成本开源仿人机械手AmazingHand:3D打印、8自由度,价格低于200欧元

2025-07-17
低成本开源仿人机械手AmazingHand:3D打印、8自由度,价格低于200欧元

AmazingHand是一个令人惊叹的开源项目,它创造了一个低成本、高性价比的8自由度仿人机械手。该机械手采用3D打印技术制作,所有执行器都集成在手中,无需外部电缆,重量仅400克,价格低于200欧元。其设计巧妙地利用了并联机构和小型伺服电机,并提供Python和Arduino两种控制方式。项目提供了详细的组装指南、CAD文件和软件,即使是新手也能轻松上手。未来,该项目还计划改进机械手的抓取能力,并探索更多功能,例如增加指尖传感器和更强大的电机。

阅读更多
硬件

律师如何揭露乙醇神话:一个关于食物、农业和气候变化的故事

2025-07-28
律师如何揭露乙醇神话:一个关于食物、农业和气候变化的故事

2003年,律师Tim Searchinger发现了一份关于玉米乙醇减排的报告存在漏洞。他深入研究发现,报告低估了将粮食用于燃料的碳排放成本,因为未考虑粮食替代的土地利用变化。尽管当时气候变化并非主要议题,Searchinger的质疑最终促使他深入研究农业、土地利用和气候变化之间的关系,并最终揭示了生物燃料对环境的巨大影响,为解决全球粮食和气候问题指明了方向。

阅读更多
科技

扎克伯格的“反转”与科技公司文化之殇

2025-01-12
扎克伯格的“反转”与科技公司文化之殇

本文作者Dan McKinley批评了扎克伯格近期一系列反其道而行的举动,认为其对员工的敌意和对平台上仇恨言论的纵容,体现了科技行业领导者对员工的“反叛”。作者回顾了科技公司曾经流行的“快乐工作文化”,例如黑客周、轮岗和20%时间等,认为这些并非仅仅是福利,而是为了提升员工积极性、促进知识共享和创新,最终提升生产力。作者认为,单纯追求效率而牺牲员工的积极性和幸福感,是短视且不明智的,最终将损害公司长远发展。

阅读更多

记者意外加入美国国家安全会议Signal群聊:重大安全漏洞曝光

2025-03-25
记者意外加入美国国家安全会议Signal群聊:重大安全漏洞曝光

《大西洋月刊》主编杰弗里·戈德堡意外被添加到一个Signal群聊中,该群聊包含了美国国家安全会议关于对也门胡塞武装进行军事打击的讨论。戈德堡收到了关于打击的详细信息,甚至在袭击发生前就知道了。白宫对此事似乎毫不知情,总统特朗普对此表示震惊。此次事件暴露了特朗普政府在信息安全方面的严重漏洞,并引发了对Signal等加密应用在政府敏感信息沟通中的适用性的质疑。

阅读更多
1 2 778 779 780 782 784 785 786 1084 1085