常用导航 
随笔博客 
技术博客 
资讯博客 
百科博客 
攻略博客 
视图博客 
AI博客 
Clash for V2rayN for Winodws
V2rayN for Winodws 客户端下载： 下载链接 https://pan.kunlunfiles.us/OpenSource/Windows/v2rayn-5.39.zip 备用下载链接 https://share.feijipan.com/s/K0CmG82Y Clash for Windows 客户端下载： 下载链接 ht......
聚合文章
汇集全部已收录博客的最新文章，点击标题前往原文阅读。
Z3简单介绍
Z3 是什么Z3 是一个微软出品的开源约束求解器，能够解决很多种情况下的给定部分约束条件寻求一组满足条件的解的问题（可以简单理解为解方程的感觉，虽然这么比喻其实还差距甚远，请勿吐槽），功能强大且易于使用，本文以近期的 CTF 题为实例，向尚未接触过约束求解器的小伙伴们介绍 Z3 在 CTF 解题中的应用。Z3 约束求解器是针对 Satisfiability modulo theories Problem 的一种通用求解器。所谓 SMT 问题，在 Z3 环境下是指关于算术、位运算、数组等背景理论的一阶逻辑组合决定性问题。虽然 Z3 功能强大，但是从理论上来说，大部分 SMT 问题的时间复杂度都过…
解决win10开机后会卡死（应先确认是否因为防火墙安全中心服务的检测和通知问题导致的）
关闭Windows安全中心服务 1、按下WIN+R，然后输入services.msc 回车； 2、打开本地服务 […]
butterfly主题即刻短文搭建教程
250518 P 日榜TOP10
Pixiv 日榜TOP10作品
做了几个产品之后，我学会的几件小事
不是方法论，不是框架。就是做了几个产品之后，对用户、对需求、对人本身的一些零碎体会。
投资入门4-股指期货套利投资-一文看懂贴水的机会与风险
Blog update - Artin-Schreier extension of characteristic p
It hasn’t been too long before the last blog update.
这是一篇登录才能看的文章
程序员去水果摊买西瓜，询问“瓜保熟吗”，老板以“瓜像JavaScript，表面光滑无bug”回应。程序员当场切开瓜见半生不熟，反问“算异步加载失败”，老板擦汗称“您用IE打开，需F5重新渲染”。故事通过程序员与老板用编程术语对话，将日常买瓜与编程梗结合，以“异步加载失败”“IE需F5渲染”等幽默回应，凸显行业特色与生活场景的反差趣味。
这是一篇登录才能看的文章
程序员去水果摊买西瓜，询问“瓜保熟吗”，老板以“瓜像JavaScript，表面光滑无bug”回应。程序员当场切开瓜见半生不熟，反问“算异步加载失败”，老板擦汗称“您用IE打开，需F5重新渲染”。故事通过程序员与老板用编程术语对话，将日常买瓜与编程梗结合，以“异步加载失败”“IE需F5渲染”等幽默回应，凸显行业特色与生活场景的反差趣味。
360 极速浏览器 X 64 位 v22.3.3154.64(国内版) / v22.3.5096(国际版) 优化版
360 极速浏览器 X ，凤凰工作室世界之窗的继承者。在各方面性能也较为出色，非常值得一用...
暮春之景
摄影五一假期过去一星期才拍的，第一茬花都快谢光了。设备是三星Galaxy S6（十年前的老“古董”），微距效果竟出奇的好。!多图警告!顺便说一句部署了一个新的音乐页面MusicBox
一道数学题
上课的课前测。
英伟达反对英伟达
本文仅代表作者本人观点，与作者所属的任何团体皆无关系。本文内容不构成任何明示或默示之建议。 DeepSeek 一声炮响 2025 年 2 月 26 日，DeepSeek 开源周第三天，DeepGEMM 代码开源发布。围绕 DeepSeek 开源代码的讨论有很多，最抓人眼球的是『DeepSeek 打破 CUDA 壁垒』、『DeepSeek 撕开英伟达垄断圈』一类的说法。稍微懂行的人都知道此类说法基本…
Armstrong
2025-05-17
制作集成 2024 年 10 月更新的 Windows 7 SP1 Pro X86 VL 安装 ISO
Windows 7 是一款非常经典的操作系统，即使目前微软停止了技术支持，依然还会有一些老爷机或者工控机等在使用。我也会用它来运行一些需要长时间在线，对安全性要求相对较低的软件。我使用了十几年 Windows 7，发现最适合配置低的电脑的版本是 Windows 7 SP1 Pro X86 VL 版。这个版本发布距今已经十多年，直接使用显然安全隐患巨大，安装更新也非常耗费精力。所以，需要制作一个集成了更新的映像。
IGS Arcade Reverse Engineering Series (1) - E2000 Platform Analysis
Preface 2010 was the golden era of arcades. As mobile devices and home consoles became widespread, the arcade industry gradually declined. Although some policies were introduced domestically to encour…
哲学的基本问题和两大派别
零、写在前面 这是随便写写的笔记，主要写我的理解，所以可能有不正确的内容，不建议作为个人自学的资料！ 一、哲学的基本问题 哲学的基本问题是：思维和存在的关系问题（或可表述为：意 访问 https://blog.adproqwq.top/posts/phylosophy-basic-question 阅读全文。
雨云控制台模块管理器
引言最近写了两个新的雨云控制台油猴脚本，但是发现脚本多了就不方便管理了，所以就诞生了这个管理器。你可以把它理解为一个低配简易版的 https://github.com/the1812/Bilib...
如何将airpi ap3000m/e通过uboot刷入新固件
1.提前将电脑控制面板的网络配置如图，网口设置为静态地址192.168.88.2，子网掩码255.255.255.02.保留控制面板网口状态，留着备用，不关闭该页面3.找到机器的reset按钮，提前网口插好，用卡针顶住reset按钮，插pd供电4.等到前文提到的控制面板网口界面出现未识别网络，松开reset按钮5.打开浏览器，输入192.168.88.1，选择新固件，按下图进行更新固件，等待重启即…
【全文】从输入 google.com 到浏览器显示谷歌页面发生了什么
关于那个经典的面试问题，这里有最详细的解答。
Reflections on Management Training: A Technologist's Perspective on the Path to Leadership
A technologist's reflections after attending a management training course. Explores why managers must care about efficiency, the value of standardization, and how these concepts apply to engineering t…
AlpacaHack Round 11 WriteUps
這周打了全部都是 web 題目的 Solo CTF AlpacaHack Round 11，四題全解，不過因為解的比較慢所以只有第二名。
VictoriaMetrics 开发者笔记：团队内关于 Distributed Tracing 的调研，对比 Tempo 和 ClickHouse
The VictoriaMetrics Observability Blog This blog post is also available in English: Developer’s Note: Research on Distributed Tracing, Comparing With Tempo and ClickHouse 谈到可观测性，人们总是会提起它的三大支柱：Metrics, Tracing, 和 Logging。在 VictoriaMetrics，我们已经有了 Metrics 和 Logging 的解决方案 VictoriaMetrics 和 VictoriaLogs。…
BABYMONSTER BLACKPINK Cover in Singapore – HELLO MONSTERS World Tour 20250517
近期学习内容安排以及关于博客内容的想法
网络安全技术学习，承认自己的弱点不是丑事。只有对原理了然于心，才能突破更多的限制。拥有快速学习能力的安全研究员，是不能有短板的，有的只能是大量的标准板和几块长板。知识面，决定看到的攻击面有多广；知识链，决定发动的杀伤链有多深。
Branch Privilege Injection: Compromising Spectre v2 Hardware Mitigations by Exploiting Branch Predictor Race Conditions
Intel mitigates the BHI & BTI, but incompletely
MacOS切換輸入法卡頓解決方法
解決輸入法切換卡頓
M4 Mac 破解 Adobe Acrobat
M4 Mac 破解 Adobe Acrobat 步骤 安装Adobe CC 安装时不勾选正版检测，安装后在设置里取消自动更新 获取特定软件的安装包 手动 git clone https://github.com/Drovosek01/adobe-packager.git ``cd adobe-pac
從零開始的 neovim 配置 1
新手向 Nvim 配置教程 -- 配置架構和插件管理
告别咖啡因焦虑，轻松掌控你的咖啡生活！
告别咖啡因焦虑，轻松掌控你的咖啡生活！你是否每天都会喝咖啡或茶提神，却常常担心咖啡因摄入过量？或许你在努力减少咖啡因，但却不知道自己具体摄入了多少？现在，有一个极简又美观的工具，让你轻松管理你的咖啡因摄入——Caffeine Tracker。 你是否有这些困扰？一天喝了太多咖啡，晚上却辗转难眠？下午感到疲倦，却不确定是否应该再来一杯咖啡因饮料？不清楚自己摄入的咖啡因会在体内停留多久？希望优化咖啡因摄入时间，以达到最佳工作效率？如果你有以上任何一个问题，那么咖啡因追踪器将是你的贴心助手！ 什么是 Caffeine Tracker？Caffeine Tracker 是一个简单实用的咖啡因摄入追踪应…
Go 1.24 - os.Root 锁定工作目录
Go 1.24 - os.Root 锁定工作目录 建议点击 查看原文 查看最新内容。 原文链接: https://typonotes.com/posts/2025/05/16/os-root-in-go124/ os.Root 可以锁定工作目录。 使用户无法打开目录外的文件，例如 ../../../etc/passwd 。 可以算一种 安全保护 最重要的是 强制约束用户， 限制用户行为， 检查计划外的使用逻辑 。 免得和煞笔瞎掰扯， 浪费时间。 使用 root, _ := os.OpenRoot(basedir) 锁定工作目录 以后的所有操作都要基于 root.Xzzzz() 展开 root.…
Go1.24 - 按行读取文件
Go1.24 - 按行读取文件 建议点击 查看原文 查看最新内容。 原文链接: https://typonotes.com/posts/2025/05/16/read-file-line-by-line-go124/ 在 go 1.24 中新增加了两个标准方法 - strings.Lines() 和 bytes.Lines()。 都使用 分隔符 \n 拆分对象。 都返回一个 Seq 的迭代对象。 Seq 迭代对象 Seq 迭代对象可以接受一个 回调函数 或 使用 for 循环 进行遍历。 使用 回调函数 时， 可以通过 return false 提前终止遍历。 1 2 3 4
卸载Android系统某些自带的软件
卸载Android系统某些自带的软件 有台安卓机红米系统, 其他广告推送什么都关了设置,就是小米定制版搜狗输入法一直想卸载 今天看到xiaoz大佬分享的Universal Debloater Alliance开源软件自己就试了,效果不错. 操作流程我就直接copy大佬的了,其他看截图,转载xiaoz大佬文章https://blog.xiaoz.org/arc…
Movable Type 9.0.1 Developer Preview Released - News
Movable Type 9 Developer Preview Now Available ...
“拯救落魄奴隶少女”云云，还是一如既往的令人作呕
“拯救落魄奴隶少女”，算是一种ACG领域常见题材或情节，往往是主角在奴隶市场等类似场景遇到作为商品买卖的少女，然后买下来悉心照料这种剧情。主角的善良和纯爱剧情经常被人们喜爱，但看向作品本身，其实际上有着恶心的创作动机。 这种设定本质上还是幻想出一个天生处于最低地位、毫无人权的物体，通过虚伪的拯救，也……
逆向工程：Themida 3.1.9.20 (FALCON64 Tiny) 探究
本文以 Themida 3.1.9.20 FALCON64 (Tiny) VM为研究对象，FALCON64是最简单的Themida VM。分析了大部分Handler与VM_Context等，并通过一个加了VM的简单程序来进行逆向，剖析其功能，最后进行JCC爆破，解决问题。
在QQ部署一个ai机器人
How I built my Pulitzer WordPress theme in a weekend
Last year, I spent a weekend building my WordPress theme Pulitzer while documenting the whole process in a thread on Twitter. Since then, Twitter has become a hellish nightmare place that I want nothi…
Desvl's blog
2025-05-16
Artin-Schreier Extensions
RecallThroughout, let $K$ be a field of characteristic $p\ne 0$ and $E/K$ a cyclic extension of order $p^{m-1}$ with $m >1$. The algebraic closure $\overline K^\mathrm{a}$, the separable algebraic closure $\overline K^{\mathrm{s}}$ are always fixed. We use $\mathbf{F}_p$ to denote the finite field o…
为什么我不怎么会写作
我想了想，可能是我说的话不够长，不够连贯吧。只有多写写，不要删除，只需要变换语序，把内心真实的想法留下来才是写作的重要意义。 就在刚刚，一个初中生在网站上抱怨初中生补课时间占了大半，不再像小学的时候周末都能出去玩了。在编辑给他的回复时候，我发现虽然自己有很多话说，但很多又不能真正的说不出口。 难道真的发送一句你还不够累，多想想你的以后，这不符合这位初中生来倾诉想要得到的东西，也会导致我变成只会说教的怪大人，所以我只是发了句你只是累了。
为什么我不去图书馆借书了
在刚刚进来大学的前两年，我每个寒暑假都会从图书馆借书籍回去看 虽然不多，但好歹编程技术也借了13本，文学书籍也借了11本，也算是超过了百分之96的同学了。
多集群网络Submariner集成
本文将介绍如何使用Submariner实现跨集群的网络通信，包括安装Submariner、配置Submariner、验证Submariner是否正常工作等。
【2025最新】WSL+LaTex+VSCode安装教程
【2025最新】WSL+LaTex+VSCode安装教程 假定你已经在Win里装了TexLive2025，配置了VSCode（实际上没有也无所谓），能正常编译，但苦于编译速度慢，需要利用WSL的Ubuntu的编译速度。
cmd命令修改windows系统NTP服务器地址
w32tm /config /manualpeerlist:"ntp.aliyun.com" /syncfro […]
_IO_FILE原理-fopen源码分析
简单分析了glibc2.23 fopen的源码
My own RSS reader
I started making my own RSS reader webapp (a what reader?). It can be accessed at /tools/rss/. Currently it’s hardcoded to just load my own site feed leanrada.com/rss.xml and that’s totally fine. I ma…
PPT拼图批量生成工具
最近写了一款职场办公辅助利器 —— PPT拼图批量生成工具。这是一款专为提升演示文稿存档效率而精心打造的软件，它将彻底改变您对PPT文件的存档体验，让繁琐的页面整合变得轻松又高效。在日常工作中，我们常常为了在海量PPT中查找内容而苦恼，传统的手动依次打开PPT的查找方式不仅耗时费力，还会因PPT文件过大导致崩溃等问题。为了解决这一痛点，我们推出了PPT拼图批量生成工具。这款软件具备以下卓越特性：一键式操作简洁直观的图形用户界面，让您无需复杂的学习过程，即使是初学者也能轻松上手。只需通过简单的文件选择操作，无论是指定整个目录下的PPT文件批量处理，还是单独挑选多个PPT文件逐一操作，都能迅速完成…
利用 transformers LoRA 微调模型
RSS 阅读体验可能不太好，若喜欢本文请点此跳转原文查看~ 什么是 transformers🤗 Transformers 提供了便于快速下载和使用的 API，让你可以把预训练模型用在给定文本、在你的数据集上微调然后通过 model hub 与社区共享。同时，每个定义的 Python 模块都是完全独立的，便于修改和快速进行研究实验。https://github.com/huggingface/tra…