从新几内亚7000年前种植香蕉，到15世纪手稿中描绘的多种水果，人类对水果的热爱贯穿历史。考古学家通过果核等遗迹，揭示了古代人们利用水果的智慧，例如用蜂蜜保存无花果以度过寒冬。水果不仅提供糖分、营养和风味，更丰富了人们的生活，成为历久弥新的重要食物来源。
阅读更多
博科尼大学学者利用社会网络分析，首次绘制了梵蒂冈枢机主教网络图谱，试图预测下任教宗。研究基于枢机主教的官方职务、祝圣关系和非正式关系，定义了“地位”、“信息控制”和“结盟能力”三个关键指标，并考虑年龄因素。分析结果显示，一些枢机主教在网络中占据中心地位，其中“温和自由派”势力较为突出，地理分布上欧洲和南美洲依然重要，但亚洲和非洲的影响力日益增强。这项研究为理解教宗选举背后的复杂权力动态提供了新的视角，也展现了社会科学方法在看似神秘的宗教领域中的应用潜力。
阅读更多
Nxtscape是一款基于Chromium的开源浏览器，旨在成为隐私优先的替代方案。它允许用户本地运行Manus之类的代理，通过AI助手提升生产力。不同于Chrome等封闭源浏览器，Nxtscape将AI功能置于本地，保护用户隐私。其目标是重新构想浏览器，解决现有浏览器中存在的痛点，例如多标签管理混乱、繁琐的表单填写等。Nxtscape计划集成MCP商店，并内置AI广告拦截器。该项目开源且社区驱动，用户可以参与开发和改进。
阅读更多
一个Bash脚本使用`until`循环检查web服务器是否启动，但如果服务器启动失败，会陷入无限循环。文章介绍了使用`timeout`命令避免此问题的两种方法：一是将`until`循环用`bash -c`包裹，二是将`until`循环放到单独的脚本中再用`timeout`命令执行。这两种方法都能有效地防止脚本因服务器启动失败而无限循环，保证脚本的健壮性。
阅读更多
本文探讨了AI是否能够真正“思考”的问题。作者从柏拉图和亚里士多德的哲学观点出发，指出“思考”不仅仅是信息处理和逻辑推理，还包含直觉、情感、经验和道德判断等方面。柏拉图的“理念论”以及亚里士多德关于“灵魂”和“实践智慧”的论述，都暗示了“思考”需要具身性。作者认为，尽管AI能够模拟某些方面的思考，但它缺乏人类的意识、情感和经验，因此无法真正做到像人类一样思考。最后，作者引用ChatGPT的回答佐证了这一观点。
阅读更多
加州Caltrain通勤铁路公司宣布，其新电动列车的再生制动系统将约23%的能量回馈电网，远超预期。这不仅降低了运营成本（从预计的每年1950万美元降至1650万美元），还使其每年可获得约600万美元的加州空气资源委员会低碳燃料标准项目能源补贴。Caltrain成为美国首个从柴油转向电力的铁路系统，其环保举措树立了典范。
阅读更多
Aman Chadha精心整理了一份AI学习资源列表，涵盖了神经网络构建、训练和评估的完整流程。从线性回归到大型语言模型，从数据预处理到模型评估，应有尽有。无论是算法架构、训练技巧，还是模型部署与评估，这份资源都能为AI学习者提供全面指导。无论是初学者还是资深研究人员，都能从中受益匪浅。
阅读更多
研究人员发现超过1100个使用Ollama框架运行的LLM服务器公开放置在互联网上，其中约20%的服务器存在模型安全漏洞，可被未授权访问。该研究利用Shodan搜索引擎和Python工具，揭示了LLM部署中安全基线缺失的严重问题，并为未来LLM威胁面监控研究提供了实践基础。这些漏洞可能导致未授权API访问、模型提取攻击、越狱和内容滥用、资源劫持以及后门注入等严重安全问题。研究人员建议采取多种安全措施，包括强制身份验证和访问控制、网络分段和防火墙、速率限制和滥用检测、禁用默认端口以及持续监控等，以有效保护LLM基础设施安全。
阅读更多
本文探讨了小说批评的现状，追溯到亨利·詹姆斯对狄更斯等作家的犀利批评。詹姆斯认为，优秀的批评源于对作品的深入理解和独特的视角，而非泛泛而谈的赞美。文章指出，如今的书评常常流于表面，缺乏深度和批判性思维，这不仅损害了文学作品本身，也阻碍了文学的进一步发展。作者呼吁回归到詹姆斯式的批判精神，即以专业的态度和独特的视角去审视作品，从而推动文学的繁荣。
阅读更多
一位同事在每周的调试例会上遇到一个棘手的并发问题：关键代码段未能阻止两个线程同时进入，导致TraceLoggingRegister重复注册失败。深入调试发现，问题源于`RtlRunOnceExecuteOnce`的初始化函数`InitializeCriticalSectionOnce`错误地返回了`STATUS_SUCCESS` (0)，导致`RtlRunOnceExecuteOnce`认为初始化失败，每次调用都重新初始化临界区，从而引发并发问题。最终解决方案是将返回值改为`TRUE`，或者更简洁地用`SRWLOCK`代替`CRITICAL_SECTION`。这个案例警示了细微的返回值错误可能导致严重后果，并强调了选择合适的同步原语的重要性。
阅读更多
一项对位置数据公司Gravy Analytics的入侵事件揭露了数千款流行应用，包括Candy Crush、Tinder和MyFitnessPal，正在被广告行业的不法分子利用来大规模收集敏感位置数据。这些数据通过实时竞价（RTB）广告系统收集，可能在用户和应用开发者不知情的情况下进行。Gravy Analytics及其子公司Venntel曾向美国执法机构出售全球位置数据，引发了严重的隐私担忧。
阅读更多
谷歌推出Gemini 2.0 Flash，一个具有多模态输入、增强推理和自然语言理解能力的AI模型，能生成图像。它可以根据文本创作图文结合的故事，进行多轮对话式图像编辑，并生成包含长文本且排版清晰的图像。目前已开放给开发者在Google AI Studio和Gemini API上进行实验性测试，期待开发者们利用其创造出更精彩的应用。
阅读更多
研究人员开发了 Clean，一个基于 Lean4 的嵌入式领域特定语言 (DSL) 和形式化验证框架，用于构建零知识 (ZK) 电路。ZK 电路容易出错，Clean 通过允许在 Lean4 中定义电路、指定其所需属性并正式证明它们来提高其正确性。该项目是 zkEVM 形式化验证项目的一部分，旨在为 zkEVM 提供基础设施和工具，以实现形式化验证。Clean 支持四种基本操作来定义电路：witness、assert、lookup 和 subcircuit，并提供一种单子接口来增强可用性。其核心是 FormalCircuit 结构，它以依赖类型的方式紧密打包电路定义、假设、规范、健全性和完整性证明。通过将子电路的约束替换为其（经过正式验证的）规范，可以正式验证大型电路。该框架已成功验证了 8 位加法等简单电路，未来计划添加更多低级组件、定义常用哈希函数电路并构建形式化验证的 RISC-V 子集最小虚拟机。
阅读更多
VisualCrypto是一个基于Python的开源工具包，它提供了一个基于Web的界面，用于实现视觉秘密共享（VSS）。VSS是一种密码技术，它将秘密图像分割成多个份额，每个份额看起来像随机噪声，单独无法揭示任何信息，但组合在一起就能重构原始图像。该工具包主要关注(2,2)-VSS方案，即秘密图像被分成两份，都需要才能恢复隐藏内容。它支持视觉密码术(VC)和随机网格(RG)技术，并提供基于Web和脚本的两种执行方式，易于扩展和使用。
阅读更多
AlphaDec 是一种新的时间格式，它消除了时区转换的麻烦，让全球各地的人们都能以统一的方式理解时间。它将UTC时间编码成易于阅读和排序的字符串，例如2025_L0V3，并具有分层结构，方便进行时间范围查询和数据索引。AlphaDec 对于AI系统尤其友好，其结构化特性使其成为时间推理和日志分析的有力工具。虽然在闰年存在微小的时差，但这被认为是设计上的权衡，以确保其作为UTC时间的确定性函数。AlphaDec 不是为了取代现有时间系统，而是为了补充它们，使其在各种应用场景中更加实用。
阅读更多
作者在黑客新闻上分享了一个有趣的实验：一个简单的netcat脚本，每当有人连接到他的服务器端口时，就会发出四声蜂鸣。结果，在24小时内，他收到了超过4761个连接，共计19044声蜂鸣！这个看似无意义的实验，却展现了黑客新闻社区的活跃和参与度，也体现了编程的乐趣不只在于解决问题，更在于探索奇思妙想。
阅读更多
本文介绍了一种用于在大型字母表序列上执行排序查询的优雅数据结构——小波树。它通过将字符串组织成位向量层次结构，实现时间复杂度为O(log₂A)的排序查询（A为字母表大小）。文章详细解释了小波树的构建过程以及如何利用它进行高效的排序查询，并提到了使用RRR结构或其他二元排序索引进行压缩和优化的方法。最后，作者推荐了Francisco Claude的libcds库作为实现该数据结构的便捷工具。
阅读更多
Jane Street公司最初开发了OCaml构建系统Jenga，但因其局限性而未被广泛采用，甚至一度撤销了开源。随后，他们开发了更简易的Jbuilder，意外地因其速度优势而流行起来，并最终演变为Dune。经过多年努力，Jane Street团队成功将内部7000万行代码的构建系统从Jenga迁移到Dune，提升了构建速度，并为Dune的未来发展奠定了坚实基础。
阅读更多
作者将一台1976年的KIM-1微型电脑与现代终端连接。KIM-1使用过时的电流环接口，这需要一个简单的电路改造。作者通过修改一个现成的USB转RS-232适配器，成功地实现了KIM-1与现代电脑的通信，并能够使用minicom进行程序上传，甚至模拟打孔纸带加载程序。整个过程生动地展现了硬件的修复与创新结合的魅力。
阅读更多
本文介绍了一种无需媒体查询、JavaScript或大量hacky CSS就能创建完全响应式六边形网格的方法。通过巧妙地结合`clip-path`、`float`和`shape-outside`属性，以及CSS变量控制大小和间距，实现了灵活的布局。文章还扩展了这种方法，创建了菱形、八角形等形状的网格，并通过CSS Grid实现了网格的居中对齐和溢出控制，最终构建了一个可响应的、自适应的、形状可变的网格系统。
阅读更多
开发者常常错误地认为使用底层加密库就避免了“自己造轮子”的风险。本文作者指出，许多开发者对加密算法的理解存在误区，即使使用了现成库，如果在协议设计或密钥管理等方面出现错误，也可能造成严重的安全漏洞。作者列举了多个真实案例，并强调了完善的密钥管理机制的重要性，以及开发人员对加密算法的深刻理解和专业审查的必要性。
阅读更多
本书《废弃物之思：论人类生命之限》探讨了“废弃物”这一概念的演变及其对人类社会的影响。作者从古代罗马的排水系统到现代社会的垃圾处理，再到网络时代的数据垃圾，追溯了人类处理废弃物的方式，以及这种方式如何塑造了我们的城市景观、社会结构和文化想象。作者认为，“废弃物”并非仅仅是一堆无用的东西，而是人类意识的一种投射，它反映了我们对自身和世界的认知。通过对历史、文化和技术的深入探讨，本书揭示了废弃物背后的复杂性和深远意义，引发我们对人类文明的反思。
阅读更多
arXivLabs是一个框架，允许合作者直接在arXiv网站上开发和分享新的arXiv功能。参与arXivLabs的个人和组织都认同并接受了我们开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果您有关于能为arXiv社区增值的项目的创意，请了解更多关于arXivLabs的信息。
阅读更多
受约翰·科尔特兰的专辑《太阳之船》启发，作者联想到帕克太阳探测器及其惊人的速度，这引发了对星际旅行的思考。文章比较了阿波罗10号、旅行者1号和新视野号探测器的速度，并指出帕克探测器在近日点达到了创纪录的速度。作者还探讨了星际旅行所需的时间尺度，并提到了古代埃及法老胡夫的“太阳船”，将古代文明的宇宙观与现代科技探索联系起来，最终表达了对星际旅行的梦想与希望，以及对长期技术突破的展望。
阅读更多
1982年初，苹果Lisa团队用代码行数衡量工程师的工作效率。QuickDraw作者Bill Atkinson认为这指标荒谬，他更注重代码简洁高效。一次，他重写了QuickDraw的区域计算引擎，速度提升了近六倍，代码量减少了2000行。在效率表格上，他直接填上了“-2000”。管理层最终停止了这种无效的考核。
阅读更多
本文探讨了坎贝尔定律（古德哈特定律的变体），指出任何用于社会决策的指标都容易被操纵。文章以权力职位选拔为例，说明传统方法（选举、世袭）如何被游戏化，导致最擅长玩弄规则的人而非最合格的人获得权力。作者提出，引入随机性机制（例如随机抽取评审委员会、随机选拔候选人）可以有效对抗这种腐败，提升公平性与效率，并列举了历史和现代案例支持这一观点。最终，文章认为，随机性并非排除卓越，而是保护卓越的机制，防止精英体制沦为阴谋家和谄媚者的天下。
阅读更多
在快节奏的科技公司，并非所有工作都同等重要。本文指出，大部分优先级高的工作实际上优先级很低。成功的关键在于识别“聚光灯”时刻——领导层高度关注的项目。工程师应具备快速识别并抓住这些机会的能力，全力投入高影响力项目。相反，在“聚光灯”照不到的地方，则应利用个人时间进行有价值的项目开发，提升自身能力和公司贡献。这不仅需要判断力，更是一种技能，需要不断练习才能掌握。
阅读更多
一位CERN工程师获得了一台1950年代生产的捷克Elektročas HH3精密摆钟，其精度可达每天0.1秒误差。为了进一步提高精度，他决定将其与CERN的铯原子钟同步。工程师巧妙地设计了一个链条控制振荡器（CCO），通过改变摆锤重心来控制摆动周期，并利用相位锁定环路（PLL）实现与原子钟的同步。经过测试，该系统成功地将摆钟的精度提升了一个数量级，甚至能够检测到土耳其地震带来的扰动。这项工程既是对精密机械的致敬，也是对科技创新的极致追求。
阅读更多
X窗口系统最初并非设计为与X终端一起使用。早期的X运行在功能齐全的工作站上，即使部分工作站依赖服务器进行繁重任务，它们仍然拥有完整的本地Unix环境。X终端的出现要晚得多，直到X系统在跨厂商Unix窗口系统中获得成功后才出现。NCD公司在1987年成立，可能是最早生产X终端的公司之一，但其产品直到1989年才上市。XDM（X显示管理器）的出现也佐证了这一点，它直到1988年才随X11R3发布。虽然没有XDM也能使用X终端，但XDM极大地简化了使用流程。这说明X终端的普及远晚于X系统本身的成熟。
阅读更多
本文解释了网站如何使用Cookie。一部分Cookie用于优化网站服务，属于必要的技术存储或访问；另一部分Cookie用于存储用户偏好设置，或进行匿名统计分析；还有一些Cookie则用于创建用户画像，投放广告或进行营销追踪。网站强调，仅用于匿名统计的Cookie数据通常无法识别用户身份。
阅读更多