近年来，大量研究表明格陵兰冰盖的裂隙正在加速冰川崩解，加剧海平面上升的威胁。研究人员利用卫星图像、航空激光扫描和现场观测等多种手段，对格陵兰冰盖裂隙的形成、扩展和水文效应进行了深入研究。结果显示，裂隙不仅影响冰川的稳定性，还加速了融水的排放，从而进一步加剧冰川融化。这不仅对格陵兰冰盖的未来命运构成严重挑战，也对全球海平面变化和沿海地区安全构成巨大威胁。
阅读更多
作者最初使用Raspberry Pi搭建Pi-hole广告拦截器，虽然上手简单、界面友好，但频繁出现网络中断问题，需要不断排错，耗费大量时间。最终，作者转向NextDNS这项SaaS服务，以每年20美元的价格解决了所有问题，无需再进行繁琐的维护和故障排除，并获得了更稳定的广告拦截体验。作者认为，这笔费用相较于节省的时间和精力而言非常值得。
阅读更多
一位Rust程序员为了调试Rust Analyzer，着手打造一款原生火焰图查看器。起初尝试使用各种GUI工具包，但内存占用过高。最终他另辟蹊径，直接使用Xlib进行开发，巧妙地解决了滚动性能瓶颈、海量按钮绘制、鼠标交互等难题，最终实现了一款轻量高效的火焰图查看器。该项目展现了程序员精湛的编程技巧和对性能优化的深入理解，也为其他开发者提供了宝贵的经验。
阅读更多
Nostr协议的NIP-01文档描述了其核心机制。每个用户拥有密钥对，使用secp256k1曲线上的Schnorr签名进行签名。协议的核心是事件，包含ID、公钥、时间戳、类型、标签、内容和签名等字段。事件ID是序列化事件数据的SHA256哈希值。标签用于引用其他事件或用户，定义了三种标准标签：e（引用事件）、p（引用用户）、a（引用可寻址事件）。事件类型定义了事件的含义，NIP-01定义了两种基本类型：用户元数据和文本笔记，并规定了不同类型范围的事件处理方式（常规、可替换、短暂和可寻址）。客户端通过websocket与中继器通信，发送事件、请求事件和关闭订阅。中继器返回匹配过滤器的事件，并发送OK、EOSE、CLOSED和NOTICE消息。
阅读更多
Cursor等LLM驱动的开发工具的成功率只有40%，但这并不意味着它们没有未来。作者通过自身的经验，以及对Semgrep等代码安全工具的分析，阐述了LLM代码生成闭环的巨大潜力。这种闭环系统能够让LLM自行调试代码、生成单元测试，甚至编写Semgrep规则来检测漏洞。这将大大提高开发效率，并改变我们编写代码的方式，未来程序员或许需要掌握如何驾驭这些强大的模型。
阅读更多
特斯拉1月份欧洲销量暴跌45%，仅售出9945辆，市场份额跌至1%，远低于去年同期的1.8%。这与欧洲电动汽车整体销量增长34%形成鲜明对比，并使其落后于中国汽车制造商，如上汽集团（销量增长37%，市场份额达2.3%）和比亚迪（首次在英国销量超越特斯拉）。特斯拉在柏林工厂正在进行Model Y的改版生产线改造，这可能是导致销量下滑的原因之一。马斯克近期干预欧洲政治，公开支持德国极右翼政党AfD，也可能对其品牌形象造成负面影响，引发公众反弹和抗议活动。
阅读更多
一项最新调查显示，三分之一的Z世代成年人参与了“职业钓鱼”——接受工作邀请却故意不参加第一天上班。这种现象反映了Z世代对职场压力的反弹，他们更注重个人需求和目标，而非一味迎合企业文化。从“安静辞职”到“咖啡打卡”，Z世代正在以各种方式挑战传统职场规范，追求工作与生活的平衡。
阅读更多
本文探讨了爱达·洛夫莱斯为巴贝奇分析机编写的程序，该程序旨在计算伯努利数。文章详细解释了伯努利数的数学背景，以及巴贝奇分析机的运作原理。洛夫莱斯的程序虽然从未运行，但其严谨性及对循环和变量状态追踪的巧妙运用，使其被认为是世界上第一个复杂程序，预示了现代编程的许多要素。文章还分析了程序中发现的bug，并讨论了洛夫莱斯在计算史上的地位，强调了她对编程思想的贡献超越了简单的计算，她预见到了计算机的巨大潜力，远超同时代人。
阅读更多
本文介绍了如何使用9eSIM SIM卡在仅支持物理SIM卡的Android和Linux设备上使用eSIM。作者购买了9eSIM套装，包括SIM卡、读卡器和适配器。初始设置略显复杂，需要将SIM卡与原包装一起使用才能与读卡器正确连接。通过Android应用或Linux命令行工具lpac（以及其GUI EasyLPAC），可以轻松添加、切换和删除eSIM配置文件。作者还测试了免费的测试eSIM配置文件和付费的LycaMobile eSIM，并成功在Linux笔记本电脑上实现了eSIM连接。
阅读更多
美国联邦通信委员会（FCC）宣布开放整个6 GHz频段供超低功耗设备使用。该决定将促进创新，并为各种新设备和应用（例如可穿戴设备、医疗传感器和智能家居设备）提供更多频谱资源。
阅读更多
本文探讨了大型语言模型（LLM）准确复述圣经的能力。作者设计了六个测试场景，评估不同规模的LLM对圣经经文的准确记忆能力。结果显示，参数规模较大的模型（如Llama 405B、GPT 4o和Claude Sonnet）表现最佳，能够准确复述各种经文，包括整章内容。而参数规模较小的模型（7B级别）容易混淆不同译本，甚至出现幻觉。中等规模的模型（70B级别）通常能保留经文的原意，但可能混杂多个译本，或略有改动。作者建议，若需准确引用圣经经文，应使用参数规模较大的模型，并辅以实际的圣经文本进行核对。
阅读更多
英国西萨塞克斯郡议会斥资4000万英镑（5000万美元）实施Oracle转型项目，该项目成本已从最初预估的260万英镑暴涨。为了筹集资金，议会正出售房产等资产，包括一座价值250万英镑的前消防站。该项目原计划于2021年上线，但一再推迟，并更换了系统集成商，最终与Oracle签订了新的合同，将项目持续到2030年。这一案例凸显了大型IT项目成本失控的风险，以及地方政府在资金管理方面的挑战。
阅读更多
YouTube正在打击利用AI生成虚假电影预告片的频道。一些频道如Screen Trailers和Royal Trailer，通过拼接真实片段和AI生成的素材制作假预告片，骗取了数百万次观看和广告收入。好莱坞制片厂已要求YouTube将这些收入转移给他们。YouTube已暂停了这些频道的广告收入，并表示将继续打击此类行为，以保护知识产权和用户体验。这引发了关于AI生成内容版权和误导性信息的讨论，也凸显了平台监管的挑战。
阅读更多
本文深入浅出地讲解了受限玻尔兹曼机（RBM）的对比散度训练算法。通过定义能量函数和联合分布，推导出权重更新规则，并解释了正负阶段吉布斯采样的作用。最终，清晰地展现了如何利用数据期望和模型期望的差异来调整RBM的权重和偏差，从而最小化训练数据的能量。
阅读更多
Gource是一款开源软件，它能将你的版本控制库历史以令人惊叹的动画形式展现出来。代码库的根目录位于中心，目录如同树枝，文件如同树叶，开发者则化身为在代码树上穿梭的动态角色，他们的贡献以动画轨迹展现。Gource使用OpenGL渲染，需要3D加速显卡才能运行。它支持多种版本控制系统，如Git、SVN、Mercurial等，并提供丰富的参数设置，自定义动画效果，让你轻松生成令人印象深刻的代码库可视化视频。
阅读更多
过去，证书颁发机构（CA）的不信任事件会造成广泛的证书错误，影响巨大。但如今，借助证书透明度日志（CT）和更短的证书生命周期，情况发生了改变。新的SCTNotAfter机制通过对证书签发前的日期进行加密保证，允许在未来某个日期后才将不信任应用于CA发出的证书，从而为用户提供过渡期，避免大规模证书错误。此机制已成功应用于Chrome对GLOBALTRUST和Entrust的处理，有效提升了Web PKI安全性及用户体验。
阅读更多
HDMI论坛确认将于2025年1月在CES上发布新的HDMI 2.2标准。该标准将支持更高的带宽、分辨率和刷新率，例如8K 120Hz甚至更高的分辨率。这将与英伟达RTX 50系列和AMD RX 8000系列显卡同步，并可能需要新的线缆。这一升级将为消费者带来更优质的影音体验，推动高端显示技术发展。
阅读更多
SourceHut，一个致力于服务开源软件的平台，正积极抵御大型语言模型（LLM）的激进数据抓取。他们认为，LLM公司无权获取其用户数据，并明确表示不会与任何公司达成数据共享协议，即使对方付费。SourceHut已部署Anubis系统来保护其服务，并更新了服务条款，严格限制数据抓取行为，只允许用于搜索引擎索引、开放访问研究和存档等目的。他们强调，数据属于用户，其职责是确保数据用于用户的最佳利益，而不是被用于商业盈利或训练LLM模型。
阅读更多
Twitch宣布将对存档的高光视频实行100小时的限制，引发大量用户不满。尽管Twitch声称只有0.5%的用户受影响，但许多玩家担忧此举将抹去大量游戏历史。高光视频是主播展示精彩瞬间的工具，永久保存，与7天（或合作伙伴的60天）自动删除的完整直播录像不同。Twitch表示此举是为了降低存储成本，并促进Clips和移动端功能的使用。然而，许多用户批评Twitch此举会损害游戏社区的共享历史，特别是对于保存世界纪录和重要时刻的速通社区而言，损失将是巨大的。
阅读更多
一个名为Smartest Kid的Windows桌面AI助手诞生了！它使用Python编写，代码简洁，界面友好，灵感源于SmarterChild。通过Windows COM自动化，它能与Microsoft Office（Word、Excel）、图片和文件系统交互。对于想探索AI驱动桌面自动化的Windows用户来说，它是一个完美的工具。该项目开源，并欢迎贡献者加入，扩展其功能和个性化体验。
阅读更多
一名中学生通过与当地大学合作的科研项目，在公园收集的鹅粪样本中发现了一种新型化合物——orfamide N。该化合物并非来自最初观察到的具有抗生素活性的细菌，而是在实验室测试中抑制了人类黑色素瘤和卵巢癌细胞的生长。这项研究不仅证明了将教育推广与天然产物发现研究相结合的可行性，也强调了大学与当地社区建立良好关系的重要性，为中学生参与科研提供了宝贵的实践经验，并展现了其在科学领域的潜力。
阅读更多
一个名为`/llms.txt`的标准化提案旨在简化大型语言模型（LLM）与网站的交互。该提案建立了一个网站信息目录，收集了众多公司和产品，涵盖AI开发工具、金融产品、网站等等，这些公司和产品都致力于推动`/llms.txt`标准的采用，从而提升LLM在各种网站上的应用效率和准确性。
阅读更多
微软正在通过邮件通知用户其Microsoft 365个人订阅价格将上涨，原因是增加了AI助手Copilot。然而，这并非简单的价格调整，而是微软将Copilot默认添加到订阅中，除非用户主动取消订阅并选择不含Copilot的方案，否则将自动升级到更昂贵的包含Copilot的计划。此举引发用户不满，被指责为采用“暗模式”强制用户付费使用他们不需要的服务。微软虽然提供不含Copilot的低价方案，但其默认开启Copilot的做法受到了批评。
阅读更多
1980年，Atari公司推出的第一人称坦克游戏《Battlezone》横空出世，其利用矢量显示技术构建的3D游戏世界震惊了玩家。该游戏依靠三个微处理器协同工作，其中一个专门负责复杂的矩阵运算以实现透视效果。开发团队克服了诸多技术难题，如对象数量限制和屏幕裁剪问题，最终创造出这款里程碑式的游戏。然而，令人意想不到的是，《Battlezone》的成功却引来了美国军方的关注，迫使开发团队在短时间内将其改造成军事训练模拟游戏《Army Battlezone》。这篇文章讲述了《Battlezone》的开发历程以及其与军方的意外牵连，展现了早期游戏开发的艰辛和技术突破，以及开发者面对道德困境时的抉择。
阅读更多
这篇博文证明了伽罗瓦基本定理（FTGT）证明中一个关键的引理。引理12.1指出：如果L/K是一个域扩张，M是一个中间域，τ是L的一个K-自同构，那么τM*τ⁻¹ = τ(M)*。文章通过一个具体的例子（L = Q(√2, √3), K = Q, M = Q(√2)）详细解释了该引理，并给出了完整的证明过程，包括证明τM*τ⁻¹ ⊆ τ(M)* 和 τM*τ⁻¹ ⊇ τ(M)*。这篇文章对于理解伽罗瓦理论至关重要。
阅读更多
安全研究人员对Bambu Connect打印机应用进行了逆向工程分析，发现其使用了Electron框架，并通过代码混淆和asar打包来保护私钥。研究人员通过一系列步骤，包括使用asarfix修复asar文件，使用Ghidra分析main.node文件，最终提取了私钥和证书。该过程还涉及到RC4解密和URL解码等操作。
阅读更多
Substack宣布与言论自由非营利组织FIRE合作，为可能因写作内容而遭受政府打压的合法居住在美国的外国作家提供法律支持。此举源于近期对言论自由的攻击事件，例如最近一名塔夫茨大学学生因在校报上发表批评文章而被捕。这项倡议扩展了Substack已有的Defender项目，该项目自2020年起已为美国、加拿大和英国的数十名作家提供法律援助，涵盖诽谤和商标侵权等诉讼。目前尚不清楚该项目是否也涵盖作家在Substack上发布的视频内容。
阅读更多
著名数学家陶哲轩在Mathstodon上分享了他对动态系统解法的一些思考。他提到，在解决动态系统问题时，需要考虑系统的复杂性和演变过程。这需要运用多种数学工具和方法，并结合实际情况进行分析。陶哲轩的分享引发了数学爱好者们的热烈讨论，体现了数学领域持续探索和创新的精神。
阅读更多
本文批判了过度使用 Getter/Setter 方法的弊端，指出其导致代码可变性增加，难以维护和推理。作者建议尽可能使用不可变对象，并介绍了`with`模式和Builder模式来创建不可变对象的副本，以应对需要修改数据的情况。最后，作者强调，如果确实需要可变性，应将其限制在尽可能小的范围内，并摒弃无意义的 Getter/Setter 方法，从而编写出更简洁、易于理解和并发的代码。
阅读更多
本文作者分享了在 Lyft 公司将 150 多个 Go 服务从 1.17 升级到 1.20 的经验。文章强调了制定周全计划的重要性，并列出了升级步骤，包括阅读发行说明、检查工具、运行单元测试和代码检查等。作者指出，自动化是关键，并建议利用现有的构建、CI/CD 和部署流程。通过这些措施，Lyft 在 3-4 周内完成了升级，几乎没有生产问题。文章还讨论了一些可能遇到的问题，例如 linter 支持、排序算法的变化以及弃用函数的处理，并强调了回滚计划的重要性。
阅读更多