1. 如何使用LLM编程;
  2. htmx的未来;
  3. Nvidia推出“个人AI超级计算机”Project Digits;
  4. 用正则表达式实现的极小极大国际象棋引擎;
  5. 英伟达发布下一代RTX 5090和RTX 5080显卡;

以上是今天的前五条黑科技新闻标题。

总共40条,具体内容您往下读…

1. 如何使用LLM编程

🔗 crawshaw.io: How I program with LLMs

🔥🔥: 865 💬: 322 🗓️ 2025-01-06


作者分享了过去一年中使用生成模型编程的经验,认为LLM对生产力有积极影响。他主要将LLM用于自动补全搜索聊天驱动编程,尤其是在复杂环境中快速获取答案和生成代码初稿。尽管LLM有时会出错,但其快速生成和修复代码的能力显著提升了效率。作者还提到正在开发一个专注于Go编程的工具sketch.dev,旨在优化LLM在编程中的使用体验。


2. htmx的未来

🔗 htmx.org: The Future of Htmx

🔥🔥: 762 💬: 415 🗓️ 2025-01-06


htmx起源于intercooler.js,旨在简化Web开发。其目标是成为像jQuery一样稳定且长期可用的工具。htmx将保持API稳定性,避免频繁更新,并通过扩展API引入新功能。团队致力于推动超媒体理念,并希望将htmx功能融入HTML标准。htmx的目标是成为构建持久Web服务的可靠工具。


3. Nvidia推出“个人AI超级计算机”Project Digits

🔗 techcrunch.com: Nvidia’s Project Digits is a ‘personal AI supercomputer’

🔥🔥: 613 💬: 490 🗓️ 2025-01-06


在2025年CES展会上,Nvidia发布了Project Digits,这是一款搭载Grace Blackwell硬件平台的紧凑型“个人AI超级计算机”。该设备专为AI研究人员、数据科学家和学生设计,配备GB10 Grace Blackwell超级芯片,支持高达2000亿参数的AI模型运行。Nvidia表示,两台设备可连接运行4050亿参数的模型。尽管价格高达3000美元,Nvidia CEO黄仁勋认为,这将为开发者提供强大的AI计算能力,推动AI时代的发展。


4. 用正则表达式实现的极小极大国际象棋引擎

🔗 nicholas.carlini.com: A minimax chess engine in regular expressions

🔥🔥: 542 💬: 97 🗓️ 2025-01-06


Nicholas Carlini 开发了一个由 84,688 个正则表达式 组成的国际象棋引擎,能够根据棋盘输入执行有效且合理的走法。该引擎通过正则表达式模拟了一个无分支、单指令多数据(SIMD)的计算机架构,利用并行处理能力同时评估多个棋盘状态。虽然无法实现循环,但通过展开有限计算,引擎能够完成国际象棋的走法生成与评估。


5. 英伟达发布下一代RTX 5090和RTX 5080显卡

🔗 theverge.com: Nvidia announces next-gen RTX 5090 and RTX 5080 GPUs

🔥🔥: 486 💬: 719 🗓️ 2025-01-06


英伟达在CES 2025上正式发布了RTX 50系列显卡,包括RTX 5090(1999美元)、RTX 5080(999美元)、RTX 5070 Ti(749美元)和RTX 5070(549美元)。RTX 5090采用GDDR7显存,性能是RTX 4090的两倍,功耗为575瓦。RTX 5080性能为RTX 4080的两倍,功耗360瓦。新显卡支持DLSS 4,提升帧率和画质,并适用于小型PC。RTX 50系列笔记本将于3月上市。


6. Zig的编译时功能非常强大

🔗 scottredig.com: Zig’s comptime is bonkers good

🔥🔥: 452 💬: 255 🗓️ 2025-01-06


Zig的comptime功能允许在编译时执行代码,极大地简化了元编程。通过comptime,开发者可以在编译时生成代码,避免了传统元编程中的复杂性和调试困难。Zig的设计使得编译时和运行时代码可以无缝混合,提升了代码的可读性和效率。


7. 贾斯廷·特鲁多承诺辞去总理职务

🔗 cbc.ca: Justin Trudeau promises to resign as PM

🔥🔥: 440 💬: 1154 🗓️ 2025-01-06


加拿大总理贾斯廷·特鲁多宣布,他将在自由党选出继任者后辞职,结束其近十年的执政生涯。特鲁多表示,内部斗争使他无法成为下届选举的最佳人选。他还宣布议会将休会至3月24日,为自由党领导层更替争取时间。特鲁多的辞职引发了领导权竞争,保守党领袖皮埃尔·波利耶夫则呼吁尽快举行大选。


8. 时间序列异常检测:十年回顾

🔗 arxiv.org: Time-Series Anomaly Detection: A Decade Review

🔥🔥: 437 💬: 79 🗓️ 2025-01-06


随着数据收集技术的进步和流数据量的激增,时间序列分析变得至关重要。本文综述了过去十年中时间序列异常检测的研究进展,涵盖了从传统统计方法到现代机器学习算法的演变。文章提出了一种基于过程的分类法,对现有方法进行了系统总结,并进行了文献的元分析,揭示了该领域的研究趋势。


9. 所有时钟都慢了30秒

🔗 victorpoughon.fr: All clocks are 30 seconds late

🔥🔥: 365 💬: 347 🗓️ 2025-01-06


作者认为,日常时钟由于截断秒数(显示整分钟)而平均慢了30秒。如果时钟采用四舍五入而非截断,误差将为零。虽然这是一个有趣的思考,但作者强调这只是一个约定俗成的惯例,实际应用中截断更为实用。


10. 使用Meta AI后,Instagram用我的脸做定向广告

🔗 old.reddit.com: Used Meta AI, now Instagram is using my face on ads targeted at me

🔥🔥: 303 💬: 173 🗓️ 2025-01-06


一位用户在使用Meta AI编辑自拍后,发现Instagram将其面部用于定向广告。用户对此感到震惊,并引发了对隐私政策用户协议的广泛讨论。许多人表示,这种行为令人不安,甚至有人提到类似《黑镜》中的情节。用户建议减少在社交媒体上的数据共享,甚至考虑删除账户以保护隐私。


11. 我以四分之一世纪为单位生活

🔗 tla.systems: I live my life a quarter century at a time

🔥🔥: 297 💬: 177 🗓️ 2025-01-06


作者回顾了他在Apple工作的经历,特别是参与开发Mac OS XDock。作为主要工程师,他在爱尔兰的Apple Cork工作,将设计师Bas Ording的原型转化为代码。尽管最终他的代码未被采用,但这段经历让他学到了很多,并促使他重新开发了DragThingPCalc


12. 妹妹用ChatGPT做作业令人心碎

🔗 old.reddit.com: My little sister’s use of ChatGPT for homework is heartbreaking

🔥🔥: 294 💬: 497 🗓️ 2025-01-06


一位Reddit用户分享了他11岁的妹妹使用ChatGPT完成作业的经历。她不仅用ChatGPT解答简单的数学问题,如将3分钟转换为秒,还让它完成阅读作业,甚至要求缩短答案。她完全不理解内容,只是机械地复制粘贴,同时还在看《鱿鱼游戏》。这种行为引发了人们对下一代教育问题的担忧,担心他们过度依赖AI而失去独立思考能力。


13. 三连提案

🔗 alexanderpetros.com: Triptych Proposals

🔥🔥: 244 💬: 79 🗓️ 2025-01-06


三连提案由Alexander Petros和Carson Gross提出,旨在通过三个简单建议增强HTML的网络请求处理能力。支持PUT、PATCH和DELETE方法,允许按钮直接发起HTTP请求,并实现部分页面替换。这些改进使HTML更接近REST原则,同时结合了htmx等库的优点。提案目前正在更新相关规范,预计2025年实现。


14. 结构化代码编辑器的演变

🔗 crowdhailer.me: The evolution of a structural code editor

🔥🔥: 238 💬: 109 🗓️ 2025-01-06


本文介绍了eyg编程语言的结构化编辑器的发展历程,从最初基于抽象语法树(AST)的直接编辑,到简化AST设计,再到结合文本和AST导航的混合模式。编辑器通过LustreGleam实现,支持键盘、鼠标和触摸操作,旨在提供更直观的代码编辑体验,避免语法错误并增强类型信息反馈。


15. 美国东部山脊线秋季自行车冒险

🔗 crazyguyonabike.com: An autumn bike adventure down the US portion of the Eastern Divide Trail

🔥🔥: 211 💬: 71 🗓️ 2025-01-06


作者zygomorph在2024年秋季完成了3,877英里的自行车之旅,历时77天,穿越了美国东部的多个州,包括缅因州、弗吉尼亚州和佛罗里达州等。这次旅程涵盖了越野骑行、露营和多种地形挑战,记录了每天的冒险经历和沿途风景。


16. 罗马帝国使用铅导致欧洲智商下降,研究发现

🔗 theguardian.com: Roman Empire’s use of lead lowered IQ levels across Europe, study finds

🔥🔥: 206 💬: 165 🗓️ 2025-01-06


研究表明,罗马帝国广泛使用铅,导致欧洲智商水平下降2至3点,持续近180年。铅污染主要来自采矿和冶炼活动,铅中毒影响了整个帝国人口,尤其是儿童。研究人员通过分析北极冰芯,发现罗马帝国时期铅污染显著增加,并持续到帝国衰落。铅污染不仅影响了古代文明,也在20世纪工业革命后再次加剧。


17. 软件正在吞噬世界,没错(2024)

🔗 medium.com: Software is eating the world, all right (2024)

🔥🔥: 181 💬: 130 🗓️ 2025-01-06


作者回顾了43年的IT职业生涯,从个人计算机到生成式AI,再到量子计算。作为小企业主,他批评订阅模式算法对商业的负面影响,如Clover和Doordash的定价和运营问题。他还指出,数字平台如Google和Yelp的评论系统助长了仇恨和滥用,而Facebook的身份验证流程则令人失望。最终,他认为数字革命在财务和道德上已破产,呼吁停止对人际互动的过度数字化。


18. 样条距离场

🔗 zone.dog: Spline Distance Fields

🔥🔥: 178 💬: 27 🗓️ 2025-01-06


作者暂停了主要项目Tangerine,开始开发名为Star Machine的CPU光线追踪渲染器,目标是解决Tangerine的技术缺陷。为了验证理论,作者开发了赛车游戏Rainy Road,并提出了地形渲染系统的需求:样条定义地形、快速处理地形数据、紧凑存储等。通过实验,作者发现可以从样条生成地形表面,并提出了样条距离场技术,利用样条和点生成地形。该技术仍在探索中,未来可能应用于3D表面生成和程序化物体放置。


19. 自托管表单后端——Formspree的开源替代方案

🔗 github.com: Self-Hostable Form Back End – OSS Alternative to Formspree

🔥🔥: 174 💬: 36 🗓️ 2025-01-06


FormBee 是一个开源表单后端,专为注重数据隐私的开发者设计。它允许用户将网站表单数据发送到电子邮件、Telegram、Webhooks 等,无需编写服务器端代码。FormBee 支持自托管,提供多种 Docker 镜像,并可轻松部署到 Railway。主要功能包括防垃圾验证码、域名白名单和自动回复邮件。项目基于 Node.js/Express 和 Angular,采用 MIT 许可证。


20. C: 简单易用的延迟执行功能

🔗 gustedt.wordpress.com: C: Simple Defer, Ready to Use

🔥🔥: 173 💬: 151 🗓️ 2025-01-06


本文探讨了如何在现有工具和编译器中实现C语言defer功能。defer是一种延迟执行机制,确保在代码块退出时执行特定操作,如释放资源或解锁互斥锁。文章展示了使用gcc扩展C++标准特性的实现方法,并提出了新的语法提案。defer功能通过自动化的资源管理,简化了代码并减少了错误。


21. 大语言模型与代码优化

🔗 wiredream.com: LLMs and Code Optimization

🔥🔥: 168 💬: 25 🗓️ 2025-01-06


本文探讨了使用大语言模型(LLM)优化代码的潜力与局限。作者通过一个具体问题(在100万个随机整数中找出数字和为30的最大与最小数之差),对比了Python和Rust代码的性能优化。LLM在简单优化(如并行化)上表现良好,但在算法优化(如减少冗余计算)上表现有限。最终,通过手动优化和并行化,Rust代码比初始版本快了55倍。


22. 保持金色,美国

🔗 blog.codinghorror.com: Stay Gold, America

🔥🔥: 168 💬: 198 🗓️ 2025-01-06


文章探讨了美国梦的现状,指出住房、医疗和教育成本飙升,财富分配不均加剧,民主参与度下降。作者呼吁通过慈善捐赠和长期努力,支持弱势群体,推动社会公平。他强调数字民主同理心的重要性,并承诺将一半财富用于支持美国梦的实现,呼吁更多人参与其中,共同维护美国的理想。


23. Show HN: Mashups – 复活 Yahoo Pipes,我的副项目

🔗 mashups.io: Show HN: Mashups – Resurrecting Yahoo Pipes, my side project

🔥🔥: 163 💬: 43 🗓️ 2025-01-06


Mashups 是一个复活 Yahoo Pipes 的项目,旨在让用户通过可视化界面混合、过滤、转换 RSS 源、CSV 文件和 JSON 数据。无需编程,用户可创建实时更新的数据流,并通过 RSS 或 JSON API 集成到其他工具中。提供免费和付费计划,适合不同需求。


24. 工业摄影师Christopher Payne聚焦美国劳动之美

🔗 scopeofwork.net: Industrial photographer Christopher Payne spotlights the good in American labor

🔥🔥: 151 💬: 28 🗓️ 2025-01-06


Christopher Payne通过摄影记录美国制造业与基础设施的精细工艺人文价值。他的作品从铅笔工厂到航天器组装线,展现了工业复杂性与人类努力的结合。Payne的摄影不仅捕捉技术细节,还赋予劳动以艺术美感,揭示现代工业背后的故事与情感。


25. 从JSON合成音乐

🔗 phoboslab.org: Synthesizing Music from JSON

🔥🔥: 125 💬: 18 🗓️ 2025-01-06


Dominic Szablewski介绍了pl_synth,一个用于C和JS的微型音乐合成器及其编辑器。该工具允许用户通过定义乐器音符模式来创作音乐,支持重复模式和紧凑的文件格式。通过优化JS性能和使用WASM模块,pl_synth在生成音乐时显著提升了速度。


26. 代理并不足够

🔗 arxiv.org: Agents Are Not Enough

🔥🔥: 122 💬: 89 🗓️ 2025-01-06


本文探讨了代理在现代技术中的局限性,指出仅依赖代理无法解决所有问题。文章强调了系统设计整体架构的重要性,并提出了结合多种技术手段的必要性。通过实际案例,展示了如何通过综合解决方案来提升系统的效率和可靠性。


27. 观看粒子在靠近时弹跳并建立连接以放松身心

🔗 tiki.li: Relax while watching bouncing particles making connections when they get closer

🔥🔥: 116 💬: 44 🗓️ 2025-01-06


该内容展示了一个粒子模拟,当粒子彼此靠近时会弹跳并建立连接。这是一个视觉放松工具,通过观察粒子的动态行为来帮助用户放松。代码和更多示例可供参考,适合对编程或视觉效果感兴趣的人。


28. 大公司中工程师声誉的棘轮效应

🔗 seangoedecke.com: Ratchet effects determine engineer reputation at large companies

🔥🔥: 108 💬: 40 🗓️ 2025-01-06


工程师在大公司中的声誉和地位由棘轮效应决定。新人从低可见度任务开始,逐步通过成功交付项目获得团队信任和更高地位。声誉一旦形成,难以改变,失败可能导致声誉螺旋下降。试图跳过积累阶段直接承担高可见度项目通常失败,建议通过小成功逐步重建声誉。


29. 最新虚假文学代理机构

🔗 writerbeware.blog: The Latest Fake Literary Agencies

🔥: 93 💬: 32 🗓️ 2025-01-06


文章揭露了多个虚假文学代理机构,如The Elite Scout Society、ImplicitPress Literary Agency等。这些机构通过伪造网站、虚假代理信息和诱骗性邮件,试图骗取作者钱财。真实代理机构通常有明确的代理名单、客户列表和可验证的销售记录,而虚假机构则缺乏这些关键信息,且常要求作者支付费用。文章提醒作者警惕未经请求的代理邀约,并提供了识别骗局的实用技巧。


30. 意大利软件盗版的传奇故事——1983-1993(2022)

🔗 genesistemple.com: A swashbuckling tale of Italian software piracy – 1983-1993 (2022)

🔥: 89 💬: 38 🗓️ 2025-01-06


在1980至1990年代,意大利的软件盗版达到了工业化规模,盗版游戏通过报亭和玩具店公开销售,甚至合法公司也参与其中。由于法律漏洞,盗版行为长期未被有效打击,直到1993年欧盟要求加强版权保护。卡带技术推动了盗版产业的繁荣,而Napoli的盗版者则以快速发布高质量产品闻名。尽管盗版市场最终衰落,但其对意大利游戏文化的影响深远。


31. AMD ‘Strix Halo’ Ryzen AI Max+ 携 RDNA 3.5 显卡和 Zen 5 CPU 核心亮相

🔗 tomshardware.com: AMD ‘Strix Halo’ Ryzen AI Max+ Debuts with RDNA 3.5 Graphics and Zen 5 CPU Cores

🔥: 83 💬: 82 🗓️ 2025-01-06


AMD 在 CES 2025 上发布了 Ryzen AI Max+ 395,这款处理器搭载 16 核 Zen 5 CPU40 核 RDNA 3.5 显卡,支持高达 128GB 共享内存,专为轻薄游戏本和 AI 工作站设计。AMD 称其游戏性能比 Intel 的 Lunar Lake 快 1.4 倍,AI 性能比 Nvidia RTX 4090 高 2.2 倍,同时功耗降低 87%。预计将在 2025 年 Q1 和 Q2 上市。


32. 我们是来自世界各地的青少年黑客,一起编程

🔗 hackclub.com: We are teen hackers from around the world who code together

🔥: 82 💬: 18 🗓️ 2025-01-06


Hack Club 是一个全球性的青少年编程社区,在线和线下聚集了数千名成员,共同学习和创造。无论你是初学者还是有经验的程序员,都能在这里找到归属。社区提供开源工具、游戏开发、硬件项目等资源,并通过 Slack 平台连接全球成员。此外,Hack Club 还支持线下俱乐部高中黑客马拉松,帮助青少年通过实践提升编程技能。


33. 芝加哥抬升工程

🔗 en.wikipedia.org: Raising of Chicago

🔥: 82 💬: 40 🗓️ 2025-01-06


19世纪50至60年代,芝加哥因低洼沼泽地形导致排水不畅,引发多次流行病。为解决这一问题,工程师Ellis S. Chesbrough提出并实施了全市范围的排水系统改造计划。通过使用千斤顶,大量建筑物被整体抬升,部分老旧木结构建筑则被搬迁至郊区。这一工程不仅改善了城市卫生,也成为当时工程技术的壮举。


34. 为什么企业正在削减管理层?

🔗 arnoldkling.substack.com: Why are corporations cutting managers?

🔥: 77 💬: 58 🗓️ 2025-01-06


美国上市公司自疫情招聘高峰以来,中层管理人员减少了约6%。MetaCiti等公司通过削减管理层级和重组来降低成本。组织资本的过度积累导致企业官僚化,高层管理者在收入增长放缓时转向成本削减。然而,过度削减可能带来风险,企业需平衡成本控制与组织效率。


35. 小数据 [视频]

🔗 youtube.com: Small Data [video]

🔥: 76 💬: 11 🗓️ 2025-01-06


该视频讨论了小数据的概念,强调其在数据分析中的重要性。与大数据不同,小数据更注重精准性个性化,适用于特定场景和需求。视频还介绍了小数据在实际应用中的优势与挑战。


36. Show HN: 过滤X/Twitter上的互动诱饵和政治内容

🔗 unbaited.danielpetho.com: Show HN: Filter out engagement bait and politics on your X/Twitter feed

🔥: 70 💬: 128 🗓️ 2025-01-06


Unbaited是一款浏览器扩展,利用Llama 3.3模型Groq API实时分析推文,隐藏互动诱饵和煽动性内容。用户可自定义系统提示,调整内容过滤规则,并一键显示被隐藏的推文。该工具旨在探索如何让用户更好地控制社交媒体内容。


37. 在喧嚣与匆忙中,谷歌成功实现了SpaceX般的垂直整合

🔗 markmaunder.com: Amidst the noise and haste, Google has successfully pulled a SpaceX

🔥: 69 💬: 58 🗓️ 2025-01-06


自2013年起,谷歌开始研发TPU,并于2015年内部部署。2017年,谷歌通过云服务向外部开发者开放TPU,并推出第二代产品。与OpenAI依赖NVIDIA GPU不同,谷歌从芯片到应用的全栈垂直整合使其在AI硬件领域占据优势。谷歌的TPU性能优于NVIDIA H100,且成本更低,同时具备工程优势,能够根据需求定制硬件。这种战略类似于SpaceX的Starlink,使其在竞争中占据主导地位。


38. 英伟达发布其品牌的世界模型

🔗 techcrunch.com: Nvidia releases its own brand of world models

🔥: 69 💬: 70 🗓️ 2025-01-06


英伟达在CES 2025上推出了Cosmos世界基础模型(Cosmos WFMs),这是一系列能够预测和生成“物理感知”视频的AI模型。这些模型分为NanoSuperUltra三类,适用于不同场景,并支持商业用途。英伟达表示,这些模型可用于自动驾驶和机器人等领域,但因其训练数据来源不明,引发了版权争议。


39. 年度黑客提名:格罗米特狗狗

🔗 cybershow.uk: Hacker of the year nominee: Gromit the Dog

🔥: 67 💬: 2 🗓️ 2025-01-06


在科技界充斥着虚假与贪婪的今天,格罗米特作为一只虚构的塑料狗,却成为了一个值得尊敬的工程师典范。他冷静、谨慎,总是能预见技术灾难并解决问题,与主人华莱士的盲目技术崇拜形成鲜明对比。格罗米特不仅是华莱士的常识与良知,更是现代科技反思的象征。


40. 一位男子让希望与70年历史的弹珠机永存

🔗 arstechnica.com: A man keeping hope, and 70-year-old pinball machines, alive

🔥: 58 💬: 30 🗓️ 2025-01-06


弹珠机行业历经起伏,但如今因高科技机器的成功再度流行。Steve Young不仅收藏复古弹珠机,还收购了已倒闭品牌的库存和制造部件,创立了The Pinball Resource,成为修复弹珠机的全球资源中心。他积累了大量的稀有零件和图纸,确保这些复杂的机械装置得以延续。


Image

勒西科技日报

这是一份给聪明人的科技日报,每天推送一篇。内容来自各大英文网站,提供中文摘要。

Back to Overview