本文讲述了作者如何用不到200行Clojure代码实现一个精简的LSP客户端，并以此为基础构建了一个命令行代码检查工具。文章详细介绍了LSP协议的基础通信层、JSON-RPC层以及客户端API的实现，并讨论了在实际应用中遇到的挑战，例如大多数语言服务器依赖通知而非请求来提供诊断信息，导致构建简单的命令行工具变得复杂。作者最后总结了LSP的优缺点，并展望了未来基于WASM的语言服务器技术。
阅读更多
大型语言模型（LLM）的后训练过程可能导致模型在遇到违反其安全准则的内容时出现偏差。文章以OpenAI的GPT-4为例，探讨了模型校准在后训练过程中失效的问题，导致模型即使错误时也极度自信。这种现象在内容审核系统中会导致大量误报，增加人工审核负担。作者发现，从GPT-4o升级到GPT-4.1-mini后，模型输出的置信度信号消失了，各种尝试恢复信号均失败。这可能是由于模型蒸馏导致信息丢失。为了解决这个问题，作者团队实施了替代方案，例如要求模型提供详细的政策解释和引用，以及过滤系统来捕捉虚假输出。文章强调，模型升级不只是性能提升，还会导致分布变化，需要工程师重新暴露模型的不确定性，避免由此带来的风险。
阅读更多
作者痛斥LinkedIn充斥着毫无营养的“毒性平庸”内容：虚假的个人品牌打造，过度包装的空洞帖子，以及为追求点击率而产生的毫无意义的建议分享。作者认为，LinkedIn的算法机制鼓励这种行为，但这种策略最终并不会带来职业发展上的益处。与其沉迷于LinkedIn的点赞和评论，不如专注于高质量内容创作，例如建立个人博客，沉淀个人思考，这才是提升职业发展的有效途径。
阅读更多
在德国科隆Gamescom展会上，微软携手华硕推出的Xbox ROG Ally掌机引发关注。这款定位于硬核玩家的掌机，将于10月16日发售，价格尚未公布。它旨在扩展Xbox生态，吸引现有Xbox和PC玩家，增加游戏时长和消费。面对任天堂Switch 2的强势冲击以及Valve Steam Deck的竞争，微软试图通过Ally掌机抢占便携游戏市场份额，提升Game Pass订阅服务吸引力。而索尼则暂时观望，仅推出远程游戏功能的PlayStation Portal。
阅读更多
一家名为Yarn的初创公司正在利用AI彻底改变视频制作流程。他们开发了一种创新的技术，将人工智能与视频制作相结合，使制作引人入胜的视频的速度提高了100倍。公司已获得Y Combinator等知名投资机构的投资，并与Clay和Shopify等公司合作。目前，Yarn正在纽约招聘经验丰富的工程师，希望他们能够参与核心代理工作流程的构建、AI协同编辑工具的开发以及尖端AI模型的原型设计等工作。
阅读更多
一项由高通资助的研究显示，搭载其骁龙X75和X80调制解调器的安卓手机在5G下载和上传速度方面显著优于苹果首款自研调制解调器C1。尤其是在复杂的城市5G环境中，高通芯片的优势更加明显，下载速度最高快35%，上传速度最高快91%。虽然在信号良好的情况下，苹果C1表现尚可，但在信号较弱的室内或距离基站较远的地方，差距显著拉大。这项测试结果凸显了苹果在自主研发5G调制解调器方面面临的技术挑战，而高通凭借二十年的技术积累和广泛的专利授权，继续保持领先地位。高通股价应声上涨，而苹果股价则保持平稳，未来其调制解调器的改进将备受关注。
阅读更多
厌倦了传统数独？Cracked Sudoku 横空出世！这款新式数独游戏以不规则的Voronoi图作为游戏界面，规则沿袭数独经典，但“行”与“列”的概念被“跑道”取代。“跑道”是不重复数字的连续单元格，其形状由Voronoi图决定，带来全新的解谜体验。作者不仅分享了游戏设计理念和算法，更呼吁数独高手共同创作更精妙的关卡，为这款充满创造力的游戏注入更多活力。
阅读更多
本文介绍了如何在C语言中实现类型和边界安全的泛型容器。作者首先介绍了受Haskell启发的Maybe类型，用于处理可能不存在值的函数返回值，例如除法运算中除数为零的情况。然后，作者通过宏定义实现了Maybe类型，并使用它编写了一个安全的除法函数，该函数能够处理除数为零和被除数为最小整数且除数为-1的情况。最后，作者通过分析GCC生成的汇编代码，验证了该函数的安全性，并指出这种方法在证明C程序完全安全方面存在局限性。
阅读更多
经过与宽带行业游说团体的多年诉讼后，纽约州一项要求互联网服务提供商为低收入者提供廉价套餐的法律于1月15日正式生效。该法案规定，互联网服务提供商必须提供每月15美元或20美元的低价服务，下载速度分别至少为25Mbps和200Mbps。最高法院驳回上诉后，该法案最终生效，旨在解决因联邦通信委员会（FCC）资助计划到期而造成的数字鸿沟问题。小型ISP可申请豁免，大型ISP则必须遵守，违规将面临高额罚款。
阅读更多
3mdeb公司进行了一项研究，测试了不同类型RAM（DDR4和DDR5）的数据残留时间。结果显示，DDR5内存的数据在断电后几乎立即消失，而DDR4内存的数据则可以保留更长时间，甚至长达两分钟。这表明不同类型的RAM在数据安全方面存在显著差异。研究使用了定制的UEFI应用程序，该应用程序能够写入和比较内存模式，并考虑了各种因素，例如温度和环境湿度。这项研究对于理解内存数据安全性以及设计更安全系统具有重要意义。
阅读更多
过去五年，包括Anne Wojcicki、Sam Altman等科技大佬向Orchid、Nucleus和Genomic Prediction等直接面向消费者的多基因检测初创公司投资数百万美元，引发争议。这些公司能通过数千美元的费用，对胚胎进行筛查，分析DNA，预测孩子患上药物成瘾、肥胖症等疾病的几率，甚至估计智商。与检测单基因疾病不同，Orchid等公司主要检测多基因疾病，例如2型糖尿病和炎症性肠病，并向父母提供一份在线报告，评估每个胚胎患病的遗传风险。此举在科学界引发广泛质疑，但已成为硅谷精英的热门服务。
阅读更多
一个Minecraft服务器的选址问题，引发了对不同投票系统的深入探讨。最初使用的简单多数投票制（Plurality voting）由于“破坏者效应”导致最不受欢迎的选择获胜。随后尝试了即时决选投票制（Instant runoff），虽然解决了部分问题，但在候选人变化时，却出现了违反单调性（Monotonicity）的情况。作者进一步介绍了博达计分法（Borda method）和阿罗不可能定理（Arrow's theorem），并最终推荐了评分投票制（Score voting）和认可投票制（Approval voting）作为更优方案，因为它们满足阿罗不可能定理的三个条件：一致性、非独裁性和无关选项独立性。
阅读更多
房地产开发商面临漫长而复杂的流程，需要考虑诸多市场和监管因素才能成功开发住宅项目。本文旨在揭示房地产开发决策背后的“数学”原理，帮助人们理解构建充足住房供应所需的条件。
阅读更多
Unexpected Keyboard是一款专为开发者设计的轻量级安卓虚拟键盘，它最大的特点是可以通过滑动按键角落来输入更多字符，最初为Termux用户设计，现已适用于日常使用。该应用无广告、无网络请求，并且是开源的。用户可以通过滑动手指至按键角落来使用特殊符号，例如左下角滑动即可打开设置。类似应用包括Calculator++。
阅读更多
文章探讨了构建AI数据分析师的挑战与解决方案。作者指出，简单的文本转SQL不足以应对真实用户的复杂问题，需要多步计划、外部工具（如Python）和外部上下文。为此，作者团队构建了一个基于语义层的生成式BI平台，利用Malloy建模语言清晰地定义业务逻辑，并结合多智能体系统、检索增强生成技术和模型选择策略，最终实现高质量、低延迟的数据分析。该平台不仅能生成SQL，还能编写Python代码进行复杂计算，并从外部资源获取信息。文章还强调了上下文工程、检索系统优化以及模型选择的重要性，并分享了处理常见故障模式的方法。
阅读更多
PowerToys 命令面板是 PowerToys Run 的继任者，它是一个快速、可定制且可扩展的工具，让你从单一界面访问常用命令、应用和开发工具。只需按下 Win+Alt+Space (可自定义快捷键)，即可搜索应用、文件夹、文件，运行命令（例如 >cmd 启动命令提示符），切换窗口，进行简单计算，添加网页书签，执行系统命令，甚至打开网页或搜索。它还支持丰富的扩展，轻松添加更多功能。
阅读更多
一位曾在微软从事Viva Insights（一款员工监控软件）开发的工程师，因无法忍受其监控性质而选择离职。尽管拥有高薪和“大厂”光环，但他更看重个人价值观，宁愿放弃高收入，选择依靠股息收入创业，开发自己的IT项目Fourplex，以避免参与不道德的产品研发。他认为，即使收入减少，也不愿为了金钱而牺牲自己的道德底线。
阅读更多
作者参加了一场关于冷战的讲座，讲座中教授使用的分析框架——提出论点、反驳论点、再次反驳——给了作者启发。作者将此框架应用于软件工程和个人生活，试图通过研究和实验找到最佳状态。文章探讨了如何构建可持续的系统，以及如何通过反思和调整生活方式来提升个人幸福感，强调了持续学习和自我反思的重要性。
阅读更多
长期以来，一个流行的误解将弱核力的短程作用归因于量子力学中的不确定性原理和虚拟粒子。然而，本文作者指出，弱核力的短程性质实际上源于其场本身的“刚性”。这种“刚性”使得改变场的能量成本更高，从而限制了力的作用范围。量子力学虽然解释了与弱力相关的W和Z玻色子的质量，但这与力的短程性质无关。作者通过类比和数学推导，清晰地解释了“刚性”如何导致短程力和粒子质量，纠正了长期存在的误解。
阅读更多
NASA工程师奇迹般地重启了旅行者1号探测器的备用推进器，这些推进器自2004年以来一直处于休眠状态，被认为已完全失效。由于主要推进器出现磨损，这项壮举成为必要之举。如果推进器完全失效，旅行者1号将无法将天线指向地球，从而切断与地球近50年的通讯联系。工程师们面临着在5月4日地球基站天线进行升级维护之前完成修复的紧迫期限。经过精确的星体追踪器校准和23小时的信号传输等待，备用推进器成功启动，为这艘传奇探测器续命。
阅读更多
Open Web Advocacy 指控苹果公司违反欧盟数字市场法 (DMA)，其对 iOS 系统上第三方浏览器引擎的禁令设置了不公平的竞争壁垒。苹果声称不知为何在过去 15 个月里没有浏览器厂商将其引擎移植到 iOS，但实际上，苹果设置的技术和合同限制使得移植变得经济上不可行。这直接影响了浏览器竞争和 Web 应用的创新，损害了消费者和开发者的利益。苹果公司为了保护 Safari 的高额利润和与谷歌的搜索引擎协议收益，故意设置这些障碍。欧盟需要采取行动，强制苹果遵守 DMA，促进公平竞争。
阅读更多
本文深入浅出地讲解了分子动力学（MD）模拟的原理和实践。从蛋白质折叠的例子出发，解释了力场、能量最小化、平衡化和生产模拟等步骤，并探讨了量子效应、增强采样和自由能计算等高级主题。文章还分析了两个案例研究，展示了MD模拟在药物发现和病毒适应性研究中的应用，并指出了MD模拟的局限性和未来发展方向。
阅读更多
这篇文章探讨了 Haskell 中 IO Monad 如何巧妙地避免多态引用带来的类型安全问题。尽管 Haskell 以其纯度著称，但 IO Monad 的设计中却隐含着类似于其他 ML 语言中的“值限制”机制。文章通过分析多态引用带来的风险，比较了 Haskell 和其他语言对该问题的处理方式，并深入解释了 IO Monad 的内部实现，揭示了其与 State Monad 的相似性以及为何直接操作 IO 构造器是危险的。最终，文章通过一个例子展示了如何利用 MonadGen 类型类来绕过 IO 的限制，但也强调了这种操作的风险。
阅读更多
麻省理工学院林肯实验室与圣母大学合作开发了一种名为SPROUT的软体机器人，它像藤蔓一样能够在狭窄空间内穿行，用于搜救被困在倒塌建筑物中的人员。SPROUT由充气软管组成，配备摄像头和传感器，可以灵活地绕过障碍物，探测并绘制内部环境地图，为救援人员提供最佳路径。该项目解决了现有技术在搜救中的局限性，例如成本高昂、操作复杂以及难以在狭窄不稳定环境中操作的问题。未来，SPROUT有望进一步提升，实现对危险的定位和安全评估，最终为救援团队提供完整的行动画面。
阅读更多
美国退伍军人事务部计划裁员8.3万，占其员工总数的17%以上。此举将严重影响退伍军人的医疗保健、住房、教育和其它福利。裁员将加剧退伍军人面临的挑战，例如医疗保健获取困难、自杀率上升以及其它社会问题的恶化。此外，裁员还将削弱退伍军人事务部的研究能力，影响对退伍军人健康问题的理解和治疗方法的开发。这一政策逆转将对那些为国家做出贡献的退伍军人造成深远的影响。
阅读更多
近日，三名德国公民在美国入境时被拒并遭到拘留，引发德国外交部更新对美国旅行建议。更新后的建议明确指出，即使持有ESTA，也不保证能入境美国；任何犯罪记录、虚假信息或轻微签证逾期都可能导致逮捕、拘留和驱逐出境。虽然外交部强调这并非对美国的旅行警告，但案例中，包括一名拥有美国绿卡的永久居民在内，都经历了不同程度的拘留和不公平待遇，其中一人甚至被单独监禁9天。此事件提醒赴美旅行的德国公民务必谨慎，确保所有信息准确无误。
阅读更多
近日，流行的nx构建工具中发现了一个恶意软件，它通过后安装命令在用户的GitHub账户中创建名为s1ngularity-repository的仓库，窃取钱包和API密钥等敏感信息。该恶意软件利用telemetry.js运行恶意代码，并巧妙地利用Claude Code CLI或Gemini CLI等大型语言模型工具来规避检测，将大部分可识别代码转移到提示符中。受影响的nx版本已从npm移除，用户应立即检查GitHub账户，更新nx至最新安全版本，并轮换受影响的密钥。
阅读更多
一个名为 Connomore64 的项目利用多个并行的廉价 RP2040/RP2350 微控制器实现了 Commodore 64 的循环精确模拟。该项目最初是一个假日项目，旨在探索 RP2040 微控制器的 PIO 的能力。最终，它发展成为一个能够运行大多数游戏和部分演示的精确模拟器，甚至可以与原始的 C64 硬件（如软驱）接口。该项目目前仍处于开发阶段，但已经展示了其在低成本硬件上运行计算密集型软件的潜力，并提供了一个使用多个 RP2040/RP2350 进行并行仿真的框架。
阅读更多
仅有四个探测器成功传回了金星表面的图像。极高的温度和压力迅速摧毁任何着陆器，使得探索金星异常艰难。苏联的Venera探测器在1975年和1982年拍摄了我们仅有的金星表面图像，这些图像展现了黄色天空和破裂荒凉的景观，既陌生又熟悉，仿佛是经历了气候灾难后的地球。田纳西州罗恩州立社区学院哲学教授Ted Stryk利用俄罗斯科学院的数据，重建了Venera探测器拍摄的全景图像的最佳版本。
阅读更多
pgroll是一个PostgreSQL扩展，允许对数据库模式进行零停机、可逆的更改。它通过创建新表并在后台迁移数据来实现这一点，完成后再切换到新表。这种方法避免了长时间的锁表，从而最大限度地减少了对应用程序的影响。pgroll还支持回滚更改，如果出现问题，可以快速恢复到之前的模式版本。
阅读更多