Schematra 是一个用 CHICKEN Scheme 编写的微型 Web 框架，灵感来自 Sinatra。它旨在学习和实验，提供简单的路由定义、中间件支持和一个简单的模板系统。Schematra 易于上手，并能与 Tailwind CSS 和 htmx 等现代工具良好协作，适合用于学习 Scheme、原型设计和探索 Web 框架底层原理。
阅读更多
本文批判了当前编程教学中普遍存在的以JavaScript和Processing为代表的“活码”环境的不足，认为其未能有效支持强大的思维方式，也无法让程序员看到和理解程序的执行过程。作者提出，学习编程的关键在于理解程序的执行流程和数据状态，并主张通过可视化技术，例如时间线图和数据可视化，来使编程过程更加透明和易于理解。文章还强调了编程语言设计的重要性，提倡使用更贴近人类思维方式的元语和更易于理解的语法，并通过分解和重组等方法，鼓励创造性的编程学习。
阅读更多
Ubiquiti推出了UniFi OS Server抢先体验版，旨在为MSP和企业IT团队提供改进的UniFi管理体验。它允许在自有硬件上运行UniFi Network和部分UniFi应用（如InnerSpace和Identity），无需Dream Machine或Cloud Key。虽然它支持一些新的云功能，例如InnerSpace、Site Magic和UniFi Identity，但仍存在一些限制，例如不支持Cloud Gateways和缺乏完整的组织管理功能。对于已经自托管UniFi Network的用户来说，它是一个有用的补充，但对于期待彻底改变MSP控制面板的用户来说，它还不能完全满足需求。
阅读更多
本文通过一个故事引出随机数生成算法性能优化的关键问题：瓶颈可能并非PRNG本身，而是生成指定范围随机数的方法。作者比较了多种生成指定范围随机数的方法，包括经典的取模法、浮点乘法、整数乘法、以及几种无偏方法，例如拒绝采样法和位掩码法。实验结果表明，在不同的PRNG和数据规模下，最佳方法各不相同，但基于整数乘法的Lemire方法经过优化后表现出色，显著提升了性能。文章还比较了多种PRNG的性能，发现即使是最快的PRNG，性能提升也远不如优化范围生成方法带来的提升显著。
阅读更多
本文探讨了前现代社会农民的婚姻模式，指出虽然死亡率高导致家庭形式多样，但婚姻是普遍且严格的社会规范。文章分析了三种婚姻模式：早期模式（女性平均初婚年龄约16岁，例如古希腊），中期模式（女性平均初婚年龄约20岁，例如罗马），以及晚期模式（女性平均初婚年龄约25岁，例如早期现代西欧）。不同模式与女性社会地位、生育控制策略和家庭结构密切相关。晚期模式尤其独特，伴随高比例未婚人口和新婚夫妇独立建家的现象。文章强调精英阶层的婚姻模式与普通民众差异巨大，并指出婚姻在这些社会中并非个人情感的表达，而是履行社会角色的必要环节。
阅读更多
密歇根大学的研究人员首次完整地揭示了皮肤感知凉爽温度并将其信息传递到大脑的神经通路。这项研究发现，凉爽温度拥有其独立的神经通路，这表明进化形成了不同的冷热感知回路，以确保精确的热感知和对环境变化做出适当的行为反应。该通路中的关键环节是脊髓中的特殊中间神经元，它们起到信号放大器的作用。这项发现不仅加深了我们对基本生物学的理解，也为治疗化疗引起的冷感疼痛等疾病提供了新的方向。
阅读更多
十年来一直使用 Python 的我，自从接触了 Claude Code 后，编程习惯发生了翻天覆地的变化。现在，我更倾向于使用 TypeScript、Rust 和 Go 等类型安全编译语言进行项目开发，并且进展顺利。以往用 Python “随心所欲”地进行快速原型设计，如今在大型项目中，反而 Claude Code + Rust 的组合效率更高，安全性也更好。这得益于 AI 工具提供的编译时类型检查和代码安全性保障，让我能快速完成数千行的代码修改，且不会引入错误，甚至提升了系统稳定性。尽管 LLM 并非完美，但它弥补了 Python 在安全性、速度和清晰度上的不足，我预计 Python 在生产环境中的应用将会减少。
阅读更多
Python从1991年默默无闻到如今成为全球最受欢迎的编程语言，其背后是一个充满激情和挑战的故事。最初，Python的成功并非一蹴而就，甚至经历了资金匮乏和组织结构的摸索。然而，凭借核心开发者Guido van Rossum的远见，以及一个充满活力的社区的共同努力，Python最终通过成立Python软件基金会，实现了可持续发展。这个故事强调了社区的重要性以及共同价值观的力量，也展现了开源项目如何在早期克服重重困难最终走向辉煌的历程。
阅读更多
一位开发者用 TypeScript 类型编写了一个 TypeScript 类型解析器，无需任何 JavaScript 代码。该解析器能够将 TypeScript 类型字符串解析为类似 @babel/parser 的 AST。代码简洁高效，但同时也引发了关于编译速度的讨论，因为每次运行 tsc 都需要额外的时间来评估解析代码。
阅读更多
解析PDF文件看似简单：找到版本号、交叉引用表、对象偏移量，最后构建目录字典。然而现实是残酷的。PDF规范并非金科玉律，实际文件充斥着各种非规范情况，例如`startxref`指针位置错误、文件开头存在垃圾数据、交叉引用表格式错误等。作者通过分析大量实际PDF文件，揭示了这些问题，并指出现有PDF阅读器之所以能正常工作，是因为它们都对非规范情况做了容错处理。这篇文章深入浅出地讲解了PDF解析的挑战，为开发者提供了宝贵的经验。
阅读更多
本文探讨了如何编写优秀的设计文档。作者将设计文档比作数学证明，其目标是说服读者设计方案的最佳性，并强调文档组织的重要性，避免像“意大利面条式代码”一样混乱。作者建议使用简洁的语言，每个段落只表达一个中心思想，并用附录补充细节。通过反复练习和编辑，不断精炼文档，最终达到清晰、简洁、令人信服的效果。
阅读更多
Node.js 历经蜕变，从回调函数和 CommonJS 模块的时代走向了基于 Web 标准的现代化开发体验。本文探讨了 ESM 模块、内置 Web API（如 Fetch API 和 AbortController）、内置测试运行器、顶层 await、Worker Threads、改进的开发体验、安全性和性能监控以及现代化的包管理等关键改进，这些改进使得 Node.js 应用更易于维护、性能更高，并与更广泛的 JavaScript 生态系统保持一致。通过逐步采用这些现代化模式，开发者可以构建更健壮、更易于维护的 Node.js 应用程序。
阅读更多
JSAR 框架对现代 Web 标准提供了全面支持，包括完整的 ES2023 JavaScript、原生 TypeScript 编译、ECMAScript 模块、WebAssembly 和 Web Worker 等。在 3D 图形方面，它全面支持 WebGL 1.0 和 2.0，并正在开发 WebGPU 支持。JSAR 还提供了完整的 WebXR 设备 API 支持，包括空间、立体渲染、输入源和手部追踪。虽然 DOM API、HTML5 和 CSS3 的支持仍在进行中，但其 Canvas 2D 渲染功能已经完整实现。JSAR 提供了快速入门指南和示例教程，并拥有一个不断壮大的开发者社区。
阅读更多
作者讲述了修复一台老旧SGI 4D系列工作站的经历。从网上收集零件，到400英里的长途跋涉运送设备，再到深入研究硬件和软件，克服各种难题，包括硬件故障、密码遗忘、操作系统安装等。文章详细记录了整个过程，并分享了宝贵的经验和技巧，例如PROM监控器命令、IRIX操作系统版本选择、SCSI接口的处理等。对于对复古硬件和系统修复感兴趣的读者来说，这是一篇极具参考价值的文章。
阅读更多
上世纪70年代，在纽约地铁系统错综复杂的线路中，诞生了一款名为“地铁游戏”的另类游戏。游戏需要两人参与：一名参赛者和一名监察员。参赛者需要在不问路、不离开地铁系统的情况下，仅凭地铁站内的标识和地图，从一个地铁站前往另一个指定的站点。文章详细描述了经典路线的挑战，以及参赛者可能遇到的各种错误和难题，例如错过转乘、路线选择错误等等。最终，文章还介绍了游戏的一些变体玩法，并探讨了为什么纽约地铁系统是玩此类游戏的最佳场所。
阅读更多
从1864年优胜美地谷地划归加州开始，其私有化与公共利益的冲突就从未停止。早期，私人企业在谷地内经营商业活动，引发法律纠纷。1973年，MCA收购优胜美地特许经营权，引发过度商业化担忧。2016年特许经营权易主后，Delaware North公司索要历史地名的巨额赔偿，再次点燃争议。如今，特朗普政府削减国家公园经费和人员，引发私有化担忧，优胜美地的百年争议再次浮现。
阅读更多
Palantir这家数据分析公司，凭借其在军事和情报领域的AI技术，股价飙升500%。然而，其与以色列军方合作进行“定点清除”的传闻，以及为英国NHS管理数据的举动，引发巨大争议。作者认为Palantir利用社交媒体信息协助以军暗杀记者，其行为具有极大的伦理风险，未来可能利用生物识别和健康数据进行无人机暗杀。作者对Palantir及其背后代表的势力表达了强烈的担忧，认为其代表着一种危险的、不受约束的科技发展方向。
阅读更多
Anthropic的研究人员发现，AI模型的“人格”变化并非随机，而是由其神经网络中特定的“人格向量”控制。这些向量类似于大脑中控制情绪和态度的区域。通过识别和操控这些向量，研究人员可以监测、减轻甚至预防AI模型出现“邪恶”、“谄媚”或“幻觉”等不良人格。这项技术不仅能改进AI模型的训练过程，还能帮助识别可能导致不良人格的训练数据，确保AI模型始终保持与人类价值观一致。
阅读更多
面对与美国的AI竞争，中国正全力推动AI应用落地，从工厂车间到医院政府，AI无处不在。虽然在尖端芯片方面受限，但中国另辟蹊径，大力推动政府和私营部门的AI应用。上海世界人工智能大会展示了这一策略，吸引了国际巨头参与。中国政府发布了国际AI监管组织和促进全球合作的行动计划，强调公共部门在AI应用中的主导作用，并鼓励开源模型的应用。然而，经济放缓和AI技术本身的局限性，例如“幻觉”问题，都给中国AI的快速发展带来挑战。
阅读更多
微软旗下GitHub的AI编程工具Copilot用户数已突破2000万，过去三个月新增500万用户。Copilot已成为财富100强企业中90%的标配，企业客户增长率达75%。尽管用户基数远小于ChatGPT等AI聊天机器人，但Copilot凭借其在企业市场的优势以及不断发展的AI代码代理功能（例如代码审查和自动化工作流程），正引领AI编程工具市场。然而，竞争日益激烈，Cursor等竞争对手凭借强大的产品功能和融资实力快速崛起，谷歌、OpenAI等巨头也纷纷入局，未来AI编程工具市场将呈现更加精彩的竞争态势。
阅读更多
曾经凭借iPhone引领时代的苹果，如今在人工智能浪潮中显得力不从心。库克执掌苹果十年，虽然公司规模壮大，但创新却停滞不前。与微软、谷歌等竞争对手相比，苹果在AI领域的布局落后，Siri智能助手也逐渐失去竞争力。此外，对中国市场的过度依赖也成为隐患，生产转移缓慢，与中国企业的竞争日益激烈。虽然苹果仍然盈利丰厚，但面对AI时代来临，苹果需要做出改变，否则将面临被超越的风险。
阅读更多
arXivLabs是一个允许协作者直接在arXiv网站上开发和分享新功能的框架。参与其中的个人和组织都认同arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与遵守这些价值观的合作伙伴合作。如果你有想法能为arXiv社区增值，那就了解更多关于arXivLabs的信息吧！
阅读更多
任天堂最新财报显示，Switch 2上市不到四周销量已达582万台，预计到2026年4月销量将达到1500万台，远超初代Switch的销量表现。尽管销量喜人，但任天堂表示目前供不应求，将尽快提高产量。Switch 2游戏销量也同样强劲，达867万套，得益于《马里奥赛车8 豪华版》等捆绑销售以及第三方游戏。此外，由于Switch 2向下兼容，初代Switch游戏销量也达到2440万套。强劲的销量推动任天堂本季度营收同比增长超过一倍，达到5723亿日元（38亿美元）。
阅读更多
文章揭露了美国航空业一个巨大的效率问题：乘客被要求在航班起飞前2.5到3小时到达机场，造成了每年830亿美元的巨大时间成本损失。这不仅因为航班延误，更因为机场变成了购物中心，延长旅客逗留时间以增加收入。文章呼吁改进机场流程，增加小型机场，简化安检，提高空域效率，打破现有航空业的“舒适圈”，以解决这一问题。
阅读更多
作者认为，大多数人缺乏系统思维，导致创新乏力。文章提出了一种“翻转比特”的创新方法：选择一个大型系统（例如教育、医疗），改变其中一个核心假设，探索由此产生的后果。例如，如果学生评价老师而不是老师评价学生，会发生什么？这种方法能揭示系统隐含结构，找到新的突破点，激发非凡的创意。作者鼓励读者以系统调试员的思维方式看待世界，发现并利用那些等待被“翻转”的任意点。
阅读更多
本文探讨了经典的滑雪租借问题，该问题在算法领域中属于在线算法的范畴。问题描述如下：滑雪者不知道自己会滑雪几天，租借一天滑雪板花费1个单位，购买滑雪板花费B个单位。文章首先介绍了离线算法的最优解，然后分析了一个简单的在线算法，其竞争比为2。更重要的是，文章深入探讨了一个随机算法，该算法利用连续概率分布逼近离散问题，最终得到了约等于e/(e-1)的期望竞争比，显著优于简单的在线算法。尽管该算法在现实生活中应用有限，但对于需要多次进行类似决策的情况，它提供了一种理论上的最优策略。
阅读更多
作者讲述了通过富布莱特项目与Emily Simons合作的经历。最初的项目因隐私问题搁浅，但他们转向了图学习领域，最终合作发表了ICML 2025论文。Emily不仅在研究上贡献突出，还在传播、代码库维护和网站改进方面提供了巨大帮助。作者呼吁重视这类基础研究项目的长远价值，而非仅仅关注短期效益，认为富布莱特项目连接了优秀人才，带来了无法估量的积极影响。
阅读更多
本文揭露了HTTP/1.1协议中一个长期存在的安全漏洞——请求走私攻击。攻击者可利用该漏洞通过巧妙构造请求头（Content-Length和Transfer-Encoding），导致服务器错误解析请求，从而实现对网站的恶意控制，甚至绕过安全防护访问敏感资源。该漏洞至今仍影响着大量的网站，安全专家James Kettle将于8月6日公开更多攻击细节及防御方法。
阅读更多
Goldfish Swim School，一家儿童游泳学校连锁店，从2006年在密歇根州的一家门店起步，如今已拥有近200家门店，成为价值数十亿美元的游泳学校行业的巨头之一。其成功秘诀在于独特的商业模式：选择在购物中心开设门店，打造温暖舒适的热带主题泳池，并以家庭经营的方式保持灵活性和客户导向性。尽管面临来自私募股权支持的竞争对手的压力以及购物中心空置率下降的挑战，Goldfish仍计划继续扩张，目标是在2033年达到400家门店，成为购物中心的一道独特风景线。
阅读更多