Xona Space Systems公司正致力于解决GPS信号易受干扰的问题。他们即将发射的Pulsar-0卫星，通过缩短卫星与地面接收器之间的距离，将发送强度提高百倍，从而增强抗干扰能力，并提高室内定位精度。这对于自动驾驶、无人机等对定位精度要求极高的应用至关重要，有望解决现有GPS系统在城市环境中精度不足的问题。
阅读更多
中国研究团队研发出利用太阳能将月球土壤转化为耐用建筑砖的原型机，为利用当地材料建造月球建筑迈出了关键一步。该机器利用抛物面反射器收集太阳能，将其转化为超过1300摄氏度的高温熔化月球土壤，无需任何添加剂。虽然月球砖本身不足以承受月球环境的压力，但它可以作为刚性或充气式栖息舱的保护层。这项技术是建设月球基地的重要一步，将与中国参与的国际月球研究站项目相结合，最终实现月球全规模地面建设。
阅读更多
英特尔已停止对Clear Linux OS的支持，该操作系统在其近十年的发展历程中曾备受瞩目。这一举动来得突然，没有详细说明原因，也未提供迁移路线图。Clear Linux OS以其高性能和对英特尔硬件的优化而闻名，但最终未能获得主流采用。对于仍在使用该系统的用户，英特尔建议尽快迁移到其他活跃维护的Linux发行版，例如Fedora、Ubuntu或Arch Linux。Clear Linux OS的终结提醒我们，即使是大型公司支持的Linux发行版也可能随时消失。
阅读更多
在一个拥有15名工程师、持续向主分支推送代码的大型单体仓库中，使用GitHub Actions进行CI/CD并非一帆风顺。文章作者指出，GitHub Actions在处理大型monorepo项目时的required checks机制存在缺陷，难以确保所有检查通过才能合并pull request；其工作流的可重用性差，YAML配置文件难以维护；缺乏本地开发环境，且GitHub对用户反馈的响应迟缓。作者最终建议考虑其他CI/CD平台，例如GitLab、Jenkins等，以寻求更佳的解决方案。
阅读更多
很多人担心使用ChatGPT会损害环境。但Andy Masley的分析表明，这种担忧是多余的。他指出，即使按较高估算，每次ChatGPT提示消耗的能量也微不足道，相当于节约几秒钟的淋浴时间。与之相比，减少飞行等行为对环境的影响要大得多。将有限的精力放在真正能产生影响的环保行动上，而非纠结于个人使用ChatGPT，才是明智之举。
阅读更多
研究人员利用铁电聚合物P(VDF-TrFE)薄膜构建了一种新型铁电随机存取存储器(FeRAM)，并将其应用于亚像素级运动检测。该FeRAM基于无源交叉阵列电容，利用铁电畴的非线性动力学特性，有效避免了串扰问题。通过控制电场极性切换铁电畴，实现对图像信息的存储和处理，从而直接提取图像差异，例如计算数学函数的导数，以及进行运动目标的识别。该系统具有高精度、低功耗、无需额外存储单元等优点，在视频监控、缺陷检测等领域具有广阔的应用前景。
阅读更多
Rust代码风格检查工具Clippy将从2025年6月26日开始进入为期12周的功能冻结期，专注于修复现有750多个lint的bug，提升准确性和减少误报。在此期间，将暂停接受新增lint的PR，但仍鼓励用户提交bug报告和改进现有lint的PR。Clippy团队的目标是提升代码质量，为用户提供更可靠的代码检查体验。
阅读更多
一个名为`gore`的项目将经典游戏DOOM引擎移植到了Go语言，无需CGo或平台依赖。开发者利用`ccgo`将C代码转换为Go代码，并进行了手动优化。该项目支持多种DOOM版本和WAD文件，并提供终端、Web服务器和Ebitengine三种运行方式。虽然存在一些需要改进的地方，例如多实例运行和`unsafe`代码的使用，但这仍然是一个令人印象深刻的Go语言应用案例，为玩家带来了在不同平台上体验经典游戏的可能性。
阅读更多
多位参议员正试图废除至关重要的互联网用户保护法案——230条。这并非仅仅保护大型科技公司，它实际上也保护小型平台和用户。废除230条只会巩固大型科技公司的垄断地位，损害个人在线言论、组织和创作的权利。230条允许平台自行决定托管何种言论，并移除不符合其标准的言论，这促使平台积极打击非法活动和有害内容。废除它反而会适得其反，导致有害内容泛滥。
阅读更多
本文探讨了无需星轨追踪器进行星空摄影的可行性及技巧。作者指出，选择明亮且静止的目标（如银河），使用稳固的三脚架并运用“500法则”等方法，即使是初学者也能拍摄出令人惊叹的夜空照片。文章详细介绍了拍摄技巧，包括曝光时间、镜头选择、相机设置等，并以自身经验为例，说明了不同目标和镜头下的拍摄效果。虽然无追踪器拍摄会限制曝光时间，但通过堆栈大量照片，依然可以获得高质量的图像。
阅读更多
Goboscript 是一种将文本代码编译成 Scratch 项目的编程语言。它允许开发者使用文本编辑器编写 Scratch 项目，并将其编译成 .sb3 文件，可在 Scratch 编辑器、TurboWarp 或 Scratch 网站上打开。Goboscript 简化了高级 Scratch 项目的创建，支持版本控制、代码重构和代码复用。它还拥有强大的宏系统、局部变量以及代码优化和问题检测功能。该项目荣获 FOSS HACK 25 一等奖，并获得 50,000 印度卢比奖金。
阅读更多
播客主持人Dwarkesh探讨了通用人工智能（AGI）的时间线。他认为，尽管当前大型语言模型（LLM）令人惊叹，但它们缺乏持续学习能力，这严重限制了其在现实世界中的应用。他以学习萨克斯为例，说明LLM的学习方式与人类截然不同，无法像人类一样积累经验和改进技能。他因此对未来几年AGI的突破持谨慎态度，但对未来几十年AGI的潜力充满信心。他预测，AI能够像人类经理一样高效处理税务（包括收集发票等）的时间点为2028年，而AI能够像人类一样自主学习的时间点则为2032年。他认为，一旦持续学习问题得到解决，AGI将带来巨大的飞跃，甚至可能导致类似于智能爆炸的现象。
阅读更多
Ruby 3.4 开始逐步实施默认冻结字符串字面量的计划，此计划将分三个版本完成。目前，Ruby 3.4 仅在启用弃用警告时发出警告，不会改变现有代码的行为。未来 Ruby 3.7 将默认启用警告，Ruby 4.0 将默认冻结字符串字面量。冻结字符串字面量可以提高性能，减少垃圾回收，节省内存。文章详细介绍了如何启用警告、修复问题以及迁移策略，建议开发者逐步升级并修复警告。
阅读更多
作者讲述了因银行App占用空间过大、导致无法支付房租的经历，以此批判部分开发人员忽视用户体验，追求开发速度而牺牲用户利益的行为。文章指出，过大的App体积、冗余的代码和追踪脚本不仅浪费用户手机资源，还增加了用户成本，最终损害了用户利益。作者呼吁开发人员要重视用户体验，关注实际应用场景，避免为了追求所谓的“开发速度”而牺牲用户体验，造成实际问题。
阅读更多
1935年，薛定谔提出著名的“薛定谔的猫”思想实验，用一只可能既死又活的猫来讽刺量子力学的诠释问题。文章追溯了这一实验从一个晦涩的物理学论证到深入大众文化、引发广泛哲学思考的历程。薛定谔的猫并非旨在描述现实，而是揭示了量子力学中“叠加态”的悖论：微观粒子的状态在观测前是不确定的，只有观测才能使其“坍缩”为确定的状态。文章探讨了不同物理学家的观点，包括哥本哈根诠释和多世界诠释，并最终将薛定谔的猫的流行归因于其引发对人类选择和命运的思考，以及对平行宇宙的想象空间。
阅读更多
作者认为苹果近年来软件质量下降，但其卓越的硬件整合能力使其仍占据市场主导地位。用户难以放弃苹果设备间的无缝协同体验。文章探讨了Linux系统作为潜在竞争对手的可能性，指出其在硬件生态方面的不足是主要障碍。作者认为，一家大型电子制造商如戴尔或索尼，若能提供与苹果硬件整合度相当的Linux设备生态系统，将极大推动Linux发展，并促使苹果改进软件质量，从而重塑个人电脑市场竞争格局。
阅读更多
一位程序员爸爸接到来自产品经理（他妻子）的任务：为他们最大的客户（他幼儿园的孩子）开发一个新功能。需求文档是一张模糊不清的学校作业截图。他将截图上传到Claude AI，8分钟后完成了游戏原型，10分钟后发布上线。虽然目前用户数量有限，但这位爸爸相信持续的用户教育能带来未来增长。
阅读更多
道奇车主们最近遭遇了一场噩梦：他们的车载信息娱乐系统每当车辆停在红灯前就会弹出烦人的扩展保修广告。Stellantis公司此举引发了强烈负面反响，尤其是在2024年道奇品牌销量暴跌29%的背景下。这不仅暴露了Stellantis对客户需求的漠视，也让其“2025年汽车史最伟大回归”的豪言壮语显得格外讽刺。 不少车主表示，这些弹出式广告不仅遮挡了导航和音乐控制界面，而且显得十分低劣，如同诈骗广告。此举被广泛批评为一场公关灾难，也再次凸显了在汽车信息娱乐系统中投放广告的风险。
阅读更多
安全研究员Golan Yosef利用一封精心设计的Gmail邮件，通过Anthropic的Claude桌面应用成功触发了代码执行。攻击并非利用任何软件漏洞，而是利用了Claude自身的多功能性和信任机制的组合。通过与Claude的多次互动，研究员引导Claude逐步完善攻击策略，最终绕过了其内置的安全防护，成功执行了代码。这突显了新型AI应用中“组合风险”的严重性，即各个组件本身可能安全，但其组合却可能产生意想不到的安全漏洞。该研究强调了对基于LLM的应用程序进行更全面的安全评估的重要性，以应对这种新型的攻击方式。
阅读更多
本文通过一个简单的FastAPI (Python) 和Go Web服务器的对比，揭示了Python在生产环境中资源消耗过大的问题。Python应用的Docker镜像体积远大于Go应用，运行时需要的内存也高出数倍，这导致了更高的服务器成本和运维难度。此外，Python代码的维护性和升级也存在挑战，例如GIL限制、异常处理和包依赖升级问题。作者以自身经验和业界案例，说明了选择合适的编程语言对项目成本和工程效率的影响，并建议在资源受限或对性能要求较高的场景下优先考虑Go等更轻量级的语言。
阅读更多
Tweede golf团队在为nRF9160微控制器开发的嵌入式Rust软件中遭遇了一个难以捉摸的bug，该bug会导致数据发送到服务器时返回Error::NrfError(-22)错误。经过长达数周的调查，他们发现问题根源在于libmodem库的初始化函数中，一个指向栈上配置结构体的指针在结构体销毁后仍然被使用，导致程序意外地写入共享内存区域配置，从而使发送数据长度变成0。最终，通过添加`black_box`函数和使用watchpoint调试，他们定位并修复了这个bug，并强调了使用Rust进行嵌入式开发的优势，以避免此类低级错误。
阅读更多
伊丽莎白·霍尔姆斯（Theranos创始人）的男友比利·埃文斯创立了一家名为Haemanthus的血检公司，其业务模式与霍尔姆斯臭名昭著的Theranos惊人地相似。该公司宣称拥有革命性的血液检测技术，目标是“人类健康优化”，这与Theranos当年的宣传如出一辙。更令人震惊的是，目前身陷囹圄的霍尔姆斯竟然还在为这家公司提供建议。尽管Haemanthus已获得近2000万美元融资，但一些知名投资者已拒绝投资，他们质疑该公司的科学依据和临床实用性。埃文斯的举动不禁让人想起Theranos的骗局，引发人们对其公司未来发展的担忧，也再次揭示了科技创业中存在的风险。
阅读更多
Magnitude是一个革命性的开源Web应用端到端测试框架，它利用视觉AI代理来“查看”你的界面并适应其中的任何变化。通过自然语言轻松构建测试用例，强大的推理代理规划和调整测试，快速的视觉代理可靠地执行运行。它支持本地或CI/CD管道运行测试，并能自动处理测试过程中遇到的问题。Magnitude支持多种LLM模型，包括Gemini 2.5 pro、Anthropic、OpenAI等，并提供免费的Moondream视觉模型。它使得编写和运行测试变得前所未有的简单和高效。
阅读更多
作者设计并制作了一款10MHz-15GHz的矢量网络分析仪（VNA），其性能超越了所有现有的低成本VNA。这款VNA采用四接收器设计，支持高级校准方法，例如未知直通校准，具有超过120dB的出色隔离度。文章详细介绍了其设计过程，包括电路架构、定向耦合器、接收器、ADC、FPGA以及PCB设计和CNC加工外壳等方面。最终测试结果表明，该VNA具有极高的测量精度和稳定性，能够准确测量各种器件，例如带通滤波器和可变电容二极管。虽然定向耦合器需要手工组装，但整体成本仅约为300美元（不含税费），展现了其极高的性价比。
阅读更多
本文介绍了如何在本地运行Llamafile，并使其生成结构化的JSON输出。作者使用LangChain库中的JsonOutputParser和PromptTemplate，自定义了一个Answer类来定义期望的JSON结构，并通过链式调用prompt、llm和parser三个组件来实现。即使Llamafile本身不具备与结构化输出相关的功能，也能通过这种方法巧妙地实现。文章还提供了一个基于Llama-3.2-1B-Instruct-Q8_0.llamafile的示例，并在最后给出了完整的代码链接。
阅读更多
前EA工程师Jeaye Wilkerson倾力打造新型编程语言jank，旨在融合Clojure的交互式特性与C++的原生编译效率和最小化运行时需求。jank基于LLVM，结合了C++、Clojure和Rust的元素，目标是成为Clojure的原生方言。该项目已引起社区广泛关注，成为最受欢迎的未发布Clojure项目之一。jank的独特之处在于它允许开发者在动态类型和静态类型之间灵活切换，兼顾开发效率和性能优化，为游戏开发、GUI开发和数据科学等领域提供强大的工具。
阅读更多
NativeJIT是一个开源的跨平台库，用于高性能即时编译包含C数据结构的表达式。它由Bing团队开发，用于Bing搜索引擎中的文档评分，以提高搜索结果的相关性。NativeJIT轻量快速，无需依赖除标准C++运行时之外的任何库，并在Linux、OSX和Windows上运行。其生成的代码经过优化，特别关注寄存器分配，能够高效处理大规模查询。
阅读更多
Let's Encrypt即将推出支持IP地址Subject Alternative Names (SANs)的证书，但初期仅限于6天有效期的短期配置文件，且处于允许列表模式。这一功能仍在开发中，尚未确定公开发布的时间表。帖子中包含一个示例证书和一个使用该证书的网站链接，并讨论了在Firefox和Discourse中发现的与IP地址SAN相关的bug。此外，还引发了关于IP地址是否可以作为DNS名称出现在SAN中以及DNS-01挑战是否适用于IP地址证书的讨论。
阅读更多
传统的浮点数随机数生成方法存在精度损失和偏差问题。本文介绍了一种新的高效算法，它能够生成在[0, 1)区间内均匀分布的、完美浮点数随机数，解决了传统方法的缺陷。该算法通过两步实现：第一步，生成具有特定精度的定点数随机数；第二步，根据舍入模式填充剩余精度位。通过巧妙的设计，该算法的性能与传统方法相当，并且通过测试验证了其均匀性和精度。这项研究对于依赖精确浮点数随机数的模拟和计算具有重要意义。
阅读更多
Zed，一款全新开源的AI代码编辑器，以其闪电般的速度和强大的AI辅助功能惊艳亮相。它采用Rust语言构建，支持GPLv3许可证，所有代码，包括AI代理面板，都完全开源。该面板允许程序员直接与AI交互，进行代码修改、编写新代码，甚至搜索代码库。Zed尊重用户隐私，默认情况下不会收集数据，并提供多种模型选择，包括Claude 3.7 Sonnet和Gemini 2.5，甚至支持用户使用Ollama在自己的硬件上运行自定义模型。目前，Zed已发布macOS和Linux稳定版，Windows版本将于2025年晚些时候发布。
阅读更多