相关文章
tlaplus-vscode插件使用记录
参考官方教程Getting Started 和油管视频A gentle intro to TLA 入门和命令
首先在vscode的扩展里面下载 然后新建一个squares.tla文件 在代码区域先输入module生成上下的分隔符,然后输入pluscal来调用模版,生成一堆预设代码 小改一下,编写一…
建站知识
2024/12/23 18:17:18
MAC如何在根目录创建文件
在这之前先明确一下啥是根目录。
打开终端,输入cd /,然后输入 ls 查看根目录下有哪些文件
可以看到 usr、etc、opt 这些文件的地方才叫根目录,而不是以用户命名,可以看到音乐、应用程序、影片、桌面的地方哈
介绍一种叫做软连接…
建站知识
2024/12/16 10:10:40
java中什么是不可变类
什么是不可变类
不可变类是指一旦创建对象后,其状态(属性值)就不能被修改的类。
一个不可变类具有以下特征:
类的实例变量声明为私有的,并且没有提供修改这些变量值的公共方法。类是final的,防止被继承。类的实例变量声明为fin…
建站知识
2024/12/23 0:58:37
同花顺动态Cookie反爬JS逆向分析
文章目录 1. 写在前面2. 请求分析3. Hook Cookie4. 补环境 1. 写在前面 最近有位朋友在大A失意,突发奇想自己闲来无事想要做一个小工具,监测一下市场行情的数据。自己再分析分析,虽是一名程序员但苦于对爬虫领域相关的技术不是特别熟悉。最后…
建站知识
2024/12/16 18:45:47
Opengauss数据类型强转
Opengauss数据类型强转 解决方法案例 解决方法
使用cast(需要转换的字段 as 转换后的类型) 函数进行强转。 提示:以下是本篇文章正文内容,下面案例可供参考
案例
问题:统计各类图书的平均价格,其中在图书表中price字段为money型…
建站知识
2024/12/19 7:04:06
ES6 Promise
1.Promise 是异步编程的一种解决方案
const promise new Promise(function(resolve, reject) {if (/* 异步操作成功 */){resolve(value);} else {reject(error);}
})
2.Promise的三种状态
待定(pending): 初始状态,既没有被兑现ÿ…
建站知识
2024/12/7 3:16:38
环形链表的约瑟夫问题
前言:
据说著名犹太历史学家Josephus有过如下故事:
在罗马人占领乔塔帕特后,39个犹太人和Josephus及他的朋友躲进一个洞里,39个犹太人决定宁愿死也不要被敌人抓到,于是决定了一个自杀方式,41个人排成一个…
建站知识
2024/12/20 5:09:43