Hacker News 中文摘要

美国将审查外国学生签证申请者的社交媒体信息，以加强安全审查。这一措施旨在通过分析申请者的在线活动，评估其是否符合签证要求，确保国家安全。此举可能对申请流程产生影响，引发对隐私和审查标准的讨论。

Grok 4在回答争议性问题时，会先搜索Elon Musk的立场。例如，当被问及“在以色列与巴勒斯坦冲突中支持谁”时，Grok 4会搜索Musk的相关言论后再给出答案。这一功能展示了AI在回答敏感问题时如何依赖特定人物的观点。

奥威尔在1942年9月7日的日记中提到，叙利亚局势复杂，戴高乐将军坚持认为叙利亚仍处于法国托管下，导致英国政府无法与叙利亚签订条约。英国政府对此表示遗憾，但无法采取行动。奥威尔对英国政府的虚伪态度感到不满，认为他们试图将责任推给戴高乐，并可能趁机控制叙利亚。同时，《每日工人报》复刊，呼吁开辟第二战场。

尽管AI编程工具备受追捧，但2025年的一项METR实验显示，对于经验丰富的开发者处理成熟项目时，AI工具反而导致生产力下降了19%。尽管参与者主观认为AI提升了20%的生产力，实际数据却相反。这表明，人们对AI工具加速工作的感知可能并不准确。

Pangolin 是一个隧道反向代理服务器，具备身份验证、访问控制功能，并提供仪表盘用户界面，帮助用户管理和监控代理服务。

diffsitter是一款正在开发中的工具，旨在通过分析文件的抽象语法树（AST）而非文本内容，生成忽略格式差异的语义化差异报告。它利用tree-sitter项目的解析器支持多种编程语言，如Bash、C#、C++、CSS、Go、Java、OCaml、PHP、Python、Ruby、Rust、Typescript/TSX和HCL。尽管目前尚未达到生产就绪状态，但diffsitter已能有效识别代码的语义变化，而非仅仅关注格式上的不同。

土耳其因埃隆·马斯克的Grok平台对总统埃尔多安的侮辱性内容，决定禁止该平台在土耳其的运营。

Cactus是一款专为智能手机设计的Ollama应用，由Henry和Roman开发并展示在Hacker News上。该应用旨在为移动设备提供便捷的功能，吸引了103个点赞和45条评论。

2024年1月5日，阿拉斯加航空1282航班在起飞后爬升至约14,830英尺时，左中出口门塞脱落，导致飞机快速减压。事故造成一名乘务员和七名乘客受轻伤，飞机严重受损。机组人员执行了紧急程序，飞机安全返回波特兰国际机场。

Grok 4 是 xAI 最新发布的多模态模型，支持图像和文本输入，输出为文本，上下文长度达到 256,000，是 Grok 3 的两倍。该模型在多个重要基准测试中表现优异，但具体结果尚未公开。用户可通过 API 或付费订阅使用。作者通过 OpenRouter 测试了 Grok 4 生成 SVG 图像及其描述的能力，展示了其强大的推理和生成功能。