## Lepton EDA：一套免费开源的电子设计软件
Lepton EDA 是一套免费的电子设计自动化 (EDA) 软件，于 2016 年从 gEDA/gaf 项目分叉而来。它提供原理图绘制、网表生成（支持超过 30 种格式）以及物料清单生成和仿真等基本设计工具。该软件主要在 Linux 上开发，旨在推动开源硬件发展。
Lepton EDA 与 geda-gaf 具有向后兼容性，使用相同的符号和原理图文件格式。其主要组件包括 `lepton-schematic` 用于绘制原理图，`lepton-attrib` 用于编辑元件属性，以及 `lepton-netlist` 用于生成 PCB 布局输出。
可以通过源代码包或 Git 仓库进行安装，需要 Guile 等工具，以及可能需要的 GTK 库。用户可以通过问题追踪器参与贡献，并通过 Gitter 或 IRC 与开发者联系。该项目采用 GNU 公共许可证授权，鼓励协作和修改。提供全面的文档和维基百科以供支持。
每日HackerNews RSS
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Lepton – GPL 电子设计自动化 (github.com/lepton-eda)
12 分，gjvc 2 天前 | 隐藏 | 过去 | 收藏 | 1 条评论
gjvc 2 天前 [–]
和 https://lepton-eda.github.io/reply
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
软银已完全出售其对英伟达的股份，10月份出售了3210万股，价值58.3亿美元。此前，软银已于2019年完全退出英伟达，尽管其众多人工智能项目持续依赖英伟达的技术。 此次出售正值软银报告第二财季愿景基金获得190亿美元的收益，这得益于对OpenAI和PayPay的成功投资。在出售英伟达股份的同时，软银仍然深度投资于人工智能领域，例如价值5000亿美元的Stargate数据中心计划，严重依赖英伟达芯片。 此外，软银还出售了部分其对T-Mobile的股份，获得了91.7亿美元。此举表明软银正在利用成功的投资来资助进一步的人工智能开发和扩张。
## 虎甲虫：在没有事务的情况下构建正确的金融系统
虎甲虫是一个为正确性设计的金融交易数据库，但从单独正确的组件实现全系统正确性具有挑战性。本文探讨了在*没有*传统事务的情况下维持一致性，重点关注安全性和活性属性，例如“一致性”（账户在Postgres和虎甲虫中都存在）和“可追溯性”（正余额对应于有效账户）。
关键在于分离关注点：Postgres管理主数据（如账户持有人信息），而虎甲虫处理基于整数的交易本身。这允许扩展和独立的安全性/合规性。由于这些系统不共享事务，应用程序必须通过协调操作和重试来强制一致性。
一个关键的架构决策是指定一个**记录系统**（在本例中为虎甲虫——在虎甲虫中存在定义了全系统的存在）和一个**参考系统**（Postgres）。应用了**先写参考系统，后写记录系统**的原则。
为了处理潜在的故障，系统利用具有检查点（通过Resonate的分布式异步等待）的持久化执行。这要求所有操作都是**幂等的**——重复它们不会产生额外的效果。应用程序层编排这些幂等操作，解释子系统响应，并标记不一致之处以供操作员干预。
通过仔细选择记录系统，强制执行顺序，并利用持久化执行，开发人员即使在不依赖传统事务的情况下，也可以构建正确且可靠的金融系统。
## 黑客新闻讨论：“先写后读”规则 (tigerbeetle.com)
最近黑客新闻上围绕一篇博客文章展开讨论，该文章介绍了TigerBeetle提出的“先写后读”规则，旨在维护不同数据库管理系统之间的一致性。TigerBeetle的Joran对此规则的核心理念进行了阐述：**在从数据库读取数据*之前*，先提交写入操作到“记录系统”，** 从而确保结果的权威性。
然而，该规则引发了争论。一些人认为它含糊不清，质疑其实用性。另一些人则认为这是对诸如两阶段提交等概念的重新发明，而TigerBeetle团队澄清说，它与两阶段提交的不同之处在于，并非所有系统都需要参与暂存/提交过程。
讨论还涉及指定“记录系统”与“参考系统”的重要性。一个关键点是，该规则专门适用于对同一数据进行多系统读写的情况，强调操作顺序。团队认为该规则的名称具有记忆性，其优点超过了潜在的混淆，并强调了他们工作的精雕细琢，包括随附的艺术作品。
MixedMartialArts.com 最初报道了一位街头牛肉赛（Streetbeefs）选手，绰号“死神”（Shinigami），将其描述为一位经验不足、过度自信的武术家——一个典型的“那种人”，更注重外表而非训练。街头牛肉赛是一个东西海岸的后院格斗俱乐部，提供各种规则，而死神选择了综合格斗（MMA）。
然而，作者很快意识到最初的评估是错误的。丹尼尔·尤里贝（Daniel Uribe），也就是“死神”，是一位热情的空手道学生，并练习巴西柔术（BJJ），在街头牛肉赛中拥有令人印象深刻的8胜2负的战绩。他积极追求自己的爱好，并成功地把自己变成了他所设想的“动漫英雄”。
这篇文章最终成为了一个关于谦逊和避免仓促判断的教训。作者承认自己过早地嘲笑了死神，并强调了礼貌的重要性，因为低估别人可能会导致意想不到的结果。死神现在被公认为一位技术娴熟、训练有素的战士，证明了外表具有欺骗性。
一篇名为“Shinigami the Reaper”（死神收割者）的博文在Hacker News上引发了争论，最初看起来是对个人外貌和战斗风格的严厉批评。许多评论者质疑为什么网站会刊登这类看似欺凌的内容。
然而，这篇博文包含了一个转折——它的目的是批评人们根据肤浅的品质迅速评判他人的倾向。虽然有些人认为这个信息有效，但另一些人批评了作者的方法，认为文章的大部分内容不必要地嘲笑了对象。
讨论还集中在“shinigami”（神死）的准确翻译为“Death God”（死神）而不是简单地翻译为“death”（死亡）上。一位评论员将这篇博文与Napoleon Blownapart的一个相关视频论文联系起来，认为两者在主题上存在相似的探索。最终，这场对话突显了人们对使用煽动性写作来表达观点的伦理的不同看法。
闪迪发布了Extreme Fit USB-C闪存盘，这是一款小巧便携的存储解决方案，设计成小巧的加密狗。现在开始售价15.99美元，提供高达1TB的容量。
这款闪存盘具有USB 3.2 Gen 1性能，128GB及以上型号的读取速度高达400MB/s（64GB型号达到300MB/s）。其小尺寸使其可以保持插入设备，作为方便的“即插即用”存储选项，并且兼容iPadOS等平台。
目前，Extreme Fit提供64GB、128GB、256GB、512GB和1TB选项，促销价格可在闪迪官方商店获得。它还仅重3克，并可与闪迪Memory Zone应用程序配合使用。
## 将数十年的家庭录像数字化：深入研究
面对4000美元的专业数字化报价，作者着手进行DIY项目，以拯救存储在各种格式上的数十年的家庭录像——数据CD/DVD、视频DVD、MiniDV和Hi8磁带。目标：无损存档和提高可访问性。
该项目涉及理解每种格式的细微差别。MiniDV是一种数字流，比Hi8这种模拟格式提供更高的潜在质量。作者利用现有硬件（外部驱动器）和专业工具，如`dvrescue`和`ffmpeg`，构建了一个用于捕获、转换和标记视频的流程。
主要挑战包括处理隔行扫描、不一致的MiniDV质量以及自动将长磁带分割成单个场景。使用`transnetv2`进行场景检测被证明出奇有效，同时利用LLM为描述性标记，识别每个片段中的人物和事件。
作者强调这项任务的紧迫性，指出硬件支持日益减少和成本不断增加。然而，机器学习的进步现在为处理和组织这些记忆提供了强大的工具，使现在成为开展这项存档项目的最佳时机。最终的存档存储在NAS上，平衡了无损原始文件和更易于管理、可搜索的MKV文件。
## 家庭视频数字化与归档 - Hacker News 摘要
最近 Hacker News 上的一场讨论集中在数字化旧的家庭视频，特别是 VHS 磁带。原始帖子详细描述了一个用户使用 Python、`PySceneDetect` 进行场景检测（尽管最初的准确性较低）以及 OBS Studio 进行捕获的自动化流程。
对话很快深入到实现高质量结果的复杂性。主要收获包括：使用带有 SCART 连接器（用于 RGB 信号）的高质量 VHS 播放器和 SCART 转 HDMI 转换器至关重要，但廉价的转换器会降低质量。替代方案包括带有 HDD 录制的 Panasonic DVD 录像机以实现图像稳定化，或者利用带有 Firewire 的 Digital8 摄像机来录制 Video8/Hi8 磁带。
许多评论者强调使用适当的时间基准校正器 (TBC) 以获得干净的信号的重要性，并警告网络上关于模拟视频保存的错误信息。提到了几种工具，包括 `vhs-decode`（需要 VCR 修改）和 `pyaudiorestoration` 用于音频校正。最终，讨论强调了虽然自动化是可能的，但实现真正的归档质量需要大量的专业知识和潜在的高成本设备——有时使专业服务成为可行的选择。
## DevinDeepWiki 代码与开源探索 DevinDeepWiki 索引代码仓库，为软件领域的项目提供对话式文档。该列表涵盖了广泛的流行和新兴工具，展示了开源开发的广度。 **主要领域包括：** * **人工智能与机器学习：** 例如 `huggingface/transformers`、`openai/openai-python`、`meta-llama/llama-models`、`deepseek-ai/DeepSeek-V3`，以及本地LLM推理工具 (`ollama/ollama`、`gpt4all/gpt4all`)。 * **Web开发：** 例如 `react/react`、`vuejs/vue`、`angular/angular`、`next.js/next`，以及实用工具 `lodash/lodash`。 * **编程语言：** 例如 `go/go`、`rust/rust`、`python/cpython`，以及JavaScript资源。 * **DevOps与基础设施：** 例如 `kubernetes/kubernetes`、`docker/docker`、`terraform/terraform`，以及监控解决方案。 * **开发者资源：** 学习资料、面试准备 (`freeCodeCamp/freeCodeCamp`、`jwasham/coding-interview-university`)，以及实用列表 (`public-apis/public-apis`)。 该列表还包括一些小众但有价值的项目，例如远程桌面工具 (`rustdesk/rustdesk`)、笔记应用程序 (`marktext/marktext`)，以及用于数据可视化和系统设计的专用库。它展示了一个充满活力和协作的开源社区。
## 竞争激烈的市场中的独立游戏工作室招聘 (2025)
2025年，小型独立游戏工作室的招聘面临独特的挑战。与大型公司多层级的流程不同，Ballard Games（一个三人团队）负责最近一个软件开发人员职位的*所有*招聘步骤——从发布到最终面试。他们收到了多达159份申请，这主要得益于“与独立游戏合作”招聘板，迫使他们迅速关闭了招聘信息。
资源有限的情况下，效率至关重要。申请会手动筛选两次：首先筛选相关性，然后进行更公平的审核。提前询问薪资和可用时间可以快速筛选候选人，承认独立游戏工作室在薪资方面无法与大型公司竞争，而是提供自由和影响力。
一个小型的、相关的回家作业——模拟实际工作，*而不是* LeetCode 谜题——对于评估技能和确保候选人兴趣至关重要。最终候选人将与整个团队进行视频面试，包括审查他们的作业。
Ballard Games 使用简单的 Gmail 标签来跟踪申请人所处的阶段：新申请、已审核、回家作业（以及子阶段）、面试和否决。这种简化的方法大约花费了四周时间才成功招聘到合适的人选。
## 使用MAME进行真实的VT102模拟：摘要
现代“终端模拟器”，如iTerm2，实际上是*模拟*较旧的终端，最常见的是Digital Equipment Corporation的VT102。这些模拟器基于文档实现功能，但缺乏全面的测试，并且经常在功能之间出现不可预测的交互。
为了获得真正准确的VT102体验，作者转向MAME——多街机机器模拟器，它也可以使用原始固件和模拟硬件来模拟VT102。这比基于软件的模拟提供了更真实的重现。
将MAME设置为VT102模拟需要MAME软件、VT102固件（合法获取这可能很棘手）以及一些命令行配置，以将模拟连接到虚拟终端。虽然功能可用，但设置揭示了问题：由于MAME中缺乏准确的串行端口速率限制，输入可能会混乱，并且作业控制（管理多个进程）无法按预期工作。
尽管存在这些限制，MAME仍然提供了一个迷人的计算历史一瞥，突出了准确模拟的复杂性以及重现遗留系统的挑战。作者建议改进MAME的串行端口模拟，并开发一个用于管理控制终端的工具，这将大大增强体验。
## 对老式终端和模拟的回忆
一则Hacker News讨论围绕着重现老式电脑终端的体验。最初的帖子重点介绍了一个基于MAME的VT102模拟器。用户分享了个人项目：有人用树莓派构建了一个*在*真VT100内部的PDP-11，而另一个人试图在连接到VT510的树莓派上运行VAX VMS操作系统——尽管怀旧，但体验却出人意料地滞后且令人失望。
许多评论者哀叹失去的旧终端触感，并指出肌肉记忆和情感联系。其他人则指出了现有的模拟器和工具，包括正在开发的VT420模拟器([https://github.com/mmastrac/blaze](https://github.com/mmastrac/blaze))和VT100动画文件资源。
一个反复出现的主题是准确复制过去的困难，讨论涉及终端测试（vttest）和CRT效果的细微之处——有些人更喜欢基于软件的解决方案，而不是现代GL着色器，以获得更广泛的兼容性。对话涉及计算机历史的权衡以及优先考虑性能对诸如能源效率等因素的影响。
DEC Mini 是一款旨在重新定义行业的新型微型计算机，它建立在 DEC VT 系列的创新基础上。尽管其外形小巧，桌面尺寸，但它拥有令人印象深刻的规格：最多四颗 1.500 MHz 处理器，8.192MB 内存，以及 65.536MB 硬盘。 值得注意的是，DEC Mini 提供卓越的兼容性——IBM-PC、DOS、Windows、Macintosh，甚至 Commodore 64 模拟，以及 USB 等现代连接方式和 1.073.741.824 波特 RJ-45 网络接口，并通过 Wi-Fi 和蓝牙支持实现未来兼容性。 其关键特性是模块化设计，可接受各种 SOC 板，如 Raspberry Pi，允许用户自定义性能。它还提供多种鲜艳的颜色选择，摆脱了传统的米色。DEC Mini 承诺以实惠的价格提供高端计算体验。
这场黑客新闻的讨论围绕着数字设备公司（DEC），该公司在20世纪80年代是计算机领域的主要力量。虽然今天在很大程度上被Unix及其衍生系统所掩盖，但DEC的VMS和VAX系统曾经是行业霸主的热门竞争者，引发了人们对另一种计算历史的猜测。
评论员指出，Unix实际上起源于DEC的PDP-11，并且DEC的影响延伸到早期的操作系统，如CP/M甚至Windows NT——一些人认为NT是VMS的精神继承者。其他人则怀念地回忆起在90年代末使用DEC的Alpha机器，尽管存在固件问题，但仍然称赞其性能。
对话强调了过去操作系统 perceived 的多样性，与当前Unix/Windows格局形成对比。DEC也因美观的计算机设计而被人铭记，通常采用简洁、白色的美学设计。最终，Unix的胜利归功于许可等因素以及更早地在x86-64架构上可用。