日本科研长期受困于学科壁垒，跨学科研究严重缺乏资金支持，导致创新能力下降。文章指出，日本科研资助机构应学习欧美经验，从项目资助转向人才资助，支持高风险、高回报的跨学科项目，并扩大评审专家队伍的多样性，以促进跨学科研究发展，提升日本在全球科研领域的竞争力。以冲绳科学技术大学院大学为例，其灵活的科研经费模式和鼓励跨学科合作的制度，已取得显著成效。
阅读更多
AnkiAIUtils是一个利用AI增强Anki记忆卡片的工具套件。它通过结合ChatGPT、DALL-E和Stable Diffusion等AI模型，自动为学习者提供解释、记忆技巧、插图和自适应学习功能。该工具能够根据学习者的学习情况，动态匹配最相关的例子，并生成个性化的记忆技巧，支持多种LLM提供商和模型。目前该项目尚处于早期阶段，但已展现出巨大的潜力，有望彻底改变医学学习和其他领域的学习方式。
阅读更多
本文讲述了小说翻译的挑战，单纯的逐字翻译无法捕捉原文的精髓。作者以其小说匈牙利语版本的标题为例，说明了文化背景的重要性。英文标题源于一首耳熟能详的歌曲，但在匈牙利语中，译者选择了当地知名乐队的一句热门歌曲歌词作为标题，从而达到同样的情感共鸣。这突显了人工翻译的必要性，因为机器翻译无法理解和再现这种文化内涵，而这种文化内涵正是小说魅力的关键所在。
阅读更多
还在为编写 systemd 单元文件而烦恼吗？systemd-lsp 来了！这是一个基于 LSP 协议的 Rust 语言服务器，它能为你的 systemd 单元文件提供语法高亮、代码诊断、自动补全、文档跳转和代码格式化等功能，大大提高你的效率。它无需外部依赖，跨平台兼容，并且内嵌了所有手册页。安装简单，只需使用 Cargo 构建即可。还在等什么，快来试试吧！
阅读更多
经过一年的积极开发，Zod 4 稳定版终于发布！它速度更快，体积更小，TypeScript 效率更高，并实现了许多长期以来备受期待的功能。Zod 4 与 Zod 3 并行发布，简化了迁移过程。性能测试显示，Zod 4 在多个基准测试中速度提升了 6.5 倍到 14.7 倍。此外，Zod 4 还改进了泛型，显著减少了 TypeScript 的类型实例化数量，并引入了更轻量级的 `zod/v4-mini` 版本，核心包大小减少了 85%。新版本还增加了对递归类型、JSON Schema 转换、自定义元数据、以及改进的错误处理的支持。
阅读更多
三星因Galaxy S24系列手机出现严重的解锁Bug，紧急叫停了备受期待的One UI 7更新。该Bug导致部分用户无法解锁手机，虽然问题最初在韩国用户中出现，但三星为谨慎起见，已在全球范围内暂停更新。此次更新包含Android 15和一系列AI功能，原计划于4月7日开始面向Galaxy S24、Z Fold 6和Z Flip 6等机型推送，但由于Bug出现，更新已从三星服务器移除。三星尚未确认暂停更新的消息或修复已下载更新用户的计划。
阅读更多
Letterform Archive收藏了超过500个日本筷子套，这些不起眼的纸套却蕴含着丰富的日本文化和印刷设计史。从平安时代的丝绸包裹到现代的印刷广告，筷子套见证了日本社会变迁，从富士山的意象到江户时代的浮世绘风格，再到融合东西方元素的现代设计，筷子套展现了日本审美和民族认同的演变。收藏者对物品的珍视也反映出日本“もったいない”的精神。
阅读更多
作者从自身经历出发，讲述了学习Vim文本编辑器的心路历程。最初，作者的打字速度并不快，但通过学习Vim，他摆脱了鼠标依赖，极大提升了编程效率。文章详细阐述了Vim的模态编辑方式、高效的键盘操作以及其在命令行中的应用。虽然学习曲线陡峭，但作者认为Vim带来的效率提升是值得的，并分享了他使用IdeaVim和Helix等编辑器的经验。最终，作者强调了Vim对文本编辑领域的重要贡献，以及其思想对程序员的影响。
阅读更多
本文分享了已故传奇人物 Dennis Ritchie 编写的最早版本的 C 编译器源代码。这些代码如今无法用现代 C 编译器（如 GCC）编译，但它们代表了价值万亿美元产业的起点。文章还提供了 Aiju 的 PDP-11/Unix 模拟器链接，读者可以尝试编译这些代码，并附带了其他相关资源链接，例如 Research Unix 仓库，让读者可以一窥早期 Unix 系统的奥秘。
阅读更多
这个周末项目始于浏览巴黎公共交通网络的开放数据存储库，该存储库包含各种 API，用于查询实时出发、当前中断等。作者注意到数据重用部分，其中包含使用此开放数据的外部项目。特别是 RATP 状态网站提供了一个非常好的界面来可视化地铁、RER/火车和电车线路的历史中断情况。作者发现 ratpstatus.fr 的 GitHub 存储库包含从开放数据 API 查询到的所有 JSON 文件，几乎一年来每 2 分钟查询一次。这个存储库有 188K 次提交，仅在最后一次提交时就积累了超过 10GB 的数据。作者好奇能否通过合理的投入（周末项目）来更好地压缩这些数据。本文深入探讨了作者如何使用 Rust 中的驻留设计模式将此数据集压缩了两千倍！文中研究了如何最好地构建驻留器本身，如何调整数据模式以使其与驻留器良好配合，以及序列化如何最好地利用驻留。最终，作者成功地将 1.1GB 的 JSON 文件压缩到只有 530KB，实现了惊人的压缩效果。
阅读更多
Codon是一个旨在显著提升Python运行速度的编译器。作者在之前的尝试中曾遇到编译问题，但近期更新已解决。虽然作者的测试脚本并未受益于编译，但Codon在NPBench NumPy基准测试中展现了显著的性能提升，最高可达900倍，这主要归功于Codon团队对NumPy的直接移植。虽然作者未自行验证基准测试结果，但他尝试了一个据称可加速300倍的Python脚本，这暗示着Codon在特定场景下的巨大潜力。
阅读更多
英国零售巨头马莎百货（Marks & Spencer）证实，其在上个月遭遇网络攻击，导致客户个人信息被盗。泄露的信息包括姓名、出生日期、住址、邮箱、电话号码、家庭信息和在线订单历史。目前，马莎百货的在线账户密码已被重置，但其部分门店仍面临运营中断和商品短缺。据报道，名为DragonForce的勒索软件团伙声称对此次攻击负责，同时英国其他零售巨头，如合作社（Co-op）和哈罗德百货（Harrods）也遭遇了类似攻击。英国国家网络安全中心已介入调查。
阅读更多
Anthropic CEO 达里奥·阿莫迪就中国 AI 公司 DeepSeek 的成功对美国 AI 芯片出口管制的影响发表了评论。他认为，虽然 DeepSeek 的模型在成本效益方面取得了进展，但与美国同类模型相比仍存在差距，这表明出口管制正在发挥作用。他预测，未来的发展取决于特朗普政府的出口政策：加强管制可能使美国保持领先地位，而放松管制则可能导致中国在军事 AI 领域取得优势。
阅读更多
Rye 是一种新型编程语言，其核心概念是将电子表格作为一等公民，从而更贴近人类思考方式。文章介绍了 Rye 如何创建、加载和操作电子表格，支持从 CSV、SQL 和 Excel 文件导入数据，并提供丰富的函数进行数据处理，例如过滤、排序、筛选等。通过将电子表格作为基本数据结构，Rye 简化了数据操作，并提供了更直观的编程体验，尤其在处理表格数据时，代码简洁高效，远超其他语言。
阅读更多
AI购物应用Nate的创始人Albert Saniger被指控诈骗投资者5000多万美元。Nate宣称其应用可以通过AI实现一键式跨电商平台购物，但实际上却依赖数百名菲律宾外包人员手动完成交易。调查显示，Nate的自动化率实际上为0%，其融资过程中夸大了AI能力。Nate最终破产，投资者几乎全盘皆输。此事件凸显了部分创业公司在宣传中夸大AI能力的现象。
阅读更多
一项新的研究利用卫星追踪技术，揭开了海龟“迷失的岁月”之谜。科学家们通过在幼龟身上安装GPS标签，追踪了它们在墨西哥湾的活动轨迹。结果发现，幼龟并非像之前认为的那样被动地随洋流漂流，而是能够自主游泳，并根据自身需要选择活动区域，在大陆架水域和公海之间移动。这项发现不仅填补了海龟生命周期中长期存在的知识空白，也为保护这些濒危物种提供了重要依据。
阅读更多
软件开发者们对差异文件（diff）再熟悉不过了，但现有的差异格式如Unified Diff存在诸多问题：缺乏标准化、难以解析元数据、不支持二进制补丁等。文章介绍了一种名为DiffX的新型差异格式，它在完全兼容现有工具的基础上，通过添加结构化元数据和扩展机制，解决了这些痛点。DiffX支持多提交、二进制差异、文本编码等特性，并能轻松地被现代工具解析和修改，从而提高代码审查、补丁管理等效率。
阅读更多
Nping是一款用Rust编写的强大Ping工具，它支持并发Ping多个地址，并提供实时数据更新和可视化图表显示。Nping不仅能显示最大、最小、平均延迟以及丢包率等关键指标，还支持IPv4和IPv6，以及根据平均延迟对多个地址的结果进行排序。此外，它还具有主机子命令，可以显示域名对应的IP地址详细信息，并支持自定义Ping次数和间隔。无论是网络管理员还是开发者，Nping都是一款提升网络诊断效率的利器。
阅读更多
编程学习营RC，一个为程序员提供6-12周集训和招聘服务的机构，正积极应对AI浪潮带来的冲击。他们并未简单地拥抱或抵制AI，而是通过与3000多名校友的深入交流，探索AI对程序员个人和职业发展的影响。结果发现，程序员对AI的接受程度差异巨大，这取决于经验、编程类型和项目规模等因素。RC总结出三点核心建议：在能力边缘工作，保持严谨，并慷慨地学习，鼓励在AI工具使用上保持开放心态，并注重人际交流与合作。最终，RC强调，学习的关键在于主动参与和深刻理解，AI工具应被视为辅助而非替代品，程序员应始终保持自主性和批判性思维。
阅读更多
任天堂在近日的直面会上公布了Switch的虚拟游戏卡，将于四月下旬推出。这项新功能允许玩家在不同的Switch主机之间共享数字游戏。购买的数字游戏将以虚拟游戏卡的形式储存在专用管理界面，玩家可以虚拟加载和弹出游戏卡，如同使用实体卡带一样方便。同一款游戏最多可在两台Switch主机上游玩，并支持通过本地无线网络与家人共享游戏，共享期限为两周。这项创新将大大提升数字游戏的灵活性，并为玩家带来更便捷的游戏体验。
阅读更多
本文介绍了一个名为suite的Python库，它利用大型语言模型（LLM）进行语义单元测试。不同于传统的单元测试，suite通过比较函数的实现与文档字符串中的描述来评估函数的语义正确性。作者详细解释了suite的工作原理，包括如何构建提示、处理函数依赖以及与pytest的集成。虽然作者强调suite不应取代传统的单元测试，但它可以作为一种补充手段，帮助开发者尽早发现bug，提高测试覆盖率。suite支持异步测试，并可使用本地模型，降低成本和隐私风险。
阅读更多
ChemBench是一个新的基准测试数据集，用于评估大型语言模型（LLM）在化学领域的性能。它包含各种类型的化学问题，涵盖多个化学子领域，并对问题难度进行了分级。测试结果显示，领先的LLM模型在整体性能上超过了人类专家，但在知识密集型问题和化学推理方面仍存在不足。ChemBench的创建旨在推动化学LLM的发展，并为更可靠的模型评估提供工具。
阅读更多
传统时间序列预测方法如ARIMA和Prophet已逐渐被新型“基石模型”所挑战。这些模型旨在将大型语言模型的强大能力应用于时间序列数据，实现单一模型跨多种数据集和领域的预测。文章对Amazon Chronos、Google TimesFM、IBM Tiny Time-Mixers和Datadog Toto等基石模型进行了基准测试，并与经典模型进行了比较。测试结果表明，在处理多变量预测任务时，基石模型表现出色，尤其在处理来自生产环境的Kubernetes pod指标时，Datadog Toto表现最佳。然而，基石模型在处理异常值和全新模式时仍存在挑战，经典模型在稳定工作负载下仍具有竞争力。最终，文章认为基石模型在处理快速变化、多变量数据流方面具有显著优势，为现代可观测性和平台工程团队提供了更灵活、可扩展的解决方案。
阅读更多
Qodo Gen 1.0版本发布，其AI编码和测试IDE插件引入了代理工作流，允许AI动态决策以处理复杂的编码任务。为了实现代理功能，Qodo Gen 使用LangGraph构建结构化代理工作流，并使用Anthropic的模型上下文协议(MCP)进行外部工具的标准化集成。该架构支持异步通信，按需上下文检索，以及增强的错误处理和可靠性，实现了AI自主操作、实时数据获取和基于工具执行结果的策略调整。LangGraph的图结构提供了灵活性和控制性，而MCP则简化了外部工具集成。Qodo Gen通过这种方式，实现了更智能的自动化、可扩展的系统和结构化的AI自主性。
阅读更多
德国1月份失业人数达到近300万，创下2015年以来的最高纪录，比去年同期增加了18.7万。这一数字引发了对德国经济的担忧，雇主们将此归咎于经济增长面临的各种逆风，包括官僚主义、非工资劳动成本以及高昂的能源价格。机械工程行业协会表示，四分之一的公司计划在未来六个月裁员。零售业数据也令人沮丧，12月份零售额意外下降1.6%。
阅读更多
文章介绍了如何使用免费的ZeroTier服务远程访问Home Assistant，即使没有公网IP地址。作者首先解释了为什么许多家庭无线网络用户无法直接远程访问其家庭服务器，然后详细介绍了ZeroTier的配置步骤，包括账户创建、虚拟网络创建、Home Assistant插件配置以及手机端连接。最后，作者提醒ZeroTier依赖第三方基础设施，建议长期方案还是获取公网IP并搭建VPN。
阅读更多
在里约热内卢附近，一个名为“Zinho”的黑帮头目通过非法采沙积累了巨额财富。他们利用浮动挖泥机等设备大肆盗采沙子，供应当地房地产市场，并以此控制周边服务，牟取暴利。这种非法采沙活动不仅导致环境破坏，引发洪灾等问题，还与政治腐败密切相关，甚至导致了命案发生。类似的情况也出现在哥伦比亚和墨西哥，非法采沙已成为这些国家暴利犯罪的重要组成部分，并对当地环境和社会稳定造成严重威胁。
阅读更多
作者升级Web应用到Svelte 5后，遇到了几个意想不到的问题。Svelte 5为了提升性能引入了“深度响应式”，使用了代理和隐式组件生命周期状态。虽然看起来更简洁，但实际上引入了更多抽象，导致开发者需要记住更多复杂的规则才能正确使用，例如代理不是对象，组件也不是函数。作者举例说明了在使用代理和回调函数时遇到的问题，例如`DataCloneError`和组件卸载后回调函数中prop值变为undefined的情况。作者认为Svelte 5牺牲了开发者的自主性，增加了认知负担，最终放弃了在新的项目中使用Svelte。
阅读更多
一个名为“Unparalleled Misalignments”的网站收集了大量“错位词组”，这些词组由彼此同义的单词组成，但却表达截然不同的意思，例如“Butt dial”和“Booty call”。自2018年以来，该网站不断更新，并接受网友投稿。这些巧妙的词语组合，不仅展现了语言的趣味性，也引发了人们对词义和语境的思考，堪称语言学领域的奇观。
阅读更多
作者Linda在最新一期的双周刊中探讨了个人数字档案馆的价值。她认为，在生成式AI趋向平庸化的今天，这些包含个人独特经验、偏好和视角的资料，成为训练AI模型、创造更具个性化作品的宝贵资源。文章以作者自身收集书籍、图片和链接的经历为例，并结合历史学家的观点，阐述了个人档案馆在AI时代的重要性，并列举了芬兰的一些个人档案馆案例。文章最后，作者呼吁读者分享自己收集的物品和故事，展现个人档案馆的丰富性和独特魅力。
阅读更多