- 如何使用LLM编程;
- htmx的未来;
- Nvidia推出“个人AI超级计算机”Project Digits;
- 用正则表达式实现的极小极大国际象棋引擎;
- 英伟达发布下一代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 X的Dock。作为主要工程师,他在爱尔兰的Apple Cork工作,将设计师Bas Ording的原型转化为代码。尽管最终他的代码未被采用,但这段经历让他学到了很多,并促使他重新开发了DragThing和PCalc。
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导航的混合模式。编辑器通过Lustre和Gleam实现,支持键盘、鼠标和触摸操作,旨在提供更直观的代码编辑体验,避免语法错误并增强类型信息反馈。
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 CPU 和 40 核 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%。Meta和Citi等公司通过削减管理层级和重组来降低成本。组织资本的过度积累导致企业官僚化,高层管理者在收入增长放缓时转向成本削减。然而,过度削减可能带来风险,企业需平衡成本控制与组织效率。
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模型。这些模型分为Nano、Super和Ultra三类,适用于不同场景,并支持商业用途。英伟达表示,这些模型可用于自动驾驶和机器人等领域,但因其训练数据来源不明,引发了版权争议。
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,成为修复弹珠机的全球资源中心。他积累了大量的稀有零件和图纸,确保这些复杂的机械装置得以延续。