Emacs神器：EXWM窗口管理器
2025-04-13
EXWM是一款基于XELB构建的，功能齐全的Emacs窗口管理器，完全通过键盘操作。它支持混合布局模式（平铺和堆叠）、动态工作区以及ICCCM/EWMH兼容性。此外，还可选配RandR（多显示器）、系统托盘、输入法、背景设置和XSETTINGS服务器支持。想了解更多？请查看截图和用户指南！
阅读更多
开发
OmniParser V2：基于纯视觉的GUI代理的屏幕解析工具
2025-02-15
OmniParser 是一个用于将用户界面截图解析成结构化易于理解的元素的综合方法，这显著增强了 GPT-4V 生成可准确落地到界面相应区域的动作的能力。最近更新的 OmniParser V2 实现了在 Screen Spot Pro 基准测试中 39.5% 的最新技术水平，并推出了 OmniTool，允许用户通过选择的视觉模型控制 Windows 11 虚拟机。该项目提供了详细的安装说明和演示，模型权重可在 Hugging Face 上获取。
阅读更多大型语言模型难以编写q/kdb+代码：从右到左的代码编写难题
2025-07-09
大型语言模型（LLM）在编写q/kdb+代码方面存在挑战，其原因在于q/kdb+的从右到左、无运算符优先级的求值顺序。作者发现，LLM难以根据这些规则编写正确的代码，常常混淆Python和q的语法。文章探讨了LLM难以处理这种从右到左编写方式的原因，并提出了一种名为Qython的解决方案。Qython是一种类似Python的语言，可以编译成q代码，从而利用LLM在Python方面的优势，绕过q语言的编写难题。文章还展示了Qython的实际应用案例，证明了其可行性。
阅读更多
开发
q/kdb+
概率时间序列预测：一场预测分析的革命
2025-03-14
告别单点预测！概率时间序列预测为预测分析带来了革命性变化。它不再仅仅给出单一预测值，而是提供包含多种可能结果及其概率的完整概率分布，让决策更精准可靠。研究表明，概率方法显著提升了预测精度，降低了误差，尤其在极端事件预测方面表现突出。金融、医疗、制造业等领域都从中受益匪浅，例如更精准的风险评估、资源分配和库存管理。这篇文章深入探讨了概率预测的原理、方法（包括贝叶斯方法、高斯过程和深度概率模型）以及在各个领域的应用，并介绍了数据预处理、模型选择、不确定性校准等关键技术。
阅读更多
AI
概率预测
别再用AI偷懒了！你的老板一眼就能看穿
2025-07-26
一位经验丰富的专业人士表达了对员工过度依赖AI写作的担忧。他拥有深厚的阅读和写作功底，并长期接触各种大型语言模型，因此能轻易辨别AI生成的文本。他认为，过度依赖AI会降低工作效率，并剥夺了员工在写作过程中学习和思考的机会，最终提交的工作质量也会大打折扣。他鼓励员工多花时间精雕细琢，用自己的语言和思考表达观点，展现个人价值。
阅读更多
开发
职场效率
德国民众赴美入境受阻，德国外交部更新旅行建议
2025-03-21
近日，三名德国公民在美国入境时被拒并遭到拘留，引发德国外交部更新对美国旅行建议。更新后的建议明确指出，即使持有ESTA，也不保证能入境美国；任何犯罪记录、虚假信息或轻微签证逾期都可能导致逮捕、拘留和驱逐出境。虽然外交部强调这并非对美国的旅行警告，但案例中，包括一名拥有美国绿卡的永久居民在内，都经历了不同程度的拘留和不公平待遇，其中一人甚至被单独监禁9天。此事件提醒赴美旅行的德国公民务必谨慎，确保所有信息准确无误。
阅读更多程序员爸爸的十分钟游戏开发
2025-04-09
一位程序员爸爸接到来自产品经理（他妻子）的任务：为他们最大的客户（他幼儿园的孩子）开发一个新功能。需求文档是一张模糊不清的学校作业截图。他将截图上传到Claude AI，8分钟后完成了游戏原型，10分钟后发布上线。虽然目前用户数量有限，但这位爸爸相信持续的用户教育能带来未来增长。
阅读更多
开发
程序员日常
Claude 代码使用监控工具：实时追踪你的代币消耗
2025-06-19
这款名为Claude Code Usage Monitor的终端监控工具，能够实时追踪你使用Claude AI时代币的消耗情况。它以直观的进度条显示代币使用情况和剩余时间，并能预测代币耗尽时间，支持Pro、Max5、Max20等多种计划，并能自动切换到自定义最大值模式。此外，它还具有警告系统、自定义重置时间等功能，界面简洁美观，大大提升了用户体验。
阅读更多
开发
100辆自动驾驶汽车缓解交通拥堵，减少油耗
2025-04-04
研究人员通过强化学习训练了100辆自动驾驶汽车，在高峰时段的高速公路上行驶，以缓解交通拥堵并降低油耗。这些自动驾驶汽车通过学习最大化能源效率，同时保持车辆通行量并安全地与人类驾驶员一起行驶，从而有效地平滑交通流。实验结果表明，即使只有一小部分自动驾驶汽车参与，也能显著改善整体交通状况和燃油效率。这项研究为大规模部署自动驾驶汽车以改善交通状况提供了宝贵的经验。
阅读更多
科技
交通优化
Xenon框架：一款强大的C++游戏作弊框架
2025-05-08
Xenon是一个功能强大的C++游戏作弊框架，支持创建内部和外部作弊程序。它采用模块化设计，易于实现ESP、Aimbot、Radar等功能，并支持虚幻引擎和Unity等多种游戏引擎。该框架提供内部（DLL注入）和外部（独立应用程序）两种作弊方式，并包含自动DLL注入系统（尚在开发中）。无论你是想开发针对虚幻引擎还是Unity游戏的作弊程序，Xenon都能简化你的开发流程，让你专注于游戏逻辑的实现。
阅读更多
游戏
C++框架
共和党残酷预算案：对富人的税收减免与对穷人的无情削减
2025-05-19
美国共和党正推动一项极其反动的预算案，大幅减税惠及富人，同时残酷削减服务低收入美国人的项目。该法案甚至比以往更残酷，它依赖于我们知道是错误的主张和行不通的政策——一些人称之为“僵尸思想”。例如，它将通过要求成年医疗补助受助者必须就业来削减医疗补助，这忽略了大多数受助者是儿童、老年人或残疾人的现实。这不仅仅是财政问题，更是对弱势群体的恶意攻击，体现了共和党缺乏同情心和对权力的滥用。
阅读更多
杂项
预算
X用户笔记：记下你屏蔽用户的理由
2025-05-21
这是一款名为"X用户笔记"的浏览器扩展程序，它能帮你记住在X平台（前身为Twitter）上屏蔽或静音用户的原因。它会在你屏蔽或静音用户时自动保存链接和当时查看的推文，方便你日后查看。此外，它还允许你为每个用户添加私人笔记，只有你才能看到。你的笔记和屏蔽/静音日志都安全地存储在你的浏览器同步存储中，数据会在你的浏览器配置文件登录的设备间同步。
阅读更多
开发
用户屏蔽
PC游戏市场十年霸主地位稳固
2025-01-17
一份Epyllion公司发布的报告显示，过去十年PC游戏市场持续强劲增长，内容支出远超主机平台。报告指出，自2011年以来，PC游戏内容支出比主机平台高出65%以上，总计超过300亿美元（不含硬件）。PC游戏市场蓬勃发展的背后，是其庞大的游戏库、强大的兼容性、多任务处理能力、较低的入门门槛、以及更适合电竞和抢先体验游戏等优势。即使主机平台在2024年支出增长了180亿美元，也依然无法超越PC游戏市场的规模。
阅读更多
游戏
主机游戏
瑞安航空加码打击超大行李：员工奖励翻倍
2025-07-21
为了打击乘客携带超大行李登机的现象，瑞安航空考虑将员工识别超大行李的奖励提高一倍。目前，员工每发现一件超大行李可获得1.5欧元的奖励，乘客则需支付额外费用。瑞安航空首席执行官迈克尔·奥利里表示，不符合尺寸规定的行李将被拒载或托运，并收取高达75欧元的费用。他强调将继续奖励员工严格执行行李规定，并表示不欢迎那些不遵守规则的乘客。
阅读更多西班牙探险家冈萨洛·格雷罗：一个跨文化的传奇
2025-05-11
冈萨洛·格雷罗，一位16世纪初的西班牙水手，在尤卡坦半岛遭遇海难后被玛雅人俘虏。他不仅获得了自由，更成为玛雅领主的尊敬的战士，娶了玛雅女子并育有子女，成为美洲最早的混血儿之一。他拒绝了西班牙征服者的邀请，选择忠于玛雅人，并参与对抗西班牙殖民的战争，最终战死沙场。他的故事是跨文化融合与个人选择的传奇，也反映了殖民时代复杂的历史图景。
阅读更多开源Lisp解释器Alisp：一个接近Common Lisp的单人项目
2025-04-27
Alisp是一个由一人开发的开源Lisp解释器项目，目标是实现Common Lisp标准。目前已完成大部分Common Lisp功能，并包含调试器和性能分析器等实用工具。作者使用C89编写，并采用GPL v3开源许可证。项目代码托管在Savannah，欢迎提交bug报告和建议，但暂不接受代码补丁。
阅读更多
开发
硅谷传奇：开放网络如何战胜封闭巨头
2025-04-28
硅谷的成功并非偶然。本文对比了硅谷与波士顿128号公路科技中心的发展轨迹，揭示了硅谷开放的网络、动态的文化以及风险投资的蓬勃发展是其超越波士顿的关键因素。与波士顿大型、封闭的科技公司相比，硅谷鼓励人才流动、信息共享和创新实验，形成了强大的协同效应。作者以Indus Entrepreneurs（TiE）为例，阐述了开放网络的强大力量，并指出即使是像波士顿这样拥有优秀高校和研究机构的地区，若缺乏开放的生态系统，也难以与硅谷竞争。
阅读更多
科技
70年代旧金山：作家Francine Prose的回忆录
2025-06-22
作家Francine Prose在播客节目中回忆了她70年代在旧金山的经历。那时的旧金山，在科技革命之前，Mission区仍然充满自由奔放的气息。她描述了艺术家们在Reno Hotel改造出的工作室，以及参与反战运动的经历，包括她的丈夫攀爬五角大楼的举动。这段回忆充满了对那个时代理想主义和自由精神的怀念，同时也与她喜爱的电影《迷魂记》产生了奇妙的联系。
阅读更多
杂项
70年代
Rust编写最小自动微分引擎
2025-06-20
这是一个用Rust编写的最小自动微分引擎。该引擎可以训练一个小型多层感知器来学习XOR函数，并能将单个感知器的计算图渲染到graph.html文件中。其核心是Scalar结构体，存储值、梯度和描述生成它的操作的Edge。运算符重载和辅助函数构建一个有向无环图，缓存每个边的局部导数。backward()函数从输出节点开始递归地传播梯度，累积到用Scalar::new_grad创建的叶节点中。计算图可以通过plot::dump_graph可视化。
阅读更多
开发
中国航天员太空行走：升级后的天宫空间站
2025-06-29
中国航天员陈冬和陈中rui进行了第二次太空行走，此次太空行走持续近6.5小时，安装了碎片防护罩，并对舱外设备进行了检查和安装。新的自动脚限制器和接口适配器使后续太空行走时间缩短约40分钟。此次太空行走是神舟二十号任务的一部分，该任务还包括空间生命科学、微重力物理学和新型空间技术等领域的实验，以及与“小航”智能机器人合作探索人机高效协作方法。此外，中国还进行了新一代梦舟飞船的逃逸试验，并计划未来几年对天宫空间站进行扩建。
阅读更多Java 30岁啦！探秘Java之父James Gosling传奇人生
2025-05-16
Java编程语言迎来了30岁生日！本文回顾了其创造者James Gosling的传奇经历，从资源匮乏的加拿大少年到世界级编程先驱，Gosling的求学和职业生涯充满故事性。他亲手打造的第一台电脑竟是用电话公司废弃的零件组装而成！在Sun公司时期，他与团队创造了无数令人捧腹的恶作剧，也孕育了Java这改变世界的技术。如今，面对AI浪潮，Gosling保持着清醒的批判态度，认为AI更多的是炒作而非实际应用，并强调编程技能依然至关重要。
阅读更多78%的硬件公司未采用安全TXT规范
2025-03-03
一位维护使用libexpat库硬件公司公开列表的开发者发现，在2025年，他测试的50家公司中，有78%（39家）未启用RFC 9116规范的/.well-known/security.txt文件，用于公开安全联系信息。这表明许多公司对安全问题的响应不够积极，难以联系到其安全团队。作者呼吁相关公司尽快修复此问题，并分享安全TXT资源链接。
阅读更多
硬件
安全TXT
arXivLabs：与社区协作的实验性项目
2025-08-07
arXivLabs是一个允许合作者直接在arXiv网站上开发和分享新功能的框架。参与arXivLabs的个人和组织都认同并接受了arXiv关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果您有想法可以为arXiv社区增值，请进一步了解arXivLabs。
阅读更多
开发
Rust版Model2Vec：速度提升1.7倍
2025-05-18
一个名为`model2vec-rs`的Rust库实现了Model2Vec静态嵌入模型的加载和推理，速度比Python版本快1.7倍。该库支持从Hugging Face Hub加载预训练模型，并提供命令行接口和自定义编码参数，方便用户创建文本嵌入。基准测试显示，Rust版本每秒处理8000个样本，而Python版本仅为4650个样本。
阅读更多
开发
Model2Vec
AI 沟通新时代：十个你必须知道的术语
2025-05-03
随着AI的普及，我们的沟通方式发生了翻天覆地的变化。文章创造性地提出了十个新词语来描述这种变化，例如“chatjacked”（AI劫持对话），“prasted”（直接粘贴AI输出），“prompt ponged”（AI来回互怼），“AI’m a Writer Now”（AI赋能的写作）等，生动地展现了AI如何影响我们的沟通方式，并引发了我们对创作、真实性和沟通意义的思考。这篇文章既有趣又发人深省，值得我们反思在AI时代如何保持真实的自我沟通。
阅读更多
AI
特朗普关税导致美国港口进口量暴跌
2025-05-10
美国总统特朗普实施的关税导致美国港口进口量骤减，西雅图港甚至出现罕见空置码头的情况。这一现象引发了对供应链中断、物价上涨和就业岗位流失的担忧。洛杉矶港和长滩港也面临类似困境，进口量同比下降35%。专家警告称，关税的影响将波及全国，先影响西海岸港口，再逐步蔓延至其他地区。尽管政府正在与中国谈判以降低关税，但结果仍未可知。
阅读更多
科技
Win11系统还原点寿命缩短至60天，微软积极推广新系统
2025-06-24
微软确认Windows 11的系统还原点将在60天后自动删除，此举引发争议。尽管微软强调了系统还原功能的重要性，并提供了创建自定义还原点的方法，但这一变化与微软积极推动用户从Win10迁移到Win11的策略相冲突。文章指出，微软近期推出了多项宣传活动，强调Win11的优势，例如新的Recall AI功能，该功能利用AI技术帮助用户查找文件，但Win10用户无法使用此功能。文章还分析了此举可能对用户体验的影响以及微软的升级策略。
阅读更多
科技
NASA成功重启旅行者1号近乎报废的推进器
2025-05-16
NASA的工程师们成功重启了旅行者1号已经失效超过20年的主推进器。这台近50岁的探测器面临着备用推进器燃料管道堵塞的风险，随时可能失效。工程师们冒险尝试重启失效的主推进器，这一举动如同在刀尖上跳舞：如果加热器仍然失效，重启推进器可能导致小型爆炸。幸运的是，该计划成功了，为旅行者1号续命，继续探索星际空间。
阅读更多
科技
监狱里的消防员：从囚犯到英雄
2025-01-12
加利福尼亚州一个非营利组织正在帮助曾服刑的消防员克服就业障碍，并以此扩展消防员队伍。该组织为他们提供认证培训、求职指导和技术支持，甚至协助消除犯罪记录。文章讲述了该组织创始人Royal Ramey的经历，他本人曾是服刑人员，通过在狱中学习消防技能，最终成为一名消防员。他认为，解决消防员短缺问题需要打破行业固有偏见，吸纳更多来自不同背景的人才，并呼吁政府加大对相关非营利组织的资金投入。
阅读更多
杂项
消防员
Meta败诉：英国用户将可选择退出定向广告
2025-03-22
英国消费者将能够选择退出定向在线广告，这源于Tanya O’Carroll赢得的一场具有里程碑意义的诉讼。O’Carroll起诉Meta（Facebook母公司），原因是Meta不允许她关闭用于销售广告的用户画像功能。2017年成为母亲后，O’Carroll被婴儿相关内容“轰炸”。当她尝试使用Facebook设置关闭广告时，链接却失效了。深入调查后，她发现Facebook基于她的活动，给她贴上了700多个标签，推断出她观看的电影、想去哪度假、购物习惯、喜欢的衣服、政治观点以及健康、关系和家庭事务等信息。这场胜利为用户隐私权保护树立了榜样。
阅读更多
科技