人工智能与机器人
大语言模型正试图突破物理操作的局限,同时 AI 在法律与社交领域的应用也引发了讨论。
- 莫拉维克悖论与机器人奥运会:Physical Intelligence 公司通过新模型 π0.6,让机器人在执行开门、翻袜子等日常动作上取得突破。研究表明,机器人要获得“物理智能”,不能只靠编程,更需要大量的实际操作数据。
- AI 警情年报:年度盘点:2024 年,警方使用 AI 撰写报告引发了公平性担忧。由于 AI 生成的内容难以与警员原始记录区分,部分地区已禁止使用该技术,而另一些地区则立法要求必须保留初稿以供审计。
- AI 饭局装腔指南:3 分钟速成行业大佬:一份针对 AI 领域的社交指南。通过解析热门模型、行业黑话和算力焦虑等话题,帮助普通人在 AI 相关的社交场合中显得更有深度。
编程开发与系统工具
从嵌入式语言到编译优化,开发者们正在通过新工具和新思路提升效率。
- Ez FFmpeg —— 用“人话”剪视频:一个基于自然语言的命令行工具。用户只需输入简单的英文指令,即可调用 ffmpeg 完成视频压缩、裁剪和格式转换,无需记忆复杂的参数。
- T-Ruby:带类型语法的 Ruby:由 Stripe 开发的 Ruby 静态类型扩展。它允许在代码中直接书写类型注解并实现类型安全,语法比现有方案更简洁,适合大型项目使用。
- mruby:面向嵌入式系统的 Ruby:轻量级的 Ruby 实现,兼容 Ruby 3.x 语法。它专为嵌入式环境设计,支持包管理扩展,且采用宽松的 MIT 协议。
- QNX 自建开发者桌面:QNX 发布了首个自托管开发环境,支持在本地进行编译和应用移植。该环境集成了常用工具和 XFCE 桌面,简化了 QNX 系统的开发流程。
- SIMD City:自动向量化:科普编译器如何利用 CPU 的 SIMD 指令集实现数据并行处理。文章展示了将普通循环转变为高效批量处理的代码演变过程。
- Pre-commit 钩子根本就是有问题的:作者认为 Git 的 pre-commit 钩子在处理复杂场景(如 rebase)时不可靠,建议开发者改用 pre-push 钩子进行代码检查。
- Langjam-Gamejam 开发日志:52 小时内搞定一门语言和 5 个游戏:记录了在极短时间内从零设计编程语言、编译器及开发多款游戏的实操过程,展示了栈式字节码虚拟机的实现架构。
- 更灵活的定时任务:介绍了在 cron 任务中加入 shell 判断逻辑的技巧,从而实现根据节假日、天气等动态条件触发脚本。
前沿科技与科学发现
光学成像、粒子物理以及空间探索方面的最新进展。
- 研究人员开发出可同时对不同距离成像的相机:卡内基梅隆大学研发出一种“计算镜头”。通过可编程光学技术,相机可以让场景中不同距离的物体同时精准对焦,有望应用于自动驾驶和显微镜领域。
- 质子内部:你能想象到的“最复杂的存在”:科学家发现质子内部并非只有三个夸克,而是包含由胶子产生的复杂“夸克海”。最新实验揭示了质子内部多种量子态的叠加,挑战了物理学传统认知。
- 阿波罗 17 号登月飞船:NASA 发布了一张登月舱“挑战者号”在月球轨道上的珍贵照片。这张照片展示了专为真空环境设计的上升段结构,以及当时在舱内的宇航员。
行业观察与个人思考
对技术趋势、商业成败以及个人创作经验的总结。
- 美国不能再低估无人机战争:文章警告未来恐怖袭击可能转变为低成本的无人机群攻击。作者认为美国在相关防御方面准备不足,需加快技术研发以应对新的安全威胁。
- 现实如何击垮 Ÿnsect:融资超 6 亿美元的法国创业公司:曾经备受瞩目的昆虫养殖巨头因未能盈利及工厂投资巨大而陷入破产。这反映了欧洲工业初创企业在规模扩张中的结构性困境。
- 一百万张(小型网页)截图:作者利用视觉聚类技术,从百万张网页截图中寻找“小众网络”中的高质量站点,旨在对抗目前以流行度为主的主流搜索算法。
- 把作品晒出来,才会有更多好运:探讨如何通过“做事”和“公开分享”来增加自己的“运气表面积”。公开成果不仅能建立个人声誉,还能吸引到意想不到的机会。
- 2025 年最值得拥有的一切:一位资深开发者的年度总结,涵盖了技术研究(Clojure、新语言设计)、文学阅读和对大语言模型局限性的审慎思考。