CMD FD-4000软驱：将普通PC磁盘变为Commodore 8位机器的3.2MB磁盘
CMD FD-4000软驱具有一项独特功能：可以将常见的1.4MB 3.5英寸PC磁盘转换为容量为3.2MB的ED磁盘，用于Commodore 8位计算机。文章详细介绍了转换过程，包括在磁盘上钻孔、遮盖HD孔、使用CMD软件进行格式化等步骤。作者还分享了他在转换过程中遇到的问题和解决方法，并探讨了不同软驱机制可能导致的转换成功率差异。
阅读更多GitHub - tavinus/pdfScale: 使用 Ghostscript 缩放和调整 PDF 大小的 Bash 脚本
pdfScale 是一个使用 Ghostscript 从命令行缩放和/或调整 PDF 大小的 Bash 脚本。在缩放模式下，PDF 纸张大小不会改变，只是元素被缩放。在调整大小模式下，PDF 纸张将被更改，并将应用适合页面。在混合模式下，PDF 将首先调整大小，然后使用两个 Ghostscript 调用进行缩放。
阅读更多Rhombus 进入集成阶段
Rhombus 编程语言现已正式进入“集成”阶段。仓库已更名为 racket/rhombus， 内容被拆分为多个包。新阶段将专注于构建 Rhombus 库，包括文档。Rhombus Scribble 将用于记录 Rhombus 语言。
阅读更多关于天文意外事件和比邻星“信号”的真相
本文讲述了2019年探测到的疑似比邻星无线电信号BLC1，该信号最初被认为可能来自外星文明，但最终被证实是地球上的无线电干扰。作者强调了在天文观测中保持开放心态的重要性，以及媒体对科学事件的过度渲染现象。文章还介绍了天文学家如何通过排除法和全球合作来识别和解释异常信号，并展望了未来天文观测技术的发展将带来更多惊喜和挑战。
阅读更多新型AI工具可实时换脸，引发诈骗担忧
一款名为Deep-Live-Cam的软件近期在社交媒体上疯传，它可以从一张照片中提取人脸，并将其应用于网络摄像头直播视频中，同时还能跟随网络摄像头中人物的动作、光线和表情进行实时变化。 尽管效果并非完美，但该软件展现了技术的飞速发展，以及远程欺骗行为正变得越来越容易。专家提醒，远程视频诈骗事件可能会随着易于获取的实时深度伪造软件而增多，人们需要提高警惕，谨防受骗。
阅读更多Framework Laptop 13深度解析：配备智能手机技术的笔记本电脑摄像头
Framework Laptop 13搭载全新第二代摄像头模块，采用与智能手机类似的图像传感器技术，显著提升了图像质量。该模块采用Omnivision 9.2MP OV08X传感器，具备背照式（BSI）和像素合并技术，显著提升了低光性能。此外，新模块还配备了5元素f/2.0镜头、更宽的87度视野、AAC降噪麦克风和改进的硬件隐私开关。该模块预装在Framework Laptop 13 (Intel Core Ultra Series 1) 和新款 Ryzen 7040 系列配置中，同时也兼容所有现有的Framework Laptop 13和Framework Laptop 16型号。
阅读更多通过图灵机证明罗塞尔定理
本文介绍了如何用图灵机证明罗塞尔定理，并将其与哥德尔不完备性定理联系起来。作者首先回顾了哥德尔定理，然后解释了罗塞尔定理如何通过引入一个新的句子来解决哥德尔证明中的不对称性。接着，作者提出了一个图灵机版本的罗塞尔定理证明，引入了“一致猜测问题”的概念，并证明了该问题是不可判定的。最后，作者论证了图灵机在证明这些定理中的核心作用，并将其视为理解这些定理的关键。
阅读更多AMD 发布新款 AI 加速器 MI325X，挑战英伟达 H200
AMD 将于今年晚些时候发布新款 AI 加速器 MI325X，该芯片搭载 288GB HBM3e 内存，内存带宽提升至 6TB/s，对标英伟达 H200。与 MI300X 相比，MI325X 主要提升了内存容量和带宽，浮点性能保持不变。尽管 MI325X 在内存容量和带宽上领先 H200，但由于其主要依赖 FP16 精度，而在相同功耗下，H200 在 FP8 精度下能提供更高的性能，因此 AMD 仍面临挑战。
阅读更多
Retronews: 模拟经典新闻阅读器的 HN 和 Lobsters TUI 浏览器
Retronews是一个Python脚本，用于浏览Hacker News和Lobsters的讨论，其界面模仿了经典的新闻组和邮件阅读器，例如slrn和mutt。它主要用于突出显示有趣的帖子并跟踪已读/未读消息，一次只显示一条消息的UI也鼓励用户进行更慢、更专注的阅读。
阅读更多
Plasmo：一款面向开发者的浏览器扩展程序框架
Plasmo 是一款功能强大的浏览器扩展程序 SDK，专为开发者打造，基于 React 和 TypeScript，提供一流的支持。该框架简化了扩展程序开发，让开发者无需再为配置文件和构建过程中的特殊问题而烦恼。Plasmo 提供声明式开发、内容脚本、UI 选项卡页面、实时重新加载、HMR、.env* 文件支持、存储 API、消息传递 API、远程代码捆绑、多浏览器和清单目标定位、自动部署以及对 Svelte 和 Vue 的可选支持等功能。
阅读更多红十字国际委员会为民间黑客制定交战规则
2023年10月4日，红十字国际委员会发布了针对参与冲突的民间黑客的交战规则，这些规则被描述为“网络战的日内瓦公约”。规则包括：不攻击民用目标；不使用恶意软件或其他自动传播并攻击军事和平民目标的工具或技术；尽一切可能避免或尽量减少对平民的影响；不攻击医疗和人道主义设施；不进行任何对民众生存至关重要的或可能释放危险力量的网络攻击；不要以威胁使用暴力来在平民中散布恐怖；不要煽动违反国际人道主义法的行为；即使敌人不遵守，也要遵守这些规则。
阅读更多Spotify无法开源Car Thing的原因是其性能低下
Spotify决定在今年年底前停用Car Thing设备，引发了用户的强烈反对。用户质疑为什么Spotify不能开源硬件，以便用户能够重新利用这些设备，而不是加剧电子垃圾问题。事实上，Car Thing已经在技术上尽可能地开源了，它运行在Linux上，设备的U-boot和Linux内核的源代码在GitHub上公开可用。但由于设备硬件性能低下，搭载的Amlogic处理器、4GB eMMC存储空间和512MB内存不足以运行任何比其预期的轻量级网络媒体播放器更苛刻的程序，任何重大的重新利用几乎毫无意义。
阅读更多Finley Technologies 招聘销售运营人员
Finley Technologies 是一家帮助创新公司获得债务资本以解锁增长的公司，现招聘销售运营人员。该职位负责建立和维护公司的营销和销售基础设施，包括销售自动化、客户管理、数据分析和报告等，以帮助公司实现收入目标。 理想的候选人应具备在B2B SaaS公司从事销售运营的经验，熟悉销售技术工具，具备强大的分析能力和解决问题的能力，并热衷于技术和团队合作。
阅读更多最高法院驳回普渡制药和解方案，该方案原本可以保护萨克勒家族免于诉讼
美国最高法院驳回了备受争议的普渡制药公司破产方案，该方案原本将提供数十亿美元用于解决美国阿片类药物危机，以换取保护拥有该公司的萨克勒家族免于未来的诉讼。法院裁定，美国破产法不允许法院保护萨克勒家族免受未来的阿片类药物诉讼，该家族拥有该公司，并已同意在 18 年内支付高达 60 亿美元的款项作为该计划的一部分。该裁决标志着美国对普渡制药等制药商在引发成瘾和过量流行中的作用进行全国性清算的最新篇章。
阅读更多泄露事件：Facebook合作伙伴吹嘘监听手机麦克风以投放定向广告
Facebook 的营销合作伙伴 Cox Media Group 被曝利用名为“主动聆听”的软件，监听用户手机麦克风并收集对话信息，用于投放定向广告。尽管 CMG 声称这种做法合法，但其行为已引发广泛争议，Google 已将其从合作伙伴计划中移除，Facebook 也在审查其是否违反服务条款。
阅读更多CRDTs 性能优化冒险之旅
文章探讨了如何优化 CRDTs （无冲突复制数据类型）的性能，以实现更快的实时协同编辑。作者首先指出现有 CRDT 库（如 Automerge）的性能瓶颈，主要在于其树形数据结构和过度依赖 Immutable.js。作者介绍了 Yjs 如何利用扁平列表和缓存机制提升性能，并详细解释了其内部机制。最后，作者展示了其用 Rust 开发的 CRDT 库 Diamond Types，通过使用范围树和内存优化，实现了比 Yjs 更高的性能。
阅读更多
悼念Daniel Bristot de Oliveira
文章悼念了英年早逝的计算机科学家Daniel Bristot de Oliveira，他年仅37岁。Daniel是一位专注于实时系统和调度理论的专家，在学术界和Linux内核社区中享有盛誉。他致力于将理论研究应用于现实世界的问题，推动了Linux在实时关键应用领域的成功。他为人谦逊、幽默，乐于与人合作，为Linux内核做出了杰出贡献，例如开发SCHED_DEADLINE调度策略、RTLA和RV工具等。他的离去是社区的巨大损失，但他留下的工作成果和精神将激励后人。
阅读更多用 Pydantic 在 Python 中逼近和类型
文章介绍了如何在 Python 中使用 Pydantic 库来实现和类型。文章首先指出了 Pydantic 在数据验证方面的优势，然后通过一个示例说明了 Pydantic 的局限性，即无法直接表达类似“异或”这样的逻辑关系。为了解决这个问题，文章引入了和类型的概念，并详细讲解了如何使用 Pydantic 的标签联合（tagged union）特性来逼近和类型。文章还讨论了如何使用枚举类型作为标签值、如何设置默认标签值以及如何复用代码等问题。
阅读更多科学家抨击安德鲁·胡伯曼关于大麻的错误信息
在最近的一集播客中，神经科学家安德鲁·胡伯曼声称大麻具有许多益处，包括改善睡眠、缓解疼痛和减少焦虑。然而，他的说法遭到了其他专家的批评，他们认为这些说法没有科学依据。专家们指出，没有证据表明大麻可以改善睡眠或缓解疼痛，而且大量证据表明大麻会增加焦虑。他们还警告说，胡伯曼的言论可能会误导公众，并导致人们使用大麻进行自我治疗某些疾病，而这些疾病可以通过更有效且安全的治疗方法来治疗。
阅读更多Windows：设计上的不安全
本文批评了微软Windows操作系统的安全性问题，指出其设计上的缺陷导致漏洞频发，并举例说明了近期出现的严重安全漏洞。作者还对微软新增的Recall功能表示担忧，认为该功能侵犯用户隐私且存在安全隐患。此外，文章还批评了微软在Windows 11安装过程中强制绑定 OneDrive的行为，认为这是对用户选择权的侵犯。
阅读更多AT&T称黑客窃取了“几乎所有”无线客户的数据
据《华盛顿邮报》报道，美国电信巨头AT&T披露，一名黑客获取并下载了几乎所有AT&T无线客户的通话和短信数据。泄露内容包括2022年5月1日至10月31日期间以及今年1月份的通话和短信记录，包括客户拨打或发送短信的号码以及通话时长，但不包括通信内容。AT&T表示，这些记录似乎并未公开，公司已采取额外措施加强网络安全。
阅读更多Waymo在下棋，特斯拉在下跳棋：自动驾驶领域的技术差距
本文分析了Waymo和特斯拉在自动驾驶技术上的差距。文章认为，Waymo 采取了更为谨慎和渐进的方式，先从简单场景开始逐步提高难度，而特斯拉则过于激进，尚未开始进行无人驾驶测试。作者体验了Waymo和特斯拉的自动驾驶服务，发现Waymo的系统更加成熟，而特斯拉的FSD软件仍然存在明显缺陷。文章预测，特斯拉最终将不得不采用类似Waymo的策略，逐步推广无人驾驶技术，这意味着特斯拉在自动驾驶领域落后Waymo数年。
阅读更多自由和开源软件以及其他市场失灵
本文回顾了自由和开源软件（FOSS）运动的历史，将其起源追溯到20世纪80年代和90年代商业计算市场的失灵。作者认为，FOSS的兴起是对当时 Unix 供应商无法满足客户对价格合理、高质量的 Unix 系统的需求的回应。文章重点介绍了 SSLUG（世界上最大的 Linux 用户组）的兴衰，并将其作为 FOSS 运动如何失去动力的一个例子。作者认为，尽管 FOSS 取得了胜利，但它不再像过去那样是一场革命性的力量。
阅读更多GitHub - narumatt/sqlitefs: sqlite 作为文件系统
sqlite-fs 是一个允许 Linux 和 MacOS 将 sqlite 数据库文件作为普通文件系统挂载的工具。它需要最新的 Rust 编程语言和 libfuse(Linux) 或 osxfuse(MacOS)。用户可以使用 sqlite-fs 命令挂载和卸载文件系统，并执行创建、读取、写入、删除文件和目录等操作。
阅读更多太空鸟类II：宇宙中的鹌鹑
本文讲述了日本鹌鹑作为首批被送上太空的鸟类，在太空探索中扮演着重要角色。文章详细描述了从上世纪70年代末开始，苏联和俄罗斯科学家如何利用鹌鹑蛋研究太空环境对胚胎发育的影响，以及如何克服在微重力环境下孵化和饲养鹌鹑雏鸟的挑战。文章还介绍了斯洛伐克参与到太空鹌鹑实验项目，以及美国宇航局在90年代中期加入该项目后的研究成果。尽管太空环境对鹌鹑的繁殖能力和后代健康造成了一定影响，但这些实验为人类 understanding 生物体在太空环境下的适应性提供了宝贵的数据。
阅读更多Zed Decoded: 为什么不直接嵌入 Neovim？
这篇文章探讨了 Zed 编辑器为何选择构建自己的 Vim 模式，而不是直接嵌入 Neovim。作者详细解释了 Zed 的 Vim 模式提供的功能，包括对各种动作、操作符和计数的支持，以及与 Zed 特有功能的集成。作者还深入探讨了 Zed 和 Vim 在底层架构上的差异，例如字符寻址和换行符处理，这使得直接嵌入 Neovim 变得复杂。文章强调，Zed 的目标是提供高度协作和高性能的文本编辑体验，而直接嵌入 Neovim 会导致代码库重复、开发工作量加倍，并可能影响 Zed 的核心优势。最后，文章还透露了一个有趣的事实：Zed 在测试中使用 Neovim 生成“黄金文件”，用于验证 Zed Vim 模式的行为。
阅读更多