QNX 发布了面向非商业用途的免费 QNX 软件开发平台 8.0 (SDP 8.0)。无论是爱好者、学生还是行业专业人士，都可以免费访问 QNX SDP 8.0、实用工具、培训和不断发展的社区，用于构建嵌入式系统项目。QNX SDP 8.0 是一款面向下一代芯片系统（SoC）的基础开发平台，具有前瞻性架构，旨在利用未来的芯片进步。此外，QNX 还提供简化的访问流程、活跃的开发者社区以及对开源组件的内置支持。
阅读更多
Diagrams是一个允许用户使用Python代码绘制云系统架构图的工具，主要用于在没有设计工具的情况下对新系统架构进行原型设计，也可用于描述或可视化现有系统架构。Diagrams支持主要的云服务提供商，如AWS、Azure、GCP、Kubernetes、阿里云和甲骨文云等，也支持本地节点、SaaS以及主要的编程框架和语言。需要注意的是，Diagrams不控制任何实际的云资源，也不生成云配置或Terraform代码，它仅仅用于绘制云系统架构图。
阅读更多
Vortex 是一个用于处理内存、磁盘和网络传输中的压缩 Apache Arrow 数组的工具包，旨在成为列式文件格式的 LLVM。它提供可扩展的编码、级联压缩、计算内核、统计信息和序列化功能，同时与 Apache Arrow 完全兼容，目标是成为 Apache Parquet 的继承者，实现更快的随机访问读取和扫描速度。
阅读更多
Prusa Research发布了全新3D打印机CORE One，这是一款全封闭式CoreXY 3D打印机，具有主动腔室温度控制功能。它兼顾质量和速度，并具有坚固耐用的外骨骼设计。CORE One拥有紧凑的体积和更大的打印体积（250×220×270 mm），并能以关闭舱门的方式打印PLA和PETG。它与MK4S并非替代关系，Prusa将继续支持MK4S。CORE One将于2025年1月开始发货，同时还将推出MK4S升级套件和组装套件。此外，Prusa还推出了新的Buddy3D品牌相机，可用于打印监控。
阅读更多
本文介绍了awslabs/git-remote-s3，这是一个允许使用 Amazon S3 作为 git 远程和 LFS 服务器的库。它提供了一个 git 远程助手的实现，可以使用 S3 作为无服务器 Git 服务器，并提供 git-lfs 自定义传输的实现，可以将 LFS 管理的文件推送到用作远程服务器的同一个 S3 存储桶。
阅读更多
本文作者受到苹果Vision Pro手指输入的启发，使用MediaPipe库和摄像头实现了手部跟踪控制鼠标的功能。文章详细介绍了项目开发过程，包括使用OpenCV和Python的初步尝试、使用WebSocket实现Web前端与Python后端通信、鼠标点击和拖动逻辑的实现、抖动问题的解决以及屏幕边缘安全区的设置。作者还尝试了Tauri框架和Rust来提高性能和实现后台运行。此外，作者还实现了类似Meta Quest的指点模式，并讨论了该模式下抖动和漂移等问题。最终，朝下模式运行稳定，而指点模式仍需改进。
阅读更多
本文探讨了 Rust 语言中两种断言机制（`assert` 和 `debug_assert`）的优势。作者指出，`assert` 用于检查程序的核心假设，即使在发布版本中也会执行，而 `debug_assert` 则用于检查内部假设，仅在调试模式下生效。这种区分让开发者能够更精准地表达不同类型的断言，在不牺牲代码质量的前提下，有效管理性能开销。作者认为，拥有两种断言机制有助于提高代码的可靠性和可维护性，并鼓励其他语言借鉴这种设计。
阅读更多
Railgun Labs发布了名为Unicorn的Unicode算法库，它以其高速度、可嵌入性、跨平台性和安全性而著称。Unicorn支持多种Unicode算法，包括规范化、大小写转换、排序和分词等，并提供UTF-8、UTF-16和UTF-32编码的解码器、编码器和验证器。该库完全可定制，并经过广泛测试，确保其准确性和可靠性，符合MISRA C:2012标准，并具有线程安全特性(除少数例外)。
阅读更多
本文探讨了在实际安全场景中使用 eBPF （扩展的伯克利包过滤器）时遇到的各种问题和解决方案。eBPF 虽然功能强大，可以提供几乎任何位置的系统可见性、动态检测、容器感知、快速执行和安全性，但也存在一些挑战。文章指出，eBPF 的验证器存在问题，工具链和库主要围绕一次性工具设计，不同类型的 BPF 程序加载和运行语义各异，文档分散且过时。此外，文章还列举了一些具体的实现问题，例如验证器限制、BPF 程序类型的多样性、GPL 许可限制、容器环境下的默认行为、CO-RE 的局限性、接口稳定性问题、程序运行的复杂性、性能影响、错误处理和资源限制等。文章最后总结了使用 eBPF 的适用场景，并建议根据实际情况选择合适的工具和策略。
阅读更多
本文探讨了NBA球衣从传统主场白色到如今多元化色彩的转变。自从2017年耐克接手球衣制作以来，取消了主客场球衣的区分，引入了“联盟版”、“经典版”、“主题版”和“城市版”四种版本，使得球队的球衣选择更加多样化。文章分析了各球队不同版本球衣的使用频率，并指出“城市版”球衣的设计理念通常源于球队所在城市的文化元素，为球衣增添了更多地域特色。文章还通过“个性得分”来衡量各球队球衣选择的创新程度，并与十年前的数据进行了比较，展现了NBA球衣的时尚变迁。
阅读更多
Algol-68是20世纪60年代末期设计的一种编程语言，旨在成为一种通用语言，涵盖Cobol和Lisp等语言的功能。然而，由于其过于复杂和晦涩难懂的设计，以及难以实现编译器，Algol-68最终并未获得成功。一些专家，例如Hoare和Dijkstra，批评该语言放弃了Algol-60的简洁性。尽管Algol-68在苏联等地得到了一定程度的应用，但它并未像Fortran、Cobol、Pascal和C等语言那样流行。
阅读更多
JSON Transformer 是一款用户友好的在线工具，可以帮助你轻松转换和操作 JSON 数据，告别手动调整 JSON 数据的烦恼。它提供了直观的可视化界面，实时 JSON 验证和格式化，无需学习曲线，功能强大且易于使用，让你无需编写复杂的脚本或手动编辑，几秒钟内完成复杂的 JSON 结构转换。
阅读更多
本文探讨了如何用纸笔尺度计算Dudeney余数问题。该问题涉及找到一个数，使三个给定的数除以它时具有相同的余数。文章首先用表格演示了扩展欧几里得算法的解法，然后逐步介绍了使用HP15c计算器和Curta机械计算器的解法，强调了即使在早期计算工具的条件下，该问题也是可以解决的。文章还提供了一个HP15c计算器程序，用于计算最大公约数，并最终给出了问题的答案：79。
阅读更多
本文介绍了如何配置Wireguard VPN，超越基础设置，实现更高级的功能。文章首先简要回顾了Wireguard的基本设置，包括密钥生成、服务器和客户端配置等。然后重点讲解了如何通过配置miniupnpd来支持UPnP，解决某些应用程序在NAT后的兼容性问题，并详细说明了miniupnpd的配置步骤。最后，文章探讨了如何利用IPv6避免NAT问题，通过为客户端分配公网IPv6地址，简化配置并提高连接效率。
阅读更多
这是一篇博客文章，介绍了如何自主托管Bluesky的所有服务（AppView除外）。作者还分享了在ThinkPad X1 Nano Gen 1上使用Arch/EndeavourOS Linux系统以及设置WhiteWnd的经验。
阅读更多
Phoronix网站对Intel最新旗舰处理器酷睿Ultra 9 285K“Arrow Lake”在Windows 11和Ubuntu Linux系统下的性能进行了深入对比测试。测试涵盖了不同版本的Linux内核和电源管理设置。结果显示，在某些测试中，Linux系统在性能方面略胜一筹，这得益于Linux的灵活性以及对新内核的优化。该测试突显了操作系统选择对处理器性能的影响，为用户选择操作系统提供了参考。
阅读更多
谷歌DeepMind正在推进音频生成技术，开发出能够根据文本、节奏控制和特定声音等输入创建高质量自然语音的模型。该技术已应用于Gemini Live、Project Astra、Journey Voices和YouTube的自动配音等谷歌产品中，为用户带来更自然、更具对话性和直观性的数字助理和AI工具体验。最新研究成果可以生成2分钟的多人对话，音质更好，说话人一致性更强，且生成速度更快。此外，谷歌还开发了一种新的语音编解码器，在不影响输出质量的情况下，能将音频压缩成每秒低至600位的令牌序列，并结合Transformer架构和大量语音数据训练，实现了更长、更自然的对话生成。同时，SynthID技术也被用于水印AI生成的音频内容，以防止技术滥用。未来，谷歌将致力于提高模型的表现力、音质，并添加更多对韵律等特征的细粒度控制，探索如何将其与视频等其他模态结合。
阅读更多
生活在青藏高原的人类已经进化出适应低氧环境的生理特征。研究发现，生育最多的女性的血红蛋白水平适中，但血红蛋白的氧饱和度很高，这表明她们的身体能够在不增加血液粘稠度的情况下最大限度地向细胞和组织输送氧气。此外，她们的肺部血流量较高，左心室也较宽，这进一步提高了氧气的输送和输送速率。这项研究表明，自然选择仍在进行，并有助于我们更好地理解人类进化的过程。
阅读更多
Canary 是一个现代化的 Algolia DocSearch 替代方案，可以为您的文档（网页）、GitHub issues 和 discussions 提供搜索和 AI 问答功能。它提供了一个自托管的核心服务器，用于身份验证、抓取/索引文档、处理查询等，以及用于构建搜索栏的小型 Web 组件。
阅读更多
Anthropic公司开发了一款名为Clio的自动化分析工具，用于隐私保护地分析真实世界中大型语言模型的使用情况。Clio通过将对话抽象成主题集群，来识别用户如何使用Claude模型，类似于Google Trends。这有助于Anthropic改进安全措施，识别潜在的滥用行为，例如协调一致的垃圾邮件活动或试图转售Claude的未授权访问。Clio在保护用户隐私的同时，为Anthropic提供了宝贵的见解，使其能够改进安全系统，减少误报和漏报。
阅读更多
本文逐步讲解了Transformer模型中最先进的位置编码的设计过程，从简单的整数位置编码开始，迭代改进，最终得到最新的LLama 3.2版本和大多数现代Transformer中使用的旋转位置编码（RoPE）。文章首先解释了位置编码的必要性，然后列举了理想位置编码方案应该具备的五个属性：唯一性、线性关系、泛化性、确定性和可扩展性。接着，文章依次介绍了整数位置编码、二进制位置编码和正弦位置编码，并解释了正弦位置编码如何通过旋转矩阵实现相对位置编码。最后，文章讨论了RoPE如何扩展到多维数据，并展望了位置编码的未来发展方向。
阅读更多
文章介绍了一种名为“英语”的声明式深奥编程语言（Esolang），它使用自然语言描述程序的功能。文章列举了“Hello World”、“99 Bottles of Beer”等程序示例，并讨论了该语言的图灵完备性、可计算性、编译器以及错误类型。文章还提到了利用机器学习模型（如OpenAI Codex）将英语描述转换成代码的可能性，并探讨了该语言的本地化和流行文化影响。
阅读更多
本文探讨了国产HiFi（Chi-Fi）调音为何对西方听众来说 often 显得刺耳的原因。作者分析了中国大陆的历史文化背景，指出早期由于经济条件限制和接触国外HiFi设备的机会有限，许多中国人对“好声音”的理解受到早期国产设备和音乐的影响，这些声音通常较为尖锐刺耳。文章提到，许多Chi-Fi厂商的管理者和工程师成长于那个年代，因此他们对声音的偏好也与西方听众不同。这导致Chi-Fi调音师在试图迎合西方市场时常常遇到困难。虽然西方市场对全球耳机爱好者的购买决策有很大影响，但在Chi-Fi厂商的优先级列表中，欧美市场往往排在最后。不过，随着中国中产阶级财富的增长，越来越多的人接触到国外高端HiFi产品，Chi-Fi调音也逐渐有所改进，涌现出更多适合西方听众的产品。
阅读更多
Webstudio 推出一个新功能，允许用户直接从 Webflow 和其他平台复制设计元素，并将其粘贴到 Webstudio 中。该功能可以自动将 Webflow 元素转换为 Webstudio 组件和样式，并将类转换为 Tokens。目前该功能支持 Webflow 项目、模板以及组件库，但暂不支持 Markdown 和 CSS 代码的复制粘贴，但官方表示将在未来推出。
阅读更多
本文报道了美国联邦调查局对大型企业房东Cortland Management进行突击搜查的事件。Cortland被指控与软件和咨询公司RealPage合谋，通过协调房东定价决策和控制公寓供应来提高全美范围内的租金。据称，RealPage与至少21家大型房东和机构投资者合作，涵盖了全美70%的出租公寓楼和1600万套住房。该事件引发了人们对租金上涨和房地产市场垄断行为的关注。
阅读更多
亚马逊对其Kindle电子阅读器产品线进行了更新，包括更大屏幕的Kindle Paperwhite、注重书写体验的Kindle Scribe以及基础款Kindle的性能提升。新款Scribe配备纹理屏幕涂层和改进的触控笔，软件方面新增“Active Canvas”笔记功能，可直接在电子书页边空白处做笔记。Paperwhite屏幕尺寸增至7英寸，并继承了防水、USB-C接口和可调节亮度和色温的前置灯等特性。基础款Kindle性能提升，页面翻页速度更快，对比度更高，前置灯亮度提升25%。
阅读更多
本文介绍了日本“黑心企业”的现象。它们通过超长时间加班、低工资、不支付加班费、职场霸凌等手段压榨员工。文章以渡边美奈自杀事件为例，揭露了餐饮连锁企业和民的恶劣行径。此外，文章还介绍了“黑心企业奖”的设立，旨在提高公众对该问题的认识，并曝光一些恶劣的企业。日本厚生劳动省也开始打击黑心企业，但要彻底解决这个问题仍需付出更多努力。
阅读更多
Cloudflare 推出了 Access for Infrastructure，这是其 SASE 平台 Cloudflare One 中 BastionZero 的原生集成。Access for Infrastructure 将使组织能够在其服务器、数据库、网络设备、Kubernetes 集群等之前应用零信任控制。文章介绍了 Access for Infrastructure 的第一个可用功能：短期 SSH 访问。它解释了如何通过使用由 Cloudflare 管理的证书颁发机构 (CA) 颁发的短期 SSH 证书来消除管理 SSH 密钥的安全风险和开销。
阅读更多