下载地址

目前工具的最新版为2.0。打开mod.xml可查看version，如果小于此值可以选择更新！

下载地址

此工具用于对主程序进行Patch，从而开放更加强大的MOD功能！除说明文件Readme.txt外，压缩包内有一个主文件夹和一个demo文件夹，下面分别进行介绍。

Hexo提供了非常方便的Markdown写作方式，我们只需提供md文件，而Hexo则为我们生成个人博客并渲染md成为文章。因为生成的网页为全静态文件，所以可以很方便地部署到github pages上，省去了维护vps的麻烦。此文用来记录一些注意事项，就是我在部署博客时花费较长时间解决问题的笔记，方便日后参考。注意当前Hexo版本为3.2.0，主题NexT版本为5.1.3。

问题

假设我们的信源都是constant-weight code，或者叫m-of-n code，也就是说它们有$n$个bit，且其中有$m$个为1。那么我们可以对信源进行压缩，最少只需$\log \binom{n}{m}$个bit，即可表示所有的m-of-n code。那么，应该如何设计有效的编码和解码方法，能将m-of-n code压缩到$\log \binom{n}{m}$个bit呢？StackExchange⁵上已经有人提出了该问题（另一种表述）。

2018/8/12更新

关于免费的内地代理

我们知道提供内地代理的服务很多，例如“快帆”“解锁通”“穿梭”，网上还有提供各种奇怪的DNS，但免费服务要么很不稳定，要么有安全隐患。比如穿梭刚开始的时候用的挺好，现在已经慢得不行了。俗话说天下没有免费的午餐，这是必然的现象，所以自己搭建代理才是上策。

腾讯云

之前说内地提供云服务学生套餐都无法验证海外学生，最近发现腾讯云是可以的，这样可以10元每月买到最差的那一档，但拿来做音乐代理是绰绰有余了。

使用代理

在服务器上搭建ss代理后，iOS使用wingy，安卓或windows可以用shadowsocks客户端连接。iPhone下载歌曲还是使用126域名，但判定地理位置时是使用的ip地址而非域名，所以pac不能直接填163域名。可以下载一个抓包软件判定好ip地址，再设置代理规则；安卓未知；windows上如果使用网页版或者UWP版可以在pac中只配置music.163.com域名。若使用网易云音乐windows官方客户端，在选项中设定IE代理，pac依然可以生效。

修改PAC：打开shadowsocks客户端文件夹，把pac.txt中的一长串rules去掉，改成

1
2
3

var rules = [
  "music.163.com"
];

项目地址：github codingnet

贴吧爬虫。更新后请先删除原有的日志spider.log。

2018.6.13更新：新增支持python 3。请卸载原来的python库mysql-python，改为使用mysqlclient。

2017.3.23更新：修改了页选项参数形式，增加了只看楼主、只爬精品和自定义过滤帖子功能。

仙五前战斗系统大百科——你想知道的也许这里都有。

说是AI，其实就是把自己击败的流程用AI的方式来表达，既省去了思考和执行操作的时间，又降低了出错率。战术基于此贴【理论向】无连携击败三皇一体第一战（困难模式），但作了更加细致的调整。

问题

称集合$A$是子集和可区分的，如果$A$的所有子集元素之和均不相同（定义空集的元素之和为0）。

1. 求出集合{1,2,…,15}的长度为5且子集和可区分的子集。
2. 求出集合{1,2,…,500}的长度为10且子集和可区分的任一子集。

DIY了一些三国杀武将，并实现在太阳神三国杀中。

题目

鬼谷子是孙膑、庞涓的老师，他从2到99中选出两个不同的整数，把两数之和S告诉了庞涓、把两数的乘积M告诉了孙膑。

1. 庞涓对孙膑说：虽然我无法确定这两个数是什么，但我肯定你也不知道这两个数是什么。
2. 孙说：我本来不知道，但是你这么说，我就知道了。
3. 庞说：既然你知道了，那我也就知道了。

问：这两个数字是什么？