- 博客(20)
- 收藏
- 关注
RSS订阅原创 DBeaver改成英语
DBeaver改成英语安装目录中有个dbeaver.ini文件，追加-Duser.language=en可以改回英文，有些数据库术语翻译后反而不太容易理解。
2021-08-24 11:39:56
6506
1
原创 概率常用公式
若A⊂B，P(A)<=P(B)若A \subset B，P(A)<=P(B)若A⊂B，P(A)<=P(B)P(A⋃B)=P(A)+P(B)−P(AB)P(A \bigcup B)=P(A)+P(B)-P(AB)P(A⋃B)=P(A)+P(B)−P(AB)P(A−B)=P(A)−P(AB)=P(AB‾)P(A-B)=P(A)-P(AB)=P(A\overline{B})P(A−B)=P(A)−P(AB)=P(AB)条件概率：P(B∣A)=P(AB)P(A)P(B|A)=\frac{P.
2021-02-23 16:28:32
2255
原创 从996谈一个程序员的自我修养
996已经是个老生常谈的问题了，由于最近发生了几起打工人猝死的悲剧，这个问题又被推到了风口浪尖，大有将企业与打工人对立起来的趋势，我认为大可不必。虎兕出于匣，龟玉毁于牍中，孰之过？下面我将试着从技术人员的角度分析如何破局。首先应该明确的是：企业在未经劳动行政部门批准的情况下实行996是违反中华人民共和国劳动法的。普通企业的目的就是赚钱。普通打工人的目的也是赚钱，如果顺便可以让社会变得更美好就再好不过了。如果你同意上述观点，不难看出，企业和员工的目的是不谋而合、高度统一的，企业对
2021-02-10 08:31:16
251
原创 求余和取模的区别
问题的发现java中的a%b和python中的a%b在a,b符合不同时结果不同：javaint a = -11;int n = 7;int r = a % n;System.out.println(r); // 结果是-4pythona = -11n = 7r = a % nprint(r) # 结果是3原因对于整型数a，b来说，取模运算或者求余运算的方法都是：1.求整数商： c = a/b2.计算模或者余数： r = a - c*b求余和取模的区别在第一步，求余
2020-11-18 10:37:06
235
原创 Java新手也能轻松hold住的多线程编程方式
少量耗时任务生产环境不建议使用new Thread(()->{}).start()显式创建线程或者Executors创建线程池，最好通过ThreadPoolExecutor创建线程池，明确指定各个参数，假设只有两个任务：import java.util.concurrent.CountDownLatch;import java.util.concurrent.LinkedBlockingQueue;import java.util.concurrent.ThreadPoolExecutor;
2020-11-15 14:20:36
224
原创 Vert.x并发编程方式
示例代码顺序执行import io.vertx.core.*;public class AsyncExample extends AbstractVerticle { public static void main(String[] args) { Vertx.vertx().deployVerticle(new AsyncExample()); } @Override public void start() { // 方式1
2020-11-03 16:07:27
627
3
原创 机械键盘
选购机械键盘大致可以从以下几个方面考虑：键帽轴体有无背光是否无线（蓝牙、2.4G）是否全键无冲（现在的厂家基本都是全键无冲，如果不是，大家共鄙之）1. 键帽键帽一般分ABS、PBT：ABS优点：手感爽滑，透光性好缺点：容易打油（喷沙工艺的稍好）PBT优点：抗打油，耐磨损缺点：透光性略差2. 轴体轴体是机械键盘的灵魂，影响体验的有触发行程、触发力度、回弹行程、回弹力度、段落感、轴体稳定性、按键声音，一般根据手感分为段落轴、线性轴两大类：段落轴：按压时有段落
2020-10-12 09:41:55
417
原创 行列式的展开定理
余子式在nnn阶行列式中，去掉元素aija_{ij}aij所在的第iii行、第jjj列元素，由剩下的元素按原来的位置与顺序组成的n−1n-1n−1阶行列式称为元素aija_{ij}aij的余子式，记作MijM_{ij}Mij代数余子式余子式MijM_{ij}Mij乘(−1)j+j(-1)^{j+j}(−1)j+j后称为aija_{ij}aij的代数余子式，记作AijA_{ij}Aij，即Aij=(−1)ijMijA_{ij}=(-1)^{ij}M_{ij}Aij=(−1)ijMij，显
2020-10-02 12:25:24
5184
原创 Kotlin协程
添加依赖implementation "org.jetbrains.kotlinx:kotlinx-coroutines-core:1.3.9"创建协程GlobalScope.launch - 创建协程public fun CoroutineScope.launch( context: CoroutineContext = EmptyCoroutineContext, start: CoroutineStart = CoroutineStart.DEFAULT, blo
2020-09-29 17:26:59
293
原创 Win10家庭版安装WSL2和docker
Win10版本至少1903或者1909，家庭版已经可以免费升级至1909。启用“适用于Linux的Windows子系统”可选功能，以管理员身份打开cmd并运行：dism.exe /online /enable-feature /featurename:Microsoft-Windows-Subsystem-Linux /all /norestart启用“虚拟机平台”可选组件，以管理员身份打开cmd并运行：dism.exe /online /enable-feature /featurena.
2020-09-27 15:49:42
6088
2
原创 Vue 3.0新特性
六大亮点性能比Vue 2.x快1.2~2倍按需编译，体积比Vue 2.x更小Composition API类似React Hooks更好的TypeScript支持暴露了自定义渲染API新增Fragment、Teleport、Suspense组件Vue 3.0是如何变快的以及新特性1. diff方法优化Vue2中的虚拟dom是进行全量的对比Vue3新增了静态标记，只刷新有静态标记的元素2. hoistStatic静态提升Vue2无论元素是否参与更新，每次渲染都会重新创建Vu
2020-09-25 11:10:59
263
原创 Quarkus使用Swagger UI
用GET和POST举例，其他同理代码@Tag(name = "组一", description = "第一组接口说明")@Path("/hello")public class Controller1 { @Operation(summary = "get接口的简述", description = "详细说明") @Parameters({ @Parameter(name = "a", description = "a的说明", in = ParameterIn.DEFAUL
2020-09-18 11:21:19
764
原创 IDEA DATABASE连接PostgreSQL时区问题
PostgreSQL数据库的时区是Asia/Shanghai，但是用IDEA DATABASE连接数据库时区显示是UTC，除了在Advanced中修改VM Options，还可以直接在Options中直接修改时区，方法如下：
2020-09-11 09:57:00
971
1
原创 行列式七种性质
行列互换，其值不变（转置）∣A∣=∣AT∣。\lvert A \rvert = \lvert A^T \rvert。∣A∣=∣AT∣。行列式中某行（列）元素全为零，则行列式为零。行列式中某行（列）元素有公因子k(k≠0)k(k\ne0)k(k=0)，则kkk可以提到行列式外面。...
2020-08-26 17:16:52
3528
原创 数学的浪漫
∣52112534134∣=520\left \lvert \begin {array} {ccc} 5 & 2 & 1 \\1 & 2 & 5 \\34 & 1 & 34\end {array} \right \rvert = 520∣∣∣∣∣∣51342211534∣∣∣∣∣∣=520r=a(1−conθ)r=a(1-con\theta)r=a(1−conθ)...
2020-08-14 10:06:01
378
原创 Springboot简单方便的实现开闭原则
不用知道繁琐的设计模式，Springboot可以帮助我们简单方便的实现开闭原则如果一个对象有多种状态（状态有可能会增加），每种状态都对应一种处理方式，如果使用if…else…每次增加一个状态，都需要改动原来的代码，动过代码的业务原则上需要重新测试，这就对开发维护和测试增加了负担。Springboot有个功能非常好用，可以方便的获取实现某接口或者继承某类的类集合。先定义一个自己的接口或抽象类public interface MyInterface { String m();}定义具体
2020-08-11 09:17:33
364
原创 使用Vert.x异步下载文件的服务端和客户端
使用Vert.x方便的进行文件的异步下载，为了更加方便这里使用groovy。（java同理）服务端，提供文件的下载import io.vertx.core.Vertximport io.vertx.ext.web.Routerdef vertx = Vertx.vertx()def server = vertx.createHttpServer()def router = Router.router(vertx)router.get("/api/file").handler(rc -&g
2020-08-10 12:30:53
867
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人