arXivLabs是一个框架,允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都认同并接受我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观,并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法?了解更多关于arXivLabs的信息。
arXivLabs是一个框架,允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都认同并接受我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观,并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法?了解更多关于arXivLabs的信息。
此文档似乎是一个严重损坏的PDF文件。从PDF结构中的“流”中提取的可见文本大多无法阅读,包含随机字符、符号和可能编码过的文本片段。 在没有专业的PDF修复工具或对所用编码的了解的情况下,无法确定文档的原始内容。流对象的存在表明它*可能*包含图像或复杂的格式,但由于损坏而丢失。 基本上,该文件已损坏到无法简单解释的程度,任何试图总结其预期含义的尝试都纯属推测。
## AutoProber:自动化硬件破解堆栈
AutoProber 是一款开源的飞行探针自动化系统,专为硬件黑客设计。它简化了目标板分析流程,从初始目标检测到单个引脚探测,所有操作均通过 Web 控制面板、Python 脚本或集成代理控制。
该系统利用基于 GRBL 的 CNC 控制器、USB 显微镜和示波器进行安全监控——关键在于依靠示波器监控的独立安全限位开关。它可以自动定位目标、捕获显微镜图像、将图像拼接成地图,并提出探测目标以供批准。一旦批准,AutoProber 将执行探测并报告结果。
**主要功能包括:** 构建 CAD 文件、Python 控制代码和 Web 控制面板。 **安全至关重要:** 该系统包含多个故障保护机制,并要求严格遵守记录的安全规程。
此候选版本专注于核心功能,不包括图像备份和自动恢复等功能。它采用非商业许可,并提供商业选项。提供详细文档,包括物料清单 (BOM) 和安全指南。
特朗普政府将于下周一启动一项名为CAPE的新系统,向美国进口商返还1660亿美元的关税。此前,二月份的最高法院裁决认为,最初根据《国际紧急经济权力法》征收的关税是非法的。
CAPE将简化退款流程,为进口商提供包括利息在内的统一电子支付,而不是单独的报销。截至4月9日,已有超过56,000家进口商,代表着1270亿美元的索赔,已注册电子退款。
第一阶段的重点是近期且简单的进口,该机构正在探索处理剩余29亿美元需要手动处理的关税的方案。《国际贸易法院》正在监督这项计划的推出,因为有超过33万家进口商受到最初关税的影响。小型进口商对于寻求退款的成本效益仍然存在担忧。尽管如此,特朗普仍试图以不同的法律依据重新征收关税,这也面临法律挑战。
杜克大学的新游戏设计项目面临一个挑战:如何在学生快速上手游戏创作的同时,克服行业标准软件(如虚幻引擎)的复杂性。他们的解决方案?古怪的手持Playdate游戏机。
Playdate的简单性——免费开发工具包、基于浏览器的游戏构建器(Pulp)以及PC/Mac模拟器——能够实现快速原型设计和迭代,这对于培养游戏设计师的思维方式至关重要。它的局限性——黑白屏幕和摇柄控制器——迫使开发者做出专注的设计选择。
学生们在开始几小时内就迅速制作出可玩的游戏,例如一款“猫头鹰”主题的塔防游戏和一款利用摇柄进行拼写的游戏。这款游戏机的便携性也方便了在校园内的轻松测试。
受到杜克大学成功的启发,Playdate的创造者Panic推出了“Playdate for Education”项目,为学校提供打折的游戏机。该项目强调Playdate能够让学生立即*实践*游戏设计,而不是首先花费数月时间学习工具,从而培养创造力和实践经验。
启用 JavaScript 和 Cookie 以继续。
## Marky:一款快速、原生的 macOS Markdown 查看器
Marky 是一款轻量级且高效的桌面 Markdown 查看器,基于 Tauri v2、React 和 markdown-it 构建,旨在提供流畅的阅读体验。它优先考虑速度,并美观地渲染 Markdown 功能,例如表格、代码块(通过 Shiki 和 VS Code 主题进行语法高亮)、数学公式(KaTeX)、图表(Mermaid)和 GFM 元素。
主要功能包括:**实时重新加载**,以便在编辑时立即更新;**文件夹工作区**(Obsidian 风格),具有持久的侧边栏访问;以及**命令面板**,用于快速文件搜索。Marky 是**CLI 优先**的,可以直接从终端使用文件或文件夹启动。
目前仅支持 macOS ARM,计划支持 x86 macOS 和 Linux。它是一个小型(小于 15MB)且安全的应用程序,使用 DOMPurify 对 HTML 进行清理。目前通过 `brew` 安装,但已签名二进制文件正在等待 Apple 审核。该项目欢迎贡献,详情请参见 GitHub 仓库。
从为期两年的休假和一个固执的想法,到驱动全球最大的金融科技公司之一的工程技术栈——这就是Clojure的故事。本纪录片汇集了Rich Hickey、Alex Miller、Stuart Halloway等人的访谈,讲述了Clojure非传统的起源、以价值观为导向的社区,以及该语言对我们思考软件方式产生的微妙而深刻的影响。本纪录片由Nubank赞助制作!
人工智能计算能力充裕且廉价的时代正在结束。供应链紧张,尤其是英伟达 Blackwell 芯片,正在推高成本并限制对尖端人工智能模型的访问。GPU 租赁价格飙升,CoreWeave 等供应商正在提高价格并延长合同。
这种稀缺性正在重塑人工智能格局,即使像 OpenAI 和 Anthropic 这样的行业领导者也在限制对其最新技术的访问。访问正在变得“受限”,偏向于大型且资金雄厚的组织。
五大关键趋势正在显现:人工智能访问现在基于关系且昂贵,即使负担得起也可能很慢,并且正成为一种通货膨胀的商品。这迫使开发者多元化,探索更小的模型或本地解决方案,预计这种转变将持续数年,直到基础设施赶上。人工智能的充裕时代已经结束,需要新的采购和利润管理策略。
## Tree-sitter:提升 R 开发体验
Davis Vaughan 创建的 Tree-sitter 解析生成器的 R 语法,显著改善了 R 开发体验。Tree-sitter 能够快速将代码解析为结构化树,比传统方法提供更快、更准确的工具。
该语法为 Air 代码格式化和 Jarl 代码检查等功能提供支持——两者都是基于 Rust 构建的超快速命令行工具。它还增强了 Positron 等 IDE 的自动补全和悬停帮助,并改进了 GitHub 等平台上的代码搜索。
除此之外,Tree-sitter 还能促进依赖检测 (pkgdepends)、代码重构 (astgrepr/flir)、变异测试 (muttest) 和结构化代码差异比较 (difftastic) 等高级任务。R 包,如 {ts},利用 Tree-sitter 解析其他格式,如 JSON 和 TOML,同时保留注释。
生态系统正在迅速发展,但核心优势仍然是:将 R 语法集成到强大的解析生成器中,为 R 开发者解锁了大量新功能,并为进一步的贡献和工具开发提供了机会。