自由书写 书法临摹 书法知识 优秀作品 ※ 练字功能※ 可以打开字贴,对着背景临写; ※ 印章功能※ 可以选择自己喜欢风格的印章模式;※拍照功能※ 让热爱书法的你写一幅书法作品,拍下现场的照片,加载到作品中去。 ※ 分享功能※ 把你的作品一键发送到微信等。 让使用者都有书法大师的风采。 ...
分类:
其他好文 时间:
2020-05-22 13:07:35
阅读次数:
106
JML理论基础 基本概念 以下内容来自我~~瞎~~翻译的维基百科: JML是一种java的 规约语言 ,使用了Hoare风格的 前置,后置,和不变量 约束条件,用来遵守 契约式设计 的要求。 这里面指出了JML的几个特点: 是java使用的规约语言~~(递归查询Specification Langu ...
分类:
其他好文 时间:
2020-05-22 09:30:01
阅读次数:
61
安装模块 需要去settings配置 在总路由加 在浏览器访问 ...
分类:
其他好文 时间:
2020-05-21 17:43:46
阅读次数:
56
有时我们想录下游戏精彩时刻,有想录一些教程,这时候就会用到屏幕录像软件。Mac屏幕录制软件,又称mac录屏软件,mac录像软件,有了小编推荐的这6款Mac屏幕录像软件,帮你一键录制高清视频~ 1.Camtasia 2019 for Mac(视频录制和剪辑软件) Camtasia 2019 for M ...
分类:
其他好文 时间:
2020-05-20 18:53:13
阅读次数:
112
手把手教你用腾讯云服务器安装宝塔面板一键部署WordPress网站 首先说说什么是宝塔面板:宝塔Linux面板是提升运维效率的服务器管理软件,支持一键LAMP/LNMP/集群/监控/网站/FTP/数据库/JAVA等100多项服务器管理功能。 对于新手而已,这种方法应该是最为简单的了。 只需在服务器终 ...
分类:
Web程序 时间:
2020-05-20 12:32:02
阅读次数:
171
pwnable.kr之flag 这是一道逆向题,upx一键脱壳。 程序开始用IDA打开,发现带壳了。 这个不用慌,埋伏它一手,下载个upx,cmd进去,目录下打开。 命令:upx -d flag 脱完壳,再用IDA打开,看到的是这样的。 有个flag,进到地址看看它有啥。 没写全?不要怕。winhe ...
分类:
其他好文 时间:
2020-05-19 22:19:30
阅读次数:
54
最近又用上了 emacs,又充实了一下我的配置文件。 结果就是更加难背了(雾 从里面也可以看出来,F6 可以调出 gdb~~(虽然我从来都不用)~~,F7 是一键编译(这个太舒服了),F8 是调出命令行。 可以调大字体, 可以调小字体, 就是回到初始字体大小。 ...
分类:
系统相关 时间:
2020-05-19 20:13:09
阅读次数:
65
点击蓝色“程序员书单”关注我哟加个“星标”,每天带你读好书!?在介绍本书单之前,我想先问一下各位读者,你们之前对于Java并发编程的了解有多少呢。经过了10多年的发展,JavaWeb从开发框架到社区都已经非常成熟,很多程序员都可以通过使用框架很快速地搭建起一个JavaWeb应用,特别是近几年SpringBoot大热,干脆连配置都不需要了解了,直接一键式编译部署运行,让Java工程师的入门成本变得越
分类:
编程语言 时间:
2020-05-19 14:24:49
阅读次数:
72
一键生成前后端源码: 1.根据模型配置生成基本的增删改查导入导出源码 2.根据模型生成数据字典 3.通过修改配置重新加载前后端源码 4.前后端动态编译 ...
分类:
其他好文 时间:
2020-05-19 12:29:59
阅读次数:
87