Recto 是一种开创性的二维编程语言，它使用嵌套矩形作为核心语法，直接在空间中而非线性文本流中编码结构和递归。该语言挑战了传统编程语言的一维性，探索了利用空间进行代码编写、解析和推理的新方法，甚至拓展到自然语言处理。Recto 通过矩形表示数据结构，直观地展现多维数据，并支持函数定义、控制流等功能，为线性代数、计算机图形学和机器学习等领域提供了一种更直观高效的编程方式。虽然目前仍处于原型阶段，但Recto 已经展示了其在提升代码可读性和协同开发方面的潜力。
阅读更多
本文介绍了一种利用激活最大化技术生成提示词的方法，并在Yelp评论情感分类任务中取得了显著成果。作者通过优化输入而非模型权重，生成仅包含4个token的提示词，在Llama-3.2-1B-Instruct模型上实现了95.9%的准确率，远超手工编写的提示词（57%）。该方法巧妙地利用了LLM的嵌入向量空间，将提示词表示为可微分的张量，从而利用梯度下降进行优化。这项技术有潜力提高大型语言模型的任务切换效率，尤其是在GPU资源受限的情况下。
阅读更多
Metaflow是Netflix开发的用于构建机器学习和数据科学应用的平台，它解决了数据科学家和机器学习工程师在数据处理、计算资源、工作流编排、版本控制和部署等方面面临的诸多挑战。Metaflow提供了一个友好的基础架构，允许用户利用Python快速迭代想法并自信地部署应用，同时处理底层基础设施，包括数据、计算、编排和版本控制。目前，Metaflow已广泛应用于Netflix、CNN等众多公司，并得到Outerbounds的商业支持。
阅读更多
虽然大型语言模型在数学等领域表现惊艳，甚至与国际数学奥林匹克竞赛金牌得主水平相当，但在日常企业应用中却显得力不从心。文章指出，问题不在于模型的智能水平，而在于任务规范和语境工程。数学题有清晰明确的规范，而现实工作任务则模糊且充满隐含约束。改进AI的关键在于构建更好的语境引擎和任务规范，这需要在数据获取、模型训练和持续学习等方面取得突破。短期内，AI在科学领域将取得令人瞩目的成果；长期来看，大规模企业自动化仍需克服规范和语境工程的挑战。
阅读更多
Prime Grid是一个简单的可调整网格，以从左到右、从上到下的布局绘制素数。你可以用它来寻找有趣的视觉模式，进行一些高深的数学运算，或者也许找到宇宙的秘密代码——或者其他什么。这个工具的开发者Danny Duplex表示，他致力于解决世界上最不重要的问题，而Prime Grid就是其中之一。
阅读更多
WWDC21发布的TextKit 2，四年过去了，其易用性却不如预期。虽然架构合理，但实现存在诸多问题。NSTextContentStorage是唯一可用的存储实现，对其他自定义实现的支持不足。此外，Viewport机制虽旨在优化性能，却导致滚动时滚动条位置不稳定，出现抖动现象。作者在实际应用中遇到诸多bug，且部分bug长期未修复，严重影响用户体验。总而言之，TextKit 2并非完美的文本布局解决方案，尤其在文本编辑UI方面。
阅读更多
这篇博文描述了在coreboot中启用AMD Turin支持以及移植到Gigabyte MZ33-AR1主板的第一阶段进展。该项目由NLnet基金会资助，旨在将开源固件引入AMD最新的CPU。项目团队完成了Turin SoC框架构建，提取并整合了必要的PSP固件包，并创建了MZ33-AR1主板支持。尽管在整合公共Turin PSP blob时遇到了一些挑战，但该团队通过一些变通方案成功引导了系统，为后续的改进奠定了基础。
阅读更多
作者讲述了一个关于狗和电围栏的故事，电围栏早已失灵，但狗依然被“记忆中的疼痛”禁锢。这引发了作者对人生中“电围栏”的思考：那些阻止我们前进、阻止我们与他人建立联系的观念，很多早已过时，却依然束缚着我们。作者鼓励我们勇敢迈出第一步，打破这些“不存在”的障碍，去连接他人，因为真正的力量在于关爱与连接，而不是害怕显得“软弱”。
阅读更多
一项基于瑞典全国注册数据的目标试验模拟研究发现，ADHD药物治疗与自杀行为、药物滥用、交通事故和犯罪风险降低相关。对于首次事件，意外伤害的降低并不显著；但对于复发事件，所有五种不良结果的发生率均显著降低。这项研究强调了ADHD药物治疗的潜在益处，为临床实践提供了重要依据。
阅读更多
UserJot平台尝试构建一个多代理AI系统，用于大规模分析客户反馈并自动生成更新日志。文章总结了作者在构建过程中学习到的经验，核心是采用两层架构：主代理负责任务分解和上下文管理，子代理专注于单一任务并保持无状态。通过任务分解（垂直和水平）、结构化通信协议、代理专业化以及MapReduce等编排模式，系统实现了高效的并行处理和可预测性。文章还强调了无状态的重要性、上下文管理策略以及错误处理机制，并分享了性能优化技巧和监控指标。
阅读更多
一个简单的C程序，创建线程并打开256个套接字，在Linux和OpenBSD系统上展现出惊人的性能差异。在Linux上，运行时间在17到26毫秒之间波动；而在OpenBSD上，运行时间却低至2到6毫秒。更令人惊讶的是，OpenBSD在初始测试中甚至因为“太多打开的文件”而报错，这暗示了系统资源管理方面的差异。文章作者表示，这与网络代码无关，并期待找到一个Linux系统能够在该测试中胜过OpenBSD。
阅读更多
Y Combinator分享了其独特的创业经验：初期专注于“不具备扩展性”的事务，例如手动招募用户、提供超乎寻常的客户体验以及专注于利基市场。文章指出，初期创业如同点燃篝火，需要小心翼翼地积攒柴火，而不是一开始就追求规模化。通过手动招募早期用户并密切关注其反馈，创业公司可以快速迭代产品，建立强大的用户基础。即使产品不完善，通过高度关注用户体验也能获得成功，这远比拥有一个完美但无人问津的产品更重要。
阅读更多
全球水资源短缺日益严重，多个公司正探索利用深海海水淡化技术解决这一问题。该技术利用深海高压，降低海水淡化能耗，并减少环境影响。虽然目前成本较高，且需克服技术和环保等挑战，但挪威Flocean公司等企业已在推进大型深海淡化项目，未来有望为城市供水提供新的解决方案。
阅读更多
阿姆斯特丹的Ritman图书馆，收藏了大量1900年前关于炼金术、占星术和魔法等神秘学主题的书籍。多亏了《达芬奇密码》作者丹·布朗的慷慨捐赠，“Hermetically Open”数字化项目得以进行，现已将2178本珍稀书籍的数字化版本上线。这些书籍包含多种欧洲语言，其中拉丁语占主导地位，并包含大量专业术语。除了神秘学书籍外，图书馆还收藏了哲学、神学和医学等领域的书籍，展现了当时学科间的交叉融合。
阅读更多
一位iOS开发者因PureGym健身房APP糟糕的用户体验（每次签到需要47秒！）而苦不堪言。他发现健身房的API安全漏洞百出，8年不变的PIN码竟然比每分钟更新的二维码更安全。于是，他利用mitmproxy抓包分析，并结合PassKit开发了一个Apple Wallet通行证，将签到时间缩短到3秒。文章详细讲述了整个过程，包括逆向工程、证书签发、Swift后端开发等，最终实现了在Apple Watch上3秒签到的目标，并附带了Home Assistant集成功能。这是一个充满幽默和技术细节的个人项目，也反映了用户体验的重要性。
阅读更多
尽管AI系统存在缺陷，但其复制某些人类技能的能力依然令人印象深刻。从能够理解人类语言、编写程序到发现复杂代码中的bug，AI的进步速度超乎想象。然而，由于对大型语言模型（LLM）等深度模型的理解有限，且专家预测也存在巨大偏差，AI的未来发展轨迹难以预测。虽然平台期可能到来，但这反而会刺激进一步的研究。如果AI能够显著提高效率并减少对人类的依赖，那将是一场不同于以往的革命。但目前市场反应却如同被操纵的鹦鹉，盲目乐观。如果AI取代大量工人，经济系统将面临严峻考验。未来，AI可能成为商品，或政府将干预。最终，AI可能改变经济繁荣，甚至推动人类社会转向不同的经济体系。
阅读更多
长期以来，大型文件一直是 Git 的痛点。Git LFS 作为一种解决方案，却带来了新的复杂性和成本。然而，Git 本身正在逐步解决这个问题。最新的 Git 版本引入了部分克隆功能，它与 Git LFS 提供相同的好处，例如快速克隆和小型检出，但无需额外的工具或服务器端成本。更令人兴奋的是，Git 的大型对象承诺者功能正在开发中，未来有望彻底取代 Git LFS，让大型文件管理更加便捷高效，无需再为大型文件而烦恼。
阅读更多
80年代，喷绘艺术风靡一时。作者回忆起年少时渴望拥有喷枪，创作喜欢的乐队标志和T恤衫的梦想。虽然最终转向电脑设计，但他仍对80年代喷绘艺术中独特的铬金属效果、渐变过渡和速度线条念念不忘。如今，数字艺术虽能完美复制喷绘效果，却少了些许手工创作的真实感。作者表示希望有朝一日重拾喷枪，延续80年代的艺术风格。
阅读更多
一篇来自英国的博文指出，英国网络安全法案并非主要旨在保护儿童，而是规范“对公共舆论具有重大影响的服务”。这暗示了该法案的实际目标可能在于控制互联网上的信息传播，而非单纯的儿童保护。
阅读更多
近年来，游戏行业巨变频生。美国消费者因经济下行压力而减少游戏支出，这打破了游戏业“经济衰退免疫”的固有认知。免费游戏和订阅服务的兴起，让玩家无需在经济压力下高价购买游戏。虽然免费游戏市场规模巨大，但收入却集中在少数头部游戏，导致中小游戏厂商面临生存困境。同时，AAA游戏开发成本飙升，导致游戏厂商尝试提高售价至80美元，但此举引发玩家强烈反弹，甚至微软都撤回了其80美元定价策略。未来，游戏行业将面临价格策略的巨大挑战，以及创新与风险承受能力的平衡难题。
阅读更多
谷歌发布了其Gemma开源模型的超小型版本——Gemma 3 270M，它仅有2.7亿个参数，却能在手机或浏览器上运行。这与动辄数十亿参数的大型模型形成鲜明对比。尽管参数量小，但Gemma 3 270M在指令遵循测试中表现出色，效率极高，在Pixel 9 Pro上进行25次对话仅消耗0.75%的电量。这为追求隐私和低延迟的本地AI应用提供了新的可能。
阅读更多
位于地中海深处的KM3NeT探测器探测到一个能量高达220 PeV的宇宙中微子，打破了之前的纪录。这项发现经过详尽的数据分析后得到证实，但其来源仍然是个谜。这个中微子可能来自星系中心、伽马射线暴或宇宙微波背景辐射的相互作用，为超高能中微子天文学开启了新的窗口。
阅读更多
Palantir是一家数据分析公司，其软件能够整合各种来源的数据，即使是混乱的系统也能轻松应对。它帮助客户（包括政府机构和企业）用单一系统替代多个旧的程序，无需重新构建基础架构。Palantir的软件易于使用，即使是非技术人员也能轻松上手，通过Foundry（商业用户）和Gotham（政府和执法部门）平台进行数据分析，并辅以Apollo和人工智能平台。Gotham平台专门用于协助执法部门调查，连接人员、地点和事件等信息。Palantir的成功源于对“大数据”时代的响应，它为那些难以升级旧系统的机构提供了一个便捷的解决方案。
阅读更多
70年代，孩子们在户外玩耍的自由度远超今日。本文以Evel Knievel为代表，讲述了那个时代极限运动的冒险精神。Knievel的摩托车特技表演，如飞跃13辆双层巴士，不仅震撼了当时的人们，也为后来的极限运动奠定了基础。如今，像Danny Way这样的极限运动员，也承认Knievel对他们的影响。这篇文章引发了对童年时代安全意识差异的思考，以及对勇敢追梦的致敬。
阅读更多
美国与爱尔兰之间的贸易逆差激增，原因是美国制药公司利用2017年税改后的漏洞，将利润转移到爱尔兰等低税率国家，从而避税。这导致大量药品从爱尔兰进口到美国，尽管美国公司完全有能力在美国本土生产。文章指出，这种避税行为导致美国政府税收减少，并加剧了贸易逆差，呼吁改革税法以解决这一问题。
阅读更多
作者學習日語時，先背誦漢字的意義和寫法，後來才學習發音，取得了巨大成功。然而，多年後，他卻發現自己忘記了如何手寫大多數漢字。這種現象在日本和中國很普遍，甚至有專門的術語「ワープロ馬鹿」（word-processor idiot）。作者探討了大腦處理閱讀和書寫的兩種不同途徑，並結合自身患有「影像思維缺失症」（aphantasia）的經歷，分析了這種「漢字失寫症」背後的認知科學機制，認為這與大腦的「逐字記憶」和「概要記憶」兩種機制有關。
阅读更多
作者通过多年软件工程师面试经验，指出优秀工程师的关键在于构建和维护清晰的思维模型。虽然大型语言模型（LLM）能编写代码并进行修改，但它们无法像人类一样维护清晰的思维模型，容易混淆上下文、出现偏差和幻觉，导致无法迭代解决复杂问题。作者认为，LLM目前更适合作为辅助工具，而非取代软件工程师。
阅读更多
浏览器内置的XSLT处理器（版本1.0，标准化于1999年）已过时，且存在安全风险。现代web开发已转向JavaScript和JSON等技术，XSLT的使用率大幅下降。维护老旧的XSLT库（如Chromium中的libxslt）耗费大量资源，却容易遭受内存安全漏洞攻击，带来安全隐患。建议弃用浏览器中的XSLT标准，以降低安全风险并优化资源分配，不会对开发者造成实际影响。
阅读更多
本文作者通过模拟和可视化的方法，深入探索了中心极限定理（CLT）。文章首先回顾了CLT的基本概念和假设，然后通过R语言模拟了从不同分布（均匀、正态、二项、β、指数、χ²）中抽取样本，并计算样本均值。结果显示，随着样本数量的增加，样本均值的分布逐渐逼近正态分布，验证了CLT。文章还探讨了在实际应用中，由于样本量有限和总体方差未知，使用t分布而非正态分布进行置信区间计算的必要性，并通过模拟比较了不同样本量下置信区间覆盖率的差异。最后，文章通过动画展示了不同分布的样本均值分布随着样本量增加而趋于正态分布的过程。
阅读更多
许多游戏在 MacBook 带刘海的屏幕上渲染错误。这是因为游戏获取屏幕分辨率的方式（CGDisplayCopyAllDisplayModes）返回包含刘海区域在内的分辨率，导致游戏画面被压缩变形。文章分析了屏幕不同区域（完整屏幕、安全区域、AppKit 全屏区域）的区别，并提供了一种筛选分辨率的解决方案，但最终指出问题根源在于 Apple 的 API 设计。文章还列举了受影响的游戏和 Apple 可以采取的改进措施，例如更新 HIG、改进 CGDisplayMode 或创建新的游戏专用 API。
阅读更多