科学家意外发现了一种奇异的准粒子——半狄拉克费米子。这种粒子在ZrSiS材料中沿特定方向运动时无质量，而在其他方向运动时则具有质量。这一发现源于对ZrSiS材料中准粒子特性的研究，其质量变化与爱因斯坦的质能方程E=mc²有关。当准粒子在特定方向以光速运动时，它表现为无质量；当改变方向，速度降低时，它便获得了质量。这项发现可能为ZrSiS材料的应用打开新的篇章，类似于石墨烯的应用。
阅读更多
亚马逊美国官网近期更新了Kindle电子书购买页面，明确指出购买电子书仅获得使用许可，而非所有权。此举可能与加州一项要求公司“显眼地”声明数字媒体购买为许可证的新法律有关。与之形成对比的是，亚马逊英国和加拿大官网以及其他电子书平台（如Kobo、Apple、Google）的表述方式有所不同，有的仅在条款中提及，有的则完全没有说明。此举引发了关于数字内容所有权的讨论，提醒消费者关注购买数字内容的实际含义：你获得的是阅读权限，而非内容本身的所有权。
阅读更多
Hatchet团队通过一系列优化，将PostgreSQL的插入速度提升了31倍，从每秒2000次写入提升到92000次。他们发现，连接池、批量插入和COPY命令是关键。连接池数量并非越多越好，需要找到最佳平衡点。批量插入显著提高吞吐量，但也会增加延迟，需要调整批量大小和刷新间隔以优化性能。COPY命令则在不需要返回数据时效率更高。文章还提到了其他高级优化技巧，例如多表事务插入和UNNEST的使用，将在后续文章中详细介绍。
阅读更多
位于柏林Mariendorf的ringberlin园区即将迎来欧洲最大的创客空间，占地17000平方米。该空间由德国领先的硬科技加速器MotionLab.Berlin运营，将为初创企业、中小企业等提供先进的制造设施、协作空间和测试区域。柏林政府为此项目投入了约3600万欧元，旨在促进区域经济发展，整个项目投资超过6000万欧元。该创客空间旨在推动硬科技和深度科技创新，并促进可持续发展，是柏林“工业城市总体规划”的重要组成部分。
阅读更多
本文讲述了隧道掘进机（TBM）的百年进化史。从1825年布鲁内尔的手工盾构机开始，历经格里特黑德的改进、普莱斯的机械化挖掘，到现代的泥水盾构机和土压平衡盾构机，TBM在软土地层和岩层掘进技术上都取得了突破性进展。文章还探讨了压缩空气和泥浆支撑技术，以及不同类型TBM的优缺点，并对埃隆·马斯克的无聊公司及其目标进行了分析，指出其目标虽然宏伟，但目前进展缓慢，其垂直整合模式或将带来变革。
阅读更多
传统的AI编码助手在理解代码时常常缺乏系统环境的上下文信息，导致开发者需要花费更多时间帮助AI理解完整情况。本文介绍了几个实验，探索如何将操作上下文（如调用图、监控指标、异常报告等）提供给AI编码助手，以提高其调试准确性。实验结果表明，结构化的性能数据和错误报告能有效提升AI的分析能力，但同时也面临着如何有效表示和处理大量上下文信息的挑战。未来，构建一个包含生产行为、系统性能指标等信息的知识图谱，将是提升AI编码助手能力的关键。
阅读更多
作者在使用模型检查器检查一个简单的并发程序时，发现了令人惊讶的结果。程序包含两个并发进程P和Q，它们分别对变量n进行10次加1操作。直觉上，n的最终值应该在10到20之间。然而，模型检查器却发现了一种极端的交错执行，导致n的值最终为2。作者尝试用Go语言编写程序来重现这种行为，但未能成功，这表明这种极端交错在实际应用中极少出现。这个例子展示了并发程序中隐藏的复杂性，以及直觉在理解并发行为时的局限性。
阅读更多
Asymptotic.io 团队成功地在 Linux 系统上实现了对 ASHA 协议的原生支持，为使用助听器的 Linux 用户带来了福音。这项工作历时数年，从概念验证到集成到 BlueZ 和 PipeWire，最终解决了 Linux 系统下助听器音频流的难题。该项目不仅提升了 Linux 系统的无障碍体验，也展示了开源社区的力量和 Asymptotic.io 团队的专业技术实力。未来，他们计划完善立体声支持并进行广泛测试，以确保其稳定性和可靠性。
阅读更多
这份数据记录了2025年1月25日大量飞往德里（DEL）的航班信息，包括航班号、航空公司、飞机型号以及起飞时间等。这些航班来自印度各地以及其他国家，展现了德里机场作为重要交通枢纽的繁忙景象。数据由@obviyus提供，基于Flightradar24数据整理而成。
阅读更多
作者收藏了一批90年代的RISC/UNIX工作站，包括SGI、HP和DEC等品牌。在观看一个关于PC机箱历史的视频后，作者发现这些工作站的内部布局存在一个有趣的现象：一些型号采用传统的VME总线设计，而另一些型号则采用了类似于LPX标准的布局，即主板平放，接口在后部，扩展槽在左侧。这种布局与当时的PC机设计非常相似，引发了作者对于这些公司是否独立地采用了类似设计，或者是否存在某种合作的猜测。文章没有明确的结论，但提出了一个耐人寻味的问题：是巧合，还是某种设计趋势？
阅读更多
本教程介绍了FFmpeg中汇编语言编程的基础知识，特别是SIMD向量编程技术。通过手写汇编代码，可以显著提高多媒体处理速度，例如视频播放的流畅度。教程涵盖了汇编语言的基础概念、x86-64指令集、向量寄存器以及FFmpeg中常用的辅助工具。学习本教程需要C语言指针知识和高中数学基础。
阅读更多
Jooki儿童音箱制造商破产后，许多设备变砖。本文作者通过逆向工程Jooki固件，发现了多个安全漏洞，包括后门和远程代码执行漏洞。作者详细分析了Jooki的固件、文件系统、Mender OTA更新机制以及HTTP服务器接口，并演示了如何利用这些漏洞获得设备控制权。文章还探讨了通过修改配置文件、利用标志位以及利用OTA更新机制实现远程代码执行的方法，并呼吁Jooki的创建者开源其作品。
阅读更多
作者在寻找一种用于共享编程语言的序列化格式时，在MessagePack和CBOR之间纠结。MessagePack更酷，更易于理解，但CBOR在性能上表现更优异，编码/解码速度快约200%。虽然CBOR文档更复杂，但其更简洁的设计最终说服了作者。作者最终选择CBOR，但承认其对CBOR的选择带有政治因素的困扰。
阅读更多
欧洲航天局（ESA）长期以来受制于“地域回报”政策，即成员国投资与其获得的经济和就业利益挂钩，这导致项目审批缓慢，成本超支。以阿里安火箭为例，由于法国的巨额投资，其发展主要由法国主导。然而，商业航天时代的到来，小型发射器的兴起对这一模式提出了挑战。为应对这一局面，ESA提出“公平贡献”的新融资模式，将在11月的部长级会议上寻求成员国的批准。该模式将主要由受益最大的成员国为小型发射器项目提供资金，旨在提高效率，降低成本，推动欧洲航天事业发展。
阅读更多
模型上下文协议 (MCP) 是一种为大型语言模型 (LLM) 提供工具和上下文的开放协议。它如同 AI 应用的 USB-C 接口，标准化了 AI 模型与各种数据源和工具的连接方式。Agents SDK 支持 MCP，允许使用各种 MCP 服务器为 Agents 提供工具。MCP 服务器有两种：stdio 服务器（本地运行）和 HTTP over SSE 服务器（远程运行）。通过缓存工具列表，可以减少延迟。完整的示例可在 examples/mcp 目录中找到。
阅读更多
Okta的安全事件源于其使用的Bcrypt算法对输入长度的处理方式。Bcrypt算法最大支持72个字符，超过部分会被忽略，导致仅需猜测部分用户名和缓存密钥即可登录。文章分析了Go、Java、JavaScript、Python和Rust等语言中Bcrypt库的实现，发现许多库未对输入长度进行有效验证，存在安全风险。作者呼吁改进API设计，明确拒绝无效输入，避免此类安全漏洞。
阅读更多
一款名为Devin的AI软件工程师工具，自称能够端到端构建和部署应用程序，并自动查找和修复代码错误。然而，近期测试结果显示，Devin在20个任务中仅成功完成3个，其能力远低于预期。测试人员发现Devin存在诸多问题，例如解决简单任务耗时过长，陷入技术死胡同，以及尝试无法实现的任务。虽然Devin的用户体验出色，但在实际应用中表现不佳，其自主性甚至成为了负面因素。该事件引发人们对AI工具实际能力的质疑，也暴露出当前AI技术仍存在局限性。
阅读更多
在大型语言模型(LLM)推理领域，英伟达GPU长期占据主导地位。但MLC-LLM项目通过机器学习编译技术，成功将LLM部署到AMD GPU上，并取得了令人瞩目的成绩。利用ROCm和Vulkan技术，AMD Radeon RX 7900 XTX在Llama2-7B/13B模型推理速度上分别达到NVIDIA RTX 4090的80%和RTX 3090 Ti的94%。该项目不仅提升了AMD GPU的竞争力，也为LLM部署提供了更广泛的硬件选择，例如Steam Deck上的AMD APU。未来，MLC-LLM将继续优化，支持批量处理、多GPU以及更多量化和模型架构，进一步缩小与英伟达的差距，解决AI算力瓶颈问题。
阅读更多
长期以来，我对Ruby中的“线程争用”存在误解。实际上，Ruby线程并非无序竞争，而是井然有序地排队等待获取全局虚拟机锁(GVL)。每个线程获取GVL后执行代码，直到释放GVL或被强制收回。这取决于线程I/O操作或运行时间是否超过线程量子(默认100ms)。理解这一点对于优化多线程应用至关重要，特别是避免CPU密集型线程阻塞I/O密集型线程，导致尾部延迟增加。降低CPU密集型线程优先级或缩短线程量子可以缓解这个问题，但受限于10ms的最小时间片。
阅读更多
Subtrace是一款针对Docker容器的网络流量分析工具，类似于Wireshark。它允许开发者查看后端服务器的所有进出请求，从而更快地解决生产问题。Subtrace无需代码更改即可开箱即用，支持所有编程语言，并显示完整的负载、头部、状态码和延迟，性能开销小于100微秒。它基于ClickHouse构建，并以开源方式提供，但目前不接受代码贡献。
阅读更多
厌倦了缓慢、昂贵且租用的云端CI？这款名为`gh-signoff`的GitHub CLI扩展程序将CI带回本地！它允许你直接在自己的开发机器上运行测试，并在测试通过后签署批准。告别复杂的合并队列和部署管道，只需简单的`gh signoff`命令，即可获得绿色的GitHub提交状态。高效、便捷，且完全掌控！
阅读更多
鲁特格斯大学的研究人员开发了一种名为CAN的AI系统，它能创作出不同于其训练数据集中（涵盖14世纪至今的各种绘画）的艺术作品。令人惊讶的是，CAN生成的艺术作品大多是抽象的。研究人员认为，这是因为算法理解了艺术发展的轨迹，为了创造新颖的作品，它必须超越以往的具象艺术，走向抽象。这引发了一个有趣的思考：AI算法不仅能创作图像，还能模拟艺术史的进程，仿佛艺术从具象到抽象的演变是一个运行了五百年的程序。虽然AI能否创作艺术仍待探讨，但通过图灵测试等方法，我们可以进一步评估AI生成的艺术作品。
阅读更多
Doctor Droid 正在开发一款智能助手，帮助工程团队加速生产事故调查。该开源平台已在全球范围内得到应用，旨在减少停机时间，提高开发人员效率。其愿景是让团队中的任何成员都能独立调试一般的生产问题，无需依赖资深工程师。Doctor Droid 已获得 Accel 的投资，并参与了 Y Combinator 2023 年冬季批次。
阅读更多
一位开发者将经典游戏DOOM移植到了微软Word文档中！他利用VBA宏和base64编码，将DOOM引擎和游戏数据嵌入Word文档，通过读取键盘输入，在文档中实时渲染游戏画面。虽然没有声音，但这个奇特的项目展示了VBA的强大能力和开发者的创造力，也引发了关于安全性和软件边界探索的思考。
阅读更多
本文介绍了一种简单的方法来计算字符串中语言模型的令牌数量。这对于估计应用程序运行成本、检查文本是否适合语言模型的上下文窗口以及确定是否需要分块都非常重要。虽然可以用字符数除以4粗略估计，但更精确的方法是使用你实际使用的语言模型（Hugging Face或OpenAI模型）。作者提供了一个Jupyter Notebook，可以计算字符串、文件或文件夹中所有文件的令牌数量，无需依赖外部服务，安全且免费。
阅读更多
一位程序员在处理多线程程序时，为了优化代码效率，减少不必要的线程唤醒，将等待时间从固定的1秒改为了剩余时间。然而，看似简单的优化却引入了一个潜在的bug：时间计算可能出现负数，导致程序抛出异常。这个例子警示我们：编写代码时，应该尽量简洁，避免不必要的优化，因为每一行代码都是潜在的bug。过度优化不仅不会提高效率，反而可能增加代码复杂度，埋下隐患。
阅读更多
Meta 宣布在美国终止第三方事实核查项目，转而采用社区监督模式（Community Notes）。此举旨在放宽内容审核限制，减少误删，并允许更多言论自由，尤其是在政治和社会议题上。Meta将把重点放在打击非法和严重违规内容上，并采用更个性化的方式推荐政治内容。此举反映了Meta对言论自由的重新承诺，但同时也引发了关于信息真实性和平台责任的讨论。
阅读更多
本文作者，一位程序员，分享了他多年来与魔方和益智玩具的经历，包括他个人解魔方的技巧、对魔方数学理论（群论）的深入探讨，以及他收集的各种魔方和益智玩具。文章不仅提供了详细的魔方解法步骤，还深入浅出地解释了魔方背后的数学原理，例如群论、交换子和共轭等概念，并将其与物理学中的夸克理论进行了类比。最后，文章还包含了一些有趣的轶事和对魔方历史的回顾。
阅读更多
Reddit首席运营官Jen Wong透露，内容授权协议已占Reddit总收入的约10%，这部分收入对Reddit来说至关重要。Reddit与谷歌和OpenAI签订了内容授权协议，并专注于与符合其用户隐私和品牌保护条款的AI开发者合作。尽管AI授权收入可观，但广告仍然是Reddit的主要收入来源。Reddit的广告收入在2024年第四季度同比增长60%，得益于新产品（如AMA Ads和Pro Trends）的推出，以及对机器学习和AI的投资，以增强广告定位和用户参与度。Reddit的日活用户也在增长，但公司尚未实现年度盈利，尽管第四季度实现了盈利。
阅读更多