bootc-image-builder:从容器构建可启动磁盘镜像
bootc-image-builder是一个强大的工具,用于基于Fedora/CentOS bootc容器或其衍生版本创建磁盘镜像。它支持多种镜像类型(qcow2、AMI、ISO等),并允许自定义用户、文件系统、内核参数等。通过Podman和QEMU,用户可以轻松构建和运行虚拟机。本文详细介绍了其使用方法、选项以及高级配置,例如使用AWS创建AMI镜像和自定义Anaconda安装程序。
阅读更多
bootc-image-builder是一个强大的工具,用于基于Fedora/CentOS bootc容器或其衍生版本创建磁盘镜像。它支持多种镜像类型(qcow2、AMI、ISO等),并允许自定义用户、文件系统、内核参数等。通过Podman和QEMU,用户可以轻松构建和运行虚拟机。本文详细介绍了其使用方法、选项以及高级配置,例如使用AWS创建AMI镜像和自定义Anaconda安装程序。
阅读更多
CF-Shield是一个Python脚本,可自动检测DDoS攻击并在Cloudflare上启用安全措施。它需要Cloudflare的邮箱、API令牌、区域ID和账户ID。安装后,脚本会提示你设置CPU使用率阈值、挑战类型以及可选的Discord、Slack和Telegram通知。 脚本会监控CPU使用率,如果超过阈值,则自动启用Cloudflare的WAF规则,并在攻击结束后自动禁用。这是一个强大的工具,可以帮助你保护你的网站免受DDoS攻击。
阅读更多
历经三个月的商标纠纷,Chatbox聊天机器人应用终于重回美国App Store!此前,另一家公司以相同名称申请商标,导致Chatbox应用被下架。尽管该商标申请曾被USPTO驳回,且Chatbox团队早在2023年3月就在GitHub上使用了该名称,但Apple最终采纳了该公司的申诉。在联邦法院的裁决下,Apple最终恢复了Chatbox应用的上线,这不仅是Chatbox团队的胜利,也为其他开发者树立了在面对商标霸凌时的榜样。
阅读更多
这篇博文描述了在coreboot中启用AMD Turin支持以及移植到Gigabyte MZ33-AR1主板的第一阶段进展。该项目由NLnet基金会资助,旨在将开源固件引入AMD最新的CPU。项目团队完成了Turin SoC框架构建,提取并整合了必要的PSP固件包,并创建了MZ33-AR1主板支持。尽管在整合公共Turin PSP blob时遇到了一些挑战,但该团队通过一些变通方案成功引导了系统,为后续的改进奠定了基础。
阅读更多
谷歌工程师面临着技术债务导致开发效率低下的问题。他们通过问卷调查、数据分析和跨职能团队合作,定义了十类技术债务,并开发了成熟度模型来评估团队管理技术债务的能力。最终,他们通过教育、工具和流程改进,显著降低了技术债务对工程师工作效率的影响,证明了系统性管理技术债务的重要性,而非追求零债务。
阅读更多
SpaceX的龙飞船在飞往国际空间站的途中,执行了一系列的变轨燃烧,逐步靠近空间站。之后,它进行了最终的对接操作,包括对接舱的加压、舱门的打开以及宇航员的进入。整个过程精密而高效,展现了航天技术的精湛之处。
阅读更多
一款应用获得了5星好评,并拥有两条用户评价。开发者Daniel Plata声明该应用的隐私政策包含数据收集,但这些数据与用户身份无关。应用支持家庭共享功能,部分应用内购买(例如订阅)可与家庭成员共享。
阅读更多
本文深入探讨了Go语言调度器的演进历程,从早期的单一全局运行队列的低效模型,到如今高效的GMP模型(Goroutine、Machine、Processor)。文章详细解释了GMP模型中各个组件的角色和运作机制,包括goroutine的创建、预取、系统调用处理以及netpoll在网络I/O和文件I/O中的作用,并阐述了协作式和非协作式抢占机制。通过对Go运行时源码的分析,读者可以更深入地理解Go并发模型的精妙之处,从而编写更高效的并发程序。
阅读更多
zygomorph在2024年秋季完成了一次史诗般的自行车骑行之旅,历时77天,行程3877英里(6239公里),沿途穿越美国东部分水岭步道。从缅因州到佛罗里达州,他记录下了这段旅程的点点滴滴,包括精彩的风景、挑战性的地形以及各种令人难忘的经历。这篇游记详细地描述了旅程中的每一天,充满了生动的细节和图片,是一部精彩的户外探险故事。
阅读更多
Nvidia在CES 2025上发布了名为Digits的个人AI超级计算机,售价3000美元。这款桌面级系统基于全新的GB10 Grace Blackwell超级芯片,能够运行参数高达2000亿的复杂AI模型。它拥有128GB统一高速缓存和高达4TB的NVMe存储,并可与另一台Digits系统连接,处理参数高达4050亿的模型。Digits预装Nvidia AI软件库,支持多种主流框架,方便开发者本地开发和测试AI模型,并能轻松部署到云服务或数据中心。
阅读更多
arXivLabs是一个框架,允许协作者直接在我们网站上开发和分享新的arXiv功能。与arXivLabs合作的个人和组织都认同并接受了我们关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观,并且只与遵守这些价值观的合作伙伴合作。有一个想法可以为arXiv社区增加价值吗?了解更多关于arXivLabs的信息。
阅读更多
作者分享了四年使用Tailscale的经验,Tailscale是一个WireGuard编排服务,提供简单易用的设备互联功能。文章详细介绍了Tailscale的基本连接、SSH支持、MagicDNS、服务暴露(funnel和serve命令)、基于KeyCloak的自定义身份验证、ACL和标签的使用等功能,并分享了作者在使用过程中遇到的问题和解决方法,例如错误地使用标签导致SSH连接中断。最终,作者总结了最佳实践,并推荐了Tailscale的免费个人计划。
阅读更多
Pony 是一种开源的、面向对象的、基于 Actor 模型的、能力安全的、高性能编程语言。它采用独特的 Actor 模型,提供并发编程的安全性和效率。想快速上手?直接在 Pony Playground 在线体验!了解更多关于 Pony 的设计理念和优势,请阅读其早期历史介绍。
阅读更多
近日,有用户报告称安装8月Windows 11 24H2安全更新后,SSD和HDD出现故障和数据损坏。微软经过调查后否认了更新与硬盘故障之间的联系,但建议硬盘已满60%以上的用户避免写入大型文件,并与存储设备厂商合作调查问题。部分用户报告称,Corsair、SanDisk、Kioxia等品牌的硬盘受影响,且问题主要出现在写入大量数据时。虽然有些硬盘重启后恢复,但有些则无法访问。
阅读更多
中国科学院计算技术研究所的“香山”项目,旨在利用开放许可的RISC-V指令集架构开发高性能芯片。其第三代芯片“昆明湖”预计将于2025年发布,性能目标直逼Arm的Neoverse 2。该项目采用Mulan PSL-2.0许可证,意味着设计将完全开源,这将对Arm等现有厂商构成巨大挑战,并有助于中国减少对国外技术的依赖。虽然项目进度曾延误,但其开源和高性能的潜力使其备受关注,未来发展值得期待。
阅读更多
本文探讨了Forth语言的核心可以缩小到何种程度。作者介绍了多种极简Forth实现,例如PlanckForth(小于1000字节)、SmithForth(约1000字节)、sectorforth(512字节)和milliForth(336字节),它们都通过极少的指令集实现了Forth语言的基本功能,甚至包括编译器。其中,Frank Sergeant的3指令Forth更是极致,仅需66字节就能在Motorola MC68HC11芯片上运行。这些极简Forth的出现,挑战了我们对编程语言规模的认知,也展现了编程语言设计的精妙之处。
阅读更多
BorrowChecker.jl是一个Julia包,通过宏系统模拟Rust的内存所有权和借用语义,在开发和测试阶段进行运行时检查以标记内存安全问题。它不保证绝对的内存安全,但有助于编写更安全的代码。该库通过`@own`、`@move`、`@clone`等宏管理对象所有权,并使用`@lifetime`块管理引用生命周期,同时提供`@managed`块自动执行借用检查。虽然它不完美,但能有效辅助开发者提升代码的内存安全。
阅读更多
Stack AI,一家由两位MIT博士创立,并获得Y Combinator和Gradient Ventures投资的AI公司,正在招聘10倍工程师!他们致力于通过一个用户友好的无代码平台,让每个人都能构建AI驱动的应用。该平台集成OpenAI、Anthropic等顶级AI模型和多种数据源,现已拥有超过8.5万用户和300多付费客户。此次招聘主要面向前端工程师,要求精通React、TypeScript等技术,并具备良好的用户体验设计能力。如果你对AI充满热情,并渴望在快速发展的初创公司工作,这将是一个绝佳机会。
阅读更多
厌倦了繁琐的多因素身份验证?本文作者分享了一系列脑洞大开的替代方案,从扑克牌比拼到魔方复原,甚至还有国际象棋对弈和卡拉OK演唱!这些方案各有千秋,有的安全性高,有的简单易用,有的则充满了戏谑的幽默感。当然,作者也提醒我们,在安全性与用户体验之间取得平衡才是关键,切勿盲目创新。
阅读更多
arXivLabs是一个框架,允许协作者直接在arXiv网站上开发和共享新的arXiv功能。参与arXivLabs的个人和组织都认同并接受了arXiv关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观,并且只与遵守这些价值观的合作伙伴合作。如果您有想法可以为arXiv社区增值,请了解更多关于arXivLabs的信息。
阅读更多
梅赛德斯-奔驰与Factorial Energy合作,在其EQS电动轿车上路测试半固态电池。这种电池技术采用凝胶或液体浸渍的固体电解质,能量密度高达391 Wh/kg,续航里程超过1000公里,比同尺寸的传统锂电池提升约25%。该技术兼容现有锂电池生产线,转换成本低廉,有望在2030年前实现量产,并应用于高端汽车及其他领域。
阅读更多
cppyy是一个运行时Python-C++绑定生成器,允许在Python中调用C++代码,反之亦然。它无需任何语言扩展或中间语言,即可实现高性能、低内存占用、跨继承和回调等功能,支持运行时模板实例化、自动对象向下转换和异常映射。cppyy基于Cling C++解释器,能够动态、交互地混合使用C++和Python特性,甚至支持像Boost这样的现代C++库。它适用于CPython和PyPy,并针对大型项目进行了优化,在性能和内存管理上都有出色表现。
阅读更多
博主计划逐章学习并实践《Writing a C Compiler》一书,并撰写博客记录学习过程。本书以循序渐进的方式讲解C编译器的编写,第一章即可构建一个可运行的编译器,后续章节逐步添加更多功能。书中包含大量的测试用例,方便检验编译器的正确性。作者积极回复邮件,并提供了丰富的额外练习。博主对本书的逐步构建方式、完整的测试套件以及对实际C语言的支持赞赏有加,认为这是一本非常优秀的编译器学习书籍。
阅读更多
面对2022年霉霉演唱会门票风波和监管机构的压力,Ticketmaster 宣布推出“全价” (All In Prices) 计划,在结账前显示包含所有费用的最终票价。此举旨在遵守5月12日生效的联邦贸易委员会关于禁止“垃圾费”的规定。虽然本地税和递送费仍需到结账时才显示,但该计划增加了票面价格和服务费的透明度,并对排队系统进行了改进,提供实时更新和排队人数信息。这反映了监管机构对票务市场的日益关注,以及立法者推动票务价格透明化的努力,例如已通过众议院的TICKET法案。
阅读更多
华纳兄弟探索公司(WBD)宣布将加大打击HBO Max密码共享的力度。该公司首席流媒体和游戏负责人表示,到2025年底将关闭漏洞,并在2026年开始对财务产生影响。此举效仿Netflix等公司,旨在通过限制密码共享来增加收入。目前,WBD已进行数月的测试以识别合法用户,并将在第四季度采取更强硬措施,要求用户采取行动而非自愿选择。尽管如此,HBO Max本季度新增了340万流媒体订阅用户,总数达到1.257亿。
阅读更多
1987年,《Computer Language》杂志刊登了一篇文章,详细介绍了微软最新的操作系统OS/2。文章指出,OS/2凭借其多任务处理能力、全功能应用程序编程接口(API)以及对未来硬件的可扩展性,有望成为未来十年Intel 80286/80386微型计算机的操作系统。OS/2的架构分为三层:内核和系统服务、Windows Presentation Manager(WPM)以及OS/2 LAN Manager。文章重点介绍了OS/2内核及其提供的各种系统服务,包括进程创建与执行、内存管理、设备服务、文件管理和进程间通信等。OS/2采用抢占式调度程序和时间分片技术,支持保护模式和实模式,可以运行MS-DOS应用程序。此外,OS/2的动态链接库技术提高了代码复用性和可扩展性。文章最后展望了OS/2未来的发展方向,包括对80386的支持和功能增强。
阅读更多
Deno 2.4 版本带来了激动人心的更新!回归的 `deno bundle` 命令支持创建单个 JavaScript 包,并利用 esbuild 进行 tree-shaking 和压缩。新增的 `--unstable-raw-imports` 标记允许直接导入文本和字节数据,简化了非 JavaScript 文件的导入。内置的 OpenTelemetry 支持现已稳定,无需 `--unstable-otel` 标记。此外,新增加的 `--preload` 标记允许在主脚本之前执行代码,`deno update` 命令简化了依赖项管理,`deno run --coverage` 支持收集子进程的代码覆盖率。权限管理也得到了增强,支持子域名通配符和 CIDR 范围。对 `package.json` 的支持也得到了改进,包括对条件导出和本地 npm 包的更好支持。
阅读更多
LLM 0.26版本发布,带来了自项目启动以来最重大的更新——工具支持。开发者现在可以使用LLM命令行工具和Python库,为来自OpenAI、Anthropic、Gemini和Ollama的本地模型提供访问任何可表示为Python函数的工具的权限。文章详细介绍了如何安装和使用工具插件,以及如何通过命令行或Python API运行工具,并提供了多个模型(包括OpenAI、Anthropic、Gemini和Qwen-3)的示例演示。LLM不仅支持内置工具,还支持自定义工具插件,例如用于数学计算的simpleeval、用于JavaScript执行的quickjs和用于SQLite数据库查询的sqlite等。通过工具支持,LLM可以克服其在数学计算等方面的不足,显著扩展其功能,为构建更强大的AI应用提供了可能性。
阅读更多
一名举报人揭露了DOGE团队可能窃取了与工会组织和劳动投诉相关的敏感劳动数据的细节。据称,DOGE团队在获得美国国家劳资关系委员会(NLRB)内部系统访问权限后,获取了大量数据,包括工会信息、正在进行的法律案件和公司机密等。他们还试图掩盖其行为,关闭监控工具并手动删除访问记录。举报人提供的证据包括大量数据外泄、可疑的俄罗斯IP地址登录尝试以及名为“NxGenBdoorExtract”的项目,该项目可能用于从NLRB内部系统提取数据。此事件引发了对数据安全和隐私的严重担忧,专家们认为此行为可能对工会、员工以及企业造成重大损害。
阅读更多
本文探讨了嵌入技术如何革新技术写作。不同于文本生成模型,嵌入技术通过将文本转换为高维向量(嵌入),实现文本间的语义比较。文章解释了嵌入的生成方式、成本以及不同模型间的差异,并以Voyage-3模型为例,说明其在大文本处理方面的优势。作者通过类比地图坐标,解释了嵌入在高维空间中的表示方式,并以Word2vec为例,展示了嵌入技术捕捉语义关系的能力。最后,文章介绍了嵌入技术在文档网站相关页面推荐中的应用,并展望了其在技术写作领域的巨大潜力。
阅读更多