大型语言模型:让编译器触手可及
本文阐述了将日常任务视为编译过程的全新视角。作者以烹饪为例,将食谱比作程序,烹饪过程比作编译执行。大型语言模型(LLM)的出现,使得创建特定领域的编译器变得前所未有的简单,即使没有编程经验的人也能轻松上手。通过LLM,我们可以将日常任务,例如健身计划、业务流程甚至音乐创作,都转化为可编程的环境,提高效率并加深对日常系统的理解。这不仅是技术上的革新,更是思维方式的转变,将编译器的概念从代码拓展到生活的方方面面。
阅读更多
本文阐述了将日常任务视为编译过程的全新视角。作者以烹饪为例,将食谱比作程序,烹饪过程比作编译执行。大型语言模型(LLM)的出现,使得创建特定领域的编译器变得前所未有的简单,即使没有编程经验的人也能轻松上手。通过LLM,我们可以将日常任务,例如健身计划、业务流程甚至音乐创作,都转化为可编程的环境,提高效率并加深对日常系统的理解。这不仅是技术上的革新,更是思维方式的转变,将编译器的概念从代码拓展到生活的方方面面。
阅读更多
字节跳动开源了其大型推荐系统模型的深度学习框架Monolith。该框架基于TensorFlow,支持批量和实时训练及服务,并具有两大关键特性:无碰撞嵌入表保证不同ID特征的唯一表示,以及实时训练功能,快速捕捉热点,帮助用户发现新兴趣。Monolith提供了教程和示例,方便开发者上手使用。
阅读更多
一项令人震惊的Windows安全漏洞被发现:即使更改了Microsoft或Azure账户密码,旧密码仍然可以无限期地用于通过RDP远程登录。这是因为Windows将密码凭据存储在本地,即使在线验证失败,旧密码依然有效。这使得即使账户密码泄露,攻击者仍然可以通过RDP访问系统,绕过多因素身份验证和条件访问策略。该漏洞被称为“沉默的远程后门”,专家建议立即采取措施修复此安全隐患。
阅读更多
CSS 即将迎来`random()`函数,这将彻底改变网页设计的方式!无需 JavaScript,你就能在 CSS 中生成随机数,实现随机动画延迟、随机布局、随机颜色等等。该函数支持最小值、最大值和步长三个参数,并提供多种随机数共享机制,例如通过自定义属性或`element-shared`关键字实现元素间或全局的随机数共享。文章通过制作星空背景、随机排列矩形和照片堆叠等案例,生动地展示了`random()`函数的强大功能,并邀请开发者积极反馈,帮助完善该特性。
阅读更多
谷歌发布了Android 16 Beta版,其中包含对暗黑模式和主题化应用图标的增强支持。该版本新增“智能反转”功能,强制使不支持暗黑模式的应用也显示为暗色,并自动变暗应用启动画面和状态栏颜色。此外,还允许用户强制应用主题化图标颜色,即使应用本身不支持。其他改进包括增强的家长控制、更安全的跨平台数据迁移、PDF注释和编辑改进以及蓝牙LE设备的个人音频共享等。
阅读更多
苹果公司宣布macOS Tahoe将是最后一款支持Intel处理器的Mac系统,标志着长达20年的Intel Mac时代正式结束。虽然苹果给予用户一年缓冲期进行过渡,并承诺提供安全更新,但这一决定仍引发了一些争议。文章回顾了Intel Mac的历史,并讨论了这一转变对用户和开发者带来的影响,以及由此带来的廉价Mac Mini的优势和Hackintosh文化的终结。作者表达了对Intel Mac灵活性的怀念,并认为苹果公司在提供用户选择方面有所欠缺。
阅读更多
Mux 致力于通过解决开发者在构建视频应用时面临的难题(视频编码和流媒体传输、视频监控等)来实现视频技术的民主化。团队成员来自Google、YouTube、Twitch等公司,拥有丰富的经验,并由顶级风投支持。Mux 提供Mux Video和Mux Data等服务,已服务于Reddit、Vimeo、Robinhood等众多知名公司,旨在构建一个更优质的视频生态。
阅读更多
三星One UI 8系统更新引来安卓爱好者社区不满。此前,许多非美地区的三星用户可以解锁Bootloader,刷入自定义ROM和内核。但新证据显示,One UI 8已移除此功能,Galaxy S25、Z Fold 7和Z Flip 7均受影响。这意味着用户将无法使用自定义ROM延长设备寿命或提升性能。虽然三星现已提供长达七年的系统更新,但这对于追求极致定制和性能的用户来说,仍然是个坏消息。这对于习惯于深度定制安卓系统的用户来说无疑是一个重大打击。
阅读更多
这本开源书籍汇集了荷兰“ShowdeFysica”系列中99个最精彩的物理演示实验,涵盖了多种教学策略,让演示既神奇又富于教育意义。书中不仅包含视频,还提供无需安装软件即可运行的Python模拟代码。读者可以根据教学主题搜索合适的演示实验,并通过在线平台贡献建议。
阅读更多
作者讲述了因福特汽车故障而经历的漫长而痛苦的售后维权过程,这让他深刻体会到现代生活中无处不在的“泥沼”(sludge):冗长复杂的流程、冷漠的客服、故意设置的障碍等等。这不仅仅是个人的遭遇,而是普遍存在的现象,它耗费人们的时间、精力和耐心,甚至让人产生无力感和绝望。文章探讨了“泥沼”背后的原因,包括公司追求短期利益、客服系统设计缺陷以及消费者行为的改变等,并提出了一些应对策略,例如与朋友一起处理行政事务、积极争取权益等。最终,作者的汽车问题得到解决,但这并不代表问题的消失,反而凸显了制度性问题的严峻性,需要更多人的关注和努力才能改变现状。
阅读更多
特朗普总统签署行政令,试图关闭美国教育部,并将教育权力下放给各州和地方社区。此举引发广泛争议,支持者认为此举能提高教育效率,反对者则担忧此举会损害弱势学生权益,并可能导致教育质量下降。尽管行政令旨在将教育权力下放,但其合法性仍存疑,因为需要国会批准才能真正关闭教育部。目前,教育部已开始裁员,并面临着来自各方的强烈反对。
阅读更多
Defold游戏引擎在2024年下半年到2025年初发布了多个版本更新(1.9.6, 1.9.7, 1.9.8),并发布了2024年度游戏作品展示视频。此外,Defold团队还推出了编辑器脚本API的技术预览版,用于创建交互式UI元素,以及对云构建服务器进行了重大改进,简化了开发和维护流程。这些更新和改进都旨在提升Defold引擎的易用性和效率,为开发者提供更强大的游戏开发工具。
阅读更多
谷歌发布了针对Pixel设备的九月更新,包含众多新功能。Pixel 6及更新机型将获得Material 3 Expressive界面,带来锁屏自定义、联系人卡片改进和Quick Settings优化。Pixel Buds Pro 2新增自适应音频、噪音保护和头部动作控制。Android系统支持Auracast,实现双设备同时播放音频或创建公共广播。Gboard加入AI写作工具,Androidify应用则允许用户创建AI驱动的Android机器人形象。此次更新涵盖界面、音频和AI多个方面,为用户带来更丰富的体验。
阅读更多
SAT考试一直被宣传为衡量学生大学准备情况的有效工具。然而,近期SAT考试改革后的结果却令人担忧,它似乎反映出美国大学申请者整体水平的不足。大学长期以来依赖标准化考试来筛选申请者,SAT考试作为其中最重要的考试,其影响力遍及美国教育的方方面面。
阅读更多
RWKV 是一种新型的循环神经网络 (RNN) 语言模型,它结合了 RNN 和 Transformer 的优点,实现了卓越的性能。与传统的 Transformer 模型不同,RWKV 具有线性时间复杂度和恒定空间复杂度,训练速度快,上下文长度无限,并且不需要注意力机制。目前已发布 RWKV-7 版本,并提供多种演示和工具,包括 WebGPU 演示、微调工具以及用于快速推理的服务器。RWKV 还拥有活跃的社区和大量的相关项目,是 Linux 基金会 AI 项目。
阅读更多
作者为了摆脱谷歌服务,尝试将手机上的谷歌应用精简到仅剩地图和Authenticator(用于TOTP)。为了在命令行生成TOTP码,作者尝试使用oathtool,但迁移过程较为繁琐。文章详细介绍了从谷歌Authenticator导出QR码,使用qrtool解码,再利用Python脚本otpauth_migrate提取密钥,最后用oathtool生成TOTP码的完整步骤,并提供了一个Bash脚本简化操作。文章最后也讨论了密钥存储的安全性问题。
阅读更多
乌克兰战争催生了无人机技术飞速发展。面对俄罗斯强大的电子战干扰,乌克兰和西方公司合作开发出具有AI导航的无人机,即使在GPS信号被屏蔽的情况下也能自主导航攻击目标。例如,爱沙尼亚KrattWorks公司研发的Ghost Dragon无人机采用神经网络驱动的光学导航系统,能够识别地标自主定位。这不仅提升了乌克兰军队的作战能力,也使得低成本无人机在战场上发挥出巨大的作用,成为改变战争格局的关键力量。
阅读更多
亚马逊正秘密推进其新的Vega TV操作系统,计划在今年发布首款非安卓流媒体设备。Vega是一个基于Linux的操作系统,可能最终取代亚马逊的Fire OS。尽管亚马逊此前曾推迟Vega流媒体棒的发布,并更新了基于安卓的TV操作系统,但种种迹象表明,Vega项目仍在积极推进,首款设备即将问世。
阅读更多
加州电池制造商Natron Energy宣布破产,其计划在北卡罗来纳州Edgecombe县建设一座价值14亿美元的工厂的计划也随之破产。该公司未能获得足够的资金或销售额来维持运营,导致约95名员工失业,并取消了在北卡罗来纳州创造1000多个就业岗位的承诺。这一消息对当地经济发展造成打击,也凸显了大型工业项目的不确定性。
阅读更多
作者以自身使用NixOS和KDE软件的经历为引子,探讨了Linux桌面环境下开源软件协调的困境。他指出,Linux桌面缺乏统一的API标准,导致软件生态碎片化,如同一个“埃舍尔式的永动机”。这与十年前微软发布的语言服务器协议(LSP)形成对比,LSP尽管实现一般,但其存在本身解决了IDE功能的协调问题,推动了行业发展。作者认为,开源社区缺乏协调能力,错失了在LSP出现前制定统一IDE协议的机会。而Linux的成功,则得益于POSIX提供的预先定义的API标准,减少了协调难度。这篇文章引发了对开源社区协调机制及软件生态发展模式的思考,归类为科技。
阅读更多
Schematra 是一个用 CHICKEN Scheme 编写的微型 Web 框架,灵感来自 Sinatra。它旨在学习和实验,提供简单的路由定义、中间件支持和一个简单的模板系统。Schematra 易于上手,并能与 Tailwind CSS 和 htmx 等现代工具良好协作,适合用于学习 Scheme、原型设计和探索 Web 框架底层原理。
阅读更多
国际执法部门摧毁了一个存在20年的庞大僵尸网络,该网络感染了数千台路由器,构建了Anyproxy和5socks两个住宅代理网络。四名来自俄罗斯和哈萨克斯坦的犯罪嫌疑人被指控,他们通过出售对受感染路由器的访问权限,非法获利超过4600万美元。该僵尸网络利用过时的路由器漏洞,其代理服务被用于各种网络犯罪活动,包括广告欺诈和DDoS攻击。此次行动由美国司法部牵头,与荷兰、泰国等国警方以及网络安全公司合作完成,凸显了全球合作打击网络犯罪的重要性。
阅读更多
英国考古学家在距伦敦西北约50英里的Berryfields遗址发现了一个保存完好的1700年前的鸡蛋,这枚鸡蛋完好无损地保存在一个古老的井中,其内部液体仍完好无损。 该遗址曾是罗马时期的水井和祭祀场所,考古学家们在此发现了大量的文物,包括硬币、陶器和骨骼等。这个鸡蛋的发现对于研究罗马时期的文化、生活习俗以及动物引进有着重要的意义,也为古罗马人使用鸡蛋参与仪式提供了新的证据。目前,科学家们正计划提取鸡蛋内部液体进行DNA检测,以确定蛋的种类和来源。
阅读更多
OpenAI CEO Sam Altman 对Meta大规模挖角OpenAI人工智能人才的行为进行了强烈的反击。Altman 在内部信中强调了OpenAI在构建通用人工智能方面的独特优势,并暗示公司正在评估对整个研究团队的薪酬。他认为Meta的挖角行为可能会导致严重的文化问题,并自信地表示OpenAI的使命导向型文化将最终战胜Meta的“雇佣兵”策略。同时,多名OpenAI员工也纷纷发声,力挺公司文化。
阅读更多
本文探讨了一个C++模板继承中关于拷贝构造函数的令人费解的问题。`Derived`类继承自`Base`类,`Base`类的拷贝构造函数被删除。然而,`Derived`类定义了自己的拷贝构造函数,即使该构造函数尝试拷贝`Base`类的不可拷贝对象,`std::is_copy_constructible`仍然返回true。这是因为编译器只检查是否存在非删除的拷贝构造函数,而不检查其可否实例化。作者进一步讨论了显式定义拷贝构造函数和隐式定义拷贝构造函数的区别,以及将拷贝构造函数定义移出类的影响。
阅读更多
ThinkMesh是一个Python库,用于并行运行多种推理路径,使用内部置信度信号对其进行评分,将计算资源重新分配给有希望的分支,并使用验证器和约简器融合结果。它支持离线的Hugging Face Transformers和vLLM/TGI,以及托管的API。ThinkMesh支持多种策略,例如DeepConf、Self-Consistency和Tree of Thoughts,并提供缓存、指标和JSON跟踪等功能,极大地提升了大型语言模型的推理效率和可靠性。
阅读更多
谷歌DeepMind、谷歌云和其他公司运用AI技术,将1939年的经典电影《绿野仙踪》以史无前例的方式呈现在拉斯维加斯Sphere巨幕上。利用Imagen、Veo和Gemini等AI模型,团队将原始黑白胶片转换成超高清画面,并通过AI补全技术扩展场景,创造出沉浸式体验。整个过程尊重原著,未添加任何新对白或音乐。这项壮举不仅展示了AI技术的进步,也体现了对电影经典的全新诠释。
阅读更多
作者在整理旧物时意外发现了1999年购买的Palm IIIx掌上电脑。这台运行在16MHz处理器、拥有4MB内存的设备,唤起了作者对90年代科技的回忆。虽然Graffiti手写输入法和单色屏幕在今天看来略显简陋,但它依然代表了当时的科技巅峰。作者尝试使用它,但发现由于缺乏网络连接和背光屏幕,实用性有限。这篇文章不仅讲述了作者与Palm IIIx的故事,也引发了对复古科技的怀旧与思考。
阅读更多
一位名叫Trey的程序员为一家3G电信初创公司工作。他编写了一个自动化支付测试程序,本意是进行小额测试交易,却因程序中三个Bug导致程序每五分钟向测试账户注入100美元。由于缺乏存活性检查,一个网关故障导致程序持续运行数小时,最终累积了巨额款项。第二天早上,Trey面临着安全团队的质询,直到部门主管解释清楚才化险为夷,但测试账户余额也被清零。
阅读更多
一项对18400篇开放获取论文的分析表明,如果后续版本引用了评审员自己的作品,评审员更有可能批准稿件。这项尚未经过同行评审的研究发现,被引用的评审员比未被引用的评审员更有可能批准文章。研究人员分析了评论,发现那些要求引用的评审员在拒绝文章时更倾向于使用“需要”或“请”等词语,这暗示了强制性语言的使用。这项研究引发了对同行评审过程中潜在的利益冲突和学术诚信问题的讨论。
阅读更多