2025-05-28
32 篇热帖
2. My website is ugly because I made it (goodinternetmagazine.com)
If my mom wanted good art on her fridge, she could’ve purchased reprints of works by Vermeer, Lichtenstein, Wyeth, etc. But she didn’t want good art – she wanted my art.
Somebody with good taste could’ve made my website, but then it wouldn’t be mine.
To bake
3. As a developer, my most important tools are a pen and a notebook (hamatti.org)
作为开发者,我最重要的工具是笔和笔记本。上个月签约新工作后,我兴奋地买了一本橙色笔记本。因为它是我作为软件开发者最重要的工具。 写代码是开发的最后一步,但比写代码更重要的是思考要写什么代码。
我很早就发现自己在电脑前思考能力不佳。打开代码编辑器时,我会进入“功能模式”,专注于执行具体操作,创造性思维受到限制。因此我常离开电脑,带着笔记本坐在沙发或户外沉思。
我用它思考新问题的初始解决方案(如设计思路、绘制UI草图或流程图),或梳理现有代码的数据流和交互关系以修复错误、添加功能。书写和草图是强大的思考工具,能将模糊的抽象想法转化为具体产物,暴露知识或理解的缺口——书写时无法轻易跳过这些缺口。
写完代码后,我喜欢像向他人解释那样撰写说明。这有助于发现代码中的不一致、设计缺陷和错误。书写过程本身会留下思考记录,我只需稍作整理就能在未来回顾(往往未来需要这些记录的是我自己)。
4. Mullvad Leta (leta.mullvad.net)
5. Show HN: AutoThink – Boosts local LLM performance with adaptive reasoning
6. The Polymarket users betting on when Jesus will return (ericneyman.wordpress.com)
The request was rejected because it was considered high risk
7. xAI to pay telegram $300M to integrate Grok into the chat app (techcrunch.com)
Telegram CEO Pavel Durov on Wednesday said Elon Musk's AI company, xAI, is investing $300 million worth of cash and equity in the chat app.
8. Getting a Cease and Desist from Waffle House (www.jack.bio)
A blog post by Jack LaFond.
9. Show HN: My LLM CLI tool can run tools now, from Python code or plugins (simonwillison.net)
LLM 0.26 is out with the biggest new feature since I started the project: support for tools. You can now use the LLM CLI tool—and Python library—to grant LLMs from …
10. AtomVM, the Erlang virtual machine for IoT devices (www.atomvm.net)
AtomVM:面向物联网设备的轻量级Erlang虚拟机
AtomVM 是一个轻量级的 BEAM 虚拟机实现,专为在资源受限的微控制器上运行而设计。它能够执行由 Erlang 或 Elixir 编译而成的字节码,但仅支持 BEAM 操作码的一个精简且功能性的子集,以及一个经过优化的 Erlang/OTP 标准库子集。
核心特点与优势
- 编程模型:支持使用 Erlang/Elixir 的函数式编程语言和先进的 Actor 并发模型来开发物联网应用,从而简化开发和理解。
- 核心功能:包含进程派生、监控、消息传递、抢占式调度和高效垃圾回收等关键特性。
- 硬件交互:可直接与微控制器上的外设和协议接口,如 GPIO、I2C、SPI 和 UART。在支持的设备(如乐鑫 ESP32)上还提供 WiFi 网络支持。
- 低成本运行:可在成本低至 2 美元的设备上运行。
入门资源
11. Show HN: Icepi Zero – The FPGA Raspberry Pi Zero Equivalent (github.com)
An ECP5 FPGA Dev Board in a Pi Zero form. Contribute to cheyao/icepi-zero development by creating an account on GitHub.
12. Negotiating PoE+ Power in the Pre‑Boot Environment (roderickkhan.com)
Solving a boot-time power challenge on PoE+ x86 systems by creating our own UEFI app to handle LLDP power negotiation at the firmware level, allowing our machines to request higher power from network switches before the OS loads.
13. Look Ma, No Bubbles: Designing a Low-Latency Megakernel for Llama-1B (hazyresearch.stanford.edu)
14. De-anonymization attacks against the privacy coin XMR (monero.forex)
针对隐私币XMR的去匿名化攻击概述
一、XMR的核心隐私机制
门罗币(XMR)主要通过三项关键技术保障交易隐私:
- 环签名:将发送者的交易输出与多个无关的“诱饵”输出混合,隐藏真实来源。
- 隐身地址:为每笔交易生成一次性地址,隐藏接收者的身份。
- 环机密交易:隐藏交易金额。
这些技术旨在破坏区块链分析中常见的“输入-输出”关联和金额追踪。
二、主要的去匿名化攻击向量
尽管有上述保护,XMR仍面临多种去匿名化攻击:
环成员识别攻击
- 问题:环签名中的“诱饵”(环成员)可能已被花费,或选择方式存在统计偏差。
- 攻击方法:通过分析交易的环大小、成员年龄、在环中的位置等元数据,或利用已知的“已花费”输出集合(来自交易所等中心化服务的链上行为),来推断真实发送者的概率。
- 影响:可能显著降低环签名的有效性,将发送者身份的范围从(例如)11个候选缩小到2-3个,甚至唯一确定。
交易图与资金流分析
- 问题:虽然单笔交易被混淆,但资金的长期流动模式可能泄露信息。
- 攻击方法:跟踪资金从特定入口(如交易所提币)流入环签名的路径,分析后续混合和输出模式。即使具体交易被混淆,资金的总体流向和聚合/分散模式仍可能暴露地址的控制关系。
- 影响:可能将看似匿名的资金池与已知身份(如交易所地址)关联起来。
时序与网络层攻击
- 问题:交易广播到网络的时间、节点间的信息传播延迟,可能与用户的真实IP地址相关联。
- 攻击方法:通过监控网络节点,观察交易首次出现的节点和时间,结合用户钱包的网络活动模式,来推测交易发起者的IP地址。
- 影响:将链上交易与真实的网络身份(IP)关联,破坏匿名性。
客户端/钱包指纹攻击
- 问题:特定钱包软件生成交易的方式可能存在微小特征。
- 攻击方法:分析交易参数的默认值、舍入模式、随机数生成器的输出特征等,以识别交易源自哪个钱包软件(甚至版本)。
- 影响:将交易与特定的软件生态系统或用户群体关联,缩小匿名集。
三、门罗币社区与开发团队的对策
为应对这些攻击,XMR社区持续进行协议升级:
- 增大环大小:从5增至11(目前为16),直接增加猜测难度。
- 改进环成员选择算法:使诱饵的年龄分布更接近真实花费模式,减少统计偏差。
- 推广并强化使用Dandelion++协议:在交易广播的第一阶段隐藏来源IP,抵御网络层监听。
- 定期进行硬分叉:强制全网更新,使旧的、不安全的交易格式失效。
- 建议使用专用节点:鼓励用户运行自己的节点,避免通过第三方节点广播交易时泄露信息。
四、总结与现状
XMR的隐私保护是动态的“军备竞赛”。虽然基础协议提供了强大的密码学保障,但其实际匿名性高度依赖于正确的实施、足够大的匿名集以及用户遵守最佳实践(如使用最新版钱包、通过Tor/I2P广播交易)。
去匿名化攻击表明,没有绝对的匿名。链分析公司和学术研究持续寻找漏洞,而XMR开发者也通过不断迭代来修补这些漏洞。目前,XMR被认为是隐私性最强的主流加密货币之一,但其安全性并非固若金汤,用户需了解其局限性和潜在风险。
15. LLM codegen go brrr – Parallelization with Git worktrees and tmux (www.skeptrune.com)
本文介绍了通过Git工作树和tmux实现AI编码代理并行化的方法,以提高开发效率。作者以创建UI组件为例,同时运行4个AI代理(2个Claude Code和2个Codex),每个代理在独立的Git工作树中执行。结果显示,4个代理中仅1个产生了可用方案,验证了多代理并行可提高成功率(68%)。由于LLM成本低廉,运行多个代理的财务风险极低,但当前手动设置工作树和tmux会话的过程仍繁琐。
作者列出了当前工作流程的痛点,包括难以跟踪工作树的分支更新、无法批量向多个代理发送提示、手动打开IDE和Web预览麻烦、以及提交和创建PR过程复杂。为此,作者提出了一个名为_uzi_的CLI工具,旨在自动化这些任务。_uzi_计划支持的命令包括启动并行代理、列出代理状态、跨所有工作树执行命令、广播提示、检查点提交以及终止代理,主要通过tmux实现,以简化现有流程。
最后,文章展望了并行化方法在软件开发之外的广泛应用,如法律合同审查和营销数据分析,认为该方法能通过多代理分析提升决策质量,并预期未来软件产品将集成更多版本控制和并行执行功能。
16. Show HN: Tesseral – Open-Source Auth (github.com)
Open source auth infrastructure for B2B SaaS. Contribute to tesseral-labs/tesseral development by creating an account on GitHub.
17. AI: Accelerated Incompetence (www.slater.dev)
AI: 加速不称职
本文档是一个重定向页面,标题为“AI: Accelerated Incompetence”,内容仅为一个链接指令,引导用户点击以访问外部网站(https://www.slater.dev/2025/05/accelerated-incompetence/)。原始内容没有提供任何实质性文本、细节或技术信息,仅作为跳转用途。用户需通过该链接获取更多关于主题的完整内容。
18. The Blowtorch Theory: A new model for structure formation in the universe (theeggandtherock.com)
How early, sustained, supermassive black hole jets carved out cosmic voids, shaped filaments, and generated magnetic fields
19. Atomics and Concurrency (redixhumayun.github.io)
This is going to be a long post, but I hope you get value out of it. This wasn’t an easy topic to tackle but it was definitely worthwhile!
20. OpenTPU: Open-Source Reimplementation of Google Tensor Processing Unit (TPU) (github.com)
A open source reimplementation of Google's Tensor Processing Unit (TPU). - UCSBarchlab/OpenTPU
21. Why the Original Macintosh Had a Screen Resolution of 512×324 (512pixels.net)
Many classic Macs came with — or supported — displays running at 512x384 pixels, but many compact Macs, ranging from the original 1984 machine up through 1991’s Macintosh Classic II had built-in CRTs running at 512x342 pixels. That covers all black-and-white compact Macs with a 9-inch screen. The later Color Classic and Color Classic II used a 10-inch CRT at a full 512x384. This came up when I joined John Gruber on The Talk Show. At one point in the show, I rattled off the original Mac’s resolution as being 512x384.
22. Vrs: Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia (github.com)
A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix - leoshimo/vrs
23. CheerpJ 4.1: Java in the browser, now supporting Java 17 (preview) (labs.leaningtech.com)
CheerpJ 4.1 发布概要
CheerpJ 4.1 是一次重要的版本更新,其核心亮点是提前引入了对 Java 17 的预览支持,并显著提升了 Java 11 支持的稳定性。此版本基于社区反馈进行了大量错误修复和优化。
主要新特性与改进
- Java 17 预览支持:原计划于后续版本引入,现于 4.1 版本提前发布作为预览,旨在收集反馈以实现未来(CheerpJ 5.0)的稳定支持。
- Java 11 稳定性增强:针对初始版本中由社区测试发现的多个关键错误进行了修复。
- 其他技术改进:
- 为 Java 11 增加了 SSL 和 Audio 支持。
- 进行了性能优化。
- 改进了网络栈。
- 提升了 Swing 和 AWT 应用在移动设备上的可用性。
CheerpJ 核心能力
CheerpJ 是一个基于 WebAssembly 的完整 Java 虚拟机,完全在浏览器客户端运行,无需服务器组件。其主要功能包括:
- 运行大型 Swing/AWT 应用:可以直接在浏览器中运行未修改的 Java 应用程序 JAR 包,支持复杂的图形界面、第三方外观,并能同时运行多个多窗口应用。4.1 版本大幅增强了对移动设备的支持。
- 库模式:允许在 Web 应用中通过 JavaScript 直接使用 Java 库,支持异步调用、对象创建、方法调用、字段访问和异常处理。这为构建结合 Web 前端与 Java 业务逻辑的客户端应用,或渐进式迁移传统 Java 应用至 Web 平台提供了可能。
演示与技术亮点
文章通过 Browsercraft(一个在浏览器中运行原版 Minecraft 的项目)展示了 CheerpJ 4.1 的能力。关键技术创新在于支持动态加载 JNI WebAssembly 模块,使得依赖本地代码(如 LWJGL 和 gl4es)的 Java 库也能在浏览器中运行。
未来计划与许可
- 路线图:CheerpJ 5.0 仍计划在年底发布,将带来稳定的 Java 17 支持、npm 原生集成以及更广泛的 JNI 原生模块支持(如 JavaFX、SWT)。
- 许可模式:CheerpJ 是商业软件,但对开源项目、个人项目和单人公司免费使用。企业版提供授权与支持。
24. High-quality OLED displays now enabling integrated thin and multichannel audio (www.sciencedaily.com)
A team at POSTECH has unveiled a world-first in display technology: Pixel-Based Local Sound OLEDs that allow every pixel on a screen to emit distinct sounds. By embedding ultra-thin piezoelectric exciters directly into the OLED display, they've eliminated the need for external speakers and solved the long-standing problem of audio crosstalk. This means immersive, directional audio can now come straight from the screen.
25. Why are 2025/05/28 and 2025-05-28 different days in JavaScript? (brandondong.github.io)
26. US pauses new student visa interviews as it mulls expanding social media vetting (www.politico.com)
27. Cory Doctorow on how we lost the internet (lwn.net)
Cory Doctorow论互联网的堕落
在PyCon US 2025的主题演讲中,Cory Doctorow深入阐述了当代互联网的“堕落化”过程及其根源。他以“堕落化”概念为核心,系统性地分析了科技平台的衰变,并指出这是政策选择的结果,而非技术必然。
“堕落化”三阶段模型
Doctorow以谷歌为例,揭示了平台堕落的三个阶段:
- 吸引用户:平台初期提供优质服务(如谷歌的优秀搜索)并投入巨资(如支付给浏览器和设备厂商以设置默认搜索引擎)来锁定用户。
- 掠夺用户,讨好商家:一旦用户被锁定,平台开始损害用户体验以讨好商业客户(如谷歌将更多页面空间分配给广告,并与Meta合谋操纵广告市场)。
- 全面榨取价值:平台对用户和商家两头压榨,仅保留维持其锁定所需的最低限度价值。如今谷歌搜索页面顶部充满“AI垃圾内容”,夹杂着标识不清的广告和SEO垃圾链接。
技术实现手段:“微调”
堕落化依赖于平台利用计算能力进行“微调”——即近乎无限地调整价格、排名、推荐等参数。例如,护士招聘类App通过购买数据经纪商的财务信息,针对背负债务的护士降低其每小时报酬,因为“越绝望的人,越可能接受更低的薪酬”。这种“算法性工资歧视”在零工经济中尤为普遍,平台通过细微、渐进的调整降低工人工资,如同“慢火炖青蛙”。
“如果你不是产品”论调的谬误
Doctorow反驳了“如果你不是付费用户,你就是产品”的说法,因为它暗示只要付费就能避免被剥削。他以苹果为例:苹果虽然允许用户关闭第三方追踪,但同时秘密收集同样数据用于自家广告网络,且无法关闭。付费购买苹果产品并未使用户免于“被产品化”。在堕落化过程中,任何可被产品化的人——无论是护士、患者、医院还是App供应商——都会成为被榨取的对象。
堕落化的根源:被破坏的四大约束
平台的贪欲通常受四种力量制约,但这些制约在科技行业已遭系统性破坏:
- 市场约束失效:四十年来,新自由主义下的反垄断执法将垄断视为“效率”的体现,导致谷歌、Meta等巨头通过收购而非竞争来维持地位(如Facebook收购Instagram)。市场无法约束科技巨头。
- 监管俘获与缺位:监管机构常被行业俘获。例如,美国自1988年以来未通过新的消费者隐私法,使得数据经纪商可随意交易个人财务信息。护士App利用债务信息压价正是此漏洞的恶果。
- 互操作性被法律禁止:本应允许用户“越狱”或破解平台锁定的技术互操作性,被《数字千年版权法》等法律禁止。这使得DoorDash可以阻止司机提前看到小费,惠普可以阻止用户使用第三方墨盒——破解这些限制甚至可能是重罪。美国还通过贸易协定将类似法律强加给盟国。
- 劳工力量被削弱:科技工作者曾凭借技术稀缺性拥有对不合理要求的否决权。但自2023年以来的大规模裁员(超过50万人)彻底改变了力量对比,使工人丧失了议价能力,不得不执行堕落化的指令。
如何逆转:构建新的美好互联网
Doctorow指出,堕落化并非必然。全球范围内,反垄断执法正在复兴,欧盟、英国、日韩等地已对美国科技巨头采取行动。他提出了强有力的反击策略:
- 利用互操作性作为贸易武器:各国应废除类似DMCA的法律,允许企业破解美国科技公司的限制。例如,允许一个只收取3%佣金的应用商店存在,将直接摧毁苹果30%的“苹果税”垄断;允许破解特斯拉的软件锁,也能有效打击其商业模式。
- 推动真正的维修权:立法保障消费者维修自己设备的权利,并确保法律不被数字锁所架空。
- 技术自决的未来:我们能够也必须构建一个融合了早期互联网技术自决精神与Web 2.0易用性的“新的美好互联网”,使其成为人们组织起来抵抗气候危机、法西斯主义和专制主义的平台。
Doctorow总结道,当前的“堕落化互联网”是特定政策选择的结果,我们不必永远受其束缚。通过集体行动和明智的政策,我们可以扭转局面。他的演讲赢得了全场起立鼓掌。
28. Anthropic launches a voice mode for Claude (techcrunch.com)
Anthropic has begun to roll out a "voice mode" for its Claude chatbot apps.
29. Microsoft is starting to open Windows Update up to any third-party app (www.theverge.com)
Microsoft is starting to open up Windows Update to third-party apps. A new preview is designed to let any app developer use Windows Update.
30. Another way electric cars clean the air: study says brake dust reduced by 83% (electrek.co)
Exhaust isn't the only impact of cars, they also emit tiny brake particles. Thru regen braking, EVs reduce that (but bikes are even better!)
31. Running GPT-2 in WebGL: Rediscovering the Lost Art of GPU Shader Programming (nathan.rs)
A few weeks back, I implemented GPT-2 using WebGL and shaders (Github Repo) which made the front page of Hacker News. Here is a short write-up over what I …
32. DWARF as a Shared Reverse Engineering Format (lief.re)
This blog post introduces a new API in LIEF to create DWARF files