据ABC新闻获得的内部备忘录显示，多家联邦机构的员工接到命令，必须在周五下午之前从他们的电子邮件签名中移除代词。这源于特朗普总统上任第一天签署的两项行政命令，旨在遏制联邦政府的包容性和公平计划。备忘录中提到，代词和其他不被允许的信息必须从签名中移除。交通部、能源部和疾病控制与预防中心等机构的员工都收到了类似的指示。一名疾控中心的公务员对此表示不满，称这在过去十年从未发生过。人事管理办公室也发布了备忘录，指示各机构审查电子邮件系统并关闭提示用户输入代词的功能。此举是特朗普政府取消联邦政府包容性和公平工作的最新举措。
阅读更多
作者讲述了他多年编程生涯中一个令人难以置信的经历：他发现了一个JavaScript内置`sort()`函数的bug！这个bug导致排序结果错误，困扰了他许久。最终，他向Code Studio团队报告了这个bug，并得到了迅速的回应和修复。这个故事生动地说明了，即使是看似完美的系统软件，也可能存在bug，而程序员应具备怀疑一切的精神，并且要坚持不懈地寻找问题的根源，而不是盲目地归咎于编译器或系统。
阅读更多
Kan是一个开源的项目管理工具，旨在成为Trello的强大替代品。它提供了看板视图、成员协作、Trello导入、标签过滤、评论、活动日志等功能，并计划推出模板和集成。该项目代码已开源，欢迎贡献！
阅读更多
一位在神经AI领域攻读博士学位的计算机工程师，用了9年Arch Linux后，转向了新款MacBook Pro。文中详细描述了他如何在一天内配置好新机器，尽可能复现原有的工作流程。他使用了Nix作为包管理器，AeroSpace窗口管理器和Raycast启动器，并保留了zsh shell和Zed编辑器等熟悉的工具。虽然macOS的包管理不如Arch Linux方便，但他为了获得更稳定的硬件和更好的用户体验，最终选择了妥协。
阅读更多
Fahmatrix 是一个轻量级的现代 Java 库，用于处理表格数据，其灵感来自 Python 的 Pandas，旨在简化 JVM 上的数据理解。它提供直观的 API，支持 CSV 读取和预览、行过滤和列选择，以及聚合、分组和排序等功能（即将推出）。Fahmatrix 没有外部依赖项，可以直接从 GitHub 下载 JAR 文件使用，或通过 Maven/Gradle 使用（未来版本添加）。它支持 CSV 文件加载、数据打印、head()/tail() 函数、多种聚合函数、行过滤和列选择、分组和透视表、数据导出以及类型推断和转换等功能。Fahmatrix 为 Java 开发者提供了一个高效处理表格数据的工具，无需离开 JVM。
阅读更多
在快节奏的科技公司，并非所有工作都同等重要。本文指出，大部分优先级高的工作实际上优先级很低。成功的关键在于识别“聚光灯”时刻——领导层高度关注的项目。工程师应具备快速识别并抓住这些机会的能力，全力投入高影响力项目。相反，在“聚光灯”照不到的地方，则应利用个人时间进行有价值的项目开发，提升自身能力和公司贡献。这不仅需要判断力，更是一种技能，需要不断练习才能掌握。
阅读更多
一位.Net开发者离职后，公司网站瘫痪，暴露出依赖个体专家的风险。作者反思自身经历，发现公司更看重产品交付而非代码本身。即使是精通JavaScript和拥有自主研发的A/B测试套件，最终也因公司战略调整被替代。作者得出结论：技术人员的价值在于交付产品和功能，而非单纯的编码能力，团队合作和整体产品价值更重要。
阅读更多
坐落于新泽西州的贝尔实验室Holmdel园区，曾是贝尔系统及贝尔实验室的研发中心，孕育了激光冷却等诺贝尔奖成果。这栋由Eero Saarinen设计的标志性建筑，在经历了公司重组和几经易手后，如今华丽转身成为一个集办公、住宅、零售、娱乐于一体的综合社区——Bell Works。它不仅保留了原建筑的现代主义风格，更融合了新设计元素，吸引了众多高科技初创企业和居民，成为一个充满活力的“郊区都市”。
阅读更多
这项基准测试评估大型语言模型创作长篇故事的能力，包括构思、修改和撰写8个1000字章节。评测指标涵盖章节长度、语言流畅度（避免过度使用特定词汇）、语句重复率以及写作质量随章节递进的变化趋势。最终得分由评估模型综合评定，范围为0-100分。
阅读更多
研究人员使用TorchFT和TorchTitan在一个真实的、具有极端合成故障率的环境中训练了一个模型，以证明容错训练的可靠性和正确性。即使在1200次故障且没有检查点的情况下，训练损失仍然保持稳定。TorchFT使用全局灯塔服务器和每个副本组管理器进行实时协调，并实现了多种容错算法，例如容错HSDP和LocalSGD/DiLoCo。实验结果表明，即使在极高的故障率下，TorchFT也能有效地进行模型训练，展现了其在应对各种故障场景下的强大能力。
阅读更多
全球仍有20亿人无法获得安全饮用水，这篇文章深入探讨了这一问题。文章指出，这不仅仅是一个简单的数字，而是关乎数百万人的健康和生命。许多人每天花费数小时收集水，而其中近百万人生命因疾病而丧失。文章通过数据和来自不同国家的真实案例，展现了人们获取饮用水方式的差异，以及由此带来的健康风险和时间成本。作者强调，改善饮用水安全不仅关乎疾病的预防，更关乎人们的时间和机会成本，这需要全球共同努力解决基础设施建设和水源污染等问题。
阅读更多
为应对特朗普政府对中国进口商品加征的关税，苹果公司宣布将在未来四年内在美国投资5000亿美元，创造2万个就业岗位，并在休斯顿建设新的服务器制造工厂。此举或与苹果CEO蒂姆·库克近期与特朗普总统在椭圆办公室会面有关，旨在缓解关税压力，同时促进美国国内经济发展。
阅读更多
风靡Meta Quest平台的VR游戏《Gym Class》（拥有5.8万评分，4.9星）正在招聘首席技术美术师！你将负责优化游戏资产流程、开发工具、提升VR和移动平台的画面保真度和性能，使用Unity、C#、Python等技术，与工程师合作进行性能分析和优化。公司由顶级科技和体育投资者支持，包括Andreessen Horowitz、Y Combinator、NBA等。这是一个在社交游戏前沿工作，快速迭代，直接影响产品和公司发展的机会。
阅读更多
比亚迪近日下水了全球最大的汽车运输船“比亚迪深圳号”，一次可运载9200辆汽车，标志着其全球电动车战略的重大推进。这艘巨轮是比亚迪第四艘大型滚装船，此前三艘已在欧洲和南美洲等地投入运营，运输了数千辆新能源汽车。凭借去年425万辆新能源汽车的销量佳绩，比亚迪正积极拓展海外市场，挑战传统车企巨头，并已在日本、韩国等市场取得显著进展。
阅读更多
Curry 是一种声明式多范式编程语言，它无缝地结合了函数式编程（嵌套表达式、高阶函数、强类型、惰性求值）和逻辑式编程（非确定性、内置搜索、自由变量、部分数据结构）的特性。与单一编程范式相比，Curry 提供了额外的功能，例如针对逻辑导向计算的优化求值和具有用户自定义函数的灵活、非确定性模式匹配。
阅读更多
随着AI代理的普及，软件工程进入新阶段。本文介绍了一个全新API，为AI代理提供全栈后端服务，包含数据库、同步引擎、身份验证、文件存储和状态管理等功能。该API旨在简化应用开发，通过内置抽象、高效托管和数据暴露，提高开发效率。它采用多租户架构，可快速创建大量数据库，降低成本，并支持多种隔离策略，以优化资源利用。最终目标是让开发者和AI代理都能更轻松地构建和部署应用，并通过数据库式抽象，实现应用的可扩展性。
阅读更多
许多非技术背景的创业者苦于寻找技术合伙人。文章指出，并非技术人员稀缺，而是这些商业创始人的价值被高估了。他们往往高估自身想法的重要性，而低估了技术执行的难度。作者建议，商业创始人应专注于建立和拓展客户网络，并证明其市场需求，例如获得大量预订单或商业意向书。通过验证市场需求，而非依赖产品本身，才能吸引到技术合伙人，从而提高创业成功率。
阅读更多
本文介绍了十七世纪数学家Napier发明的一种巧妙的对数估算方法。该方法的核心思想是利用对数的性质log(a^b) = b * log(a)，并结合科学计数法，通过反复计算10次方，逐步提高精度。文章还提供了一个Python脚本，实现了这一算法，以方便读者进行实践。这是一种将复杂的对数计算转化为相对简单的幂运算和科学计数法操作的巧妙方法，展现了早期数学家在计算工具有限的情况下，如何通过巧妙的算法解决复杂问题的智慧。
阅读更多
作者的十年老 MacBook Pro 坏掉了，尝试用 M2 iPad Pro 替代，却发现两者体验差异巨大。这不仅是使用习惯问题，更是操作系统和硬件设计的差异。iPad 的触控操作与 Mac 的键盘鼠标操作体验截然不同，缺少终端、root 权限和 Python 等开发工具也让 iPad 在软件开发方面力不从心。此外，苹果和微软等厂商的策略也限制了设备的灵活性，例如微软拒绝让旧款 Surface Go 运行 Windows 11。作者最终决定购买 M4 MacBook Air，并对未来操作系统和服务的发展趋势表达了担忧，思考 AI 是否能解决这些问题。
阅读更多
英国和威尔士即将出台新法，严禁犯罪分子使用先进电子设备盗窃汽车。去年，超过70万辆汽车被盗或被盗窃，其中许多案件都使用了高科技电子设备，例如信号干扰器，这种设备据信参与了全国四成左右的汽车盗窃案。新法将改变以往警方需证明设备被用于特定犯罪行为才能起诉的现状，转而要求持有者证明其合法用途。制造或销售信号干扰器将面临最高五年监禁或无限期罚款。这项立法旨在打击日益猖獗的汽车盗窃犯罪，特别是利用汽车钥匙信号进行的盗窃。
阅读更多
CFRS[] 是一种极简的绘图语言，仅使用六个命令 (C, F, R, S, [, ]) 即可生成各种图案。本文汇集了社区成员贡献的 CFRS[] 演示，包括动态演示（使用 'S' 命令实现动画效果）和静态演示。这些演示涵盖了各种形状，例如花朵、十字架、万花筒、叶子等，展现了该语言的强大表现力，即使是简单的命令也能创作出令人惊叹的艺术作品。无论是初学者还是编程爱好者，都能从中获得乐趣和灵感。
阅读更多
LG宣布将于2025年6月30日终止其所有Android手机的软件更新服务，包括OTA更新、更新中心和LG Bridge应用。这意味着届时LG手机将无法再接收任何软件或安全更新。虽然目前使用LG手机的用户可能不多，但仍建议持有旧款LG手机的用户尽快完成最后的软件更新。
阅读更多
本文讲述了作者如何构建一个自定义的PostgreSQL表访问方法，实现一个简单的内存存储引擎。作者从构建一个debug版本的PostgreSQL开始，逐步实现了表访问方法API的各个函数，最终实现了创建表、插入数据和查询数据的完整功能。过程中作者遇到了许多挑战，例如调试和理解PostgreSQL内部机制，并通过日志记录和逐步调试解决了这些问题。这是一个极佳的PostgreSQL扩展开发案例，为其他开发者提供了宝贵的经验和参考。
阅读更多
微软宣布将于2025年5月27日停止对Windows版旧版远程桌面应用的支持，用户需要迁移到新的Windows应用。新应用支持多显示器、动态分辨率，并方便连接云电脑和虚拟桌面。虽然Windows内置的远程桌面连接应用不受影响，但新应用目前仅支持工作或学校账户，微软未来计划支持个人账户，以实现其将Windows完全迁移到云端的长期目标。
阅读更多
6月6日，欧洲传来意外的利好消息：一季度GDP增速远超预期，达到0.6%。但仔细分析数据，令人惊讶的是，爱尔兰一季度GDP增长了9.7%，贡献了欧盟整体增长的一半以上！这个人口仅占欧盟百分之一的小国，经济增长的强劲表现令人瞩目，引发了人们对爱尔兰经济奇迹的猜测。
阅读更多
英伟达CEO黄仁勋在VivaTech上公开反驳了Anthropic CEO Dario Amodei关于AI将导致50%的入门级白领工作消失的预测。黄仁勋认为Amodei的观点过于悲观，并批评了Anthropic“闭门造车”的做法。他强调AI技术应公开透明地发展，而非由少数公司控制。Amodei则回应称，自己从未说过只有Anthropic才能构建安全的AI，并呼吁加强AI监管，以应对AI带来的经济冲击。这场争论凸显了业界对AI发展和风险的不同看法。
阅读更多
这是一个旨在鼓励艺术家和开发者创建网站并互相分享流量的Webring。它包含了各种各样的网站，从个人博客到维基，再到在线作品集，应有尽有。加入这个Webring非常简单，只需要提交一个pull request即可。
阅读更多
原计划2024年启用的全球首艘全氨燃料动力船舶Viking Energy，因氨燃料基础设施建设复杂，推迟至2026年。氨燃料具有毒性、易爆和腐蚀性，需要特殊的管道、储罐和卡车。此外，氨燃烧会产生氮氧化物，需要配套的减排技术。虽然存在挑战，但专家认为氨燃料最终将成为主流，并建议港口成为替代燃料的生产、储存和交易中心，以解决“先有鸡还是先有蛋”的问题。
阅读更多
本文尝试在Lisp中编写一个“真相预言机”，一个能够判断任意数学命题真假的程序。作者介绍了Curry-Howard同构，解释了逻辑证明如何对应于类型化函数式编程中的表达式。通过巧妙运用Racket的call/cc函数（与皮尔士定律同构），作者试图实现一个与排中律同构的程序。然而，实验结果出乎意料：预言机总是返回假，直到尝试访问一个不可能存在的类型值时才返回真。这揭示了经典逻辑与构造性逻辑的差异，以及call/cc函数非正常的控制流机制。最终，作者用一个“恶魔的交易”比喻解释了这种奇特的现象，展现了call/cc函数背后的时间旅行般的机制。
阅读更多
2003年1月16日，哥伦比亚号航天飞机在执行STS-107任务期间失事，机上7名宇航员全部遇难。事故调查揭示，发射82秒后，一块隔热泡沫脱落撞击航天飞机左翼，导致其在重返大气层时解体。这起事故引发人们对航天器安全以及传统演示方式（例如冗长的PowerPoint演示）的反思，提醒我们，看似微小的细节都可能造成灾难性后果。
阅读更多