1. Show HN: Cs16.css – 基于CS 1.6界面的CSS库;
  2. Wild – Linux 上的快速链接器;
  3. 自己动手;
  4. Caltrain电动列车效率超预期;
  5. Snowdrop OS – 用汇编语言从头编写的自制操作系统;

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

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

1. Show HN: Cs16.css – 基于CS 1.6界面的CSS库

🔗 cs16.samke.me: Show HN: Cs16.css – CSS library based on Counter Strike 1.6 UI

🔥🔥: 560 | 💬: 108 | 🗓️ 2025-01-24


Cs16.css 是一个CSS库,灵感来源于经典游戏《反恐精英1.6》的用户界面。它提供了多种UI组件,如按钮、复选框、输入框、滑块、对话框、工具提示、进度条和选项卡等。每个组件都带有示例代码,方便开发者快速集成和使用。该库旨在为网页设计带来复古的游戏风格体验。


2. Wild – Linux 上的快速链接器

🔗 github.com: Wild – A fast linker for Linux

🔥🔥: 300 | 💬: 138 | 🗓️ 2025-01-24


Wild 是一个专为 Linux 设计的快速链接器,旨在通过增量链接提升开发效率。虽然目前尚未实现增量链接,但其速度已优于传统链接器如 GNU ld 和 LLD。Wild 支持 x86-64 Linux 平台,适用于开发环境,但不建议用于生产构建。用户可通过 Rust 安装,并配置为默认链接器。Wild 的目标是成为最快的链接器之一,尤其在处理 Rust 代码时表现出色。


3. 自己动手

🔗 lucumr.pocoo.org: Build It Yourself

🔥🔥: 263 | 💬: 201 | 🗓️ 2025-01-24


Armin Ronacher 在文章中批评了现代开发中依赖泛滥的问题,特别是在 Rust 和 JavaScript 生态系统中。他指出,许多项目引入了大量不必要的依赖,导致依赖链复杂化,增加了维护和安全风险。他提倡开发者应更多地自己编写代码,减少对外部库的依赖,尤其是对于简单功能。他强调,稳定且简洁的代码应被鼓励,而不是依赖不断更新的第三方库。


4. Caltrain电动列车效率超预期

🔗 caltrain.com: Caltrain’s electric fleet more efficient than expected

🔥🔥: 238 | 💬: 168 | 🗓️ 2025-01-24


Caltrain的新时刻表将于1月27日开始实施,更多详情可访问Caltrain.com/status。电动列车的表现比预期更为高效,标志着其在环保和运营方面的显著进步。


5. Snowdrop OS – 用汇编语言从头编写的自制操作系统

🔗 sebastianmihai.com: Snowdrop OS – a homebrew operating system from scratch, in assembly language

🔥🔥: 226 | 💬: 48 | 🗓️ 2025-01-24


Snowdrop OS 是一个16位实模式操作系统,专为 IBM PC 架构设计,完全使用 x86 汇编语言开发。它包含引导加载程序、内核、用户应用程序(如文件管理器、文本编辑器和游戏),并支持BASIC 解释器和 x86 汇编器。该项目旨在帮助程序员理解操作系统的基本功能,所有源代码开放且无使用限制。


6. 亚像素蛇

🔗 youtube.com: Subpixel Snake [video]

🔥🔥: 221 | 💬: 43 | 🗓️ 2025-01-24


这是一段关于亚像素蛇的视频,展示了其独特的视觉效果和实现方式。视频内容涉及像素级精度的处理技术,适合对图形编程和视觉特效感兴趣的开发者。属于Show HN类别,展示了创新技术的应用。


7. 物理论坛与死互联网理论

🔗 hallofdreams.org: PhysicsForums and the Dead Internet Theory

🔥🔥: 219 | 💬: 132 | 🗓️ 2025-01-24


物理论坛(PhysicsForums)自2001年成立以来,逐渐衰落,但其存档成为互联网历史的珍贵时间胶囊。然而,近年来,大量LLM生成的内容被回溯添加到旧帖子中,冒充真实用户的发言,稀释了人类原创内容的比例。这种现象印证了死互联网理论,即互联网上大部分内容已非人类创作。尽管目前LLM生成的内容仅占一小部分,但其增长趋势令人担忧,未来互联网的真实性可能进一步削弱。


8. 一条推文大小的WebAssembly编译器

🔗 wasmgroundup.com: A WebAssembly compiler that fits in a tweet

🔥🔥: 208 | 💬: 23 | 🗓️ 2025-01-24


本文介绍了一个极简的WebAssembly编译器,仅用192字节的JavaScript代码实现。该编译器将逆波兰表达式转换为有效的WebAssembly模块,并导出一个计算结果的函数。通过逐步解析代码,作者展示了如何利用JavaScript的语法技巧(如赋值表达式、稀疏数组等)来压缩代码大小,同时深入探讨了WebAssembly的底层机制。


9. 新书籍排序算法近乎完美

🔗 quantamagazine.org: New book-sorting algorithm almost reaches perfection

🔥🔥: 197 | 💬: 41 | 🗓️ 2025-01-24


计算机科学家提出了一种新的书籍排序算法,几乎达到了理论上的最佳性能。该算法解决了图书馆排序问题(即“列表标记问题”),通过结合随机性和历史依赖,显著减少了插入新书籍所需的时间。这一突破不仅适用于书籍管理,还可优化数据库和文件系统的存储效率。


10. 2025年我是如何使用Home Assistant的

🔗 vpetersson.com: How I Use Home Assistant in 2025

🔥🔥: 187 | 💬: 201 | 🗓️ 2025-01-24


作者从七年前开始使用Home Assistant,最初在公寓中通过IKEA智能集线器控制灯光,逐步扩展到自定义硬件和复杂自动化。随着设备增多,他将系统迁移到虚拟机,并使用MySQLInfluxDB优化数据库性能。搬到新家后,设备数量超过100个,主要依赖IKEA智能灯泡。他通过Adaptive Lighting集成实现灯光自动调节,并利用AI助手Cursor简化YAML配置。未来计划是升级智能温控阀,实现房间温度精准控制。


11. Lightpanda:基于 Zig 的开源无头浏览器

🔗 github.com: Show HN: Lightpanda, an open-source headless browser in Zig

🔥🔥: 169 | 💬: 96 | 🗓️ 2025-01-24


Lightpanda 是一款专为 AI 和自动化 设计的开源无头浏览器,采用 Zig 语言编写,具有 极低的内存占用快速执行 的特点。它支持 JavaScript 执行和部分 Web API,兼容 Playwright 和 Puppeteer 等工具。适用于网页抓取、测试和 LLM 训练等场景。目前处于 Beta 阶段,功能仍在完善中。


12. 每个系统都是一个日志:在分布式应用中避免协调

🔗 restate.dev: Every System is a Log: Avoiding coordination in distributed applications

🔥🔥: 168 | 💬: 125 | 🗓️ 2025-01-24


分布式应用的复杂性主要源于协调多个独立系统的状态,如数据库、消息队列和锁服务。通过将所有操作记录在单一日志中,可以避免分布式协调,简化系统设计并提高可靠性。Restate 实现了这一理念,通过日志驱动状态管理和消息传递,确保操作的一致性和容错性,同时减少系统间的耦合。


13. Little Snitch 鲜为人知的功能

🔗 lapcatsoftware.com: Little Snitch feature nobody knows about

🔥🔥: 154 | 💬: 49 | 🗓️ 2025-01-24


作者在新 Mac 上安装 Little Snitch 后发现,Safari 启动时会尝试连接 Google 的 ssl.gstatic.com,即使未进行搜索。通过 Little Snitch 的 via 规则,可以区分 Safari 主进程和 Safari Search Helper 的连接行为。这一技巧虽不常用,但能有效控制后台连接,尤其适用于类似 Chrome 的多进程应用。


14. 在十多年使用 Vim/Neovim 后尝试 Zed

🔗 sgoel.dev: Trying out Zed after more than a decade of Vim/Neovim

🔥🔥: 149 | 💬: 97 | 🗓️ 2025-01-24


作者在使用了 Vim/Neovim 超过 15 年后,决定尝试 Zed 编辑器。主要原因有两个:一是希望使用一个开箱即用的工具,减少繁琐的配置;二是希望更好地集成 LLM(大语言模型)以提高编码效率。Zed 的 Vim 模式、简洁的 JSON 配置、原生 LLM 集成以及极快的速度让作者对其印象深刻。虽然这只是初步尝试,但 Zed 的表现令人期待。


15. Lightpanda:专为AI和自动化设计的无头浏览器

🔗 github.com: Lightpanda: Headless browser designed for AI and automation

🔥🔥: 148 | 💬: 59 | 🗓️ 2025-01-24


Lightpanda是一款开源的无头浏览器,专为AI代理、LLM训练、网页抓取和测试设计。它采用Zig语言编写,具有超低内存占用(比Chrome少9倍)和极快执行速度(比Chrome快11倍)。支持JavaScript执行和部分Web API,兼容Playwright和Puppeteer。目前处于Beta阶段,适合需要高性能和无头浏览的场景。


16. “前所未见”——NIH会议和旅行突然暂停

🔗 nature.com: ‘Never seen anything like this’ – NIH meetings and travel halted abruptly

🔥🔥: 141 | 💬: 77 | 🗓️ 2025-01-24


美国国家卫生研究院(NIH)在特朗普政府上任后,突然取消了研究资助评审、科学家旅行和培训活动,导致科研界陷入混乱和焦虑。暂停措施将持续至2月1日,影响了NIH 470亿美元预算的80%,并可能对早期职业研究人员造成“毁灭性打击”。专家批评此举违背了NIH的使命,并可能引发多米诺效应,导致更多研究项目延误。


17. 法国警方解救被绑架的Ledger高管

🔗 moneycheck.com: French police free kidnapped Ledger executive

🔥🔥: 141 | 💬: 93 | 🗓️ 2025-01-24


2025年1月21日,法国加密货币公司Ledger高管David Balland及其妻子在家中遭遇暴力绑架。绑匪要求加密货币赎金,并在24小时内对Balland实施了断指等极端暴力行为。法国国家宪兵队通过战术行动成功解救两人。Ledger是全球领先的加密货币安全设备制造商,估值达13亿欧元。此次事件发生在比特币价格接近历史高点(约10.9万美元)之际,引发了对加密货币行业高管安全的关注。


18. 芝加哥的一场豪赌

🔗 bitsaboutmoney.com: A very Chicago gamble

🔥🔥: 128 | 💬: 66 | 🗓️ 2025-01-24


芝加哥长期渴望建设赌场以增加收入,但因政治和经济争议未能实现。Bally’s赢得2022年赌场竞标,承诺25%股权由女性少数族裔持有。然而,股票发行中的种族限制引发法律和道德争议,芝加哥的“少数族裔”定义模糊且可操作性强,进一步加剧了复杂性。


19. 我们需要谈谈Docker Hub

🔗 linuxserver.io: We Need to Talk About Docker Hub

🔥🔥: 123 | 💬: 142 | 🗓️ 2025-01-24


Docker Hub是默认的Docker镜像仓库,但近年来其政策变化引发了担忧。2020年,Docker宣布清理旧镜像并对免费账户实施拉取限制,促使许多用户转向其他平台如GHCR。2023年,Docker取消了免费团队账户计划,尽管最终因用户反对而撤回。Linuxserver项目在2021年与Scarf合作,使用lscr.io作为前端镜像仓库,但仍依赖GHCR作为后端。2024年,Docker的DSOS项目续期流程混乱,导致项目失去会员资格且无法联系到支持团队,引发了对Docker Hub未来的重新评估。


20. Bluesky在科学界的崛起:70%的Nature读者使用该平台

🔗 nature.com: Bluesky’s science takeover: 70% of Nature poll respondents use platform

🔥🔥: 116 | 💬: 157 | 🗓️ 2025-01-24


根据Nature的一项在线调查,70%的受访读者正在使用社交平台Bluesky,该平台功能与X(原Twitter)相似,自2023年11月美国大选后用户激增。尽管调查不具统计代表性,但反映了科研人员对Bluesky的热情和对X的失望。55%的受访者表示使用Bluesky进行科研交流、追踪研究进展和推广自己的研究。Bluesky被认为更友好、更安全,适合学术讨论,但也有批评称其为“左翼回音壁”。


Image

勒西科技日报

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

Back to Overview