作者的十年老 MacBook Pro 坏掉了，尝试用 M2 iPad Pro 替代，却发现两者体验差异巨大。这不仅是使用习惯问题，更是操作系统和硬件设计的差异。iPad 的触控操作与 Mac 的键盘鼠标操作体验截然不同，缺少终端、root 权限和 Python 等开发工具也让 iPad 在软件开发方面力不从心。此外，苹果和微软等厂商的策略也限制了设备的灵活性，例如微软拒绝让旧款 Surface Go 运行 Windows 11。作者最终决定购买 M4 MacBook Air，并对未来操作系统和服务的发展趋势表达了担忧，思考 AI 是否能解决这些问题。
阅读更多
本文作者详细阐述了他独特的阅读方法，旨在构建多学科的知识体系。他将阅读视为一种压缩学习，并结合查理·芒格的智慧，强调持续学习的重要性。他的方法涵盖广泛的阅读材料，包括书籍、论文、新闻等，并注重从原始资料中获取信息，批判性地评估信息来源。他还强调将知识应用于实践，并通过与他人交流、反思等方式来巩固学习成果。
阅读更多
本文介绍了如何在 Lean 编程语言中使用备忘录化技术解决动态规划问题，并通过依赖类型对其正确性进行验证。作者首先提出了一个经典的动态规划问题——Bytelandian 金币问题，然后给出了一个使用 HashMap 的备忘录化解法，并解释了直接证明其正确性的困难。随后，文章引入了子类型和依赖对的概念，并利用它们构建了一个新的 Memoization 表 PropMap，该表不仅存储计算结果，还存储了其正确性的证明。最终，作者通过在算法中嵌入证明的方式，实现了算法的正确性验证，并给出了一个简单的最终证明。
阅读更多
在SXSW 2025上，Bluesky CEO Jay Graber身穿印有“Mundus sine caesaribus”（没有凯撒的世界）的T恤，暗讽Meta CEO马克·扎克伯格。这件T恤是对扎克伯格此前“Aut Zuck aut nihil”（要么扎克伯格，要么什么都没有）的回应。Bluesky作为去中心化、开源的社交网络，用户可以直接参与平台建设，拥有更大的自主权。与Meta不断引发争议的政策相比，Bluesky的开放性吸引了大量用户，虽然用户规模仍远小于Meta，但其独特的理念和文化影响力使其在社交媒体领域占据一席之地。
阅读更多
作者分享了重拾数学学习的经历，以及使用MathAcademy在线学习平台的体验。他曾因糟糕的老师而讨厌数学，但成年后为了编程学习的需要，决定重新学习数学。MathAcademy的循序渐进的课程设计、积极的学习社区和游戏化元素，帮助他坚持学习并取得进展。虽然费用较高，但作者认为MathAcademy物有所值，推荐给其他想要学习数学的人。
阅读更多
本文讲述了作者40年前加入Sun Microsystems（当时还是一家小型创业公司）的经历。作者从Amdahl公司转投Sun，这其中经历了对UNIX和Motorola 68000技术的关注，以及与Sun创始团队成员的会面。作者凭借其在UNIX和工作站领域的经验，以及其兄弟在Xerox的工作背景，最终加入Sun，并成为其早期核心成员之一，参与了Sun-1的开发和BSD UNIX的移植工作，见证了Sun的快速发展。
阅读更多
前脸书全球公共政策主管Sarah Wynn-Williams的新书《粗心大意的人》揭露了脸书领导层在扩张过程中漠视警告，导致平台被用于煽动暴力和政治操纵的内幕。作者详述了脸书如何不顾缅甸、印度等国提出的关于仇恨言论和暴力事件的警告，以及Internet.org项目中存在的道德问题，最终造成严重社会后果。虽然书中部分内容有所遗漏，但它以亲历者的视角，展现了脸书领导层对全球各地实际情况的漠不关心，以及其“利己主义”的扩张模式。
阅读更多
1991年，涅槃乐队的《Nevermind》横空出世，成为意外的商业和评论上的成功。其粗粝的吉他声和毫不掩饰的音色征服了听众。30多年后，我们重新审视这张专辑，发现其成功的秘诀在于：几乎全用Major和弦，摒弃了小和弦以及复杂的和弦变化（7th, 2nd, 4th, 6th, 9th, dim, aug），创造出独特的和声语言。这在当时是相当大胆创新的，而Kurt Cobain本人似乎并不知道自己遵循了何种音乐规则，只是凭直觉创作。这证明了纯粹的力量有时能超越技巧的束缚。
阅读更多
USENIX年度技术大会（ATC）停办了。这引发了对学术会议模式和开源时代系统研究方向的反思。文章作者回顾了ATC从辉煌到衰落的过程，认为开源项目的兴起改变了系统研究成果的传播方式，使得学术会议的重要性下降。同时，ATC自身也存在问题，过度学术化，与实践脱节，最终走向终结。作者认为，虽然ATC的停办令人惋惜，但在线会议的兴起也为系统研究提供了新的可能性。
阅读更多
这是一个包含大量8-bit复古像素风格图像的素材包，主题为19世纪美国西部的场景和物品。素材涵盖了科罗拉多高原的植物（仙人掌、灌木等）、动物（灰熊、麋鹿、郊狼等）、武器（枪支、弓箭等）以及山地人时期（1800年代中期）的衣物、建筑（酒馆、洞穴入口）等。这些素材适合用于游戏开发、复古风格设计等场景。
阅读更多
卢旺达的香蕉酒酿造长期以来面临酵母菌选择难题，影响产品质量和监管审批。当地科学家研发了一种新型酵母菌，该酵母菌源于当地原料，能保持香蕉酒传统风味，并能耐受高温和高酒精浓度。这项突破将使香蕉酒生产更加标准化，并有望降低生产成本，促进卢旺达香蕉酒产业发展。
阅读更多
作者Dave Barry发现谷歌AI将他标记为已故，并错误地将他描述为多切斯特的政治活动家。尽管他反复反馈纠正，AI系统却反复无常，一会儿说他死了，一会儿又说他活着。这篇文章幽默地展现了人工智能的局限性，以及它在处理事实信息上的不准确性，引发对AI技术可靠性的思考。
阅读更多
目前的浏览器智能体技术还不成熟，OpenAI、Anthropic和Google等巨头的成果在实际任务中失败率高达80%以上。Foundry公司致力于构建第一个强大的浏览器智能体模拟器、强化学习训练环境和评估平台，以解决这一问题。通过模拟真实网站（例如DoorDash），Foundry能帮助企业更精准地定位问题，加速智能体的改进，并将不稳定的研究项目转变为可靠的企业级解决方案。Foundry团队由Scale AI的机器学习专家组成，他们正在寻找优秀的全栈工程师加入，共同打造这个具有巨大市场潜力的产品。
阅读更多
GRiSP Nano团队成功在仅有16MB内存的STM32U5微控制器上运行了Erlang虚拟机，创造了新的里程碑。最初目标是32MB，但由于CPU错误，不得不将内存缩减。团队通过一系列优化，包括移除加密库、使用更激进的编译链接选项、精简BEAM文件、调整RTEMS系统以及内存分配器优化等手段，最终克服了内存限制，并在禁用Unicode后成功启动Erlang shell。未来计划包括将部分代码重定位到内部RAM或Flash，发布精简的内核和标准库，以及开发支持低功耗场景的启动逻辑。
阅读更多
中国新建造的“梦想”号探测船，配备先进的动态稳定系统，能够在恶劣海况下作业，钻探深度可达11公里。它将利用钛合金钻杆和金刚石钻头，在高温高压环境下可靠钻探，并配备浮动实验室进行快速样品处理和分析。该船的首批科考钻探预计将于明年开始，目标是在2030年前对太平洋或印度洋海底的莫霍面进行全尺度钻探，以研究洋壳结构、地幔性质以及地球生命下限等科学问题，并计划建立国际合作机制共享研究成果。
阅读更多
KubeVPN是一个云原生开发环境工具，可轻松连接到Kubernetes集群网络。它允许你通过服务名称或Pod IP/Service IP访问集群网络，拦截来自远程Kubernetes集群服务的入站流量到本地PC。你甚至可以在本地Docker容器中运行Kubernetes Pod，确保环境、卷和网络设置与集群一致。KubeVPN支持多种安装方式（brew、scoop、krew、GitHub release），并提供多种连接模式（full、lite），方便开发者在本地进行开发和调试。
阅读更多
arXivLabs是一个开放的平台，允许开发者与arXiv社区合作，直接在网站上开发和分享新的arXiv功能。参与者必须遵守arXiv的开放、社区、卓越和用户数据隐私的价值观。你有提升arXiv社区价值的想法吗？快来了解arXivLabs吧！
阅读更多
Kastle，一家由Y Combinator等投资的AI平台公司，正在招聘一位应用AI工程师。该职位需要3年以上应用AI经验，精通Python、TensorFlow/PyTorch等，并有LLM微调和提示工程经验。你将负责将AI技术集成到其抵押贷款服务平台中，优化LLM以实现与借款人的实时互动，并确保AI解决方案符合法规（如FDCPA、RESPA、TILA）。这是一个参与构建早期AI初创公司技术基础的绝佳机会。
阅读更多
卡当格栅是一种古老的隐写术方法，它利用带孔的格栅在普通信件中隐藏秘密信息。文艺复兴时期，杰罗姆·卡丹发明了一种简单的格栅，将信息写在格栅的孔洞中，然后移除格栅，填补剩余空间，形成看似普通的信件。这种方法虽然缓慢且需要一定的技巧，但巧妙地将信息隐藏于普通文字中，避免了直接的密码学分析。尽管在17世纪后期逐渐被淘汰，卡当格栅作为一种独特的隐写方法，仍然在历史上留下了独特的印记。
阅读更多
尽管苹果iMessage自2011年起就宣称端到端加密，但其消息永久存储在设备上，且默认备份到iCloud，这使得用户的私密信息存在安全风险。虽然iMessage拥有强大的加密技术，甚至具备后量子加密能力，但缺乏“阅后即焚”等功能，与其他主流通讯软件相比，在保护用户隐私方面存在明显不足。文章呼吁苹果改进，增加类似“消失的消息”功能，以更好地保护用户隐私。
阅读更多
本文深入浅出地讲解了可微编程，从微积分中的导数定义出发，逐步解释了梯度、方向导数和雅可比矩阵的概念。文章详细阐述了数值微分、符号微分和自动微分（正向模式和反向模式）三种微分方法，并比较了它们的优缺点。最后，文章通过一个图像去模糊的案例，演示了如何利用反向模式自动微分结合梯度下降法解决实际优化问题。
阅读更多
谷歌地图的时间轴功能因技术故障导致大量用户数据丢失。谷歌此前将时间轴数据存储方式从云端迁移到本地设备，旨在提升隐私保护。然而，这一迁移过程中出现技术问题，导致许多用户的历史位置记录被意外删除。目前，谷歌已确认此问题，但只有提前创建云端加密备份的用户才能恢复数据。
阅读更多
Bullseye2D团队正在紧张开发Premium版，该版本将包含一系列高级特性，以提升游戏开发效率。支持者和赞助者将优先获得Premium版的早期访问权限。稳定功能可能会随后集成到核心版本中。Premium版计划包含：简易场景管理、精灵动画系统、强大的状态机系统、快速的二维碰撞检测、自定义着色器、Tiled地图集成、TexturePacker加载器、完整的示例游戏、简单的立即模式GUI库、原生Windows、Mac和Linux版本支持等。
阅读更多
一项新的研究发现，猛犸象和其他大型动物是古代美洲人食物的主要来源。这项研究使用了稳定同位素分析法，对蒙大拿州一个13000年前的克洛维斯婴儿墓葬中婴儿母亲的饮食进行了建模。结果显示，她饮食的40%来自猛犸象，其他大型动物如麋鹿和野牛也占有一定比例。小型哺乳动物在她的饮食中所占比例非常小。这一发现支持了克洛维斯人专门猎杀大型动物而非主要依靠采集小型动物和植物的假设，也解释了克洛维斯人在几百年内迅速扩张到北美和南美的能力。研究人员还强调了与当地原住民的合作，尊重他们的文化遗产。
阅读更多
微软的Time Travel Debugging (TTD)是一个强大的用户模式记录和回放框架，允许开发者像在时间线中穿梭一样调试程序。它通过注入DLL，捕获进程执行的每个状态，并存储在一个trace文件中。TTD的核心是Nirvana运行时引擎，它模拟CPU指令，实现细粒度的指令级控制。即使面对浮点运算、内存模型、外设模拟、自修改代码等挑战，Nirvana也能通过动态二进制翻译和代码缓存技术保证效率和精度。文章还描述了一个TTD在调试一个混淆的32位PE文件时遇到的bug，并解释了利用TTD自身的trace文件进行调试的优势。
阅读更多
厌倦了无处不在的网络广告追踪？AdNauseam浏览器扩展应运而生！它基于uBlock Origin，自动点击所有被屏蔽的广告，在广告网络数据库中注册虚假访问。海量伪造点击数据使得用户追踪、定位和监控变得毫无意义，这是一种巧妙的反击方式，赋予用户对抗大规模监控的主动权，类似于TrackMeNot的策略，通过混淆数据来打破权力平衡。
阅读更多
为了刺激经济增长，新西兰政府宣布放宽访客签证政策，允许外国公司员工在新西兰远程工作，这将吸引大量的数字游牧者，特别是来自美国和亚洲的高技能IT专业人士。此举旨在吸引高价值游客，并为新西兰经济注入活力，但同时也存在潜在的风险，例如可能增加基础设施压力。新政策适用于所有访客签证，包括旅游和探亲签证，但超过90天工作可能需要申报为新西兰税务居民。
阅读更多
近三分之一的美国州份已无法访问Pornhub等色情网站，原因是这些州通过了要求色情网站验证用户年龄的法律。网站运营商认为这侵犯了用户隐私，而支持者则认为这能保护儿童免受色情内容的侵害。这场争论的核心在于如何在保护隐私的同时验证年龄，以及背后隐藏的文化战争和对性自由的压制。批评者认为，这些法律无效且具有负担性，最终可能导致更广泛的审查，而非真正的儿童保护。
阅读更多
美国的反垄断执法正在悄然改变商业格局。从Equifax的垄断数据定价到Pepsi对小型便利店的歧视性定价，再到Corteva和Syngenta的排他性经销协议，以及American Express的反竞争收费策略，一系列反垄断诉讼正在法院取得进展，法官们对原告的指控越来越持肯定态度。这表明，长期以来被忽视的反垄断法正在被重新诠释和执行，对大型企业构成重大挑战，预示着商业规则的深刻变革。
阅读更多
文章探讨了大型预训练语言模型中分词方法的改进方向。作者对当前普遍使用的基于字节对编码（BPE）的分词方法提出质疑，认为其处理单词开头和内部子词的方式存在不足，并建议探索新的方法，例如添加新的单词掩码。此外，作者认为使用压缩算法预处理输入并非最佳方案，并建议直接使用字符级语言建模，类似于循环神经网络（RNN）和更深层的自注意力机制模型。然而，由于注意力机制的计算复杂度，这种方法面临挑战。作者提出了一种基于树结构的改进思路，通过窗口化子序列和分层注意力机制来降低计算复杂度，并更好地捕捉语言结构。
阅读更多