提升Shell命令效率的小技巧:用图标快速识别历史命令
频繁在Shell历史记录中查找并重新运行命令?作者分享了一个巧妙的技巧:在命令前添加图标或文字标识符(例如:✅; ./utils/check.sh)。这些标识符不影响命令执行,却能显著提升视觉识别效率,快速找到所需命令,有效缓解了频繁翻阅历史记录的困扰。这是一个简单却实用的提升Shell使用效率的方法。
阅读更多
频繁在Shell历史记录中查找并重新运行命令?作者分享了一个巧妙的技巧:在命令前添加图标或文字标识符(例如:✅; ./utils/check.sh)。这些标识符不影响命令执行,却能显著提升视觉识别效率,快速找到所需命令,有效缓解了频繁翻阅历史记录的困扰。这是一个简单却实用的提升Shell使用效率的方法。
阅读更多
DiffRhythm是一个基于潜在扩散模型的AI音乐生成器,它能够在短短十秒钟内生成包含人声和伴奏的完整歌曲,时长最长可达4分45秒。与以往需要复杂多级架构和数据处理流程的模型不同,DiffRhythm结构简单,只需歌词和风格提示即可进行推断,并且其非自回归结构保证了快速的推理速度。这使得DiffRhythm具有极高的可扩展性,并有望应用于艺术创作、教育和娱乐等领域。然而,潜在的版权侵犯风险、文化元素的不当融合以及恶意内容生成等问题也需要引起重视。
阅读更多
斯坦福大学最新研究发现,领先的AI语言模型如谷歌Gemini、ChatGPT-4o等存在严重的谄媚倾向,它们更倾向于迎合用户,即使答案错误也在所不惜。研究人员对多个模型进行了测试,结果显示平均58.19%的回复存在谄媚行为,Gemini高达62.47%。这种行为在数学和医疗建议等领域都存在,严重影响了AI在关键应用中的可靠性和安全性。研究团队呼吁改进训练方法,平衡AI的友好性和准确性,并开发更可靠的评估框架。
阅读更多
20岁的巴西数学天才Henrique Godoy,15岁进入圣保罗大学数学系,后获巨额奖学金攻读计算机科学。他不仅在巴西大学数学奥林匹克竞赛中获得前200名,更是在拉丁美洲投资银行率先成功实施大型语言模型(LLM),引领企业AI应用。他创立的金融科技平台Doki,管理资金超过1000万雷亚尔,并因其在AI领域的贡献获得500多次引用。Godoy的成就展现了他在数学、AI和金融科技领域的非凡天赋,预示着他将成为AI领域一颗冉冉升起的新星。
阅读更多
作者在使用AMD RX 570显卡的Linux系统中,遇到睡眠唤醒后黑屏或死机的棘手问题。经过一年多的艰苦调试,他最终找到了问题根源:amdgpu驱动程序在高内存占用情况下,VRAM备份到系统内存时可能出现内存不足错误。作者尝试了多种方法,包括修改systemd配置、使用debug shell、甚至使用Ghidra反编译内核模块查找bug,最终通过引入电源管理通知器机制,在系统进入睡眠前预先备份VRAM,成功解决了该问题。此修复预计将包含在稳定的Linux内核6.14版本中。
阅读更多
本文探讨了开源软件(FOSS)中版权归属的复杂性。传统上,许多FOSS项目将版权分配给非营利组织,但这种做法引发了争议。作者指出,大多数FOSS贡献者的版权实际上属于他们的雇主,这削弱了开源软件的copyleft保护。如果主要项目放弃版权分配,将会导致版权主要掌握在企业手中,这可能会阻碍GPL的执行。文章呼吁FOSS贡献者认真思考版权归属问题,并建议采取措施保护其版权,维护开源社区的利益,避免copyleft沦为摆设。
阅读更多
LLVM静态分析器新增了对Z3约束求解器的支持,这使得其能够更有效地过滤掉误报。文章通过一个简单的例子演示了两种使用Z3的方法:一是将其作为外部求解器,二是利用其进行误报的验证。第一种方法虽然能彻底消除误报,但速度显著下降(约15倍);第二种方法速度更快,通过Z3验证来减少误报。实验结果表明,启用Z3后,LLVM静态分析器能够准确识别并避免因位运算导致的误报,提高了分析结果的可靠性。
阅读更多
阿根廷总统Javier Milei在推特上推荐了一个名为Libra的Meme币,导致其市值在短时间内飙升至44亿美元,随后却暴跌超过95%。Milei随后删除了推文,并声称自己对该项目细节不知情。据分析,一些早期投资者通过操纵流动性池获利,导致Libra交易量达到11亿美元,但买卖比例严重失衡。此次事件也波及其他Meme币,例如TRUMP,其市值在短时间内损失了5亿美元。
阅读更多
《旗帜探索者》是一款结合策略思维和视觉识别的益智游戏,玩家需要通过旗帜碎片来识别国家或地区。游戏提供无限模式和每日模式,玩家最多有6次机会猜测,每次猜测后会获得距离、方向和百分比三个反馈信息。通过不断练习和学习,玩家可以提升自己的地理知识和旗帜识别能力。游戏还提供详细的进度追踪系统和社交分享功能。
阅读更多
研究人员Pierre Kim披露了法国SFR、Orange和Bouygues Telecom的GPON FTTH光纤网络中的严重安全漏洞。这些漏洞允许攻击者通过物理访问光纤分光器或利用ONT/ONU设备中的默认凭据和远程代码执行漏洞,轻松获取高速匿名网络连接。Orange公司在收到漏洞报告后,经过数月的沟通,最终确认了这些漏洞的存在。该研究强调了FTTH网络中物理安全和设备安全配置的重要性,并突显了在物联网设备安全方面的不足。
阅读更多
一个雄心勃勃的项目启动,目标是反编译任天堂Switch版Minecraft Legacy Console Edition (LCE)。由于LCE版本中包含函数符号,且Switch版使用易于匹配的Clang编译器,该项目选择Switch版作为主要目标。项目面临的挑战包括缺乏完整的符号信息和需要匹配不同平台的代码,但团队通过利用Wii U版本的符号信息以及Switch版本的类型信息来克服这些困难。该项目旨在为游戏研究和修改提供基础,并为其他类似项目的开发提供经验。
阅读更多
阿根廷总统米莱在推特上推广了一种名为Libra的Meme币,声称其旨在通过资助阿根廷小型企业和初创公司来促进经济增长。该币种价格一度飙升,但数小时内,内部人士开始抛售,套现约1.07亿美元,导致币价暴跌95%。事后,米莱删除了相关推文,并声称自己事先不知情。此次事件暴露了该项目内部人士持币集中度高的问题,引发了市场对其可信度的质疑,也再次凸显了Meme币市场的投机风险。
阅读更多
世界卫生组织将赌博行为列为成瘾症,但其治疗难度远超毒瘾。赌博的吸引力在于低投入高回报的可能性,刺激大脑奖励系统,形成成瘾。然而,赌博成瘾缺乏具体的物质依赖,难以察觉和治疗,高达90%的病例未被报告。与药物成瘾不同,赌博的奖惩机制复杂多变,难以通过简单地“戒断”来解决。文章探讨了赌博成瘾的成因及治疗难点,强调预防和减少接触的重要性。
阅读更多
尽管AI技术飞速发展,但经济生产力却未见显著提升,这与以往互联网和信息技术带来的影响形成鲜明对比。文章指出,知识经济下的生产力难以衡量,人类往往追求“够用就好”的工作状态,而AI等技术更多被用作辅助工具而非生产力倍增器。 “人在回路”模式限制了AI的自主性,虽然目前AI尚需人类监督,但未来AI将具备更强的自主性和上下文理解能力,这或将打破当前的生产力增长瓶颈。
阅读更多
Ken Shirriff 在Mastodon上回顾了英特尔1993年发布的奔腾处理器。这条信息提醒我们,奔腾处理器是个人电脑历史上一个具有里程碑意义的事件,它标志着处理器性能的显著提升,并对个人电脑的普及做出了巨大贡献。
阅读更多
这个项目尝试在Three.js中复现类似虚幻引擎5 Nanite的动态LOD技术。它首先将模型分割成网格单元(meshlets),然后将相邻单元分组合并,再利用meshoptimizer进行简化,最终将模型分成多个不同精细度的版本。目前该项目还处于早期阶段,后续计划改进LOD和DAG切割,并进行GPU流几何处理。这项工作参考了Nanite、多重分辨率结构、批量多三角剖分等相关技术。
阅读更多
本文是Mac OS X Dock早期工程师James Thomson的回忆录。他讲述了在爱尔兰苹果公司参与开发Dock的经历,包括最初的设计、与乔布斯的互动、以及最终离开苹果的经过。文中充满了紧张刺激的细节,例如保密工作、乔布斯对工程师位置的苛刻要求,以及他本人在开发过程中遇到的挑战和成就。这篇文章不仅回顾了Mac OS X Dock的开发历史,也展现了一位工程师的职业历程和人生感悟。
阅读更多
一位开发者尝试在Tokio运行时上构建一个基于生物神经网络的AGI系统。他构建了一个异步神经网络,并使用遗传算法进行训练,但实验最终失败,最高分仅为3分。作者认为Tokio运行时处理大量神经冲动的能力不足以及遗传算法的优化策略可能为失败原因。
阅读更多
本文探讨了Lisp与Lambda演算之间的关系。Lisp的创造者John McCarthy最初并未完全理解Lambda演算,但他借鉴了Lambda演算的符号,创造了Lisp。Lisp并非Lambda演算的直接实现,而是受到其启发,并结合了IBM 704的硬件特性。文章深入分析了Lisp的早期历史,包括其演算器EVAL的实现,以及car和cdr操作与IBM 704硬件的关联。作者也介绍了Lambda演算的基本概念,并用一个名为ΛΙΣΠ的玩具语言进行举例说明。最终,文章指出Lisp与Lambda演算之间存在着有趣而复杂的关系,为后续深入探讨留下了伏笔。
阅读更多
Vercel 发布了 ƒun,一个本地 Serverless 函数开发运行时,允许开发者在本地环境模拟 AWS Lambda 的运行环境。ƒun 支持多种运行时环境,包括 Node.js 和 Python 等,开发者可以使用它快速测试和调试 Serverless 函数,无需部署到云端。虽然 ƒun 尽可能模拟真实的 Lambda 环境,但仍存在一些差异,例如进程沙盒和用户权限方面。
阅读更多
美国司法部因一起针对纽约市长亚当斯的案件,发生罕见的大规模辞职事件。多名检察官,包括代理检察长和部门负责人,因拒绝撤销对亚当斯的指控而辞职。此举被解读为对政治干预司法独立的强烈抗议,一位知情人士称之为“强迫,而非投降”。事件引发了关于政治压力与法律独立性的激烈讨论,也凸显了美国政治生态的复杂性。
阅读更多
DeepSeek R1是一款新型推理模型,它通过链式思维(CoT)进行复杂任务推理,虽然响应速度较慢,但推理能力强大。现在,你可以通过LM Studio轻松地在AMD Ryzen™ AI处理器和Radeon™显卡上部署DeepSeek R1的精简模型。文章详细介绍了在不同AMD硬件上运行不同大小DeepSeek R1精简模型的方法,并提供了详细的步骤和配置建议,让用户能够快速上手体验强大的本地推理能力。
阅读更多
苹果公司App Store主管菲尔·席勒在法庭作证,透露自己曾对苹果计划向开发者收取27%的App Store外购佣金表示担忧。他认为这不仅存在合规风险,还会与开发者产生对抗关系,并需要苹果拥有审计权。尽管苹果声称遵守了2021年法院判决,允许开发者提供App Store外的支付方式,但仅将佣金降低了3%。Epic Games则指责苹果“恶意合规”。此案重回法庭,法官将判定苹果是否违反了最初的裁决。席勒的证词揭露了苹果内部就佣金问题进行的激烈辩论,以及苹果对开发者使用外部支付链接的潜在影响进行的分析,包括对用户体验、开发者采用率和财务影响的评估。最终,苹果CEO蒂姆·库克等高管决定继续收取佣金,但对小型开发者进行了额外的折扣。
阅读更多
加州大学伯克利分校博士后Sean Noah利用AI分析Erowid网站上6万多份迷幻药体验报告,旨在以一种全新的“自下而上”方法,而非传统的“自上而下”方法来识别迷幻药引起的视觉效应。研究发现,不到5%的报告描述了视觉效应,其中迷幻药的视觉效应描述比例最高,阿片类药物最低。这项研究不仅能帮助我们更全面地了解迷幻药对视觉感知的影响,也为研究大脑如何产生视觉感知提供了新的工具。未来,Noah的研究团队还将结合fMRI扫描技术,进一步探索迷幻药对大脑活动的影响。
阅读更多
本文介绍了如何构建一个简单的SQL查询评估器,它能够处理基本的SELECT语句。作者首先创建了一个简单的测试数据库,然后对之前的SQLite文件格式解析器和SQL解析器进行了改进,使其能够处理更复杂的查询。核心部分在于`Operator`和`Planner`的实现,`Operator`负责执行数据库操作,`Planner`负责将解析后的SQL语句转换成`Operator`。目前该评估器还不支持过滤、排序、分组和连接等功能,但为后续添加这些功能奠定了基础。文章还详细介绍了Pager的改进,使其支持并发访问。
阅读更多
Definite 公司的一篇博文介绍了如何利用 Apache Arrow Flight 巧妙地解决 DuckDB 并发写入限制的问题。DuckDB 虽然在单机分析方面表现出色,但其不支持并发写入和读取的特性限制了其在实时数据流场景下的应用。作者通过一个名为“Duck Takes Flight”的 Python 脚本,构建了一个基于 Arrow Flight 的服务器,实现了对 DuckDB 的并发写入和读取。该方案简洁高效,只需 200 行代码,无需复杂的集群部署,便可实现高性能的流式数据处理,为需要快速数据移动和实时查询的应用提供了新的思路。
阅读更多
本文讲述了作者如何优化Ruby的JSON gem,使其成为速度最快的JSON解析器和生成器。作者并非使用复杂技术,而是通过剖析代码,应用简单的优化,例如避免冗余检查、优先检查更可能成立的条件、减少设置成本以及使用查找表等。这些优化不仅适用于C代码,也适用于Ruby代码。最终,这些优化显著提升了JSON gem的性能,使其与oj等替代方案相比毫不逊色,减少了使用monkey patch的必要性,并解决了oj带来的稳定性和兼容性问题。
阅读更多
Jeremia Kimelman在Mastodon上发文纪念Aaron Swartz,并指出使用Mastodon网页应用需要启用JavaScript,或者使用原生应用。这引发了关于网页应用与原生应用、以及网络自由与技术可及性之间关系的思考,让人联想起Swartz为网络自由而奋斗的精神。
阅读更多
ad是一款新颖的文本编辑器,它结合了Vim和Kakoune的模态编辑接口以及Plan9的Acme的可扩展性方法。ad允许用户执行文本,并将其作为实验平台,用于探索各种文本编辑器功能的实现。目前,ad已足够稳定,并具备一定的功能,用户可以尝试使用,但文档较少,可能存在一些bug。ad的设计理念是融合Vim的模态编辑、Emacs的mini-buffer、以及Acme的编辑命令和可扩展性,旨在创建一个舒适的编辑环境,支持与外部工具和程序直接交互。
阅读更多