跳到主要内容

11

2023 年 4 月 11 日​

微软修复了 5 年的 Defender 漏洞，将 Firefox 相关的 CPU 使用量减少了 75%。​

原文。 对不起，给定的文本与文章的标题或主题无关。你能提供正确的文本吗？

Discussion Service。 微软修复了一个 5 年前的 Defender 错误，减少了 Firefox 的 CPU 使用。反病毒产品造成了类似但不太严重的 CPU 影响。讨论了优化小东西与二氧化碳足迹的问题。Discussion Service 用户讨论了网络浏览器的能源效率、广告拦截器、Windows 上的浏览器兼容性。在 Firefox 上关闭 YouTube 的 "环境模式 "可以在 Mac 上节省 30%的 CPU。讨论 Mac 与 Linux 的故障排除。对 Firefox 与 Chrome 相比产生的高 CPU 使用率的批评和建议。在 PowerShell 操作中注意到 ETW 错误和 Defender 性能下降。

不断扩大的空间站第 796 层的生活动画​

原创。 一个不断扩大的动画展示了一个空间站第 796 层的生活，已经被创建。该项目被命名为 Floor796，由一名艺术家和程序员制作，是对空间站日常生活的虚构概述。该动画涵盖了诸如耕作、娱乐活动和科学实验等领域。创作者希望该项目能够激励和鼓励后代探索太空，促进对未来更加乐观和积极的看法。

Discussion Service。 一部手绘的开源空间站动画因其对流行文化的引用而获得病毒式的关注。一位 Discussion Service 用户注意到历史上的俄罗斯典故。这个动画项目是一个独立的努力，避免了对框架和依赖性的过度使用。用户提出了改进建议，但也有人为艺术家的创造力辩护。使用的动画编辑器被推荐为一个有用的工具。

活生生的大脑雾死的夜晚或我如何通过开放源码把自己黑得更好​

原创。 一位博主分享了他们在尝试了各种睡眠卫生 "黑客 "和被开了 CPAP 之后，使用开源软件来管理严重的睡眠呼吸暂停的历程。他们发现了一个使用开源 OSCAR 软件的在线社区，以深入了解睡眠指标，并购买了一个能以正确格式输出数据的设备。另一位博主推荐了自适应伺服通风器(ASV)作为治疗中枢性睡眠呼吸暂停的更有效方法，通过恢复呼吸模式和健康的血液含氧量看到了积极的结果。作者鼓励其他人对未诊断的睡眠呼吸暂停寻求治疗。

Discussion Service。 一个人解决健康问题的过程突出了对健康负责的需要，而不是仅仅依靠传统的医疗系统。Discussion Service 用户讨论了围绕医疗系统坚持已证实的治疗方法和不愿意采用新方法的问题和障碍。患者不应完全依赖未经证实的治疗方法，而应结合传统护理。用户讨论了不同行业之间可接受的风险程度，以及开放医疗设备和数据获取的重要性。一些用户报告了各种睡眠补救措施和方法的混合结果。帖子讨论了 "脑雾 "的潜在原因以及开放医疗设备和知识的重要性。讨论了 CPAP 治疗的积极经验的个人叙述和 CPAP 的替代品。还讨论了回顾健康跟踪设备的 YouTube 频道和获得医疗护理和睡眠研究的困难。诊断和治疗睡眠窒息症可能是一个漫长而昂贵的过程。舌头姿势练习和个人恢复方法可能有助于控制症状。

原创。 Dmitry.GR 的 rePalm 项目是 PalmOS 的一个新的模拟器，涵盖了虚拟 SD 卡支持、ARM 指令翻译等主题。开发者分享了关于硬件限制和克服这些限制的见解，并提供了一个在发现板上运行的 PalmOS 5.2.8 的预览图像。未来的计划包括实现 BT、WiFi、USB，以及调试 NVFS。对 rePalm 的更新包括对 reSpring 硬件 v1.3.0.0 的修复和 mic/Zodiac 支持。对于那些对过去设备的硬件限制感兴趣的人来说，这是一个技术读物。

Discussion Service。 Hacker News 上的一篇新文章讨论了 RePalm 和 Palm 设备，用户引用了他们使用这些设备的具体方法，有些人则质疑他们的继续使用。一些用户建议在编码中使用脑筋急转弯来保持注意力，而另一些人则回忆起非智能手机 PDA 的独特功能。专家们分析了导致 PalmOS 消亡的因素，包括设计上的错误和技术上的弱点，同时讨论了科技项目的缓慢进展和渐进式成就的价值。用户对像 Palm 这样的复古科技设备表示怀念，并在新技术出现的情况下继续使用它们。一位用户正在开发 PalmOS 的现代版本，一些用户认为开发类似的技术比一般的编码工作更具挑战性。

有效的间隔重复​

原创。 一篇关于间隔重复对记忆任何东西的有效性的文章强调了遵循写闪卡规则的重要性，包括先理解、诚实、重复、按来源组织、写原子闪卡和以多种方式提出问题。限制性因素包括习惯的形成和写作技巧。为了保留信息，应该以自上而下和自下而上的方向提问，并将大的闪卡分解成小的闪卡。该帖子提供了用于记忆的闪卡和脚本，并鼓励自动化。Anki 的笔记类型和 Mochi 缺乏这一功能是主要的焦点，强调闪卡中清晰的概念、原子性、简单性和冗长性。作者邀请为编写编译器提供工作。

Discussion Service。 一篇关于有效间隔重复的文章促使 Hacker News 上的用户分享他们的经验并提供替代工具。用户提供了有效使用 Anki 的技巧，并讨论了在不同领域利用间隔重复的方法。一些用户寻求使用 SRS 和闪卡来记忆特定科目的建议。有些人认为预制的闪卡不太有效，有些人则开发了自动化工具。有人强调 Anki 统计中回忆率的重要性，也有人提出闪卡中包含太多的信息的风险。注意到共享卡片对医学院学生的有效性，并建议使用不妨碍阅读的字体。还讨论了阅读障碍和部分阅读障碍的问题。

美国最大的电动车电池回收厂开始营业了​

原创。 Ascend Elements 公司在乔治亚州科文顿开设了北美最大的电动车(EV)电池回收厂，该厂每年可处理 3 万公吨废旧锂离子电池。回收设施可用于经济有效地回收和重新利用电动车电池，这可以提供新的电池材料，而不需要新开采的费用和环境影响。美国政府力图使该国更有能力为自己提供电池，这将是交通电气化和电网去碳化不可或缺的。其他回收初创企业，如 Redwood Materials 和 Li-Cycle，也加入了这一努力。

Discussion Service。 美国最大的电动车电池回收厂正在运行，为生产新材料创造了一个更可持续的替代方案。Discussion Service 用户询问了回收过程、劳动力成本以及在第二生命期的固定存储系统中更换电池的可能性。评论讨论了运行 20 节车厢的列车的可行性，交通系统的经济效益，以及锂回收的现状。专家们对电动车电池的寿命和电池技术的进步进行了反思，而 Li-Cycle 的独特回收过程则提出了关于可扩展性和副产品价值的问题。

FTX 以明文方式存储加密资产的私钥，没有访问控制​

Original. 根据 ZenGo 的一份报告，加密货币交易所 FTX 一直以明文形式保存用户的私钥，没有访问控制。这意味着进入 FTX 数据库的攻击者可以轻易窃取用户的私钥，并获取他们的资金。ZenGo 将这一问题通知了 FTX，该交易所后来修复了这一问题。这一事件强调了妥善保护私钥的重要性，因为访问和管理加密资产需要私钥。这也提醒我们，即使是成熟的交易所也可能存在漏洞，使用户的资产面临风险。

Discussion Service。 加密货币交易所 FTX 以明文形式存储私钥，引起了人们对安全的担忧。Discussion Service 用户建议 FTX 使用非对称加密，并对传统的银行系统提出质疑。关于在政府控制之外使用加密货币和平等适用法律的争论。FTX 的安全协议受到批评；专家建议采用热钱包和冷钱包。FTX 高管被没收的笔记本电脑显示，共享的谷歌硬盘中存在明文私钥。该事件引发了对风险管理和软件工程师许可要求的质疑。指责 FTX 窃取客户资金。

我在 408 天内修复了我的汽车上的寄生虫排水系统​

原创。 一位车主分享了他们修复 2013 年马自达 3 掀背车上持续的寄生电池耗电的经验，他们花了 408 天时间来诊断和修复。这个问题导致电池在几小时或几天内自行耗尽，通过测量车内保险丝上的电压，找到汽车关闭时耗电的部件来诊断。车主断开了钥匙扣电脑系统的连接，以阻止电池耗尽，这很可能是故障，使系统(如变速器电脑)无休止地错误开启。车主警告说，这个问题是间歇性的，甚至在更换了两次电池后也出现了这个问题，并建议在没有确保车门关闭锁住的情况下，不要进行任何实验来寻找寄生虫的存在。

Discussion Service。 一位 Hacker News 用户解决了因车门半闭而导致的汽车电池寄生性耗电问题，其他人也分享了类似的经验。修理电子问题的专业性对机械师来说可能是有益的，但这是一个低商业价值。讨论涉及在不使用期间维护汽车电池，排除电气问题，以及与汽车维护有关的实用技巧和经验。一些用户对现代汽车的复杂性和电子元件表示失望，因为这些元件的维修具有挑战性，而且价格昂贵。用户提供了实用的解决方案，长期的可持续性，以及可步行城市的替代交通。

如何开始焊接工作​

原文。 焊接是一种负担得起的爱好和有用的技能，最好的提示是把烙铁弄热，同时避免融化元件。这个过程，即镀锡，包括在被焊接的导线和焊盘上添加焊料。练习是关键，但错误不会对被焊接的电子产品造成损害。

Discussion Service。 Hacker News 的用户就焊接时是用便宜的还是昂贵的工具开始进行辩论，一些人建议采用 Adam Savage 的 "先买便宜的 "规则，而专业人士则建议将一些工具作为消耗品。专家建议购买最便宜的工具来完成工作，并根据需要投资于高质量的工具。他们告诫不要使用廉价的替代品，而建议使用值得信赖的品牌。提示包括使用助焊剂和避免使用无铅焊料，良好的通风和废物处理是必不可少的。用户建议投资高质量的烙铁、Chipquik 助焊剂和镀金尖。需要有实用的技能和推广更好的产品。

教 ChatGPT 说我儿子发明的语言​

原创。 一对父子通过聊天机器人技术教电脑学习独特的 Kłeti 语言，展示了技术在使科幻小说成为现实方面的进步。这种语言有自己的字母表和 SOV 词序，这使得副词和粒子的使用对于完善聊天机器人的理解至关重要。使用 ChatGPT 将英语翻译成 Kłeti 的实验结果是部分正确的翻译和 12 分中的 6.5 分，展示了人工智能语言翻译在未来的潜力。作者希望人工智能语言翻译技术的进步能带来实质性的好处。

Discussion Service。 Discussion Service 用户讨论了 ChatGPT 的语境中学习和灵活性，同时强调了局限性和能力；微软可能会利用人类反馈的循环。专家们质疑 ChatGPT 对语言的理解以及对情感和游戏的限制。GPT-4 在语言学习和符号处理方面显示出潜力。用户报告了 ChatGPT 和 GPT-4 在各种任务中的混合结果。

疯狂杂志的折页之王 Al Jaffee 去世了​

原文。 对不起，没有文字可以总结，因为已经给出了参考文献。请提供要总结的文本内容。

Discussion Service。 艾尔-贾菲，《疯狂杂志》的传奇人物和折页的创造者，于 99 岁去世。许多人哀悼，缅怀他对批判性思维和幽默的影响。一些人注意到为了做折页而毁坏杂志的问题。粉丝们回忆起对说明书的理解和唐纳德-克努斯在《疯狂杂志》上的发表。贾菲对流行文化的影响是广泛的，并在全球范围内受到赞赏。

X86 上地狱不灭：超空间的故事，继续，某种程度上​

原文。 惠普用一个基于 Hyperspace 的新版本取代了他们的即用型 Linux QuickWeb。QuickWeb 在他们所有的机器上使用了好几年。惠普笔记本电脑有一个单独的按钮，QuickLook，可以启动一个电子邮件和日历应用程序。然而，该应用程序依赖于一个 Outlook 插件，并不直接访问 Outlook 数据文件。惠普利用 SMM 实现了应该是不可能的事情。戴尔和主板供应商无法提供标准化组件以外的功能。惠普努力使其产品差异化，并提供 "高管人员的功能"。一位技术支持人员使用 Linux 的 efibootmgr 命令创建了一个外壳，以便在系统故障时方便使用。大多数 PC 主板都有独特的东西，但这些功能可能只适用于小众用户。文章强调了用户在技术方面令人沮丧的经历，包括惠普有问题的 GPU 风扇等。

Discussion Service。 文章讨论了编写 UEFI 应用程序的复杂性和 BIOS 对睡眠行为的处理。一些用户反驳了作者的论断。笔记本 OEM 厂商通过预先定义的 WMI ACPI 调用来展示有价值的功能。有些人认为 Windows 很臃肿，EFI 环境与 32/64 位 MS-DOS 有模糊的相似之处。x86 电脑的启动过程仍然很慢。笔记本电脑上的电容式按钮被错过。惠普设计了一个没有自己的调度程序的操作系统，在运行时被加载到 TE 中。一些 Discussion Service 用户争论这到底是一个管理程序还是一个中断处理程序。该帖子引起了不同的反应。

我们需要谈谈 Vercel​

原文。 最近关于 Vercel 的讨论强调了它比 AWS Lambda 高的价格，令人惊讶的失控成本，以及其内容交付网络产品的技术缺陷。虽然 Vercel 的增值对一些人来说可能是值得的，但它缺乏对技术问题的支持和回应令人担忧。Vercel 的 CDN 混淆了 Cache-Control 头，不尊重广告中的配置值。前线支持的回应对问题不屑一顾，而 Vercel 的首席执行官为这种行为辩护，认为这是保护用户的需要。与 Vercel 相比，AWS 对客户成功进行了大量投资。因此，作者将离开 Vercel。

Discussion Service。 对 Vercel 的调查引起了对其客户服务、定价和扩展问题的关注，建议使用 GitHub Actions、DigitalOcean 和 Cloudflare 等替代供应商。有人对欺骗性的信息传递、不充分的文档和糟糕的响应时间提出了批评。一些 Next.js 用户就服务器端渲染与静态网站生成展开辩论，对 Vercel 的设计和不提供规范提出批评。对 Vercel 的定价、商业行为和计费方式也提出了批评，并建议使用更便宜的替代品，如 BunnyCDN 或 R2。尽管 Vercel 在营销方面做出了努力，但他们的支持却受到了批评。一些人称赞他们的开发者经验和按分支机构部署的做法。

Dashcam 镜头显示无人驾驶汽车堵塞了旧金山​

原创。 自 2022 年 9 月以来，包括 Waymo 和通用汽车公司的 Cruise 在内的自动驾驶汽车公司已经给旧金山的公共汽车、火车和乘客造成了延误和潜在的危险，其中 92 次非计划性停车造成了严重的交通延误。尽管试图在旧金山的街道上增加更多的机器人轴，但市政府官员对自动驾驶车辆造成的混乱上升表示担忧，并敦促在授权运营之前必须在解决故障方面取得进展。旧金山交通倡导者提出了一些措施，如建立交通专用车道和对造成延误的公司进行罚款，以减少自动驾驶车辆的影响。旧金山市交通局正在与自动驾驶汽车公司讨论，以尽量减少干扰。

Discussion Service。 仪表盘录像显示，无人驾驶汽车在旧金山造成交通拥堵。一些人担心拥堵费，而另一些人则认为新的基础设施和大众交通有潜力。对不可预见的情况和过多的空车堵塞街道的担忧是存在的；然而，自动驾驶汽车可以减少停车费和成本，并消除汽车所有权。存在诸如充电站和通过定价和法规限制拥堵的解决方案。自动驾驶汽车对公共交通、城市密度、住房、停车和劳动力市场的潜在影响存在争议。怀疑是存在的，但可能性是耐人寻味的。自动驾驶汽车可能会导致车队而不是个人拥有，优化使用并变得具有成本效益。自动驾驶技术可能会改善公共交通，减少排放，但也存在潜在的弊端。实时交通管理、减少污染和更便宜的交通似乎很有希望，需要更安全和更有效的交通系统。旧金山官员指责无人驾驶汽车造成了拥堵，但专家们却声称不是这样。这篇文章强调了公交车规则和无人驾驶技术一样的问题。

OpenBSD 7.3​

原创。 OpenBSD 7.3 版本具有内核改进、系统更新、解锁的 mmap 和硬件支持等功能。OpenBSD 还引入了各种缓解技术和对网络堆栈的修改，以防止崩溃和提高性能。该版本包括各种用户区功能、错误修复和安全改进，如防止内存读取和只执行的二进制文件。此外，还增加、改进或重做了新的驱动程序。该更新还包括对 nc、LibreSSL 3.7.2 版以及 OpenSSH 9.3 和 9.2 的改进。该版本提供了对动态远程端口转发的支持，以及针对不同架构的预建包。邮件 listports@openbsd.org 为用户提供了更多信息。

Discussion Service. OpenBSD 7.3 发布，具有更好的错误检测功能，可以作为 NAS/路由器/家庭服务器使用；修复了 Unix 编辑器。根据 Discussion Service 用户的说法，OpenBSD 可能比 Linux 更优秀。OpenBSD 缺乏.NET, Mono 寻求 BSD 支持.OpenBSD 的数据包过滤是线程化的，适度的硬件可以做 1G 的路由+PF+VLAN。没有蓝牙支持, ENA 驱动缺失, Theo DeRaat 讨论了 OpenBSD 的发布过程.

通过 Telegram 和语音信息使用 OpenAI 的 ChatGPT 的个人管家​

原创。 一个新的 Telegram 机器人，利用 OpenAI 的 ChatGPT、LangchainJS、OpenAI 的 Whisper API 和 Play.ht，可以通过语音和聊天提供个性化的管家服务。要使用，用户必须获得 Telegram 机器人令牌和 OpenAI API 密钥，然后按照 GitHub 上列出的步骤操作。对于那些寻找免提助理服务的人来说，这个机器人是一个新的、令人兴奋的发展，并在 Twitter 和 Hacker News 等社交媒体网站上获得了关注。

Discussion Service。 一个使用 ChatGPT 的个人管家在 Hacker News 上获得了关注，导致了关于有效性、价格和潜在用途的讨论。用户对用人工智能提高生产力很感兴趣，但对数据存储和高成本有担忧。ChatGPT 和类似的技术正在被整合到更多的项目中，但也有隐私问题。OpenAI 澄清了其数据保留政策，并寻求在使用消费者产品时保护数据。

EditAnything: Segment Anything + ControlNet + BLIP2 + Stable Diffusion​

原文。 正在进行的项目，Edit Anything，利用 Segment Anything、ControlNet、BLIP2、Stable Diffusion 等来 "编辑和生成任何东西 "的图像，重点是有趣的贡献和建议。其特点包括用预先训练好的 ControlNet 和与类别无关的 SAM 掩码进行细粒度控制，以及 BLIP2 文本无指导控制。正在进行的目标包括增加图像编辑的互动控制和 chatGPT 引导的图像编辑。有兴趣的人可以按照所提供的设置说明创建一个环境，训练他们自己的模型，或者利用现有的预训练模型。该项目是基于其他几个令人难以置信的项目，创作者对此表示感谢。

Discussion Service。 EditAnything "使用 Segment Anything、ControlNet、BLIP2 和 Stable Diffusion。Discussion Service 用户希望得到 ELI5 的解释。Segment Anything 由于其准确性而令人印象深刻。图像分割令人印象深刻。ControlNet 提供了新的条件，数据集，没有灾难性的遗忘。数据集是由人类和自动生成的。实例并没有给一些人留下深刻印象。Segment Anything 在抽象的图像上准确地工作。用户赞扬了这项技术。对训练/微调代码进行了讨论。

Generative Agents：人类行为的互动模拟​

原文。 研究人员介绍了 "生成代理"，这是一种模拟可信的人类行为的计算软件代理，使用的架构是扩展大型语言模型来存储代理使用自然语言的经验的完整记录，随着时间的推移将这些记忆综合为更高层次的反映，并动态地检索它们来计划行为。在一次评估中，这些生成性代理在受《模拟人生》启发的互动沙盒环境中产生了可信的个人和突发的社会行为。该研究介绍了用于实现可信的人类行为模拟的架构和交互模式。

Discussion Service. 生成性代理：人类行为的交互式模拟 "的论文获得了 Discussion Service 对行为减少和机器人编程的关注。讨论包括 "内心的声音 "和深度智能对环境的依赖性。引用了语言模型的局限性，重点是控制的高级算法。谷歌的 "梦想家 "人工智能引发了关于道德决策的辩论。人工智能实验在一个小镇上模拟由 LLM 驱动的代理，重点是记忆和个性发展，需要昂贵的模拟。

1518 年的舞蹈瘟疫​

原创。 1518 年，阿尔萨斯州斯特拉斯堡的一群 50-400 人在一名妇女开始在街上跳舞后，开始连续数周跳舞，但该现象的原因不明。历史资料将这一事件描述为舞蹈狂热症，而现代理论则认为是压力引起的集体歇斯底里症或麦角真菌引起的食物中毒。对于瘟疫是否导致死亡存在争议，一些资料称在瘟疫爆发期间每天约有 15 人死亡。舞蹈瘟疫激发了流行文化作品，包括佛罗伦萨和机器乐队的一首歌。

Discussion Service。 1518 年的舞蹈瘟疫涉及无法控制的舞蹈，可能有医疗和社会因素。历史上类似的失控舞蹈可能是由于大规模的精神疾病造成的。现代医学正在努力解释这种现象。评论讨论了历史上对 "舞蹈 "的提及，并推测了疾病的原因。文章提供了一个链接，以刺激智力的历史事件。

美国人的智商分数迅速下降，证明了 "逆向弗林效应​

原文。 西北大学的新研究表明，美国人的智商分数在经历了几十年的稳定增长后，正在下降，这被称为'弗林效应'。这项研究检查了 2006 年至 2018 年的情报数据，发现四个 "认知领域 "中的三个--言语推理、矩阵推理以及字母和数字系列--的分数在下降。然而，空间推理(被称为三维旋转)的分数呈现出上升趋势。研究人员不确定这一趋势背后的原因，但认为这可能是社会价值观的转变，STEM 教育的影响，或对某些领域的调查兴趣下降。

Discussion Service。 美国人的智商分数正在下降，表明 "反向弗林效应"。智商分数的年度变化可能指出了测量有效性的问题。Discussion Service 用户对智商测试的原始分数是否可以跨越时间和测试进行比较进行了辩论。人文学科的学者们在努力定义批判性思维，学校里的教学也在转变。评论区正在讨论智商的遗传性，一些用户指出，遗传性并不一定意味着遗传或生物因素在起作用。专家们就智商在社会和人工智能研究中的作用展开辩论。发达国家的智商分数自 1970 年代以来有所下降，可能的因素包括电子游戏和收入不平等。帖子的评论中没有明确的中心议题或重要的新信息。

使用 RP2040 PIO 来驱动设计不良的 displa​

原创。 Dmitry.GR 为一个支持多种模式和触摸屏的显示器开发了一个带有 RP2040 PIO 的无 CPU 驱动。然而，该显示器的设计很差，而且样本代码很有挑战性。尽管有一些限制，但触摸数据可以被复制到内存中进一步使用。一篇文章讨论了使用显示控制器的不同模式、DMA 和 PIO 机械，以及 DMA 链问题。由于噪音和不适当的采样，以及与 SD 卡共享 SPI 总线，触摸显示带来了挑战。该设置涉及到使用 GPIO 的位挂式 SPI，并有显示功能的 API，有 BSD 2-clause 授权代码可供下载和修改。

Discussion Service。 一位 Discussion Service 用户分享了如何使用 RP2040 PIO 在同一 SPI 总线上驱动一个设计不良的显示器与触摸。其他人讨论了时间分辨率、超采样和 DMA。该帖子提供了独特的技术细节和一个老问题的新解决方案。PIO 可以通过有效利用 CPU 创造性地管理各种外围硬件资源。评论中讨论了 RP2040 的超频，并提出了替代屏幕和 MCU 的建议。

Hacker News 排名算法​

原创。 作者为 Hacker News(Discussion Service)提出了一种替代性的排名算法，目前的算法只考虑一个链接的加注数，但新算法也考虑评论的加注数。拟议的算法利用 PageRank 和旗帜惩罚来促进健康的讨论和具有较高 HackerRank 分数的资料。其主要思想是，不仅根据链接的受欢迎程度，而且根据讨论的质量对帖子进行排名。作者邀请读者分享他们关于如何设计 Discussion Service 算法的想法。

Discussion Service。 用户讨论了 Hacker News 排名算法和 PageRank 的利弊，提出了新的衡量标准和个性化的 PageRank，提醒人们注意潜在的操纵行为，并提出了双线图。一些用户质疑排名/投票系统的必要性，建议优先考虑高质量和受欢迎的评论。加分按钮的模棱两可表明了质量和一致性的两个维度。一些用户指出了评论排名的缺点，并讨论了如何检测/管理被操纵的帖子。文章警告说，不要将其政治化，并鼓励好奇心；Discussion Service 最好保持不变。

关闭核电可能增加空气污染：研究报告​

原文。 麻省理工学院的研究人员警告说，关闭美国核电站可能会使空气污染增加 5000 多人死亡。污染的增加将是由于煤炭、石油和天然气被替代使用。然而，取代核电站的可再生能源可能会减少与污染有关的死亡。黑人社区将最容易受到污染增加的影响，因为这些群体往往生活在离化石燃料工厂更近的地方。麻省理工学院的研究表明，在关于关闭核电站的对话中，空气质量问题还没有得到充分解决。

Discussion Service。 麻省理工学院的一项研究显示，关闭核电站可能导致空气污染加剧。黑客新闻的评论员对核电造成的空气污染的程度和性质存在分歧，将美国与其他国家进行比较。对核电的看法两极分化，对放射性污染、监管和安全都有担忧，但有些人认为核电是比化石燃料更清洁、更有效的选择。有必要对可再生能源和长期能源战略进行投资。讨论了核聚变的潜力，并对中国对太阳能供应链的严重依赖表示关切。

苹果公司的个人电脑出货量暴跌是主要电脑制造商中最陡峭的。​

原文。 由于需求不振和全行业供应过剩，苹果公司的个人电脑出货量经历了 40.5%的下降，是 2000 年以来最大的一次。这种下降导致主要品牌的个人电脑出货量整体下滑 29%，因为大流行病的限制导致的远程工作需求激增有所缓解。联想和戴尔的跌幅超过 30%，没有一个主要品牌能在经济放缓中幸免。COVID-19 疫苗的推广和远程工作趋势的下降可能会促进个人电脑的转移，但这一趋势是否会长期持续，目前还不清楚。

Discussion Service。 苹果公司经历了个人电脑出货量的大幅下降，但在大流行期间对 M1 型号的需求激增。M1 机型的性能增长是渐进式的，Air 显示出最明显的跳跃。用户不愿意升级，因为 M1 机型的电池寿命更长，而且暂时不需要升级。Mac 出货量增加，而一些人仍然使用 2016 年以前的机型或修补 Catalina。焊接的内存提升了性能，而焊接的存储是对存储空间的一种限制。刺激性支票与 Macbook 销售的跳跃相关。鉴于经济和技术因素，对是否升级和使用苹果产品的意见不一。MacBooks 的定价政策被批评为过于昂贵。MacBooks 因寿命长而受到称赞，Asahi Linux 是那些喜欢以工作为导向的操作系统的人的最佳选择。

如果你筹集了风险资本，你就得给自己付钱​

原文。 这不是总结的正确文本，因为它只是一个错误信息。不需要总结。

Discussion Service。 Discussion Service 用户讨论了风险资本融资后的创始人工资。建议根据收入增长情况实行渐进式薪酬制度。非创始人的员工可能不会像成熟公司那样从股权中获益。建议将合作公司作为分享回报的一种方式。一些员工高估了初创企业的股权价值。创业公司首席执行官建议给自己足够的报酬，以便专注于业务增长。鼓励创始人向员工支付更接近市场价格的薪酬。很难在公司财务稳定和合理报酬之间取得平衡。公平地支付自己的工资是必须做的，但启动一个盈利的自筹企业是有风险的。创始人应该通过支付类似于受薪雇员的工资来避免倦怠。对于风险资本，建议谨慎行事。如果工资不会过度消耗公司资金，创始人应该得到慷慨的补偿。讨论报酬和创业投资方面的个人经验。科技行业的员工应该专注于获得最适合他们的东西。

基西米河已经恢复了生机，野生动物正在茁壮成长​

原文。 佛罗里达州的基西米河在被改道为一条笔直的运河几十年后，已经恢复了自然状态，这带来了一系列的野生动物。这条河蜿蜒的洪泛区曾经有季节性的湿地，有大量的生命，但在 20 世纪 40 年代被陆军工程兵团改造成运河和水路网络。然而，此后它被恢复到原来的形式，其各种鸟类、哺乳动物和鱼类物种正在缓慢但肯定地回归。

Discussion Service。 基西米河经历了成本高昂的成功修复，野生动物茁壮成长。网友推荐《黑豹之路》纪录片。州长德桑蒂斯因环境和气候变化方面的政策而受到批评。尽管有天然气发电，但佛罗里达州将水和湿地管理放在首位。佛罗里达州的核电损失令选民警惕。FPL 被抓到从事不道德的政治行为。财富处于弱势的一半，资源匮乏。佛罗里达州的税收收入。预算分配问题。环保局政策向大企业倾斜。排水土地的成本效益不明。

使用 GitHub 行动使你的 GitHub 档案充满活力​

原文。 GitHub 用户可以使用 GitHub Actions 使自己的档案动态化，方法是创建一个包含所需档案信息的 README.md 文件的仓库，为动态内容添加文件夹，并为从网站刮取数据的脚本添加一个新的子文件夹，并在 README.md 文件中进行修改；档案的内容可以通过访问 github。com/[用户名]的网页浏览器中找到，仓库是简介页面的源头；为工作流新建的子文件夹被安装到根目录下的[工作流]中，并设置时间表，每周运行一次脚本；用户可以使用不同的语言，包括 Ruby、TypeScript、JavaScript 和 Python 来制作动态简介；这种技术增强了个人的 GitHub 简介，使其成为更动态和不断变化的例子。

Discussion Service。 Hacker News 的一篇文章讨论了通过 GitHub Actions 的动态 GitHub 配置文件。评论从怀疑到赞美不一。

半年来我对形式化方法的认识​

原创。 作者分享了他们学习形式化方法和使用数学技术来验证软件属性的经验。文章讨论了形式化方法的优点，包括 Alloy 和 Forge 这样的轻量级方法，并提供了一个使用 Alloy 来检查文件系统实现的例子。它探讨了证明助手的不同方法，如 Lean，以及使用它们的好处和坏处。文章还讨论了编程语言语义和与软件验证有关的数学中的细化的含义，展示了作者对 Lean 的了解和使用。此外，作者还解释了形式化方法的概念，并概述了适用于高层和低层系统的验证技术。该帖子可能会引起编程和计算机科学专家的兴趣。

Discussion Service。 一个 Discussion Service 用户分享了他们对形式化方法的学习，评论者提供了他们的经验和意见。推荐 Frama-C 和 SPARK，以及 TLA+用于快速入门。形式化方法对验证硬件很有用，但对大多数软件来说是小众的。契约测试和数据流分析有助于防止启动中的错误。像 ChatGPT 这样的人工智能系统可以根据系统要求验证代码。数学符号比形式化证明中的自然语言表达更有效。知识民主化在科技行业是至关重要的。

开源 LLM 用于商业用途？​

一位 Discussion Service 用户问，他们是否可以合法地将一个开源的 LLM 工具用于商业用途。一些用户建议检查该工具的具体许可证。其他用户建议联系律师或使用有商业许可的替代工具。一位用户指出，在某些许可证下，将开放源码用于商业目的是可能的，但必须遵守许可证的条款。

Discussion Service。 一位 Discussion Service 用户为他们的 ML 项目寻找商业化的开源 LLM。Flan 模型的表现比 GPT-3/4 略差。其他开源模型可用，但训练费用很高。Nvidia 预计将发布 LLM 的初始基础模型。公司可以发布基础模型，但真正的价值在 5-10 层以上。OpenAI 不使用客户数据来训练模型，但有些公司需要保密。机器学习模型可能没有知识产权保护。BERT 和 opt 系列等 GPT 替代品可以廉价地进行微调。GPT4all 团队致力于训练 GPT-J 作为一个开放的替代品。对 LLMs 的问责制存在担忧。

浏览器中可缩放的动画散点图，规模超过 10 亿点​

原文。 Deep Scatterplots for the Web 是一个不断发展的库，使用 Apache Arrow feather格式和 WebGL 高性能地显示大量数据。该库还在 GPU 上处理大多数的图形语法转换，允许使用平行计算的内插转换。这些例子包括来自 arxiv.com 的 100 多万份文件以及 2010 年和 2020 年美国人口普查中的每个人，等等。该库在完全静态的设置中运行，可以托管在 Github 页面上。API 模仿 Vega-Lite，该库提供抖动方法，如圆形、螺旋形和时间。

Discussion Service。 Nomic AI 的可缩放动画散点图通过 webGPU 在浏览器中缩放超过 10 亿个点，GitHub 问题受到欢迎；但是，背景图可能并不总是准确的，Highcharts 也有类似的模块，但点数较少。Nomic AI 也发布了 gpt4all，像 GRAPE 和 nodevectors 这样的库可以在规模上产生更好的嵌入结果。可视化爱好者可能对 Galapix、Pix-image-viewer 和 GGVec 感兴趣，但在移动设备上可能会出现渲染问题。