伦敦地上铁:一座城市的呼吸

2025-08-24
伦敦地上铁:一座城市的呼吸

伦敦的地铁(Tube)拥挤不堪,而新建成的地上铁(Overground)却以其宽敞、明亮、安静的环境,成为伦敦人新的出行选择。地上铁并非全新建设,而是对一些老旧线路的改造升级,却取得了巨大的成功。它不仅提升了乘客满意度,也促进了沿线地区的经济发展,更重要的是,它创造了一种更轻松、更舒适的公共交通体验,让乘客在旅途中能够放松身心,甚至进行社交互动,成为城市生活中不可或缺的一部分。

阅读更多
科技

百年益生菌:大肠杆菌Nissle 1917 的前世今生

2025-08-24

一百年前,Alfred Nissle 发现特定菌株的大肠杆菌可以治疗传染病。其中一种菌株——Nissle 1917——成为研究中最常用的益生菌大肠杆菌,并应用于多种人体疾病。本文比较了Nissle 1917 菌株与其他市售大肠杆菌益生菌菌株的特性,重点关注其在人体中的应用,并回顾了益生菌治疗特定人体疾病的研究历史趋势。研究发现,Nissle 1917 菌株与引起尿路感染的致病菌株相似,其未来应用可能在于治疗由抗生素耐药病原体引起的胃肠道感染,这与 Nissle 最初的发现不谋而合。

阅读更多

Claude Code:一个令人愉悦的AI编程助手

2025-08-24
Claude Code:一个令人愉悦的AI编程助手

本文深入探讨了Claude Code——一款基于Claude 4模型的AI编程助手,其卓越之处在于其简洁的架构设计和易于调试的特性。作者通过分析Claude Code的内部运作机制,揭示了其成功的秘诀:采用单线程架构,使用简单的提示和工具,并避免复杂的RAG搜索算法。Claude Code 通过精心设计的提示工程,包含丰富的示例和启发式规则,以及对模型行为的严格控制,实现了高效、可靠的代码编辑和生成能力。文章还强调了保持代码简洁性以及利用低成本的小型模型的重要性,为构建类似的AI编程助手提供了宝贵的经验和指导。

阅读更多
开发

神经网络如何识别猫?从简单分类器到复杂模型

2025-08-24
神经网络如何识别猫?从简单分类器到复杂模型

让电脑识别猫的照片并非易事,但如今,神经网络通过学习数百万甚至数十亿的例子,轻松做到这一点。文章以识别猫照片为例,解释了神经网络的基本原理:通过构建简单的分类器,利用数学函数(神经元)处理输入数据,最终找到最佳边界来区分不同类别。这篇文章深入浅出地解释了神经网络的工作机制,即使没有编程基础也能理解其基本概念。

阅读更多
AI

AI浏览器安全漏洞:指令注入攻击

2025-08-24
AI浏览器安全漏洞:指令注入攻击

Brave安全团队发现Perplexity Comet等AI浏览器存在严重安全漏洞:攻击者可通过在网页中嵌入恶意指令,诱导AI助手执行未经授权的操作,例如访问用户银行账户、窃取密码等。攻击利用了AI助手无法区分用户指令和网页内容的弱点,绕过了传统的Web安全机制。该漏洞凸显了AI浏览器安全性的重要性,需要浏览器厂商在部署强大的AI代理功能前,优先解决安全问题。

阅读更多
科技 指令注入

羽毛球旋转发球被禁:物理学揭秘其“不可能回球”的秘密

2025-08-24
羽毛球旋转发球被禁:物理学揭秘其“不可能回球”的秘密

近年来,羽毛球运动中出现了一种名为“旋转发球”的新技术,其旋转速度极快,几乎无法回球,一度被认为是“不可能回球”的技术。由于其带来的不公平优势,世界羽联在2023年将其禁用。近期,中国物理学家通过研究,揭示了旋转发球背后的复杂物理原理,发表在《流体物理学》杂志上。研究发现,羽毛球独特的羽毛结构和空气动力学特性是旋转发球的关键,其旋转方式与之前被禁的“Sidek发球”类似。这项研究不仅解释了旋转发球的物理机制,也为制定更公平的比赛规则提供了科学依据。

阅读更多
游戏 旋转发球

LLM大比拼:130个真实提示下的模型性能评估

2025-08-24

博主对十多个LLM模型进行了真实场景测试,涵盖编程、系统管理、技术解释和创意任务四大类,共130个提示。测试结果显示,开源模型在准确性、速度和性价比上表现出色,甚至超过了一些闭源模型,例如Gemini 2.5 Pro。作者最终选择组合使用多个快速廉价的开源模型,并根据需求适当加入更强大的闭源模型作为补充。

阅读更多
AI

用线扫描相机拍摄火车:从图像处理到AI辅助

2025-08-24
用线扫描相机拍摄火车:从图像处理到AI辅助

本文详细介绍了作者使用线扫描相机拍摄火车照片的图像处理流程。作者首先介绍了线扫描相机的原理,然后详细阐述了图像处理的各个步骤,包括感兴趣区域检测、速度估计、重采样、去马赛克、去除垂直条纹、降噪和倾斜校正等。文中还提到了作者使用AI辅助编程的经验,以及其他一些线扫描摄影师的作品。这是一个关于科技和图像处理的精彩故事,充满了技术细节和挑战,也展示了作者的毅力和创造力。

阅读更多

WiX工具集:简化Windows安装程序的利器

2025-08-24
WiX工具集:简化Windows安装程序的利器

WiX工具集是一个强大的开源工具,用于创建Windows Installer安装程序。它使用类似于普通软件开发的构建概念,将源码编译链接成.exe安装包、.msi安装程序、.msm合并模块和.msp补丁。WiX支持多种构建系统,包括MSBuild,并提供扩展功能,例如安装IIS网站、创建SQL Server数据库和注册Windows防火墙例外。此外,WiX的Burn引导程序可以安装.NET Framework等先决条件,并支持下载或打包成单个.exe。WiX SDK还包含托管和原生库,方便编写与Windows Installer交互的代码。需要注意的是,WiX工具集需要支付开源维护费才能使用全部功能,但社区支持和商业支持也同样存在。

阅读更多

23分钟15秒恢复工作效率的都市传说:真相何在?

2025-08-24

互联网上流传着这样一个说法:被打扰后恢复工作需要23分钟15秒。然而,一篇经常被引用的研究论文并未支持这一说法。作者耗时20分钟寻找来源,发现这个数字并非源于论文本身,而是来自Gloria Mark教授的几次访谈。虽然多篇文章引用了这个数字,但其原始出处依然成谜,引发了网友热议。

阅读更多

CSS 迎来随机函数:告别 JavaScript 随机动画

2025-08-24
CSS 迎来随机函数:告别 JavaScript 随机动画

CSS 即将迎来`random()`函数,这将彻底改变网页设计的方式!无需 JavaScript,你就能在 CSS 中生成随机数,实现随机动画延迟、随机布局、随机颜色等等。该函数支持最小值、最大值和步长三个参数,并提供多种随机数共享机制,例如通过自定义属性或`element-shared`关键字实现元素间或全局的随机数共享。文章通过制作星空背景、随机排列矩形和照片堆叠等案例,生动地展示了`random()`函数的强大功能,并邀请开发者积极反馈,帮助完善该特性。

阅读更多
开发 随机函数

构建属于你的编程智能体:只需300行代码

2025-08-24
构建属于你的编程智能体:只需300行代码

在2025年的科技浪潮中,学会构建编程智能体已成为开发者提升自身竞争力的关键技能。本文作者Geoffrey Huntley,Canva前开发者效率技术主管,现Sourcegraph工程师,通过一个实践工作坊,演示了如何用300行代码构建一个简单的编程智能体。它基于LLM(大型语言模型)token,通过循环运行,并结合工具调用(如读取文件、执行bash命令等),实现自动化编程。作者强调选择合适的LLM模型(如Claude Sonnet)和有效利用上下文窗口至关重要,避免资源过度分配影响性能。掌握这项技能,将使你从AI的使用者转变为创造者,在竞争激烈的科技行业中立于不败之地。

阅读更多

盖斯勒管:现代科技的不起眼祖先

2025-08-23
盖斯勒管:现代科技的不起眼祖先

1854年,玻璃吹制匠海因里希·盖斯勒在波恩发明了盖斯勒管,一种早期气体放电管。看似简单的装置,却开启了现代科技的诸多篇章。盖斯勒管催生了荧光灯、霓虹灯等照明技术,更重要的是,它促进了物理学研究,成为发现电子和X射线的关键工具,并最终引领了阴极射线管显示技术及电子管的诞生,奠定了现代电子计算机的基础。这项看似不起眼的技术,深刻地影响着我们今天的世界。

阅读更多

在 CUDA C++ 中实现 Flash Attention 的历险记

2025-08-23

本文详细介绍了作者如何在 CUDA C++ 中实现 Flash Attention,并对其性能进行了优化。作者从一个基础版本开始,逐步改进,使用了共享内存交换、两阶段流水线、以及更有效的 ldmatrix 使用等技术。通过不断地性能分析和优化,最终实现了接近硬件理论极限的性能。文章还深入探讨了在线 softmax 的实现细节以及共享内存冲突的解决方法,对于 CUDA C++ 开发者具有很高的参考价值。

阅读更多
开发

Bild AI招募应用AI创始工程师

2025-08-23
Bild AI招募应用AI创始工程师

Bild AI,一家初创公司,正在寻求一位应用AI领域的创始工程师。该公司致力于利用计算机视觉和大型语言模型理解建筑蓝图,旨在提高建筑效率。理想候选人应具备扎实的Python、机器学习和深度学习经验,能够快速构建原型并根据用户反馈进行改进。这是一个充满挑战但有影响力的角色,需要你能够独立完成从0到1的AI项目并将其投入生产。

阅读更多
AI

Colt电信公司数据泄露:Warlock勒索软件团伙叫价20万美元

2025-08-23
Colt电信公司数据泄露:Warlock勒索软件团伙叫价20万美元

英国电信公司Colt Technology Services证实,其客户数据被Warlock勒索软件团伙窃取并已在暗网上拍卖。该团伙声称拥有100万份文件,包括财务信息、网络架构数据和客户信息,叫价20万美元。Colt公司已发布安全事件通告,并表示客户可以请求一份在暗网上发布的文件名列表。此次攻击利用了SharePoint漏洞,凸显了网络安全风险。

阅读更多
科技

告别JS依赖:一个在线桌游网站的渐进增强实践

2025-08-23

本文讲述了一个在线桌游网站如何通过服务端渲染、HTML标准元素和URL参数等技术,实现完全可选的JavaScript功能。作者成功地将游戏实时更新改造成基于页面自动刷新的机制,并用HTML标准元素替代了JavaScript下拉菜单和模态框。虽然增加了服务器负载和代码复杂性,但该实践提升了页面加载速度和网站健壮性,并带来了一些意想不到的益处,例如更语义化的HTML。然而,作者最终认为,这种方法的额外工作量并不值得,除非目标用户群体对JavaScript的依赖性极低。

阅读更多

告别低效:这款「最难」专注应用,将严酷惩罚你的分心

2025-08-23
告别低效:这款「最难」专注应用,将严酷惩罚你的分心

这款应用并非市面上那些花里胡哨的专注软件,它反其道而行之:没有开始按钮,唯一的入口是放下手机。拿起手机,刺耳的警报声将响彻你的世界,所有进度都会被清除,以此来建立你的自律性。它需要付费订阅或一次性购买,没有免费功能,开发者认为,如果连这点钱都付不起,那这款应用并不适合你。它目标明确:对抗注意力经济,帮助你重新掌控时间。

阅读更多

Readyset数据库:利用ICP优化冷路径查询性能

2025-08-23
Readyset数据库:利用ICP优化冷路径查询性能

Readyset数据库在处理缓存未命中(冷路径)时的关联查询性能上取得了显著突破。针对常见的“跨表过滤”关联查询,原先的哈希连接算法因需要读取大量无关数据而效率低下。通过引入索引条件下推(ICP)技术,Readyset将左表过滤条件的结果与右表条件结合,直接在存储引擎层进行精准数据检索,从而避免了全表扫描。基准测试显示,新算法的吞吐量提升超过450倍,平均延迟降低超过450倍,有效解决了冷路径查询的性能瓶颈。

阅读更多

ArduinoOS:一个精简高效的实时操作系统

2025-08-23
ArduinoOS:一个精简高效的实时操作系统

ArduinoOS是一个为Arduino设计的轻量级实时操作系统,它提供线程安全机制(使用锁来防止线程冲突)、异常处理机制(try-catch-clearException,支持异常继承和自定义异常类型)、内核恐慌处理(OnKernelPanic函数)、内存管理函数(freeMemory, freeStack)、可配置的线程栈大小(InitTaskWithStackSize)和线程参数传递(InitTaskWithArgument)、以及可配置的内核心跳周期。此外,它还提供了对多种硬件的抽象类,简化了硬件操作。

阅读更多

开源Roblox兼容游戏引擎Librebox:构建你自己的游戏世界

2025-08-23
开源Roblox兼容游戏引擎Librebox:构建你自己的游戏世界

Librebox是一个开源游戏引擎,它运行Luau语言并旨在复制Roblox公共API,允许Roblox代码在Librebox引擎上运行。开发者可以完全掌控自己的游戏,从代码到引擎,创建沉浸式游戏体验。目前Librebox处于演示阶段,已支持基本场景渲染、光照、阴影等功能,并计划在未来版本中加入物理引擎、网络功能等。Librebox完全免费且开源,不依赖Roblox的任何代码或资产,为开发者提供了一个构建自主游戏平台的理想选择。

阅读更多
游戏

RFC 9839:Unicode字符集的风险与规避

2025-08-23
RFC 9839:Unicode字符集的风险与规避

一篇关于Unicode字符集潜在风险的科技文章,重点介绍了RFC 9839文档。该文档列举了Unicode中一些可能导致软件和网络协议问题字符,并提出了三种更安全的字符子集方案。文章以一个JSON用户名包含Unicode特殊字符的例子,解释了这些字符可能造成的麻烦。作者还对比了RFC 9839与更全面的PRECIS标准,并推荐了作者编写的Go语言验证库。

阅读更多

夜间高温:植物生长的隐形杀手

2025-08-23

本文探讨了夜间高温对植物生长的影响。植物如同动物一样进行呼吸作用,消耗糖分维持生命。当光合作用产生的糖分不足以满足呼吸作用消耗时,植物就会死亡。夜间高温会加速呼吸作用,导致植物消耗更多能量,最终导致生长不良甚至死亡。尤其对于来自凉爽气候的植物,夜间高温更是致命的威胁。文章以番茄为例,说明了夜间高温对植物生长的负面影响,并解释了不同光合作用类型(C3、C4、CAM)在不同温度下的效率差异。

阅读更多
杂项

Linux云栈中的机密计算:性能与安全的博弈

2025-08-23

在公共云环境中,Linux虚拟机(VM)的隐私存在固有限制。机密计算技术通过保护虚拟机的内存,即使针对管理程序也能提供更高的隐私保护。然而,为了支持机密VM,Linux云栈需要重新思考,在性能和安全之间取得平衡。文章探讨了硬件隔离、软件安全机制以及机密计算如何影响Linux云栈的启动过程、安全启动、远程证明等方面,并分析了在扩展性和性能方面面临的挑战,例如DRAM加密解密、内存页面接受过程、ASID限制等。最终,文章指出,虽然机密计算提升了安全性,但同时也加深了对硬件和固件的依赖,并呼吁关注开放架构的重要性,以减少对第三方信任的依赖。

阅读更多
开发

Waymo获准在纽约测试自动驾驶汽车,引发工会强烈反对

2025-08-23
Waymo获准在纽约测试自动驾驶汽车,引发工会强烈反对

Waymo获得了纽约市首个测试自动驾驶汽车的许可,允许其在曼哈顿和布鲁克林部分地区测试最多8辆配备安全驾驶员的自动驾驶汽车。此举引发了工会的强烈反对,他们担心自动驾驶汽车会危及行人安全、阻碍紧急救援,并导致大量失业。尽管市政府表示该项目符合严格的安全规定,并得到了MADD等组织的支持,但工会强调自动驾驶汽车的安全性仍存在问题,并发起请愿活动,要求禁止在纽约市进行自动驾驶汽车测试。

阅读更多
科技 工会抗议

从零开始制作软盘:一个令人惊叹的DIY项目

2025-08-23
从零开始制作软盘:一个令人惊叹的DIY项目

一位名叫Polymatt的极客成功地从零开始制作了一张3.5英寸软盘。这不仅需要制作外壳,更难的是复制软盘内部极其纤薄的磁性介质,这需要特殊的PET薄膜和化学物质。Polymatt还自制了一个价值150美元的CNC机床用的拖刀,展现了DIY的极致魅力,令人叹为观止。

阅读更多
硬件

Echidna增强版符号执行:智能合约安全测试新纪元

2025-08-23

Echidna团队在其模糊测试工具中集成了增强版符号执行功能,显著提升了智能合约安全测试能力。新功能包含两种模式:验证模式,用于验证无状态测试的代码正确性;探索模式,结合模糊测试,发现状态变化场景中的断言失败。该功能无需额外代码,即可在现有模糊测试基础上提供更强的安全保障,并已在实际案例中得到验证,展现出显著的潜力,虽然仍存在一些挑战,如处理循环和动态数据结构的限制。

阅读更多

网页的客户端困境:被忽视的抱怨

2025-08-23

本文探讨了网站对客户端体验的忽视。作者指出,尽管服务器端问题常被讨论,但客户端的缓慢加载、糟糕的UI等问题却常被忽略。以Github最近的更新为例,许多用户反映速度缓慢,但网站运营者更关注服务器端问题。作者认为,网站拥有话语权,用户只能通过抵制来表达不满,但效果甚微。网站通常缺乏对用户流失的有效衡量,导致他们对客户端体验漠不关心。最终,作者承认自己也做出了可能损害用户体验的决定,但认为这是权衡利弊后的选择。

阅读更多
开发

运动的投资回报率:十年寿命换一年锻炼

2025-08-23
运动的投资回报率:十年寿命换一年锻炼

本文探讨了运动的投资回报率。作者以自身经验出发,认为即使只考虑延长寿命这一方面,每周3小时的运动,在一生中约花费8500小时,却能换来额外3-10年的寿命,甚至高达10年,这相当于1:10的回报率!文章也指出,这只是保守估计,并未考虑运动带来的其他益处,如增强体质、提升心智、改善睡眠等,这些益处贯穿人生各个阶段。作者鼓励读者从小量开始,逐步建立运动习惯,收获健康和长寿。

阅读更多
杂项

WebR:浏览器中的R语言运行环境

2025-08-23

WebR项目将R语言编译成WebAssembly,使其可以在浏览器和Node.js中直接运行,无需R服务器。这使得用户可以在本地运行R代码,并支持多个已移植的R包。虽然API仍在开发中,且部分移动浏览器可能限制内存,但WebR为在浏览器中进行数据分析提供了便捷的途径。

阅读更多
开发
1 2 53 54 55 57 59 60 61 1084 1085