感谢Alan Apt和Chip Coldwell的贡献，现在终于可以下载到《On Lisp》的数字版本了！该版本与印刷版完全相同，只是缺少九张图表。你可以下载压缩的Postscript文件、Postscript文件或PDF文件。
阅读更多
阿里巴巴旗下T-HEAD推出的高性能RISC-V核心C910，旨在降低对国外芯片的依赖，并为物联网和边缘计算等领域提供高性价比的解决方案。文章深入分析了C910的架构，包括其乱序执行引擎、分支预测器、缓存系统等，并通过实际测试数据揭示其性能特点。C910在向量扩展和非对齐访问处理方面表现出色，但在调度器、寄存器文件等关键结构的容量与ROB容量的平衡性方面存在不足，缓存系统也相对薄弱，这限制了其整体性能。文章总结认为，虽然C910展现了T-HEAD的雄心，但其在平衡核心架构和内存子系统方面仍需改进。
阅读更多
安全研究组织DARKNAVY对SpaceX的Starlink用户终端进行了深入逆向分析，揭开了其硬件、固件和安全机制的神秘面纱。他们发现Starlink使用了STMicroelectronics的芯片，其中一个定制的四核SoC负责核心处理，还有一个安全芯片STSAFE-A110负责安全认证和密钥管理。虽然大部分固件未加密，但研究人员也发现了一个名为“以太网数据记录器”的程序，可能具有数据记录功能，但目前看来似乎只记录卫星遥测数据，而非用户隐私数据。然而，终端预装了41个SSH公钥，且22端口始终开放，这引发了安全担忧。这项研究强调了卫星互联网安全的重要性，以及未来空间安全领域攻防对抗的复杂性。
阅读更多
本文介绍了一个极简的Linux电脑项目，仅使用三个8引脚芯片构建而成。作者克服了引脚数量限制的挑战，巧妙地利用SPI RAM与SD卡共享引脚，并通过软件实现了USB-串口通信和SD卡访问。最终，这个微型电脑成功运行了Debian Linux系统，并支持vi、gcc等常用工具，展现了精巧的设计和强大的性能。
阅读更多
谷歌推出Gemini 2.0 Flash，一个具有多模态输入、增强推理和自然语言理解能力的AI模型，能生成图像。它可以根据文本创作图文结合的故事，进行多轮对话式图像编辑，并生成包含长文本且排版清晰的图像。目前已开放给开发者在Google AI Studio和Gemini API上进行实验性测试，期待开发者们利用其创造出更精彩的应用。
阅读更多
Mary Meeker最新报告指出，AI发展速度和规模史无前例。ChatGPT在17个月内拥有8亿用户，公司年经常性收入增长迅速，使用成本大幅下降。虽然训练模型成本高达10亿美元，但推理成本已下降99%。竞争激烈，开源选项涌现，Nvidia、Google和Amazon等公司都在大力投资AI基础设施。虽然AI公司目前仍在烧钱，但竞争带来的成本下降最终将惠及消费者和企业。未来哪些公司能成为长期赢家，还有待观察。
阅读更多
由于担心TikTok在美国被禁，大量美国用户涌入小红书，导致小红书的英语内容审核能力捉襟见肘。为应对这一情况，小红书正紧急招聘英语内容审核员，招聘信息出现在多个中国招聘网站上，一些招聘信息甚至标注“紧急招聘—TikTok难民内容审核，短期合同可接受”。招聘要求包括英语流利和通过英语能力测试。这一现象凸显了小红书在内容审核方面的压力，以及中国社交媒体平台在监管方面的挑战。
阅读更多
Honeywell H316厨房电脑，售价高达7万美金，却几乎无人问津。这台电脑并非简单的厨房电器，而是Honeywell H316通用计算机的“豪华定制版”，以其复古未来主义设计和二进制接口闻名。文章探讨了这款电脑的失败之处：高昂的价格、复杂的二进制编程方式以及不切实际的定位（面向家庭主妇，用于存储食谱）。尽管如此，H316作为第一个面向消费者的电脑，却在科技史上留下了一笔，并成为复古计算爱好者的收藏佳品。这篇文章最终揭示了其可能是Neiman-Marcus圣诞商品目录中精心策划的营销噱头，而非真正的商业失败。
阅读更多
一篇《经济学人》文章报道了一项令人振奋的研究：通过刺激大脑特定区域，瘫痪患者能够重新行走。研究人员使用植入电极的方法，成功帮助一名男子无需辅助就能攀爬楼梯。这项突破性进展为脊髓损伤患者带来了新的希望，标志着神经科学领域取得了重大突破。
阅读更多
作者认为内向外向并非社交能力的问题，而是能量来源的差异。大多数人消耗作者能量，只有2%的人让他充满活力，作者称之为“2%人群”。哈佛研究表明，幸福的关键在于高质量的人际关系，找到你的“2%人群”至关重要。作者建议列出你喜欢的活动和“2%人群”，安排共同参与，并分享这篇文章给你的“2%人群”。
阅读更多
本文探讨了“二八定律”在各个领域（如社交、游戏、职业）的体现，指出大多数人只是被动参与，而积极行动者才能脱颖而出。作者以游戏排名、工作经验和社交活动为例，说明即使付出少量努力，也能在同领域中获得显著优势。积极参与、主动学习，而非仅仅被动等待，才能抓住机遇，实现自我提升。
阅读更多
利用图表可视化技术，清晰展现了《绿野仙踪》中多萝西与其他角色的关系。多萝西与她的宠物托托、家人亨利叔叔和艾姆婶婶，以及稻草人、铁皮人、胆小狮等朋友，以及西方女巫和奥兹巫师等敌人，以及帮助她的格林达女巫之间的复杂关系一目了然。
阅读更多
《时间之塔》是一款独特的塔防游戏，结合了策略性建筑和时间操纵机制。当敌人压倒你的防御时，你可以使用你的时间旅行能力来倒退时间并重建你的策略。游戏采用AI辅助开发，95%的代码由AI编写，展现了AI在游戏开发领域的潜力。游戏拥有多种塔类型、能量管理和基于波次的敌人生成，支持键盘和游戏手柄操作。
阅读更多
国际天文学家协会（AAS）呼吁全球禁止在地面可见的太空广告，认为其会干扰地面天文观测。虽然美国已禁止此类广告，但AAS担心其他国家公司可能尝试此举，并呼吁通过国际公约或条约禁止这种“显眼的太空广告”。此前，一些公司曾尝试或计划利用卫星反射阳光形成广告标志，但目前尚未有实际案例。AAS敦促美国代表团在联合国和平利用外层空间委员会（COPUOS）上倡导这项禁令。
阅读更多
Nord Quantique公司宣称其使用单一硬件量子比特实现了逻辑量子比特的无错误运行，这与其他公司使用多个硬件量子比特构建单个逻辑量子比特的方法形成鲜明对比。虽然目前仅能操作单个逻辑量子比特，无法进行双量子比特门操作，但这项技术在降低空间占用、功耗和冷却需求方面具有显著优势，并可能突破多量子比特协同工作的技术瓶颈。其方法的关键在于一种能够检测并纠正错误的巧妙方案，为未来量子计算的发展提供了新的可能性。
阅读更多
斯坦福大学物理学博士Laura Dominé利用机器学习算法，在探测器中识别中微子反应。中微子是难以捉摸的亚原子粒子，几乎没有质量，能穿透物质。为了探测这些“幽灵粒子”，科学家们建造了巨大的地下探测器，充满重水或液态氩，并配备灵敏的光电传感器。Dominé的算法帮助物理学家识别中微子与探测器内物质的微弱相互作用，从而更好地理解中微子和宇宙的奥秘。
阅读更多
近年来，大量研究探讨了ChatGPT等大型语言模型在教育领域的应用。一些研究表明，ChatGPT可以有效辅助学生学习编程等技能，提高学习效率。然而，也有研究指出，过度依赖ChatGPT可能导致学生学习依赖性，降低自主学习能力，甚至影响批判性思维的发展。此外，ChatGPT的伦理问题，例如潜在的作弊和知识产权侵犯等，也备受关注。因此，如何平衡ChatGPT的益处和风险，成为教育界亟待解决的重要课题。
阅读更多
本文深入探讨了如何完全掌控电脑的EFI安全启动密钥。作者详细解释了Secure Boot的四种密钥类型（Database Key, Forbidden Signature Key, Key Exchange Key, Platform Key）以及Machine Owner Key的作用，并提供了生成自定义密钥、签名EFI二进制文件、在单台或多台电脑上部署密钥的步骤。文章还涵盖了使用KeyTool和LockDown工具，以及如何从Linux系统管理密钥和更新dbx以应对安全漏洞（例如Boot Hole）。虽然过程复杂，但能显著增强系统安全性。
阅读更多
加利福尼亚州的Hyperion红杉树是世界上已知最高的树，高达116.07米。2006年被发现后，其具体位置一直秘而不宣，但因游客过度涌入导致栖息地破坏，国家公园管理局已封闭该区域，违者将面临高额罚款甚至监禁。这棵树龄在600到800年间的巨树，不仅是自然奇观，也警示着我们保护自然环境的重要性。
阅读更多
本文分析了特朗普政府的贸易保护主义政策，特别是其“解放日”关税对美国制造业的破坏性影响。作者认为，这些关税并非出于对国家安全的真正担忧，而是基于对中国经济的错误理解和短视的策略。文章探讨了克莱顿·克里斯坦森的“破坏性创新”理论，并指出美国制造业的衰落是技术进步和全球化竞争的结果，而非单一因素造成的。作者批评了美国政府试图通过关税来恢复国内制造业的做法，认为这种做法不仅低效，而且可能损害美国的国家安全利益。文章最后呼吁美国政府采取更有效的策略，而非依赖于贸易战来解决问题。
阅读更多
OpenAI发布了更经济高效的ChatGPT o3模型，能耗仅为之前的20%。CEO Sam Altman乐观预测未来AI将“便宜到可以随意使用”，但MIT Technology Review的研究指出，到2028年，AI的能源消耗将非常巨大。尽管如此，Altman仍对AI的未来充满信心，认为未来几十年内，人工智能和能源的丰富将推动人类进步，解决各种限制。然而，批评者指出Altman的乐观预测过于盲目，忽略了诸多实际限制，并将其与Theranos的Elizabeth Holmes相提并论。此外，OpenAI与Google Cloud的合作也引发关注，这与去年微软将OpenAI视为竞争对手的言论形成鲜明对比。
阅读更多
Intel在其AVX-10指令集白皮书中做出了重大调整，放弃了此前计划的256位可选模式，全面转向512位向量宽度。这意味着未来的Intel E核心处理器将完全支持AVX-512，与AMD的Zen 4架构看齐。这一改变源于GCC编译器补丁的更新，消除了对256位模式的兼容性支持。此举将简化指令集的处理，并提升未来Intel Xeon E核心服务器平台的竞争力，更好地与AMD的EPYC服务器处理器竞争。尽管这一决定来得有些迟，但它对于x86_64微架构的未来发展具有积极意义。
阅读更多
本文讲述了作者使用J语言编写一个极简光线追踪器的经历。J语言以其简洁的语法和基于数组的函数式编程范式而闻名。作者详细介绍了J语言中的一些关键概念，例如隐式动词、数组编程和动词组合，并展示了如何在J语言中实现光线追踪算法的关键部分，例如向量运算、光照计算和像素渲染。最终，作者成功地用J语言编写了一个高效且简洁的光线追踪器，并对J语言的编程体验和性能进行了评价。
阅读更多
Spotify首席执行官Daniel Ek在今年出售大量股票后身价暴涨，而与此同时，一个揭露Spotify对艺术家支付报酬过低的计算器——Spotify Unwrapped——因面临法律诉讼而被下线。该计算器直观地展现了Spotify高管巨额薪酬与艺术家微薄收入之间的巨大反差。尽管计算器已被下线，但其计算公式仍然公开，引发了人们对音乐流媒体平台支付模式的质疑。与此同时，Spotify多位高管在2024年套现总计超过12.5亿美元，而这正值Spotify进行大规模裁员和提高订阅价格之后。
阅读更多
本文讲述了Hardham教堂壁画与古希腊画家Zeuxis和Parrhasios的绘画技巧竞赛的联系。Parrhasios以其逼真的帷幕绘画而闻名，甚至欺骗了Zeuxis。Hardham壁画借鉴了这一技巧，创作出“亚当和夏娃受骗”的场景，旨在挑战观众对图像的感知。文章探讨了艺术的本质和价值，以及如何避免被视觉图像所迷惑，呼吁人们培养“属灵的视觉”，摆脱对可见事物的执着。
阅读更多
LocalScore是一个用于评估本地大语言模型性能的工具。它提供两种运行方式：下载官方模型或使用你自己的.gguf模型。根据你的操作系统（macOS/Linux或Windows）和硬件资源（内存），可以选择不同大小的基准模型（Tiny、Small、Medium）。该工具通过简单的命令行指令运行，并提供故障排除指南和详细文档。
阅读更多
tmux是一个强大的终端复用器，它允许你同时管理多个终端会话、窗口和窗格。你可以想象一下，tmux就像一个终端管理器，它由服务器管理多个会话，每个会话包含多个窗口，每个窗口又可以分割成多个窗格，每个窗格运行一个独立的程序或shell。多个客户端可以同时连接到同一个会话。通过一个前缀键（通常是Ctrl+b），你可以轻松地控制和管理tmux的各个组成部分，实现高效的终端管理。
阅读更多
本文探讨了Unix时间与地球自转和公转时间不匹配的问题。由于地球自转速度逐渐减慢，以及公转时间的微小波动，导致Unix时间（自1970年1月1日以来的秒数）与实际时间存在差异。为解决此问题，曾采用过闰秒机制，但由于其带来的混乱，计划于2035年停止使用。文章提出了一个大胆的建议：通过微调地球轨道来保持太阳年与格里高利历年的同步，从而避免闰秒的复杂性。
阅读更多
厌倦了低效的A/B测试？本文介绍了一种基于多臂老虎机问题的算法，只需20行代码，就能显著提升网站优化效果。该算法通过跟踪每次选择的回报，并结合一定的随机探索，快速找到最佳选项，并持续使用直到出现更好的选择。这种方法不仅能同时处理多个选项，还能适应变化，无需反复检查和调整，节省大量时间和精力。告别A/B测试的低效，拥抱更智能的网站优化吧！
阅读更多
想重温Windows 95的经典界面？现在你可以用Heirloom File Manager和Heirloom Program Manager体验一下！Heirloom File Manager是Windows经典文件管理器的现代化版本，支持高DPI屏幕、回收站、书签和拖放功能，还能创建和解压zip压缩包。Heirloom Program Manager则替代了开始菜单，提供快捷方式启动程序。这两个程序都是免费开源的，让你在现代Windows系统上享受怀旧的经典体验。
阅读更多