wolfIP是一个专为资源受限的嵌入式系统设计的TCP/IP协议栈，优先考虑零动态内存占用。它以端点模式运行，通过单个网络接口建立连接，并使用类似BSD的非阻塞套接字API和自定义回调函数。 该协议栈支持关键协议，包括IPv4、ICMP、UDP和TCP（具有拥塞控制、SACK和时间戳等功能），以及DHCP和DNS客户端等应用程序，以及利用wolfSSL的HTTP/HTTPS服务器。 一个独特的功能是它的POSIX shim，`libwolfip.so`，允许将标准的套接字调用重定向到wolfIP，以便通过TAP接口使用`nc`和`ping`等工具进行测试。 此外，还提供了一个专用的FreeRTOS移植版本，采用后台任务和互斥锁保护的套接字访问。 wolfIP采用GPLv3许可，为嵌入式应用提供了一种强大且内存高效的网络解决方案。
每日HackerNews RSS
WolfIP：轻量级TCP/IP协议栈，无动态内存分配。
WolfIP: Lightweight TCP/IP stack with no dynamic memory allocations
19 天前
## WolfIP：轻量级TCP/IP协议栈
WolfIP是一个新的、为嵌入式系统设计的TCP/IP协议栈，最近在Hacker News上分享。其关键特性是完全没有动态内存分配，旨在实现稳定性和可预测性。
讨论很快转向了与现有协议栈的比较，例如passt（用于QEMU和Podman容器）、Contiki uIP和lwIP。虽然这些替代方案已经存在，但WolfSSL（WolfIP的创建者）经常提供认证包和支持服务，吸引了需要保证可靠性和减轻责任的项目。他们还提供商业许可选项，以及GPL许可的代码。
一个核心争论集中在动态分配的必要性上。传统的TCP/IP实现由于缓冲而占用大量内存，但固定大小的缓冲区可以在受限的环境中工作。对话还涉及IPv6的持续采用，一些人认为其复杂性超过了其优势，特别是考虑到需要双栈配置和潜在的兼容性问题。最终，WolfIP为资源受限且确定性行为至关重要的设备提供了一种利基解决方案。
Sure.is 是一个 ANSI 艺术作品查看器。 适合比例（安全缩放） 精确宽度 手动 1x 标准 混合（颜色平均） 对角条纹 对角线（其他角度） 垂直线条 水平线条 棋盘/拜耳图案 交叉 人字纹 9×16 8×16 × Sure.is 是一个 ANSI 艺术作品查看器 当前文件 文件大小 × 字符 调色板条目 缩放 1x 查看 SAUCE Esc 键显示选项，空格键切换滚动 .ANS、.BIN 或 .ZIP（艺术包） 在此处拖放 ANSI 艺术文件 选择本地文件 16colo.rs 文件：加载 URL Esc 键显示选项，空格键（或手动滚动）切换自动滚动 -/+ 调整滚动速度 左右箭头（在移动设备上点击左右）用于 .ZIP 文件中的上一项/下一项。
## Sure.is：一个基于Web的ANSI艺术欣赏器
一个新的Web应用程序[sure.is](https://sure.is)允许用户查看和互动ANSI艺术——一种在早期计算机时代流行的数字艺术形式。由lubujackson创建，该欣赏器提供全宽渲染、波特率滚动和可选择文本，旨在重现在旧系统上查看ANSI艺术的体验。
创建者指出像素级完美缩放的技术挑战。用户可以通过（桌面上的“Esc”键）访问选项来调整速度和背景图案。虽然存在移动功能，但由于触摸限制，访问选项菜单比较困难。
用户赞扬了该欣赏器的真实性和拖放ZIP文件支持等功能。改进建议包括一个“显示不可见文本”的切换选项，以及利用现有的SAUCE解析能力，提供不同的颜色模式选项。该项目唤起了那些熟悉BBS系统和早期计算机艺术社区的人们的回忆。
## DDR4 内存初始化：摘要
DDR4 内存在使用前需要一个多阶段的初始化过程。该过程由 JEDEC 定义，包含四个关键阶段：**上电与初始化**、**ZQ 校准**、**Vref DQ 校准**和**读/写训练**。
**上电** 涉及将 DRAM 上线的特定序列，包括施加电源、取消复位以及加载模式寄存器以设置核心运行参数，如频率和 CAS 延迟。 **ZQ 校准** 使用外部参考电阻，将内部数据引脚 (DQ) 电阻微调至 240Ω，以补偿温度和电压引起的差异。 **Vref DQ 校准** 为数据线上的逻辑 0 和 1 建立精确的电压参考，这对于 DDR4 中使用的伪开漏 (POD) 终止方式至关重要。
最后，**读/写训练** 对齐时钟和数据信号，优化时序以实现可靠的数据传输。这涉及诸如写电平均衡、MPR 模式写入、读中心对齐和写中心对齐等算法，以考虑整个系统中的信号传播延迟。
根据应用的不同，可以启用**周期性校准**（ZQ 和读中心对齐）以在不同的运行条件下保持信号完整性。 成功完成这些步骤会将 DRAM 置于运行的空闲状态，准备好进行数据访问。
## DDR4 初始化、训练与校准：概要
一篇Hacker News讨论强调了DDR4（以及早期版本）内存系统初始化、训练和校准的复杂性。现代DDR实现需要广泛的训练过程来补偿制造差异、温度影响和系统噪声——这些问题由于商品DRAM的成本驱动设计而加剧。
早期尝试的设备级训练因环境因素而不可靠。虽然较新的DDR版本*似乎*“更容易”，因为供应商提供的IP和基于固件的训练，但该过程变得更加不透明，并且依赖于控制器内的“黑盒”校准处理器。
训练的必要性源于制造和PCB设计中固有的不精确性，影响信号完整性。这不仅仅是关于廉价组件；即使是昂贵的内存也需要校准来考虑时序偏差和信号特性。
历史上，训练涉及扫描控制器寄存器以找到稳定的工作范围。现代系统越来越多地依赖于连续自适应，类似于PLL，以维持信号完整性。由于专有供应商代码和该过程的复杂性，内存训练的开源固件仍然具有挑战性。
## IPv4x：一段并行的互联网历史 20世纪90年代，IPv4地址即将耗尽引发了关于互联网未来的争论。虽然IPv6提供了使用128位地址的干净解决方案，但完全取代IPv4似乎令人望而却步。一个引人注目的替代方案“IPv4x”提出*扩展* IPv4。 IPv4x通过保留原始的32位头部，将额外的96位添加到数据包主体中来保持兼容性。现有的IPv4路由器会忽略扩展，而支持IPv4x的路由器则利用完整的128位地址。每个现有的IPv4地址自动获得其下方一个巨大的“子空间”。 部署是渐进的和非破坏性的。对DNS和DHCP的更新允许可选的IPv4x支持，麻省理工学院成功的校园范围内的试验证明了其可行性。到2006年，IPv4x已经建立，IANA为其保留了未使用的/8块。 起初受到欢迎，但IPv4x因其促进点对点文件共享而受到音乐产业的强烈反对。然而，其易用性和无缝集成最终胜出。到2026年，IPv4x已成为常态，并促成了像2020年疫情期间轻松的视频会议等创新。 虽然是假设的，但IPv4x场景强调了渐进式演进而非革命性变革的路径。虽然它会保留遗留元素，但它强调了前进动力的重要性——这对于我们现实世界向IPv6的过渡具有借鉴意义。
## 使用任务级规范生成器扩展验证软件工程 这项研究展示了在扩展验证软件工程——通过形式化证明确保代码正确性——方面取得了显著进展，通过引入“任务级规范生成器”。传统上，验证代码需要大量人工投入，随着人工智能快速生成更多代码，这成为一个瓶颈。这种方法将重点从审查单个代码片段转移到为整类任务*一次性*验证正确性规范，并自动将其应用于所有代码库。 研究团队使用“rocq-dove”系统进行了原型设计，该系统用于从Rocq到Lean的验证翻译。将其应用于翻译逻辑基础教材的所有1276个语句，与手动验证相比，速度提高了**350倍**。人工智能自主验证了97%的语句，人工投入集中在仅有的6个“极端”难度案例上。 这一成就表明，验证软件工程的进展速度比预期更快，并且随着人工智能代码生成的增加，可能比未验证的方法*更具*可扩展性。关键在于分摊人工监督成本——一次性定义正确性，而不是为每个代码库重复定义。这项工作突出了在人工智能辅助编程时代扩展可靠性的潜力，并为基于强化学习的软件验证开辟了进一步研究的途径。
## AI辅助形式化验证获得进展
一个名为Lf-lean（theorem.dev）的新项目因利用AI将形式化验证的软件证明从Rocq翻译到Lean证明助手而备受关注。一些评论员指出，这些证明本身并非全新——大量借鉴了Rocq的“逻辑基础”教程——但翻译速度非常显著。
开发者声称速度提升了350倍，完成这项工作仅需大约2人日的工作量，而手动完成预计需要2.75人年。这是通过AI驱动的“任务级别规范生成器”实现的。
潜在影响在于将不同的验证项目（如seL4和CompCert）统一到一个证明系统下，并可能将现有证明扩展到新的架构。然而，一位用户提出了一项隐私问题，指出网站请求了电话权限。这场讨论凸显了AI在自动化和加速复杂的形式化验证软件工程领域日益增长的作用。
Scrt：面向开发者、系统管理员和DevOps的命令行密钥管理器。
Scrt: A CLI secret manager for developers, sysadmins and DevOps
19 天前
scrt 是一个面向开发者、系统管理员和 DevOps 工程师的命令行密钥管理工具。scrt 旨在为命令行用户提供一种安全地存储和检索密钥的方式，同时保留对存储的控制权。警告：本项目目前正在开发中，尚未达到生产就绪状态。请自行承担风险。https://scrt.run/guide Apache 2.0
一个名为Scrt（github.com/loderunner）的新CLI密钥管理器最近在Hacker News上分享，引发了关于它在现有密钥管理工具中的地位的讨论。
许多评论者质疑是否需要另一个解决方案，许多人提倡使用带有Age的SOPS作为更简单、更成熟的替代方案。有些人觉得SOPS本身很复杂，而另一些人则为其可用性辩护。
其他工具也被提及，包括fnox和securestore，后者提供跨语言库。人们对Scrt的近期活动表示担忧——激增被归因于AI——以及其声明的“尚未准备好用于生产”状态。用户询问Scrt与其他众多CLI管理器有什么不同。关于该工具的名称“Scrt”以及与截图工具“scrot”可能混淆的问题也引发了一点讨论。
## 全谱摄影：超越可见光
本文详细介绍了通过移除数码单反相机的内部滤镜，使其能够捕捉全光谱光线——包括紫外线和红外线——的改造结果。由此产生的图像揭示了一个受不同光源强烈影响的隐藏世界。
作者使用改装后的佳能 Rebel T6 照相机和滤镜来隔离波长，展示了红外线如何显著改变场景。白天全谱照片由于太阳的红外线辐射而显得更粉红，而仅红外线拍摄的照片则呈现出黑暗的天空和高度反光的树叶。景观通过减少大气雾霾获得清晰度，但近距离拍摄的树叶则显得更明亮、更透明。
夜晚的效果更为明显，钠蒸汽灯发出强烈的红外线“热点”，并揭示了隐藏的红外线源，如安全摄像头。相反，现代 LED 照明由于其红外线输出微弱，产生的图像几乎与标准摄影相同。
作者计划在未来的文章中探索选择性滤光以获得独特的色彩组合，以及专门的紫外线摄影。最终，这种改造提供了一个迷人的视角，让我们得以窥见塑造我们视觉世界的不可见波长。
## 全谱和红外光谱摄影：总结
这次Hacker News讨论围绕着全谱和红外光谱摄影的挑战和可能性。一个关键问题是，镜头无法将所有波长的光（可见光、红外线、紫外线）聚焦在同一点，导致图像模糊或颜色失真。这是由于“色差”造成的，对于可见光已经得到了很好的校正，但在更宽光谱的镜头设计中常常被忽略。
解决方案从昂贵、专为非色差性能设计的镜头，到使用滤镜（如双通带或红外铬）和后期处理技术来创造性地操纵捕获的光线不等。用户分享了修改相机以进行全谱捕获的经验，并强调了诸如超光谱成像仪等资源，它们能够捕获极其详细的光谱数据。
对话还涉及“全谱”一词的局限性、理解颜色作为一种生物现象的重要性，以及使用红外线作为对比蒙版或创建波长可选择图像等创新成像技术的潜力。最终，这个帖子展示了一个充满激情的社区，探索着超越人类视觉范围的迷人世界。
## 被低估的王国：真菌及其重要作用 真菌对地球上的生命至关重要，但仍然被严重低估和缺乏保护。像濒危的阿加里孔（一种具有强大药用价值的药用蘑菇）这样的物种，由于上个世纪人口下降了70%，现在正被保存在生物库中。尽管全球估计有220万到1200万种真菌物种，但已知只有约15.5万种。 这些“隐藏”的生物是不可或缺的：大约90%的植物依赖于与菌根真菌的共生关系来吸收养分和水分。真菌还充当生态系统工程师，分解有机物，封存碳（估计每年130亿吨），并形成土壤生态系统的基础。 越来越多的科学家认识到真菌的重要性，最近的奖项突出了它们在植物网络和碳循环中的作用。然而，目前只有10%的关键菌根热点受到保护。 一种日益增长的运动倡导在保护工作中更多地纳入真菌，旨在提高它们与植物和动物同等的地位——随着“真菌保护承诺”等倡议的国际推广，这种转变正在获得势头。认识真菌不仅仅是拯救物种，更是理解和保护地球上生命的“基石”。
## 真菌：日益受到重视的关键生命角色
一篇最新文章强调了人们对真菌重要性的认识日益增长，指出它们从根本上塑造了我们的环境，并通过共生关系支撑植物健康——这是免耕农业的关键原则。耕作会破坏土壤中有益的真菌网络，反而有利于细菌。
讨论的中心是未来的蛋白质来源，并对昂贵的动物细胞培养“人造肉”提出了质疑。基因改造真菌提供了一种潜在的、更经济、更可持续的途径来生产动物蛋白，如乳清或蛋清。虽然成本是一个因素，但有人认为避免肉类的社会/道德动机可以证明替代品更高的价格是合理的，尽管更高的成本通常与更大的环境影响相关。
除了食物之外，对话还涉及真菌种类繁多且大部分未知的多样性——估计高达1200万个物种，而目前仅鉴定出15.5万个物种——以及评估未发现物种濒危程度的挑战。讨论还强调了农业思维的转变，从化学肥料转向管理微生物生命，认识到植物可能是一种类似地衣的共生体。
403 禁止访问
## 肠-脑连接与记忆丧失：摘要
一项近期的小鼠研究表明，肠道细菌与记忆恢复之间存在关联。研究人员发现，用特定分子激活迷走神经可以逆转小鼠的年龄相关记忆衰退，可能通过肠道微生物群的影响实现。这建立在现有研究的基础上，这些研究证明了肠-脑连接以及肠道细菌如何影响行为——甚至影响性格，并可能缓解诸如双相情感障碍之类的疾病（正如粪便微生物群移植的零星报告所示）。
讨论的重点是小鼠研究的局限性以及对人体试验的需求。一些评论者分享了个人经验，表明饮食改变（减少酒精、控制烧心、增加纤维）对他们的认知功能产生了积极影响，而另一些人则警告不要过度炒作这些发现。炎症、特定细菌菌株和迷走神经是关键的研究领域。
最终，这场讨论凸显了人们对肠道微生物群对大脑健康的深刻影响的认识日益加深，但仍需要进一步的研究才能将这些发现应用于人类。