Pomoglorbo 是一款基于终端的番茄工作法计时器，它源自 pydoro 项目，使用 Python 编写，可以通过 pipx 或 pip 安装。该工具提供了专注模式、自定义音频文件、命令行参数等功能，并支持在 SSH 连接中使用。
阅读更多
本文介绍了如何在嵌入式开发中使用LLVM/Clang编译器工具链来构建更好的固件。LLVM/Clang相比GCC的优势在于模块化架构、丰富的静态分析功能以及跨平台编译能力。文章详细介绍了如何将基于GCC的ARM Cortex-M项目迁移到LLVM/Clang, 并利用Clang的静态分析工具scan-build检测内存泄漏、死锁等问题。此外，文章还介绍了Clang线程安全分析器，用于检测多线程应用中的竞态条件。最后，文章总结了LLVM/Clang在嵌入式开发中的优势，并鼓励开发者尝试使用。
阅读更多
本文逆向分析了 Xilinx 的 XC2064，解释了其内部电路以及“位流”如何对其进行编程。XC2064 是第一款 FPGA 芯片，它包含 64 个逻辑块，远少于现代 FPGA 中的数千或数百万个。文章详细介绍了 FPGA 的基本结构、可配置逻辑块（CLB）、查找表（LUT）、互连网络、8 针交换矩阵、配置内存、位流加载过程以及晶体管在 FPGA 中的作用。
阅读更多
本文是家庭实验室系列文章的第五篇，主要介绍了作者如何使用NixOS和K3s构建家庭实验室。作者详细介绍了NixOS的优势和配置方法，包括使用agenix进行秘密管理，以及如何将Docker Compose服务迁移到Kubernetes。此外，文章还探讨了K3s的安装和配置，以及如何使用Traefik进行服务代理和TLS证书配置。作者还分享了一些关于Kubernetes PersistentVolumes的经验，以及如何将DNS与Kubernetes服务集成。
阅读更多
本文讲述了美国政府无视 TikTok 为解决国家安全问题而提出的重大让步，执意推进强制出售或禁用 TikTok 的法律。TikTok 提出的“德克萨斯项目”方案中包括让美国政府挑选其美国运营部门的董事会成员、赋予政府对每位新员工的否决权，以及聘请一家与国防部合作的美国公司监控其源代码等。然而，拜登政府拒绝了该方案，选择了一条可能引发漫长法律斗争的道路。
阅读更多
本文介绍了代码高尔夫挑战，要求用尽可能少的代码生成元胞自动机规则 30 的前 32 行。规则 30 是一种特殊类型的元胞自动机，它展示了简单规则、混沌和随机性产生的复杂性，并且是不可计算约简的。
阅读更多
索尼旗下娱乐工作室索尼影业网络公司计划斥资 150 亿美元收购派拉蒙全球公司，以获得对这家拥有 150 年历史的电影、电视和数字娱乐公司的控制权。索尼影业网络公司已向派拉蒙全球公司提出全面现金报价，收购价为每股 105 美元，总价值接近 150 亿美元，高于派拉蒙全球公司 102 美元的收盘价。这笔交易将使索尼影业网络公司获得派拉蒙全球的大量娱乐资产，包括派拉蒙影业、派拉蒙电视工作室、派拉蒙网络以及 SHOWTIME、MTV 和黑人娱乐电视台等有线电视网络。
阅读更多
近年来，全球范围内发生多起船东弃船，导致船员被困海上数月甚至数年，生活无着落。究其原因，疫情、通货膨胀、物流瓶颈等因素增加了船东的成本，导致部分船东选择弃船。此外，船旗国监管不力、国际公约执行不到位也加剧了这一问题。文章讲述了叙利亚籍工程师萨利赫和菲律宾籍渔民达加利亚被困海上的遭遇，揭露了航运业存在的剥削和不公现象，呼吁加强监管，保障海员权益。
阅读更多
CatLock 是一款 Windows 平台的实用工具，旨在防止猫咪意外踩踏键盘输入。它可以通过热键（Ctrl + L）锁定键盘，并显示半透明覆盖层提示键盘已锁定。用户可以通过点击覆盖层解锁键盘，并通过系统托盘菜单调整透明度、启用/禁用锁定通知等设置。
阅读更多
美国邮政署被曝与其网站用户共享邮寄地址数据，包括 Meta、LinkedIn 和 Snap 等科技巨头。 邮政署声称“未意识到”这一行为，并表示已采取措施“纠正”问题，停止了这种做法。 调查发现，邮政署网站上的数据收集代码在用户登录后会收集用户的邮寄地址和其他信息，并将其发送给这些公司。 尽管邮政署表示已采取措施解决问题，但并未透露具体采取了哪些措施，也未说明是否会要求相关公司删除收集到的数据。
阅读更多
Perl和Raku大会（现已进入第26个年头）正在招募赞助商，大会将于2024年6月24日至28日在内华达州拉斯维加斯举行。赞助商将获得在演讲者背景横幅、活动网站、材料分发等方面的展示机会。大会提供早餐、零食和咖啡休息时间的赞助选项，赞助费用从2500美元到3500美元不等。
阅读更多
no-defender 是一款利用 Windows 安全中心（WSC）API 禁用 Windows Defender 的工具。WSC API 通常由杀毒软件用于通知 Windows 存在其他杀毒软件并禁用 Windows Defender。no-defender 通过逆向工程 Avast 杀毒软件的 wsc_proxy.exe 服务，将其改造为可以添加自定义内容的服务，从而实现禁用 Windows Defender 的目的。
阅读更多
本文探讨了在 Postgres 数据库上实现全文搜索的几种方案，包括 Postgres 内置功能、Elasticsearch 以及其他新兴搜索引擎，并分析了它们的优缺点。文章指出，Postgres 内置功能适用于中小型数据量且搜索需求简单的场景，而 Elasticsearch 则以其强大的功能和性能著称，但存在数据一致性、成本高和运维复杂等问题。最后，文章介绍了 ParadeDB 这一专为 Postgres 设计的全文搜索引擎，它结合了 Postgres 内置功能和 Elasticsearch 的优点，为用户提供了更优的选择。
阅读更多
本文介绍了一款名为Jet Rocket的街机游戏，它是世界上第一款飞行模拟游戏、第一款第一人称射击游戏以及第一款开放世界游戏，由世嘉公司于1970年发布。与当时其他的街机游戏不同的是，Jet Rocket没有使用计算机或视频屏幕，而是通过复杂的机械结构和灯光效果来模拟飞行体验。玩家通过操纵控制杆和按钮，控制虚拟飞机发射火箭弹击中目标。由于其独特的机制和历史意义，Jet Rocket即使在今天也吸引着街机游戏爱好者的关注。
阅读更多
Zapsplat是一个免费提供超过15万种专业音效和500多首免版税音乐的平台，用户可以下载MP3或WAV格式的声音，用于视频剪辑、游戏开发、播客制作等各种项目。Zapsplat提供免费和付费两种账户类型，付费用户可以享受无限量下载、免署名要求、更高质量的音效等特权。
阅读更多
新的研究发现，由于许多大型网络托管提供商和域名注册商的身份验证存在漏洞，超过一百万个域名（包括许多财富 100 强公司和品牌保护公司注册的域名）很容易被网络犯罪分子接管。这些域名被称为“坐以待毙的鸭子”，因为它们的 DNS 记录配置错误，允许攻击者在无需访问真实所有者帐户的情况下控制域名。
阅读更多
Artifacts for ChatGPT 是一个 Chrome 浏览器扩展程序，可以帮助用户快速预览和部署由 ChatGPT 生成的程序。该程序通过 DOM 监控获取 ChatGPT 生成的程序，并支持在扩展程序侧边栏中预览 HTML 程序，还可以将 HTML 文件部署到 Zeabur 上并使用随机域名。
阅读更多
Neovim 0.10 历经漫长的开发周期，带来了大量新功能和一些重大变化。文章重点介绍了默认颜色方案、LSP和诊断映射、内置注释、终端UI增强、LSP嵌入提示以及Tree-sitter查询编辑器等方面的改进。新版本默认启用了同步输出、系统剪贴板同步、超链接、自动真彩色检测等功能，提升了用户体验。此外，文章还展望了未来发展方向，包括改进LSP和Tree-sitter体验、内置代码片段和自动补全支持，以及Tree-sitter解析器分发等方面的改进。
阅读更多
欧洲航天局（ESA）的负离子月球表面探测器（NILS）首次在月球表面探测到负离子的存在，这些负离子是太阳风与月球表面相互作用产生的。这一发现为空间物理学以及人类和机器人探月任务打开了一扇新的窗口。NILS仪器搭载嫦娥六号探测器，在月球背面成功着陆并进行了数据采集。
阅读更多
cl-astar 是一个经过高度优化且灵活的 A* 路径查找算法实现，采用 Common Lisp 语言编写，适用于游戏开发等领域。该项目托管在 GitLab 平台，提供详细的文档和示例代码。
阅读更多
这篇文章以通俗易懂的方式解释了麦克斯韦方程组，并用矢量场和流体流动的概念来阐释其物理意义。文章首先介绍了标量场和矢量场的概念，并以温度和速度场为例进行了说明。然后，文章解释了散度和旋度的概念，并用图表展示了如何理解这些概念。接下来，文章详细解释了麦克斯韦方程组的四个方程，分别为高斯电场定律、高斯磁场定律、法拉第定律和安培-麦克斯韦定律。文章用微分形式和积分形式分别表述了这些方程，并用图表和例子解释了它们的物理意义。最后，文章讨论了电磁场的统一性，并解释了如何将磁场解释为电场的相对论效应。
阅读更多
Oak 是一个用于构建分布式系统的软件平台，以透明的方式提供关于系统行为的外部可验证（或可证伪）声明。Oak专注于基于虚拟机的可信执行环境（TEE）（例如AMD SEV-SNP、英特尔TDX）作为飞地应用程序的硬件信任根。Oak鼓励采用分离架构，将飞地应用程序和主机应用程序分开，以最小化攻击面和可信计算库（TCB）。Oak 使用多阶段协议来度量启动过程中每一层的身份（而不仅仅是引导加载程序），并使用DICE方法将其与 TEE 证据进行加密绑定。
阅读更多
调查显示，近一半的美国人使用第三方杀毒软件，其中付费用户最受欢迎的品牌是Norton、McAfee和Malwarebytes。老年人使用第三方杀毒软件的比例更高，这可能是因为他们成长在一个必须在电脑上安装杀毒软件的时代。
阅读更多
文章讨论了使用Postgres逻辑解码进行数据复制时可能遇到的常见问题及解决方案，包括复制槽增长、长事务、DDL变化支持、TOAST列复制、生成列支持、升级和故障转移时的持久性等，并介绍了PeerDB在解决这些问题方面的经验和优化措施。
阅读更多
牛津大学衍生公司Oxford PV近日宣布，其串联太阳能电池板在美国首次实现商业销售，该电池板与标准硅电池板相比，发电量提高了20%。这款72片电池板采用了Oxford PV专有的钙钛矿硅太阳能电池技术，将被一家未透露姓名的美国客户用于公用事业规模的装置。这些电池板的模块效率高达24.5%，降低了度电成本（LCOE），并且由于它们在相同面积上产生的电力更多，因此土地利用效率更高。
阅读更多
本文是作者对 Radxa x4 单板计算机的评测。Radxa x4 采用了英特尔 N100 处理器，支持 Windows 11 和 Debian 等操作系统。作者对其进行了开箱、初始设置、性能测试等方面的介绍，并分享了使用体验。作者认为 Radxa x4 是一款非常不错的产品，性能表现良好，但也存在散热和 PoE 供电方面的问题。
阅读更多
Lima 是一款类似于 WSL2 的工具，可以启动支持自动文件共享和端口转发的 Linux 虚拟机。它使用简单，易于上手，并且受到 CNCF 的支持。
阅读更多
由Rust语言编写的开源操作系统Redox OS在7月份取得了重大进展，其中包括实现了首个Web服务器。该服务器是Simple HTTP Server，同样是用Rust编写的。此外，Redox OS还致力于将Apache HTTP服务器引入该平台。
阅读更多
文章分析了深度学习领域，特别是大型语言模型（LLM）的快速发展。作者认为，从GPT-2到GPT-4的进步并非偶然，而是计算规模、算法效率和“解锁”能力（如强化学习、思维链、工具和脚手架）持续提升的结果。通过量化这些因素的增长，作者预测到2027年，我们将看到GPT-2到GPT-4那样巨大的飞跃，届时AI系统将能够像专家一样工作，甚至可能实现通用人工智能（AGI）。
阅读更多