语言如何改变性格：一项引人入胜的双语研究
2024-12-22
一位名叫维克多的好友进行了一项独特的实验，研究语言是否会影响性格。他使用标准化的性格测试，对一群英语和德语双语人士进行测试，结果发现，一半受试者在使用不同语言时性格表现出明显差异。这引发了对“协调型”和“混合型”双语现象的探讨，以及语言相对性、决定论等复杂问题的思考。维克多的研究虽然数据有限，但其结果依然令人着迷，提示了语言与性格之间可能存在着微妙的关联。
阅读更多苹果设备截屏DRM视频的谜团
2025-03-01
为什么苹果设备无法截取受DRM保护的视频画面？这篇文章探讨了这一问题。起初，一些变通方法有效，但随着DRM技术的升级，截屏变得几乎不可能。文章指出，苹果设备的硬件和操作系统深度集成，使得DRM屏蔽可以在硬件层面实现，而Windows系统由于其影像处理管线相对独立，因此可以轻松截屏。作者认为，这项“功能”对打击盗版毫无作用，反而给用户带来了不便，是苹果的一个不明智之举。
阅读更多
科技
截屏
闪电般快速的开源搜索引擎Meilisearch：轻松集成到你的应用中
2025-04-14
Meilisearch是一个闪电般快速的开源搜索引擎，能够轻松集成到你的应用、网站和工作流程中。它提供开箱即用的功能，例如混合搜索、搜索即时显示、错字容忍、过滤和分面搜索、排序、同义词支持、地理位置搜索和多种语言支持等，极大提升搜索体验。Meilisearch还提供RESTful API、多种SDK、AI就绪特性以及Meilisearch Cloud云服务，方便部署和维护。此外，Meilisearch注重用户隐私，允许用户禁用匿名数据收集并提供数据删除请求渠道。
阅读更多地热能源：数据中心电力危机的潜在解决方案
2025-03-12
随着AI和云计算的快速发展，数据中心建设对能源的需求激增，电力危机迫在眉睫。然而，一项新的报告指出，地热能可能成为解决这一问题的关键。该报告预测，到2030年，先进的地热发电技术能够满足近三分之二的新增数据中心电力需求，这将使美国的地热发电能力增长四倍。多家初创公司正在积极开发更先进的地热技术，例如利用水平钻井技术、深层钻井技术以及微波钻井技术，以降低成本，提高效率，并解锁更丰富的地下热能资源。这些技术不仅能为数据中心提供清洁能源，而且成本与现有能源方案相当，甚至更低。
阅读更多
科技
Notte：构建可靠的网页自动化代理的利器
2025-08-08
Notte是一个全栈框架，它结合了AI代理和传统脚本编写，以构建和部署与网络无缝交互的AI代理。你可以用它来开发、部署和扩展你自己的代理和网页自动化，所有这些都只需一个API。Notte开源核心功能包括运行网页代理、处理结构化输出、网站交互；API服务（推荐）则提供隐身浏览器会话、混合工作流、密钥保管库、数字身份等高级功能，显著降低成本并提高可靠性。Notte还提供了Python SDK，方便用户快速上手，并支持多种浏览器和自定义设置，例如自定义代理、验证码自动解决等。
阅读更多
开发
网页自动化
用数论难题挑战AI：一场真实性检验
2025-06-18
一位数学家质疑当前AI在数学领域的真实能力，认为现有AI模型只是在鹦鹉学舌，而非真正理解数学。为了验证这一假设，他发起一项实验：创建一个包含高级数论难题的数据库，邀请AI公司用其模型解答。这些难题的答案为非负整数，旨在考察AI是否真正具备数学推理能力，而非仅仅依靠模式匹配和互联网数据。这项实验旨在区分AI的“理解”和“模仿”，推动对AI数学能力的更深入评估。
阅读更多
AI
70年代旧金山：作家Francine Prose的回忆录
2025-06-22
作家Francine Prose在播客节目中回忆了她70年代在旧金山的经历。那时的旧金山，在科技革命之前，Mission区仍然充满自由奔放的气息。她描述了艺术家们在Reno Hotel改造出的工作室，以及参与反战运动的经历，包括她的丈夫攀爬五角大楼的举动。这段回忆充满了对那个时代理想主义和自由精神的怀念，同时也与她喜爱的电影《迷魂记》产生了奇妙的联系。
阅读更多
杂项
70年代
模拟色盲体验：Sim Daltonism
2025-03-30
Sim Daltonism 是一款模拟色盲的应用，可以让你体验不同类型的色盲患者如何感知颜色。iOS 版本可使用相机实时滤镜，Mac 版本则可以过滤屏幕区域。该应用开源，欢迎贡献代码。
阅读更多濒危的格里玛：哥伦比亚传统武术的传承与挑战
2025-04-29
在哥伦比亚考卡省的普埃尔托特哈达镇，一群大师级剑客守护着一种名为“格里玛”（machete fencing）的传统武术。格里玛源于殖民时期，是 Afro-哥伦比亚文化遗产的重要组成部分。然而，随着年轻一代转向城市文化，格里玛面临传承危机。大师们努力争取国家和国际层面的认可，希望通过官方认可来保护这项武术，但同时也担心商业化可能带来的负面影响。他们坚守着格里玛，不仅作为武术，更作为文化和历史的传承，期盼着它的未来。
阅读更多Ripple申请美国银行牌照，剑指稳定币市场
2025-07-04
加密货币公司Ripple Labs效仿Circle Internet Group，申请美国银行牌照，旨在加强与传统金融的联系，并提升稳定币RLUSD的信任度。Ripple CEO Brad Garlinghouse证实已向美国货币监理署（OCC）申请国家银行特许状，并同时申请美联储主账户，以增强RLUSD的安全性。此举正值美国参议院通过GENIUS法案之际，该法案规范稳定币发行。此次申请或将成为稳定币市场信任度的新标杆，因为Ripple将受到联邦和州的监管。XRP币价闻讯上涨3.2%。
阅读更多LISP 1.5 解释器：用 C 和 Odin 重写经典
2025-09-03
这个项目用 C 和 Odin 语言重新实现了 1962 年的 LISP 1.5 解释器核心功能，代码量不到 500 行（Odin 版本约 600 行）。它包含一个基于 Cheney 算法的半空间复制垃圾收集器，并支持有限的尾调用优化。虽然简化了错误处理和线程安全，但该项目成功地运行了测试程序，展现了 LISP 的简洁与优雅。
阅读更多
开发
Jupiter Ace：一个被Forth扼杀的英伦复古电脑
2025-04-10
1982年，英国诞生了一款名为Jupiter Ace的小型家用电脑。它与众不同之处在于ROM中内置了Forth语言而非BASIC。这篇文章探讨了在当时BASIC在ROM中如此重要的原因，以及用Forth替代BASIC是否是Jupiter Ace失败的关键。虽然Forth在技术上更优秀，运行速度更快，更适合专业软件开发，但其较高的学习门槛和Jupiter Ace本身落后的硬件配置（3KB RAM，无彩色图形）最终导致了它的市场失败。比起编程语言，大多数用户更关心的是游戏和内存。
阅读更多
科技
WordPress联合创始人Mullenweg：不打算卸任，未来将寻找合适的接班人
2025-03-04
WordPress联合创始人兼Automattic首席执行官Matt Mullenweg近期面临下台呼声，但他表示无意辞职，并正在规划接班人选。他希望将公司交到另一位CEO手中，而不是一个委员会，这个人将继续守护WordPress社区。Mullenweg与WP Engine的法律纠纷是导致这一呼声的主要原因。他认为WP Engine利用WordPress的开源特性获利，却未充分回馈社区。Mullenweg还谈到了Automattic的未来发展，以及如何通过WordPress.com等平台推广WordPress，并认为Automattic与WordPress.org的合作模式是一种成功的典范。
阅读更多
开发
接班人
字体设计与人体：从文艺复兴到启蒙
2025-02-13
文艺复兴时期，艺术家们将人体比例作为设计字母的蓝本，例如彼得·弗洛特纳的《人体字母表》（1534）。 然而，后来的作品如《滑稽大杂烩，或字母姿势大师》（1782年）则将字母与教育的塑造作用联系起来，以滑稽的方式展现了人们努力模仿字母形状的过程，反映出对教育和社会规范的微妙评论。
阅读更多Webflow免费提供GSAP，赋能网页动画
2025-05-02
Webflow收购业界领先的JavaScript动画库GreenSock Animation Platform (GSAP)，并将其完全免费开放给所有用户，包括此前收费的Club插件。此举旨在降低动画开发门槛，提升网页交互体验。Webflow还对GSAP进行了重大升级，包括对SplitText插件的改进（文件大小减小50%，提升性能，增强可访问性等），简化GSAP插件在Webflow中的集成，以及支持在发布前预览自定义代码。未来，Webflow还将进一步整合GSAP，为用户提供更直观的动画开发体验。
阅读更多LLM Hacker News 插件：一键获取 Hacker News 内容摘要
2025-04-08
一个名为 `llm-hacker-news` 的新 LLM 插件可以让你轻松获取 Hacker News 上的对话内容摘要。只需安装插件，然后使用 `llm -f hn:ID '你的指令'` 命令（例如 `llm -f hn:43615912 '总结并引用关键语句'`），即可获得指定对话 ID (ID可在对话链接中找到) 的摘要。插件安装和本地运行方法也已在README中详细说明。
阅读更多
开发
逆行轨道系外行星之谜：恒星吞噬与轨道迁移
2025-05-24
一颗围绕致密双星系统逆行运行的系外行星ν Octantis b，其存在挑战了行星形成理论。研究表明，其独特的轨道可能源于恒星间的物质转移。缓慢的物质转移可能形成短暂的行星盘，从而孕育出ν Octantis b；或者，系统内质量分布的变化导致外围行星轨道不稳定，最终使其螺旋进入内轨道。这种现象十分罕见，需要更多数据来验证其形成机制。
阅读更多
科技
双星系统
摄影师与名厨波登：骨髓、特基拉与最后的晚餐
2025-08-06
本文讲述了摄影师为其摄影集《我的最后晚餐》拍摄名厨安东尼·波登肖像的幕后故事。从紧张的准备到拍摄过程中的意外，再到最终照片的成功和波登本人对照片的评价，作者用细腻的笔触展现了两人之间的友谊和对艺术的共同追求，以及照片背后复杂的情感和意义。最终，一张波登怀抱女儿的照片成为两人友谊的见证，也体现了摄影作品的永恒魅力。
阅读更多Vim黑魔法：用6500个正则表达式在Vim中播放Bad Apple
2025-01-12
作者在Vim编辑器中仅使用搜索查询，就播放了Bad Apple音乐视频。他将视频的每一帧转换为二进制像素数组，然后将其分解成多个矩形，每个矩形都用一个Vim正则表达式表示。最终，他创建了一个包含6500多个正则表达式的文件，并用Vim宏来循环播放这些正则表达式，从而在Vim中呈现Bad Apple视频。这是一个充满创造性和挑战性的项目，展现了Vim强大的功能和作者精湛的编程技巧。
阅读更多
开发
Bad Apple
告别“氛围编程”：使用Claude进行高效代码交付的实战指南
2025-06-07
这篇文章分享了作者团队如何利用Claude提升软件开发效率的经验。文章批判了单纯依赖AI“氛围编程”的风险，强调了良好开发实践的重要性，并提出了三种AI辅助开发模式：初稿撰写、结对编程和验证。文章重点阐述了CLAUDE.md文档和锚点注释在大型项目中的作用，以及编写测试用例的重要性。作者指出，AI不能编写测试，测试是人类意图的体现，也是防止AI引入错误的关键。文章还探讨了如何管理token、使用新的Claude会话以及团队文化建设等方面，并给出了具体的实践建议。
阅读更多
开发
当前AI：死胡同还是新起点？
2024-12-27
莱斯特德蒙福特大学网络安全教授Eerke Boiten认为，当前基于大型神经网络的AI系统，例如ChatGPT等，由于其内在的复杂性和不可预测性，不应用于关键应用。这些系统缺乏可管理性、透明度和问责制，其行为具有涌现性而非组合性，难以进行有效的验证和纠错。Boiten教授认为，目前AI的发展方向可能是一个死胡同，未来需要探索组合式神经网络或结合符号推理的混合方法，才能构建更可靠的AI系统。
阅读更多
AI
Redis重回开源怀抱：一场与云巨头的博弈
2025-05-02
流行的内存数据存储Redis在经历了一年的闭源尝试后，终于回归开源阵营。此前为了对抗云厂商的竞争，Redis采用了限制性许可证，但这一策略并未奏效，反而催生了Valkey等开源分支。最终，Redis 8在AGPL v3许可证下发布，意图通过开放源码保护自身，并重新与开源社区建立联系。此次事件也反映出开源软件在商业化道路上面临的挑战以及与云厂商之间的微妙关系。
阅读更多
开发
2024年度天文摄影师大赛获奖作品揭晓
2024-12-11
2024年度天文摄影师大赛的获奖者名单已公布，美国摄影师Ryan Imperio凭借其名为《日环食造成的月球表面扭曲阴影》的作品获得总冠军。该作品由30多张太阳照片合成，捕捉了日环食期间的贝利珠现象。其他类别的获奖作品涵盖了星云、星系、极光等多种天文奇观，展现了宇宙的壮丽和摄影师的精湛技艺。这些获奖作品将在英国国家海事博物馆展出。
阅读更多
3
12位彩虹调色板：为国家电网设计的优雅色彩方案
2025-04-28
本文介绍了一种名为“12位彩虹调色板”的色彩方案，它由12种颜色组成，专为国家电网的“Live”项目设计。该调色板巧妙地利用了12位色深，每种颜色仅需4个十六进制字符表示，在CSS或SVG文件中使用非常高效。设计者考虑到人眼对亮度、色度和色相的感知差异，通过在LCH色彩空间中控制亮度、色度和色相的变化，最终呈现出一种色彩过渡自然、视觉效果舒适的彩虹色谱。这套调色板不仅高效实用，而且在视觉上也极具美感。
阅读更多形式化方法：优秀的工程实践？
2025-01-10
亚马逊AWS工程师Marc Brooker在TLA+大会上的主题演讲中力挺形式化方法。他认为，对于大型分布式系统或关键低级系统，形式化方法并非成本高昂的累赘，而是节省时间和金钱的利器。通过减少返工和降低变更成本，形式化设计能显著提高软件开发效率。并非所有软件都适用，例如UI或价格逻辑等对用户需求变化敏感的领域，敏捷开发更合适。但对于需求明确的大型系统，形式化方法能有效降低bug率，提升性能。Brooker推荐了多种工具，包括TLA+、P、Alloy等规范语言，以及模型检测器、验证型编程语言等，并强调形式化方法不仅能保证正确性，还能帮助探索优化方案，避免在正确性和性能之间艰难权衡。
阅读更多
开发
机器人与AI的复杂性：误解与真相
2025-01-11
本文探讨了机器人技术和人工智能复杂性方面的常见误解。作者指出，人们常常将两者混为一谈，认为人工智能的进步可以直接转化为机器人技术的突破。然而，作者认为，机器人技术面临的挑战在于传感器运动控制的复杂性，这远比人们想象的要困难。这与莫拉维克悖论相符：低级感知运动技能比高级推理更难复制。作者进一步解释了当前人工智能解决方案依赖于强大的计算能力和海量数据，而这些条件在机器人领域难以满足。文章还探讨了硬件限制、数据瓶颈以及模型运行速度等问题，并对未来机器人技术的发展方向进行了展望。
阅读更多
AI
莫拉维克悖论
CCxTrust：基于TEE和TPM协同信任的隐私计算平台
2024-12-12
CCxTrust是一个创新的隐私计算平台，它巧妙地结合了可信执行环境（TEE）和可信平台模块（TPM）的优势，构建了一个协同信任框架。通过TEE的“黑盒”RoT和TPM的灵活“白盒”RoT，CCxTrust实现了对敏感数据和模型的端到端保护，并解决了单一硬件信任根的局限性。该平台还支持独立的测量信任根（RTM）和协同的报告信任根（RTR），并通过一个复合认证协议提升了安全性和效率。实验结果表明，CCxTrust在性能方面也具有显著优势。
阅读更多“黄金臂膀”：澳大利亚传奇献血者James Harrison逝世
2025-03-03
澳大利亚传奇献血者James Harrison于88岁去世，他一生献血1173次，挽救了240万婴儿的生命。Harrison的血液中含有罕见的抗D抗体，用于预防Rh血型不合导致的胎儿和新生儿溶血病。他无私奉献的精神感动了全球，他的血液也促进了抗D抗体的合成研究，未来有望惠及更多人。
阅读更多
科技
arXivLabs：与社区协作者共建arXiv新功能
2025-07-13
arXivLabs是一个开放的平台，允许开发者与arXiv社区合作，直接在arXiv网站上开发和分享新功能。参与者必须遵守arXiv的开放、社区、卓越和用户数据隐私的价值观。你有好的想法吗？来加入arXivLabs，为arXiv社区贡献力量！
阅读更多
开发
互联网档案库成为联邦资料库
2025-07-26
加利福尼亚州参议员亚历克斯·帕迪拉宣布，互联网档案库（Internet Archive）已被指定为联邦资料库。这意味着互联网档案库将收藏和提供美国政府出版物，进一步提升公众获取信息的途径。互联网档案库创始人布鲁斯特·卡尔认为，这一指定将加强互联网生态系统，使数字学习者更容易获得政府资料。
阅读更多
科技
联邦资料库