这是一本Darcs版本控制系统入门指南，通过简洁的例子讲解了Darcs的方方面面，包括安装、本地操作、创建仓库、处理更改、查看历史记录、冲突管理、分支、重写历史等。适合初学者快速上手，成为日常版本控制利器。
阅读更多
面对日益增长的GPU计算负载，现有监控工具往往开销巨大或侵入性强。eGPU 创新性地利用运行时PTX注入技术，将eBPF扩展到GPU内核，实现了低开销的动态可观测性。通过将eBPF字节码编译成PTX代码并注入运行中的GPU内核，eGPU能够在不中断执行的情况下动态添加、修改或移除监控程序。这不仅提升了GPU性能分析的效率，也为可编程GPU计算、运行时优化和GPU安全等领域打开了新的可能性。
阅读更多
io_uring是Linux下强大的异步I/O编程新方式，它克服了以往I/O子系统的诸多限制，极具潜力。本指南由Shuveb Hussain编写，涵盖了io_uring的介绍、底层接口、liburing库的使用示例（包括cat、cp和一个web服务器），以及高级用法等内容。该指南还提供源代码示例和GitHub仓库地址，方便开发者学习和贡献。
阅读更多
一篇发表在arXiv上的论文揭示了纽约时报每日单词游戏Waffle背后的数学原理。作者S.P. Glasby研究了该游戏排列组合的数学特性，解释了为什么有些游戏容易解决，而有些游戏极难。研究发现，完美的解法必须在21个方格上精确拥有11个轨道，其中至少一个轨道长度为1。这项研究为理解和改进这类益智游戏提供了数学视角。
阅读更多
摄影师Trevor Traynor从2012年起用iPhone拍摄全球各地报摊，记录了这些充满活力色彩和组织有序的场所。2022年，他将这些照片制作为100个独一无二的NFT，并在洛杉矶举办了实体展览，所有NFT在短短数月内售罄。这个项目不仅是一次摄影记录，更是一次成功的NFT尝试，融合了线上线下体验。
阅读更多
美国空军研究实验室在罗马研究基地（前格里菲斯空军基地）进行一项神秘测试：将飞机（通常是无尾的）倒挂在测试设备附近，测试电子对抗设备（ECM）的盲点和飞机外部弹药的干扰。虽然被称为“倒挂空军”，但这里也测试来自其他军种的飞机。所有照片均来自公共道路拍摄。
阅读更多
作者讲述了他将非机架式HiFi设备（DAC、输入选择器等）整合进2U机架的经历。他使用OpenSCAD设计面板，并通过CNC冲压制造铝制面板。过程中，他遇到了OpenSCAD DXF输出曲线精度问题，最终使用FreeCAD解决。他还尝试了HiFiBerry，但因可靠性问题最终放弃，转而使用Wiim Pro。整个过程充满了DIY的乐趣和挑战，最终成品兼具美观和实用性。
阅读更多
F* 是一种通用的证明导向型编程语言，支持纯函数式和有副作用的编程。它结合了依赖类型的表达能力和基于SMT求解和基于策略的交互式定理证明的自动化证明功能。F* 程序默认编译成 OCaml，还可以通过 KaRaMeL 工具提取到 F#、C 或 Wasm，或使用 Vale 工具链提取到汇编语言。F* 由微软研究院、Inria 和社区积极开发，开源且免费，并广泛应用于安全、加密和系统等领域，例如 Mozilla Firefox 和 Linux 内核等项目。
阅读更多
Mastodon用户Henning Paul（DC4HP）在其个人页面上发布了一条信息，感叹一段旅程的结束，并对结果表示惊讶和赞叹。该信息暗示了此前经历了一段不平凡的历程，最终的结果超出了他的预期。
阅读更多
哥斯达黎加一家名为“Super Mario”的小超市与任天堂展开了一场商标权大战。任天堂以其游戏角色“超级玛丽奥”的商标权为由，试图阻止该超市注册“Super Mario”商标。然而，超市成功证明其注册的商品类别（基本食品供应服务）并未与任天堂的商标注册类别冲突，最终赢得官司。这场胜利展现了小企业面对大型跨国公司时，凭借法律策略和坚持不懈的决心也能取得胜利的可能性。
阅读更多
亚马逊强制员工每周五天返岗的计划遭遇滑铁卢。员工抱怨停车位不足，办公桌短缺，会议室不够用，甚至还出现了办公室内盗窃和卫生问题。许多员工表示，即使回到办公室，也依然花大量时间进行视频会议，与在家办公无异，未能实现公司期望的协同效应。亚马逊回应称，只有少数办公室尚未准备好，但员工的负面反馈引发了对公司管理和规划的质疑，突显了仓促实施远程办公逆转策略的风险。
阅读更多
一本名为《大型语言模型基础》的新书问世，它并非旨在涵盖所有前沿技术，而是深入探讨了大型语言模型的核心概念。全书分为四个章节，分别讲解预训练、生成模型、提示技术和对齐方法。本书适合自然语言处理领域的大学生、专业人士和从业者阅读，也适合对大型语言模型感兴趣的任何人参考。
阅读更多
上世纪五六十年代，打孔卡片曾是会计、数据收集和早期计算的标配，每月数百万张卡片被生产。然而，随着技术的进步，它们迅速被淘汰，几乎从公众视野中消失了。这个档案收集了一小部分打孔卡片及其相关资料，旨在记录和保存这段历史。
阅读更多
厌倦了Terraform等工具仅仅提供配置而非代码？Yoke项目将基础设施定义编写成Go或Rust代码，编译成WebAssembly，生成Kubernetes清单。这避免了运行时依赖带来的安全风险，并通过Air Traffic Control这一Kubernetes operator，实现声明式基础设施管理，极大简化了部署流程。作者以自身经验为例，展示了Yoke如何通过自定义资源定义（CRD）简化应用部署，并阐述了其基于WebAssembly的安全沙箱机制。
阅读更多
一篇博文探究了1993年OS/2 2.1版本中令人惊奇的内置虚拟化功能。作者通过编写一个简单的VGA模式程序，并将其分别在DOSBox、QEMU以及OS/2自身的虚拟化环境中运行，展示了OS/2如何加载和执行磁盘镜像，如同现代的虚拟机一样。OS/2甚至可以加载并运行并非真正的可引导DOS软盘镜像，通过VMDISK创建镜像文件，并在OS/2中以全屏或窗口模式运行。这一功能在1993年显得尤为先进，堪称内置的QEMU，引发了作者对OS/2虚拟化功能更多潜力的思考。
阅读更多
Y Combinator孵化的初创公司CollectWise正在招聘其首位创始工程师。CollectWise利用生成式AI自动化债务催收，其AI代理的效率是人工的两倍，成本却更低。该公司寻求一位全栈工程师，具备React JS、Node JS、Firebase、AWS、SQL和GPT-4经验，能够独立工作并对项目负责。这是一个难得的机会，可以加入一个充满活力的高水平团队，参与颠覆一个庞大且过时的行业。
阅读更多
本文探讨了无限Nim游戏，一种将传统Nim游戏扩展到超限序数的游戏。作者首先回顾了有限Nim游戏的获胜策略——平衡策略，然后引入了超限序数的二进制表示法，并证明了每个序数都有唯一的二进制表示。作者进一步证明了平衡策略同样适用于无限Nim游戏，并通过一个具体的例子展示了如何运用该策略找到获胜的走法。
阅读更多
本文讲述了作者探索编写最小化Hello World程序的历程。起初，作者尝试使用Rust，但发现最小化二进制文件需要深入底层。最终，作者选择使用汇编语言，并通过精巧的技巧，例如去除调试符号和手动编写ELF文件头，将64位Linux系统下的Hello World程序大小压缩到令人惊叹的167字节！这篇文章深入探讨了链接过程中的文件膨胀问题，以及ELF文件格式的细节，对系统底层开发人员具有极高的参考价值。
阅读更多
Tangled是一个新的基于AT协议的社交型Git协作平台，旨在让开发者完全拥有代码，开源社区能够自由自治，并使编码再次变得社交化和有趣。它结合了ActivityPub的联邦模型和Radicle的P2P模型的优点，使用轻量级的“knots”服务器简化了Git仓库的托管。Tangled提供免费托管的knots，并通过tangled.sh应用视图整合整个网络，实现无缝访问和协作。目前Tangled仍处于早期阶段，团队秉持数据所有权、低门槛和优秀用户体验三大原则进行开发，并已开启邀请制内测。
阅读更多
本文介绍了使用Jujutsu版本控制工具进行高效代码合并和分支管理的方法。作者提出了一种“megamerge”工作流，通过创建合并提交作为工作区，并在完成部分工作后使用`jj squash`将更改压缩到合适的父提交中。更进一步，`jj absorb`命令可以自动将更改整合到合适的父提交，简化了工作流程。这种方法使得开发者可以方便地管理多个并行的工作流，提高开发效率，尤其在处理大型、长期运行的升级项目时优势明显。
阅读更多
本文探讨了书籍封面上常见推荐语（blurbs）的利弊。作者指出，虽然推荐语耗时费力，且常常言过其实，但它们在竞争激烈的出版业中仍然发挥着重要作用，尤其是在帮助读者筛选书籍、协助书评人和书商进行选择方面。作者认为，推荐语的必要性源于出版物数量远超读者阅读能力的现实，并建议改进推荐语的使用方式，例如限制数量，避免为未出版作品撰写推荐语，以及让知名作家把机会留给新兴作者。
阅读更多
微软为64位Windows系统带来一款全新的轻量级命令行文本编辑器——Edit。Edit开源且体积小巧(小于250KB)，支持鼠标模式、多文件打开、查找替换、单词换行等功能，并采用无模式设计，避免了类似Vim的学习曲线难题。它将在未来几个月内通过Windows Insider Program进行预览，并最终集成到Windows 11中。
阅读更多
安全研究人员逆向工程了一款在瑞士广泛使用的Worldline Yomani XR支付终端，意外发现其固件未加密，且存在一个可公开访问的root shell。尽管设备具有多层物理防篡改机制，但调试接口可从外部访问，允许攻击者在30秒内获取root权限，部署恶意软件。然而，深入分析表明，Linux系统并非处理敏感数据（如卡信息）的核心组件，真正的安全功能由一个独立的加密和签名处理器处理。虽然这是一个严重的软件工程疏忽，但直接风险可能比最初预期的要小。
阅读更多
YouTube频道“Stuff Made Here”的创作者Shane Wighton成功研制出一款令人惊叹的相机，它能够“无视”透视原理，甚至“看穿”墙壁。这款相机并非通过传统镜头成像，而是通过精密的机械结构，以单像素扫描的方式，逐点构建图像。通过旋转平台和可控角度的镜面，相机能够在三维空间中移动，并捕捉不同视角的画面。最终，它不仅能拍摄出消除透视效果的图像，还能实现“反向透视”，甚至“看穿”障碍物，展现了令人难以置信的成像技术。
阅读更多
特朗普政府对加拿大和墨西哥的石油产品征收高额关税，引发了广泛关注。此举可能导致美国中西部地区的汽油价格上涨10%，并严重冲击加拿大和墨西哥的石油出口。专家指出，美国对加拿大重质原油的依赖程度很高，替代品有限，关税将直接转嫁给消费者。墨西哥则可能将石油出口转向亚洲和欧洲市场。这一事件凸显了美国与主要贸易伙伴之间的紧张关系，以及关税政策对全球能源市场的影响。
阅读更多
VMware的新许可政策要求最低购买72个CPU核心，这引发了中小企业的不满。该政策迫使即使只需要少量核心的企业也必须购买大量许可证，并对逾期续订处以20%的罚款。此举被视为VMware抛弃长期忠实客户，转而追逐大型企业客户。这导致许多IT管理员和基础设施经理转向开源替代方案，如Proxmox，以寻求更灵活、更具成本效益的虚拟化解决方案。VMware的策略转变可能对其长期发展产生深远的影响。
阅读更多
作者购买了一个Crowd Supply上的卡西欧F-91W腕表主板替代品，它保留了原有的LCD屏幕，但用现代微控制器和开源固件替换了整个主板。这使得腕表在保持长电池寿命的同时，增加了许多新功能。文章详细介绍了更换主板的过程，包括拆卸腕表、焊接元件、安装新主板以及编译和安装自定义固件的方法。作者还利用模拟器测试了自定义固件，并最终成功升级了腕表，实现了诸如秒表、温度计等新功能。
阅读更多
作者作为一名长期活跃于社交媒体的博主，表达了对当前社交媒体环境的担忧。他指出，社交媒体已沦为低俗内容和互动诱饵的角斗场，高质量内容被忽视，取而代之的是为了点击量和变现而产生的廉价内容，甚至充斥着AI生成的垃圾信息。作者批判了平台的算法机制，认为其扼杀了创造力和真实性，并举例说明了平台上泛滥的虚假内容和利用标签欺骗用户的行为。他呼吁创作者回归创作的初心，专注于创作自己喜欢的内容，而非一味追逐数据，并最终选择专注于自己的博客，以摆脱平台的束缚。
阅读更多
1992年，一位对音乐一窍不通的大学生为了应付大学课程，意外开启了自制管风琴的旅程。起初，他用真空吸尘器电机驱动简陋的木制管子，发出震耳欲聋的声音。经过不断实验和改进，他设计了巧妙的阀门系统和管子结构，最终完成了这件独一无二的乐器。这台管风琴虽然简陋，却充满了创造的乐趣和温馨的故事，也吸引了众多同好一起探索音乐的奥妙。
阅读更多
MeshCore是一个轻量级的C++库，用于在嵌入式项目中实现多跳分组路由，支持LoRa和其他分组无线电。它无需互联网即可创建弹性、去中心化的通信网络。MeshCore支持多种LoRa设备，并提供预编译二进制文件，方便用户使用Adafruit ESPTool等工具进行烧录。它提供了类似Meshtastic和Reticulum的功能，但更注重轻量级多跳分组路由，适用于各种场景，例如离网通信、应急响应和物联网应用。
阅读更多