题解 个人2023
log-2023-03-03
TODO: Halpern and Pearl's actual causality model Finalize the spec for each protocol PAPERS: Actual Causality Introduction to Temporal Logic An Introd ......
log-2023-03-07
TODO: Tiramisu TPG construction Layer 2: Ifaces have the same prefix (and in the same vlan area, if any): @A-(AB link)-out->@B-(AB link)-in, @A-(* lin ......
log-2023-03-20
TODO: FT generation Diagnosis PAPERS: * CODE: CONFUSIONS: * CONCLUSIONS: Symbolic Execution 和 Model Checking的区别 确定性程序和不确定性：把不同的程序块（一个入口进一个入口出）看作不同状态，确 ......
2023 KeyShot官方材质库近千款高质量材质！
今天给大家分享的是KS2023的官方材质库含真实布料、车漆、半透明、宝石、玻璃、皮革、金属、液体、模德蚀纹、卡通、木纹等，26种材质分类900+材质！ KeyShot软件下载 点这里立即去下载KeyShot 11.3.3.2安装包 KeyShot 官方材质安装教程 01-找到桌面KeyShot 2 ......
「Gym102759L」Steel Slicing 2 题解
传送门 「Gym102759L」Steel Slicing 2 题目大意 给定一个只有水平边和竖直边的铁片，每次可以水平或竖直方向把一个铁片分成两个部分。注意只能是两个部分。求最少切多少刀才能使得每一个部分都是长方形。 铁片形状如下图，以输入 $h,l$ 的方式给出。 思路 手玩几组数据之后，我们可 ......
H7-TOOL发布固件V2.21, 增加RTT快捷面板功能，脱机烧录增加英飞凌，Qorvo以及NXP，普冉，华大，灵动微等新系列（2023-03-26）
H7-TOOL所有资源汇总（含操作手册）： http://www.armbbs.cn/forum.php?mod=viewthread&tid=89934 PC机软件：升级PC软件到V2.2.1 h7toolPC_release(V2.2.1).zip (81.80MB) 【PC软件】V2.2.1 ......
某乎 x-zse-96 参数 破解 逆向 反爬（2023-3-27）
前言 该文章为学习使用，严禁用于商业用途和非法用途，否则由此产生的一切后果均与作者无关！如有侵权，请私信联系作者删除~ 需求 Base64编码： 目标网站：aHR0cHM6Ly93d3cuemhpaHUuY29tL3RvcGljLzE5NTUwMjI4L2hvdA== 端口：aHR0cHM6Ly ......
2023DDdebian系统以及常用设置和命令
1.DD命令 bash <(wget --no-check-certificate -qO- 'https://raw.githubusercontent.com/MoeClub/Note/master/InstallNET.sh') -d 11 -v 64 -p "654321" -port "2 ......
「题解」ABC290F Maximum Diameter
没动脑子就 gf 一路写下来了......实际上就是把插板法的 gf 写了一下/zk 首先考虑一下一个 $X$ 合法是什么情况，那就是总和是 $2n-2$ 并且保证 $0<X_i<n$。 证明就考虑贪心构造一下，每个 $1$ 挂在一个 $\geq 2$ 的上面，不断挂使得最后只剩下两个 $1$ 和一 ......
省选武汉联测 12 题解
今天题比较简单的一次。T1 数组爆了是我小丑。 为啥离线测的时候 T2 t 了啊。我题库上边跑 1300ms 也挺健康的吧。 居然 nealchen 老师的课件。 EmoCosine！这曲曲绘输血袋插耳机上） 图案 原题：CF526D。 发现 $k+1$ 个 $B$ 和 $k$ 个 $A$ 交错排列 ......
CF123E 题解
简述题意：给你一棵树，每个点有一个被选为起点的概率和一个被选为终点的概率，从起点开始随机遍历子树，问到达终点的期望步数。 直接计算答案很难，考虑对一对 $(S,T)$ 来说，以 $S$ 为根，那么有： 对 $T$ 的子树里的点：显然不会被遍历到，贡献为 $0$。 对 $S\to T$ 路径上的点：显 ......
2023天梯赛选拔赛1 -- 补题
0x00 竞赛 2023年中国高校计算机大赛-团队程序设计天梯赛（GPLT）上海理工大学校内选拔赛 0x01 $dp$ 感觉很典型的 $dp$，但是我没做出来 题目大致就是说，我们有四个篮子($A,B,C,D$)，每次给我们四个数($a,b,c,d$)，我们可以选择一个数放到对应的篮子里。 篮子的大 ......
Codeforces Round 860 (Div. 2) A-D题解
比赛地址 A.Showstopper 题意：给两个数组a和b，可以进行任意次操作：交换a[i]和b[i]，问能否使得a[n]和b[n]分别是数组a和b的最大值 Solution 假设a[n]和b[n]固定，对于每一个i，a[i]和b[i]只能选其中之一，并且必须选择比a[n]或者b[n]小的，如果只 ......
2023.3.27-构建之法-3月份读后感1
最近，我阅读了构建之法的一部分，我有了一些感受。 过去我对于软件工程的了解不够深入，对于“程序=数据结构+算法”这句话的理解不够深入。构建管理、源代码管理、软件设计、软件测试、项目管理相关内容是软件工程的核心部分。广义上的软件工程也包括用户体验、用户界面设计等。所以，“软件=程序+软件工程”、“软件 ......
GDKOI-J 2023 游记
GDKOI-J 2023 游记 Day 0 $ 15:30 $ 翘了一节课去学校东门集合坐大巴。 不理解，到广州 1h+ 的路程走了 3h，中间还和别人的车刮上了？ 路上，教练跟我们说晚上 $7:00$ 之后是自由活动时间，$9:30$ 要查房。但是能够随便出去玩还是很开心。 大家都不知道可以带手机 ......
2023最新微信公众号免费接入饿了么外卖优惠券教程
今年3月份淘宝联盟下线了饿了么外卖CPS活动，在我的圈子里很多推客都说饿了么外卖CPS不能做了。作为一个有着七八年经验的老推客，凭借我的经验一般平台都喜欢用 pub、union 、open、等前缀作为cps联盟平台域名，通过尝试果然饿了么采用了union的前缀开设了一个新的联盟平台。一番研究发现原来 ......
2023最新ELK日志平台（elasticsearch+logstash+kibana）搭建
前言 去年公司由于不断发展，内部自研系统越来越多，所以后来搭建了一个日志收集平台，并将日志收集功能以二方包形式引入自研系统，避免每个自研系统都要建立一套自己的日志模块，节约了开发时间，管理起来也更加容易。这篇文章主要介绍ELK最新版本的搭建，二方包的介绍可以看小霸王的另外一篇文章。 ELK介绍 El ......
【2023-03-25】连岳摘抄
23:59 与其为数顷无源之塘水，不若为数尺有源之井水，生意无穷。 ——王阳明 正常人不会瞧不起你父亲。我尊重他，佩服他。他这辈子用一点苦力钱，撑起了一个家，一点也没亏待你这个女儿。你读三本民办，就花大钱让你读。你在家考研，就让在家备考。穷是穷，但该做的事都做了，该尽的责都尽了，相当有尊严。所谓的“ ......
【2023-03-24】主次分明
20:00 乐观的作用是无法估量的，只要你怀揣着对未来的积极信念，你一定可以过得更幸福。 ——马丁·塞利格曼 随着二宝的生长发育，无论是大肢体动作，还是行为意识，都在改变。活动速度快了，有自主想法了，性格也调皮多了。现在连喝个奶，也要花从前好几倍的时间和精力。好奇心极强，稍微有什么风吹草动，就要扭过 ......
JOISC 2023 简要题解
为什么我只会一堆大众题啊！！ 还没更完的：假装更完了.jpg Day1 T1 显然取链上代价前最小的若干个付银币，于是主席树上二分即可。 Day1 T2 首先想一个 dp 做法出来。 考虑做一个线头 dp 类似的东西。从左到右扫，状态中记录现在还没有结束的线头个数。 仔细思考一下，要记录 Fake ......
【2023.03.27】乐乐兄弟中华街系列8962短评
前言 本人是自费购买积木，购买原因是给妹妹培养动手能力，减少短视频占用时间，其次是给家里做摆饰，所以选择积木多考虑了美观 非专业评测，如果想看更多积木评测请点进我的博客主页分类查看 正文 街景共有八套组成，这个品牌的积木有个不错的点就是每套积木都送了人仔，刚好我又是比较缺人仔的 整体稳固性一般，几个 ......
2023
2023.3.26周报 本周总结： 本周主要是刷dp还有学习数论方面的知识 大方向： 动态规划、数学 小专题： 区间dp GCD LCM 裴蜀定理 线性丢番图方程 二元线性丢番图方程 扩展欧几里得算法与二元丢番图方程的解 多元线性丢番图 欧拉函数 欧拉定理 积性函数 整数分块 完成题目： 34 ......
【2023.03.27】启蒙keeppley神威铜狮K10111短评
前言 本人是自费购买积木，购买原因是给妹妹培养动手能力，减少短视频占用时间，其次是给家里做摆饰，所以选择积木多考虑了美观 非专业评测，如果想看更多积木评测请点进我的博客主页分类查看 正文 启蒙这套故宫系列确实很好看，其中最有名的应该就是这款铜狮子了 我拼了金色的雄狮子，妹妹拼了银色的雌狮子，启蒙的手 ......
阿里云+树莓派+群晖搭建个人的视频网站
我在2017年购买了阿里云服务器，最基础的配置，硬盘空间只有40G，一直都是以发文字blog 为主。主要的原因是空间太小，如果放照片、音频和视频空间很快就满了。今年我试图把家里群晖中的视频加到阿里云服务器中，因为群晖不支持外链视频播放而没有成功。最近利用家中闲置的树莓派解决了这个问题。 硬件是树莓派 ......
关于计算机技术以及未来的一些想法（2023篇）
发现自己上次写这个已经是13年前了，部分预言已经成为了现实。新能源，无处不在的个人终端，算力战争都已经在现实中看到。 GPT模型最近给我很大的冲击，折腾了一下微软的SK，这个东西将极大改变未来。 模型训练模型。迟早大模型将具备训练小模型能力，大模型根据特定需求训练出专有模型，托管在计算中心中与大模型 ......
每日总结2023-03-26
今天进行了Android的页面的优化设计，更改结果集的布局高度，使得结果可以全部显示，代码量大概40。 public class MainActivity extends AppCompatActivity { private TextClock tcDateTime; @Override prot ......
2023-03-27 哈希表
哈希表 1 哈希表基础 以LeetCode387号问题为例 /*********************************************************** * @Description : LeetCode387号问题 * https://leetcode-cn.com/p ......
nkctf2023
前言 本次比赛pwn题体验尚可，musl的堆管理需要学习，还有很多attack的技术需要学习。本文记录部分做出的题目，有什么好的思路和不对的地方，欢迎各位师傅进行指正。也欢迎交换友链。 贴上基本ak的图片吧QAQ。 misc 三体 应该是个非预期出的，正常来说应该参考这篇文章【技术分享】第五届强网杯 ......
day26（2023.3.26）
1.通过继承Thread类实现多线程 运行结果: 2.通过Runnable接口实现多线程 运行结果: 3.StopThread停止线程 运行结果: 4.SleepThread休眠线程 运行结果: (出的很慢,像睡着了一样。) 5.YieldThread线程让步 运行结果: (如果第一个是Thread ......