前NASA宇航员Scott Kelly出席了Ispace在华盛顿特区的观赏派对，并表达了对该公司及其主席Ron Garan的支持。他认为Ispace的太空探索工作令人兴奋，但同时也承认太空探索的艰巨性。Kelly还评论了NASA管理层人事变动和预算削减的争议，他认为总统特朗普撤回对Jared Isaacman的提名令人遗憾，并担忧NASA的科学预算大幅削减将对机构造成严重损害。他指出NASA的长期规划常常因政府更迭而受阻，并赞扬了其兄长参议员Mark Kelly为维护NASA既有计划所做的努力。
阅读更多
美国政府取消了多个联邦机构对《自然》等科学期刊的订阅。卫生与公众服务部发言人称，所有与施普林格·自然的合同均已被终止，纳税人的钱不应该用于“垃圾科学”。卫生部长罗伯特·肯尼迪小儿对科学界持怀疑态度，不仅对疫苗持怀疑态度，而且对细菌理论（疾病是由微生物引起的）也持怀疑态度，最近称几家期刊为“腐败的”和“制药宣传的工具”。NASA、能源部和农业部等机构都失去了访问权限。一位专家告诉《自然》杂志，他认为此举是出于政治动机。
阅读更多
本文介绍了一种名为“生命账簿”的自我提升方法，核心在于觉察并记录负面情绪（“耳语”），然后运用预先准备好的“美德调味料”（例如励志名言、歌曲、冥想等）来化解负面情绪，从而改变行为模式。通过记录“耳语”和部署“调味料”，我们可以打破负面情绪的自动反应循环，最终建立更积极的应对机制。
阅读更多
哈佛大学携手微软和OpenAI，发布了一个包含近百万本公共领域书籍的巨型AI训练数据集。该数据集由哈佛大学新成立的机构数据倡议组织创建，旨在为AI行业“公平竞争”创造条件，让小型企业和个人研究人员也能接触到高质量的训练数据，类似于Linux操作系统对全球的影响。数据集涵盖多种类型、年代和语言的书籍，将促进AI模型的开发，但仍需结合其他许可数据才能使模型独树一帜。
阅读更多
微软正式推出通用打印的“拉取打印”功能，解决了打印机旁遗留敏感打印文件的安全隐患。用户无需预先选择打印机，只需在任何注册的打印机上验证身份即可释放打印作业。该功能提供两种释放方式：直接打印和安全释放（扫描打印机上的二维码）。虽然市面上已有类似功能，但对于已使用通用打印的Microsoft 365用户而言，这项免费功能将极大提升打印安全性与便利性。
阅读更多
本文探讨了代码行长的最佳实践。作者从80字符限制的历史渊源谈起，深入分析了人类视觉生理特性对阅读代码的影响，并指出现代宽屏显示器虽然提供了更多空间，但过长的代码行反而降低了可读性。最终，作者结合实际情况，推荐使用88字符作为代码行长的上限，并解释了这一选择背后的原因，包括代码缩进、diff工具兼容性等因素。
阅读更多
腾讯AI团队发布了HunyuanWorld-Voyager，一个能够根据单张图像和用户自定义的摄像机路径生成世界一致性3D点云序列的新型视频扩散框架。Voyager可以生成用于世界探索的3D一致性场景视频，并能生成对齐的深度和RGB视频，用于高效直接的3D重建。该模型训练使用了超过10万个视频剪辑的数据集，结合了真实世界捕捉和虚幻引擎的合成渲染。Voyager在WorldScore基准测试中取得了领先的性能，并提供了易于使用的代码和预训练模型。
阅读更多
乌克兰战争促使德国开启“时代转折点”（Zeitenwende），大幅增加国防开支。尽管面临预算不足、人员老化和基础设施落后等挑战，德国正努力重建其军队，目标是达到北约2%的国防支出目标，并增加军队规模。新任总理默尔茨致力于加速这一进程，但能否克服内部阻力并实现目标仍需观察。
阅读更多
普遍基本收入 (UBI) 的概念，即政府定期提供无条件的现金补贴，一直备受争议。一些人担心这会扼杀工作动力，导致社会瘫痪。然而，越来越多的证据，包括德国最近的大规模UBI试验，表明这种担忧可能是一种误解。试验结果显示，UBI并未导致普遍的懒惰，反而在某些方面带来了积极影响。这引发了人们的思考：我们究竟还需要多少次UBI试验才能最终承认其可行性？
阅读更多
本文反驳了“打破学科壁垒”的观点，认为学术学科如同粮仓，保护着知识的完整性和质量。作者以十九世纪粮仓的发明为例，阐述了学科的深耕细作对知识生产的重要性，并指出在AI时代，学科的专业知识是抵御AI“幻觉”和确保知识准确性的关键。AI的广度需要学科的深度来支撑，学术界内部的辩论和自我修正机制也确保了知识的持续更新，而非依赖过时或有偏见的信息。作者认为，拆除学科壁垒，只会导致知识的腐烂和匮乏。
阅读更多
一位在招聘行业工作的作者，以自己父亲30年只在一个公司工作的经历为对比，反思了科技行业频繁跳槽的现象。作者认为，与其盲目追逐所谓的“更好机会”，不如关注雇主是否提供合理的薪资、良好的工作环境、稳定的财务状况以及对创新的开放态度。只有满足这些条件，才能在招聘过程中保持诚实透明，吸引优秀人才。
阅读更多
面对AI巨头对能源的巨大需求，美国德州的Fermi America公司计划建设全球最大的先进能源园区，其中包括高达6吉瓦的核电设施，由韩国现代公司负责部署。该项目计划在2032年前为数据中心提供电力，首座反应堆计划明年开工。虽然项目雄心勃勃，但成本高昂，且存在风险，类似项目此前曾因成本超支和供应商破产而延期。除了核电，该项目还将包括燃气发电、太阳能和电池储能等多种能源。目前，Fermi America已开始建设初期燃气发电设施，计划在2026年底达到1吉瓦的电力供应能力。
阅读更多
今年的DEF CON黑客大会上，既有军方与情报机构的大力参与，也有对美国军事行动的尖锐批评。大会邀请了前国家安全局局长Paul Nakasone，并与DEF CON创始人Jeff Moss共同出席活动。然而，活动期间，曾因入侵Stratfor而入狱的黑客Jeremy Hammond因抗议Nakasone，高呼“解放巴勒斯坦！”而被驱逐出场。这一事件凸显了DEF CON的矛盾之处：一方面，它吸引了大量军方和情报机构的参与，并与之开展合作项目；另一方面，它也成为了批评美国军事行动和揭露其安全漏洞的平台。安全研究员Micah Lee的演讲也引发了热烈反响，他谴责了美国在也门的战争罪行和Signal软件的安全漏洞。DEF CON的未来走向，以及其与军方关系的演变，值得关注。
阅读更多
Expert 是 Elixir 编程语言的官方语言服务器实现。你可以从发行页面下载适合你操作系统的版本，并将可执行文件放在你的 $PATH 中。文档提供了针对不同编辑器的安装说明，并包含夜间构建版本的下载方法（使用 GH CLI）。源码构建需要 Zig 0.14.1。文章最后介绍了企业和个人赞助项目的方式，Expert 使用 Apache License 2.0 许可证开源。
阅读更多
StarFive推出了Vision Five 2 Lite，一款价格低廉的RISC-V单板计算机，售价仅为20美元（不含运费等）。这款精简版与Vision Five 2相比，处理器速度略慢，RAM为2GB，仅有一个以太网口和一个USB 3.0接口。虽然价格诱人，但其图形驱动程序支持仍然较差，Ubuntu和Fedora等系统仅支持无图形界面的服务器版本。尽管存在一些不足，但对于开发者和爱好者来说，它仍然是一款极具吸引力的64位RISC-V系统。
阅读更多
当pgvector数据库规模达到百万级向量数组时，索引构建速度会急剧下降。本文介绍了PgDog，一个用于分片pgvector向量索引的开源项目。PgDog利用IVFFlat算法的特性，将向量空间分割成多个部分，并将其分布到不同的机器上。通过计算查询向量与质心的距离，选择合适的shard进行搜索，从而提高搜索速度和召回率。文章详细介绍了实现过程，包括使用scikit-learn计算质心、自定义分片函数以及利用pg_query解析SQL语句等。实验结果表明，PgDog能够有效提高pgvector的性能，并提供多种优化策略，例如并行跨分片查询和改进的质心分配策略。
阅读更多
作者通过优化其玩具编程语言 Plush 的解释器，在斐波那契数列微基准测试中超越了 CPython。文章详细描述了优化过程，包括合并指令、利用 Linux perf 工具分析性能瓶颈，以及通过代码修补和指令融合等技术提升执行效率。最终，Plush 解释器在该基准测试中的速度提升近一倍，但这并未影响其并行光线追踪程序的性能，暗示了微基准测试的局限性。
阅读更多
一位年轻的创业者初创公司初期在Chase银行开设商业账户，随着公司融资规模不断扩大（从100万美元到2400万美元），他与一位银行经理Alex产生了多次互动。Alex多次主动联系他“关心”账户情况，令他感到困惑。最终，这位创业者将公司资金转移到硅谷银行，并关闭了Chase账户。令人惊讶的是，在一年后，他在洛杉矶的一家Chase分行被认出是HashiCorp的创始人，当地Chase员工都知道他公司账户的巨额资金流动，并将其作为案例进行内部培训。更令人震惊的是，他之前从未关闭的Chase账户存在欺诈行为，他不得不提取100万美元的现金支票来关闭账户，整个过程充满戏剧性。这则故事反映了初创公司创始人对银行业务的幼稚认知，以及大型银行内部的运作机制。
阅读更多
这幅复古的UNIX魔法海报，致敬了上世纪80年代由Gary Overacre创作的经典作品。作者分享了他与UNIX的难忘经历：大学期间，在HP-UX主服务器上编程，被其简洁强大的功能深深吸引，从此Unix成为他编程生涯中不可或缺的一部分。这个项目正是对UNIX及其持久影响的致敬。
阅读更多
经过三年发展，WebAssembly (Wasm) 3.0 标准正式发布！此次更新包含诸多重大特性，例如支持64位地址空间，扩展内存地址空间至16EB；允许多个内存实例，提升了大型应用和数据处理能力；引入了垃圾回收机制（GC），大幅简化高阶语言编译到Wasm的过程；增加了类型化引用，提升了类型安全性和效率；以及尾调用、异常处理、改进的向量指令等。这些更新使得Wasm更适合编译高阶语言，例如Java、OCaml等，进一步扩展了其应用范围。
阅读更多
盲人社区对AI辅助工具（如LLM）的热情高涨，将其用于图像描述、音频制作等，认为这是获取信息的新途径，并能增强独立性。然而，作者对此持谨慎态度，他指出LLM的准确性有待提高，且AI的过度依赖可能带来新的障碍，例如缺乏可访问性，甚至加剧了对技术的依赖，取代了人际间的帮助。作者认为，虽然AI能提供便利，但盲人社区不应盲目追捧，而应关注实际应用中的问题和潜在风险，并继续争取真正的无障碍环境。
阅读更多
谷歌的Python静态类型检查工具Pytype即将停止更新。自2012年诞生以来，Pytype为谷歌开发者提供了强大的类型检查能力，并为Python类型系统的完善做出了贡献。然而，由于其基于字节码的设计限制了新功能的开发，谷歌决定将资源投入到更具前景的类型检查技术上，并宣布Python 3.12将是Pytype支持的最后一个版本。 团队感谢所有贡献者，特别是Rebecca Chen十年来的持续贡献。 现在Python类型检查生态系统已经非常成熟，开发者们可以转向其他优秀的替代方案。
阅读更多
本文讲述了一个由于Bazel缓存、远程执行和不同环境中glibc版本差异导致生产环境崩溃的案例。开发人员在本地构建和测试通过后，CI系统利用缓存构建发布版本，但在生产环境部署时却因缺少'GLIBC_2.28'版本而崩溃。文章分析了glibc版本差异如何破坏构建可重复性，并提出了几种解决方案：一种临时方案是捕获本地和远程glibc版本，选择较高版本作为C++工具链输入；更完善的方案是限制对Action缓存的写入，强制构建操作始终在远程执行器上运行；最终的解决方案是使用sysroots，在所有环境中安装多个glibc版本，并明确指定使用哪个版本。文章强调了保证构建可重复性的重要性，并建议根据实际情况选择合适的解决方案。
阅读更多
访问网站时，页面显示需要启用JavaScript才能运行应用程序。这提示用户需要检查浏览器设置，确保JavaScript已启用，才能正常访问和使用网站的功能。
阅读更多
美国联邦法官驳回了谷歌的动议，维持了一项集体诉讼，该诉讼指控谷歌侵犯了选择退出其记录用户网络和应用活动功能的用户隐私。诉讼的核心是谷歌的网络和应用活动 (WAA) 设置，即使用户选择退出跟踪，谷歌仍通过 Google Analytics for Firebase (GA4F) 将数据发送给第三方应用开发者。法官认为，陪审团可以合理地认定谷歌从不正当获取用户数据中获利，该案将于2025年8月开庭审理。这起诉讼凸显了科技公司在数据收集和用户隐私方面的挑战。
阅读更多
这个项目将一个TCP/IP协议栈集成到基于RISC-V架构的xv6操作系统中，使其具备网络功能。它包含一个移植自用户态的microps的内核态TCP/IP协议栈、一个用于QEMU网络设备模拟的virtio-net驱动、标准的socket API以及简单的ifconfig命令。通过几条简单的命令即可构建并启动QEMU，然后配置IP地址，最终实现主机与xv6虚拟机间的ping测试以及TCP/UDP回显程序的运行测试。
阅读更多
作者用旧iPhone和Docker容器，成功将iPhone摄像头接入UniFi Protect系统。他发现市面上没有直接支持ONVIF协议的iOS应用，于是利用RTSP应用(IP Camera Lite)和一个ONVIF代理Docker容器，巧妙地解决了这个问题。过程中，他通过ffmpeg验证了RTSP流的有效性，并最终在UniFi Protect中成功添加了这个DIY摄像头，成功替代了之前的Surveillance Station和Scrypted系统。
阅读更多
流媒体平台Plex宣布十年来首次涨价，Plex Pass订阅服务将从4月29日起涨价。每月订阅费用将从4.99美元涨至6.99美元，年费从39.99美元涨至69.99美元，终身订阅费用从120美元涨至249.99美元。同时，Plex将远程播放个人媒体的功能改为付费服务，用户可以选择购买Plex Pass或新的Remote Watch Pass来访问远程媒体流。Remote Watch Pass每月1.99美元，每年19.99美元。Plex表示涨价是为了应对成本上升，并继续开发新功能。
阅读更多
美国国家情报总监图尔西·加巴德宣布，英国将不再强制苹果提供对其iCloud加密服务的“后门”访问。此前，英国政府曾秘密要求苹果提供对全球用户加密文件的访问权限，此举引发了美国方面的强烈反对，认为其违反了《云法案》。在来自美国政府的压力下，英国最终放弃了这一要求。目前尚不清楚苹果是否会恢复英国用户使用其高级数据保护（ADP）加密iCloud存储服务。
阅读更多
越来越多的州考虑禁止电子点票机，强制人工计票。然而，研究表明人工计票错误率高达25%，且耗时长，成本高。例如，内华达州Nye县2022年人工计票的错误率就高达25%，亚利桑那州若非州长否决，类似法案将生效。这不仅威胁选举的准确性和安全性，还可能加剧选民对选举舞弊的担忧， 文章呼吁继续使用电子点票机，并通过事后审计等机制确保选举结果的及时性和准确性。
阅读更多