## Ada：被遗忘的现代编程先驱 Ada 是一种在 1970 年代为美国国防部开发的编程语言，它预见了许多现在在 Rust、Python 和 C# 等现代语言中至关重要的安全和设计特性。Ada 的诞生源于国防部内部的软件不兼容和难以维护的危机，它通过强类型、接口与实现的分离（包）、内置的并发支持和范围约束类型等特性，优先考虑可靠性和可维护性。 尽管由于其冗长性而被主流行业 largely 忽略，Ada 却率先提出了现在被认为是必不可少的一些概念：泛型、区分联合和强大的异常处理。现代语言已经独立地重新发现了这些解决方案，努力达到 Ada 数十年前就提供的相同安全性和清晰度。 Ada 的优势在于其正式标准和编译器，它强制执行关于合法性、可见性和类型的严格规则——本质上是“拒绝”不安全的做法。这种对正确性的关注，加上它在航空电子设备和铁路控制等关键系统中的成功部署，证明了 Ada 的持久价值，即使它的贡献在更广泛的编程讨论中 largely 未被承认。它提醒我们，许多“现代”语言特性实际上是针对长期存在的软件工程问题的成熟解决方案。
每日HackerNews RSS
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录
Ada，它的设计，以及构建语言的语言 (iqiipi.com)
22 分，mpweiher 38 分钟前 | 隐藏 | 过去 | 收藏 | 5 评论 帮助
timschmidt 6 分钟前 | 下一个 [–]
拥有单一统一的语言，能够弥合软件和硬件描述语言之间的差距，那将是一项绝妙的技巧。回复
turtleyacht 27 分钟前 | 上一个 [–]
下一代语言应该确保网络上的内存安全条件。回复
Joel_Mckay 3 分钟前 | 父评论 | 下一个 [–]
可以看看 Erlang/Elixir，甚至可以通过 ssh 实现基本的 Julia 远程进程实例。不确定分布式 Java 虚拟机项目为什么不受欢迎。=3 回复
derleyici 12 分钟前 | 父评论 | 上一个 [–]
答案是… Rust。回复
anthk 8 分钟前 | 根评论 | 父评论 [–]
或者 Algol 68，它正在卷土重来。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## PROBoter：自动化嵌入式系统安全分析
对嵌入式系统，特别是PCB级别的安全分析，通常是一个耗时的过程，涉及目视检查、逆向工程和探测。PROBoter平台旨在自动化这些任务，使安全分析人员能够专注于更高层次的测试。PROBoter由SCHUTZWERK与肯普滕高等专业学校合作开发，具有最多四个独立探测器的自动化探测功能、完全集成的超高分辨率摄像头系统，以及采用标准和3D打印部件的简单、经济高效的设计。
该平台自动化了PCB图像生成、使用神经网络进行视觉分析以识别组件和引脚，以及（半）自动化探测。它简化了从PCB拆解到报告生成的流程，专注于自动化重复性任务，例如组件定位、引脚识别和电气连接映射。未来的开发包括自动化运行时信号分析和安全测试。
PROBoter的硬件和软件是开源的，可在GitHub上获取。该项目旨在构建协作知识库，缩短分析时间并提高嵌入式系统安全评估的效率。下一篇博文将详细介绍硬件平台及其自动校准功能。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
PROBoter – 自动化PCB分析的开源平台 (schutzwerk.com)
4点 由 kuizu 2小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 一页文稿：可自我编辑的网页 受到早期读写网的原有愿景驱动，开发者Patrick Weaver创建了“一页文稿”——一个能够自我编辑的HTML文件。该项目受到“文件优先”方法和复兴的网络技术的启发，最初是一个简单的原型，使用JavaScript修改DOM并本地保存更改。 最初的开发面临用户体验挑战，导致使用Vite和TypeScript进行重构，以管理复杂性和重复代码。一项关键改进是将编辑方式从隐藏/替换元素改为使用`contenteditable="true"`进行原地修改，简化了保存过程。 最终版本允许直接在HTML文件中编辑标题（h1-h6）、段落、图像（存储为Data URL）和链接。一个控制面板管理这些编辑。目前，编辑UI仅在本地打开文件或在特定URL（[doodles.patrickweaver.net/one-pager](doodles.patrickweaver.net/one-pager)）下查看时才激活。 Weaver鼓励用户尝试一页文稿并分享他们的创作，展示了真正自包含且可编辑的网络体验的潜力。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
构建一个可以自我编辑的网页 (patrickweaver.net)
11 分，evakhoury 发表于 3 小时前 | 隐藏 | 过去 | 收藏 | 2 条评论 帮助
lynx97 发表于 10 分钟前 [–]
https://tiddlywiki.com/replyp4bl0 发表于 6 分钟前 | 回复 [–]
我正要来链接它。很高兴我刷新了页面，在评论之前看到了你的评论。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
这个Hacker News讨论围绕着**FIM**，一个Linux framebuffer图像查看器。初始帖子链接到项目网站（nongnu.org）。
评论中的一个关键点涉及类似技术的命名——特别是**kitty终端的图形协议**。一位用户认为“kitty”在企业环境中听起来不够专业，引发了一场关于感知的简短辩论。
另一位评论者质疑DRM的相关性，而另一位则强调了**framebuffer的优势，即它是一种广泛可用、低基础设施的解决方案**，尤其适用于简单的应用程序，如图像查看器，甚至在极简或模拟硬件上。讨论涉及了功能、可访问性和专业形象之间的权衡。
启用 JavaScript 和 Cookie 以继续。
一篇《经济学人》关于减少自助早餐浪费的文章引发了 Hacker News 的讨论，其中出现了各种观点。最初的评论质疑文章的开篇声明——“早餐是一天中最重要的一餐”，但没有提供反证。
进一步的讨论涉及代谢灵活性以及“最重要的一餐”概念的起源，将其归因于谷物公司的营销。一些用户开玩笑地说，文章提出的“助推理论”解决方案只会鼓励*更多*的消费。
另一些人建议完全避免自助餐，转而选择在超市购买，或者指出早餐费用已经显著上涨。一位评论员指出，在英国的自助早餐中没有观察到明显的浪费现象，但承认贪婪行为很常见。原始文章的存档链接也被分享。
IEEE Xplore - 暂时不可用 IEEE.org IEEE Xplore IEEE-SA IEEE Spectrum 更多网站 IEEE Xplore 暂时无法访问。 我们正在努力尽快恢复服务。请稍后再试，或将问题发送至 [email protected]。对于由此造成的不便，我们深表歉意，并感谢您的耐心等待。 © 版权所有 IEEE - جميع الحقوق محفوظة。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
世纪带宽天线，18年后重新发明并获得专利，带宽为十年 (ieee.org)
6点 由 teleforce 2小时前 | 隐藏 | 过去 | 收藏 | 2评论 帮助
msuniverse2026 3分钟前 | 下一个 [–]
(2006) 回复
dr_dshiv 24分钟前 | 上一个 [–]
希望有人能解释一下
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 高性能计算30年：回顾与新语言的呼唤
过去30年，高性能计算（HPC）硬件发生了巨大变革。核心数量增加了数百到数千倍，性能也提升了数百万倍，这得益于多核处理器、GPU和高基数网络等技术的进步。然而，我们*编程*这些系统的方式却出人意料地保持静态。
尽管硬件发生了革命，但主导HPC编程语言——Fortran、C和C++——自1995年以来基本没有变化，同时MPI仍然被广泛用于分布式内存并行，OpenMP用于共享内存。虽然CUDA和Python等技术已经出现，但核心编程范式并没有显著发展。这与主流编程形成鲜明对比，在主流编程领域，许多新的语言蓬勃发展，优先考虑生产力、安全性和性能。
作者认为这种停滞不前是由于HPC社区面临的一系列独特挑战：其专业化的需求、对遗留代码的支持、对硬件而非软件的投资重点，以及倾向于优先选择足够好的解决方案而不是理想的解决方案。这导致了一种复杂的符号组合，要求程序员管理低级细节，而不是专注于算法。
作者倡导对HPC特定语言设计进行重新投资，强调像Chapel这样的语言能够抽象硬件复杂性并提高程序员生产力的潜力。最终，一个蓬勃发展的HPC未来需要认识到专用编程工具的价值，并培养一个愿意拥抱超越硬件进步的创新的社区。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
30 年的高性能计算：许多硬件进步，但新语言的采用甚少 (chapel-lang.org)
10 分，由 matt_d 发表于 2 小时前 | 隐藏 | 过去的 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
美国联邦通信委员会最近豁免网件公司免受外国对手制造的路由器禁令，引发了 Hacker News 的讨论。这项最初的禁令实际上威胁要关闭路由器市场，因为大多数路由器是在海外制造的。用户批评这项豁免是武断的，并认为它不公平地偏袒网件，实际上是选出了“市场赢家”。
评论员对决策过程表示愤世嫉俗，一些人开玩笑地说联邦通信委员会应该公开发布寻求豁免的公司行贿成本。讨论链接回了一个之前相关的、有 75 条评论的帖子，表明人们持续关注这项禁令及其影响。总的来说，这篇文章突出了人们对联邦通信委员会豁免网件公司理由缺乏透明度的不满。
## 人类加速区域1 (HAR1): 摘要
人类加速区域1 (HAR1) 是人类染色体20上一个独特的DNA片段，与其他哺乳动物相比，表现出显著的进化差异。HAR1被认为是人类基因组中进化最快的区域之一，包含两个非编码RNA基因，HAR1A和HAR1B。
HAR1A尤其值得注意的是，它在关键的大脑发育阶段表达——妊娠的第7到18周之间——特别是在发育中的皮层以及后来的小脑和前脑中。其RNA结构异常稳定，并且与黑猩猩不同，表明它在人类特有的脑部进化中发挥功能作用。
研究表明HAR1A与reelin蛋白相互作用，reelin蛋白对神经元迁移很重要。此外，在亨廷顿舞蹈症患者中，其表达受到抑制，可能导致神经退化。HAR1B在染色体上与HAR1A重叠，但在大脑中的表达水平较低。总而言之，HAR1代表了一个迷人的例子，展示了基因组变化与人类特有的神经系统发育之间的联系。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
人类加速区域 1 (wikipedia.org)
11 分，apollinaire 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## Byterun：一个用Python实现的Python解释器 Allison，一位Dropbox工程师，详细介绍了Byterun，一个用Python实现的Python解释器，展示了Python解释器的核心结构可以容纳在500行代码以内。该项目建立在Ned Batchelder和Paul Swartz的工作之上，旨在阐明解释器机制，并模仿CPython的结构以供更广泛地理解。 Byterun通过将源代码转换为字节码（解释器执行的指令）来工作。尽管被称为“解释型”，Python仍然利用编译步骤来创建此字节码，但不如C语言等语言的编译过程那么广泛。解释器本身是一个栈式机器，在帧（代表执行上下文）内操作数据栈来处理指令。 该解释器处理诸如加载值、执行操作和在代码部分之间跳转之类的指令。即使是一个最小的解释器也展示了这个核心循环。Byterun的优势在于其清晰度，这得益于优先考虑简单性而非速度——它比CPython慢得多，但更容易理解。 一个关键的收获是Python的动态类型；编译器缺乏对数据类型的详细了解，将类型解析和行为推迟到运行时。这与静态类型语言形成对比，并对优化提出了挑战。完整的Byterun实现可在GitHub上找到，为探索Python的内部工作原理提供了宝贵的资源。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
用Python编写的Python解释器 (aosabook.org)
11点 由 xk3 2小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：