聚合文章
汇集全部已收录博客的最新文章,点击标题前往原文阅读。
Introduction There are 2,339 ways to tile a 6×10 rectangle with the 12 pentominoes. But what if I add a twist: adjacent pieces must receive different colors, and even corner-touching doesn’t count as “far enough”? How many survive? This is Exercise 7.2.2.1-277 from The Art of Computer Programming, V…
引言 用 12 块五格骨牌平铺 6×10 矩形共有 2339 种方法——但如果我要求相邻骨牌颜色不同,连角都不能碰,还剩几种? 这是《The Art of Computer Programming》Volume 4B 中的习题 7.2.2.1-277,难度评级 [25](TAOCP 的评级范围 0–50,数字越大越难)。答案是:94 种,仅占约 4%。 问题定义 什么是”强”三染色? 普通图染色问题中,两个顶点相邻指的是它们之间有边相连。在五格骨牌的语境下,如果两块骨牌共享一条边,它们就是相邻的。 但”强”染色的要求更严格:两块骨牌不能共享边,也不能共享角点。用图论的语言来说,这是 8-连通邻…
如果你看到了这一篇文章,那么证明你已经安装成功了,感谢使用 Halo 进行创作,希望能够使用愉快。
今天终于把halo升级了,以前是1.4.17,一直没升1.5.x/1.6.x,官方又不支持1.14升2.x,所以需要先升级到1.5.x/1.6.x,但是不知道为什么,我的halo部分数据丢失了,估计是以前升级失败了,查看数据库发现丢失的文章在CONTENTS表中都存在,只是posts表丢失了,直接运
转载随笔:围绕《Spring》这首歌的逐段解读,一个关于时间与陪伴的故事。
问轩博客
2026-04-07
在 CentOS 7 上升级 OpenSSL 到 1.1.1,最稳妥的方式是源码编译安装。因为 CentOS 7 官方仓库的默认版本是 1.0.2,并且不会提供 1.1.1 的大版本升级。这里有一个核心原则需要注意:不要覆盖系统自带的 OpenSSL 1.0.2。很多系统工具(如 yum、ssh)都依赖旧版本,强行替换可能导致系统故障。我们的目标是“新旧共存”,让需要 TLS 1.3 的新应用(如重新编译 Nginx)能找到新版即可。? 操作步骤:源码编译安装 OpenSSL 1.1.11. 安装编译依赖首先,需要安装编译所需的工具和库。sudo yum groupinstall -y "De…
飞行雪绒的博客
2026-04-07
题目链接:P1029 [NOIP 2001 普及组] 最大公约数和最小公倍数问题 这个题可以先读题,先输入x0和y0,然后需要求P,Q,这两个数的最大公约数是x0,最大公倍数是y0.求有多少个这样的P,Q 我们简单的想到穷举.因为x0是两个数字的公约数,那这个数一定能被x0整除,所以我们从x0穷举,
飞行雪绒的博客
2026-04-07
题目链接:1979. 找出数组的最大公约数 这个题还是非常简单的,返回数组最大数和最小数的最大公约数,我们要找最大数和最小数,直接排个序不就行了. Python代码如下: import math class Solution: def findGCD(self, nums: List[int
Claude Code 近期发布了 v2.1.91 和 v2.1.92 两个重要版本。这两个版本集中在第三方平台集成(AWS Bedrock)、超大数据处理能力、安全性增强以及大规模的稳定性修复上。
记录我搭建个人博客的过程、技术选型和心得体会
l
lishining的博客
2026-04-07
YugabyteDB分布式数据库部署 注:不要在aarch64上面部署,我尝试了一个下午无法成功 一、搭建内网 我推荐 https://github.com/gravitl/netmaker 这个项目,这个项目能够将多个主机连接到一起组成一个内网,并且可以当作代理使用,很方便 二、ufw防火墙 因为
PagedAttention是vLLM团队提出的一种内存管理机制,它借鉴了现代操作系统中虚拟内存(Virtual Memory)和分页(Paging)的设计思想。 1 为什么需要PagedAttention? 在传统的KV Cache实现中,我们通常需要预先为每个序列分配一块连续的显存空间,其大小通常基于模型能够处理的最大上下文长度(比如32k/128k/256k),这会导致以下问题: 显存浪费:即使推理一个序列只需要1K的显存,在推理的过程中也会为它预留最大上下文长度的显存空间,除了真正使用的1K空间,剩下的空间完全是闲置的 内存碎片:当多个请求并存,显存中散落着各种被预留但未填满的显存空隙…
在以Transformer架构的模型推理阶段,KV Cache是一种为了大幅提升大语言模型(LLM)生成速度而采用的关键技术,核心目标是:避免在生成一个新的Token时,重复计算之前已经生成过的Token的注意力信息。 1 KV Cache是什么? 在Transformer模型中,注意力机制的核心公式是: \text{Attention}(Q, K, V) = \text{softmax}\left(\frac{QK^T}{\sqrt{d_k}}\right)V 其中: Q (Query):当前正在处理的向量 K (Key):用来匹配相关性的键向量 V (Value):用来提取信息的价值向量 …
美兰十三的想疗院
2026-04-07
你的金属歌单里必有的那些经典的金属作品
前几天跟群友说起这件事,才发现这机器组完之后居然一直没写过文章做个记录。 现在补上应该还来得及。 起因是之前用 […]
This is NCTF 2026 WriteUp.
让 AI 帮你写博客,自动推送到博客系统——从生成内容到发布上线,全程只需要几句自然语言指令。这不是科幻,而是一条已经跑通的实际工作流。 这篇文章记录了我如何用 OpenClaw(开源 AI Agent 平台)+ Halo(开源博客系统)+ Halo CLI(官方命令行工具)搭建一条完整的 AI 博
转载备注:以前上高中,每周都得坐两次这种车,那时候也没觉得有什么不妥... 3月23日早上,贵州赫章县河镇乡恒 […]
问题描述 服务器关机维护了4天,开机之后发现服务器无法连接网络,但是同个交换机上的多台服务器之间连接正常。 [crayon-6ad2c2c2d6356911166416/] 环境描述 服务器的网络配置采用单网卡双ip的配置方式,一个ip是D...
Since this is a programmer's blog, posts will inevitably contain code.
我心向阳
2026-04-07
涟水,长江流域洞庭湖支流湘江的支流,发源于湖南省新邵县观音山南麓,自西向东流经涟源市、娄星区、双峰县及湘乡市,最终在湘潭市河口镇汇入湘江,境内全长185.85公里,沿途纳孙水、湄江、测水等1-4...
任何曾经做过Linux内存取证的人都面临过这种场景:没有与内存镜像对应特定内核版本相匹配的调试符号,就寸步难行阅读更多
颢天笔记
2026-04-07
本部分文章将涉及以下 LLM 并行方法:上下文并行 (Context Parallelism, CP):旨在突破超长序列带来的注意力计算与显存平方级增长瓶颈。流水线并行 (Pipeline Pa...
分享 Harness Engineering 的个人实践心得,介绍开源项目 ContextAtlas 的设计理念与核心架构。
这篇像“拆机指南”:官方全家桶虽稳,但组件多、吃资源。作者妙手一拆,把 Redis、RustFS 等外置复用,只留核心服务,降低压力、适配面板运维。关键点是环境变量和服务互通别配错,不然就像咖啡没加水☕️,只剩苦。总体思路很实用。
零五网
2026-04-07
AI时代到来,软件开发成本已大幅降低。Cloudflare最近利用人工智能编码代理在一周内重建了 Next.j [...]
2026年3月开始,武汉铁路局在武汉市内开行了武汉东、汉口、武昌的环线列车,值得注意的是,这趟列车全列采用了武 […]
香菇的博客
2026-04-07
一些老图(2)
星茶会
2026-04-07
我并不算什么摄影大咖,水平算不上有多好,单纯是因为热爱,才一直在这条路上摸索。过去很长一段时间,我的镜头里大多是路边的花草和阴晴不定的天气。最近因为摄影结识了几位志同道合的朋友,大家聚在一起互勉约拍,我才真正开始了人像摄影的实践。也正是这段时间,我才发现拍好人像远比想象中复杂。通过最近的“实战”,我总结了一点点浅薄的经验,想和大家分享一下我的拍摄心得,也算是对自己这段时间进步的小结。首先是关于筛选:优先选择审美契合、守时配合、能一起策划的模特,可以要一些日常照了解模特的性格、风格等,提前定好拍片规划!拍片规划总还是要有的,如果在周末出去约拍,一定要考虑到游客众多的问题,那里还会有大堆与你一样约…
卖坚果的怪叔叔
2026-04-07
糟糕的三月,先是胃疼了一个多星期,然后牙疼了一个多星期。最后痛风发作疼了两个星期。我也是醉了。 年纪不大,一身的毛病。 人到中年,不服老不行啊
记录一下这个 Astro 博客的使用方法,方便以后忘了回来看
老K博客
2026-04-06
源码介绍东郊到家源码是一种上门服务模式,主要提供推拿、足浴等健康服务。该模式通过APP、H5页面和小程序等多种渠道,为用户提供便捷的预约服务,避免了传统到店服务的等待时间,节省了用户的时间和精力...
老K博客
2026-04-06
源码介绍这个项目是微软开源的一个轻量级 Python 工具,专门用来把各种文件格式转成 Markdown。听起来好像平平无奇?但它是为 LLM(大语言模型)量身定制的!演示截图项目地址{clou...
显卡驱动导致的循环登录问题,换个合适版本的显卡驱动即可 The post 解决Ubuntu循环登录的问题 appeared first on Yourlai's Blog.
开箱 这是我在闲鱼上掏了112元买的全新未拆封,但买完后我又有点后悔,因为在今天这玩意属实挺鸡肋。那话不多说,上图。 外包装朴实无华,英特尔一贯的风格。 拆开后拉出就是NCS 2本体了,还有一张没中文的说明书,说明书上有个网址 Discon
如果注定要分别,那么,相遇的意义又是什么
羽天的驾驶舱
2026-04-06
使用书籍为格里菲斯量子力学中文翻译版第三版,是考研的时候自用的一些小知识点总结,还有一些做题心得,以及页码标注定位。 自用倾向强,但如果能对别人有用也挺好的。 文章内容很可能有错误,欢迎交流。 第一章波函数 埃伦费斯特定理: \frac{\mathrm{d}\left\langle p\right\
FilledButton.icon 无法被 find.byType(FlatButton) 找到 https://stackoverflow.com/questions/62336449/how-can-i-find-flatbutton-icon-in-a-flutter-tests
宋瑞华
2026-04-06
浮鲜
2026-04-06
《太阳之子》是一张合格的流水线音乐产品,但也仅此而已。相比于“周杰伦”这个名字带给大众的预期,本作实际呈现的艺术水准是有落差的。其原因或许可以归纳以下几个层面:
Teng's Blog
2026-04-06
最近用小米的 MIMO 大模型重构了一个老项目,花了 2.6 亿 token,把项目和 API 重新整理了一遍。 折腾完之后,我突然想明白一件事:维护一个长期稳定的服务,比想出一个天才创意要艰难得多。 这话听起来像废话,但真的只有自己趟过坑才知道有多真实。 稳定比你想的难一百倍 以前我也觉得,哎,想法最重要嘛,有了好点子就成功一半了。但现在发现完全不是这么回事。 让一个服务稳定运行,提供可靠的接口,这事儿真的太难了。我现在时常把那点数据搞崩,每次想加个新功能,就得做好心理准备......READ MORE
context 是怎么构建的? opencode 的 context也是分为这几部分: System Prom... 拆解一下 opencode context 做了哪些优化最先出现在luozhiyun`s Blog。
ZWWoOoOo
2026-04-06
以前一直习惯多端用 Google 输入法,直到它取消了 PC 版。中间用过一阵 Rime,配置虽麻烦但还算顺手,后来因为 Win10 那个奇 …
Neil的自留地
2026-04-06
A PostgreSQL backup failure that looked like a disk-capacity problem turned out to be an EXT4 directory indexing limit caused by millions of tiny Large Object files.
老K的Java博客
2026-04-06
Java 24标志着该语言和JVM发展的新阶段,Leyden和Lilliput项目逐渐融入其中。性能优化、内存使用减少、启动速度加快:这些进步为更流畅、更高效的体验铺平了道路。虽然目前没有重大的语法变革计划,但一些预览功能仍在不断成熟,同时后量子加密算法的出现也增强了安全性。接下来,我们将探讨将塑造Java未来的新功能。 在Java领域,每个演进(称为JEP)可以有以下模式之一: 孵化器:孵化器模
又是一年春