最近闲下来的时候其实一直有在玩Agda。其实之前也知道Agda，但是由于Coq的相关资料更多，而且那时候我在Windows平台上无法安装Agda（old-times库的问题），于是拖到近来PLFA这本书的中文翻译动工才开始跟着看。
插件下载地址：https://plugins.jetbrains.com/pycharm，pycharm的官网也是有点慢阿，不过用谷歌浏览器配合迅雷插件下很多东西都很快，比如sourceforge.net直接下载的话很慢3m的文件要下半天还会断，但是用迅雷就很快。
So the book material is designed to be gradually reveal the facts that
PyCharm的插件很好用，能够在写代码时加成很多。下面看一下目前我用的一些插件。
RustyDHCP 是一个轻量简约的 DHCP 服务器，无 unsafe 代码，有如下特点：
在以前，我会跟他们说，学习编程语言，英文是一项非常重要的能力，千万不能惧怕它，逃避它，而要是去学习它，适应它，如果连个 IDE 都适应不了，那就别学编程了。
作为一个对数学和编程语言充满激情的人，谁也不能阻止我分享我总结的10个超棒的用于数学的编程语言。 正文共：2619 字 预计阅读时间：7 分钟 作为一个对数学和编程语言充满激情的人，谁也不能阻止我分
线程池，相信很多人都有用过，没用过相信的也有学习过。但是，线程池的拒绝策略，相信知道的人会少许多。
代码网上很多，我找了两个，再加上一些套路，效果更好。 我已经做好了两个可执行文件，直接qq或者微信发给她就可以了。可以去我的资源下载—>>>表白套路可执行程序
之前有写过CentOS7下如何利用Firewalld防火墙实现IP+Port细粒度访问控制
罗克韦尔自动化公司的 Allen-Bradley MicroLogix 1400 可编程逻辑控制器( PLCs )被用于各种不同的工业控制系统（ICS）的应用和流程，这些 PLCs 设备为不同的关键基础设施部门执行关键过程控制功能提供了一定支撑。
作者：张丹(Conan), 程序员Java,R,PHP,Javascript blog: http://blog.fens.me 随机变量在我们的生活中处处可见，如每日天气，股价涨跌，彩票中奖等，这些事情都是事前不可预言其结果的，就算在相同的条件下重复进行试验，其结果未必相同。数学家们总结了这种规律，用概率分布来描述随机变量取值。 就算股价不能预测，但如果我们知道它的概率分布，那么有90%的可能我们可以猜出答案。 目录 正态分布 指数分步 γ(伽玛)分布 weibull分布 F分布 T分布 β(贝塔)分布
最近在开发公司的短信模板功能，简单的说，就是创建一些包含占位符的短信模板，在发送短信时将这些占位符使用特定值替换后再发出，例如短信模板中的公司名称占位符是{companyName}，在发送时，使用具体的公司名称将{companyName}替换。 短信模板是一个独立的服务，其他模块在调用短信发送接口时，需要指定短信模板code以及要对占位符进行替换的占位符参数；因为调用短信发送的业务场景比较多，如果某次调用传入的占位符替换参数与对应短信模板占位符不匹配，会导致发出的短信还包含有未替换的占位符，影响到短信发送的有效性。因此，需要在发送短信时根据模板校验传入的占位符替换参数。 目前定下来的需求是短信模板与传入的占位符替换参数必须完全对应才能发送短信，最简单的方法就是在发送短信时加上判断，如果不满足条件则拒绝发送，但是考虑到后续的拓展性（例如按照业务场景设定不同的拒绝策略），这一个判断过程最好是使用策略模式实现。
PP大厦有一间空的礼堂，可以为企业或者单位提供会议场地。这些会议中的大多数都需要连续几天的时间（个别的可能只需要一天），不过场地只有一个，所以不同的会议的时间申请不能够冲突。也就是说，前一个会议的结束日期必须在后一个会议的开始日期之前。所以，如果要接受一个新的场地预约申请，就必须拒绝掉与这个申请相冲突的预约。一般来说，如果PP大厦方面事先已经接受了一个会场预约，例如从10日到15日，就不会在接受与之相冲突的预约，例如从12日到17日。不过，有时出于经济利益，PP大厦方面有时会为了接受一个新的会场预约，而拒绝掉一个甚至几个之前预订的预约。于是，礼堂管理员QQ的笔记本上笔记本上经常记录着这样的信息： 本题中为方便起见，所有的日期都用一个整数表示。例如，如果一个为期10天的会议从“90日”开始到“99日”，那么下一个会议最早只能在“100日”开始。最近，这个业务的工作量与日俱增，礼堂的管理员QQ希望参加SHTSC的你替他设计一套计算机系统，方便他的工作。这个系统应当能执行下面两个操作： A操作：有一个新的预约是从“start日”到“end日”，并且拒绝掉所有与它相冲突的预约。执行这个操作的时候，你的系统应当返回为了这个新预约而拒绝掉的预约个数，以方便QQ与自己的记录相校对。 B操作：请你的系统返回当前的仍然有效的预约的总数。
环境：Windows 2008 R2 + Oracle 10.2.0.3 应用最新bundle patch后，扫描依然报出漏洞 Oracle Database Server 'TNS Listener'远程数据投毒漏洞（CVE-2012-1675）
源 | Reddit 译 | OSC - 周其 我时不时会发现一种编程语言的不同用法它有时候会改变我对编程的看法啊。这篇文章中，我想分享一下让我惊讶的发现。这不是类似于高呼“函数式编程会改变世界！”博客文章。我敢打赌，大多数读者都没有听说过下面的大多数语言和范例，所以你应该也会被这些新概念吸引。 注意：我对以下大多数语言的使用经验都很少，但是我发现他们背后的想法非常吸引人，但对其没有专业知识，所以有任何错误请指出并指导更正。如果您也有新的范例和想法，欢迎分享。 默认并发 示例语言：ANI,
1. 关于Firewall插件2. Firewall插件的工作方式3. Firewall插件测试4. 总结延伸阅读
问题背景 随着今年Android6.0系统的国产ROM终于来了，适配6.0已经势在必行了。最近也有很多开发者在微信私聊和咨询我遇到的问题，其中有一些都是关于Android6.0权限的，我感觉有必要写一
Promise.all() 方法接收一个promise的iterable类型（注：Array，Map，Set都属于ES6的iterable类型）的输入，并且只返回一个Promise实例。
1 Xen 'HVMOP_set_mem_type'操作远程拒绝服务漏 Xen 'HVMOP_set_mem_type'操作远程拒绝服务漏发布时间：2014-05-08漏洞编号：BUGTRAQ ID: 67113 CVE ID: CVE-2014-3124漏洞描述：Xen是一个开源虚拟机监视器，由剑桥大学开发。 Xen 4.1-4.4.x版本的HVMOP_set_mem_type控件在实现上存在安全漏洞，本地客户端HVM管理员利用另外一个qemu-dm漏洞触发未指定内存页类型的无效页面表转换，然后利用此漏洞
如果在function创建的时候包含PREPARE，EXECUTE, DEALLOCATE，那么这些都会被判断为包含DYNAMIC SQL，这些语法都会被拒绝。因为使用存储过程的目的是防止使用严格类型的数据进行SQL注入。这个例子里面的sql语句是固定的，已经脱离了prepare的使用意义，因此不需要创建这种场景。。
注意：数组和Set集合的默认迭代器是values()；Map集合的默认迭代器是entries()
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 举报，一经查实，本站将立刻删除。
特殊说明： 解决问题的光鲜，藏着磕Bug的痛苦。 万物皆入轮回，谁也躲不掉！ 以上文章，均是我实际操作，写出来的笔记资料，不会出现全文盗用别人文章！烦请各位，请勿直接盗用！
如果表A的主关键字是表B中的字段，则该字段称为表B的外键，表A称为主表，表B称为从表。外键是用来实现参照完整性的，不同的外键约束方式将可以使两张表紧密的结合起来，特别是修改或者删除的级联操作将使得日常的维护工作更加轻松。外键主要用来保证数据的完整性和一致性 两个表必须是InnoDB表，MyISAM表暂时不支持外键 外键列必须建立了索引，MySQL 4.1.2以后的版本在建立外键时会自动创建索引，但如果在较早的版本则需要显示建立； 外键关系的两个表的列必须是数据类型相似，也就是可以相互转换类型的列，比如in
具体内容请参考：https://www.javacn.site/interview/mysql/indexinvalid.html
location的具体用法可以参看reference的第二篇文章介绍得非常详细。我这里使用/u/匹配我的路径以/u/开头下都使用这个下面{}中的配置。
最近在Windows 10上使用Linux子系统，发现它有一个非常坑爹的特点：Linux子系统是没有开机关机状态的，每次进入Bash shell就自动载入，退出后Linux子系统的所有进程都会被关闭，如果你撞了Mysql之类的服务要想随时运行的话就要保持Bash shell的随时开启，更坑的是这些服务并不会随之进入Bash shell而自动启动， 我只好写一个Python脚本用于管理这些服务。
最新的2021 Top 10已经出来了，我们从A01开始进行一次详细解读，本系列会详细介绍各个漏洞的变化与内容，并会着重介绍新增的漏洞情况。本篇解读A10 Server-Side Request Forgery (SSRF，服务端请求伪造)。 因素 概览 这个类别是从产业调查结果加入至此的(#1)。资料显示在测试覆盖率高于平均水准以及利用(Exploit)和冲击(Impact)潜力评等高于平均水准的情况下，此类别发生机率相对较低。因为新报到的类别有可能是在 CWEs 当中受到单一或小群关注的
通过添加对应捕获器，就可以捕获get、set、has等操作，可以监控这个对象何时在何处被访问过，并且能在访问、修改前干想干的事，并通过反射重新实现原功能。
学习raft之前，给大家推荐一个网站，这个网站动画描述raft运行过程。在看文章时对照该网站，可以帮助更好的理解raft。http://thesecretlivesofdata.com/raft/
导读：在私有云中服务器被恶意请求时候，如何快速建立动态IP黑名单，拒绝提供服务？总结本篇文章希望对从事相关工作的同学能够有所帮助或者启发 。
本文凌驾于redis基础之上，这里笔者默认大家都已经安装了redis . 并实际使用过redis
在Blackhat2018，来自Secarma的安全研究员Sam Thomas讲述了一种攻击PHP应用的新方式，利用这种方法可以在不使用unserialize()函数的情况下触发PHP反序列化漏洞。
这是一篇转载的，文章，我直接给答案吧，登录的时候更好的方式是rsa加密你的登录数据传输，特别是客户端，用c打包，做得更好还可以公私钥置换一次，码字不一定有时间，有时不小心就透露一些多赚钱的招
大家学写程序时，第一行代码都是hello world。但是当你开始学习WEB后台技术时，很多人的第一个功能就是写的登录 （小声：别人我不知道，反正我是）。但是我在和很多工作经验较短的同学面试或沟通的时候，发现很多同学虽然都有在简历上写：负责项目的登录/注册功能模块的开发和设计工作，但是都只是简单的实现了功能逻辑，在安全方面并没有考虑太多。这篇文章主要是和大家聊一聊，在设计一个登录接口时，不仅仅是功能上的实现，在安全方面，我们还需要考虑哪些地方。
来源 | juejin.im/post/6859214952704999438 大家学写程序时，第一行代码都是hello world。但是当你开始学习WEB后台技术时，很多人的第一个功能就是写的登录 （小声：别人我不知道，反正我是）。 但是我在和很多工作经验较短的同学面试或沟通的时候，发现很多同学虽然都有在简历上写：负责项目的登录/注册功能模块的开发和设计工作，但是都只是简单的实现了功能逻辑，在安全方面并没有考虑太多。 这篇文章主要是和大家聊一聊，在设计一个登录接口时，不仅仅是功能上的实现，在安全方面，我们
上一节课，我们就 new NioEventLoopGroup();的初始化过程做了一个深度的解析，后来我们发现，NioEventLoopGroup在初始化过程中会构建一个执行器数组，数组内部存储的元素是NioEventLoop类型的，但是NioEventLoop是什么呢？为什么说他是Netty的精髓呢？
大家学写程序时，第一行代码都是hello world。但是当你开始学习WEB后台技术时，很多人的第一个功能就是写的登录 （小声：别人我不知道，反正我是）。
大家学写程序时，第一行代码都是hello world。但是当你开始学习 WEB 后台技术时，很多人的第一个功能就是写的登录 （小声：别人我不知道，反正我是）。 但是我在和很多工作经验较短的同学面试或沟通的时候，发现很多同学虽然都有在简历上写：负责项目的登录/注册功能模块的开发和设计工作，但是都只是简单的实现了功能逻辑，在安全方面并没有考虑太多。这篇文章主要是和大家聊一聊，在设计一个登录接口时，不仅仅是功能上的实现，在安全方面，我们还需要考虑哪些地方。
部署Bookinfo。由于下例在策略中使用了principal和namespace，因此需要启用mutual TLS。
徐老师写的这篇文章《MySQL防火墙》给我们介绍MySQL防火墙功能，之前了解很少，学习借鉴一下。
OSPF TTL 安全检查是保护OSPF免受远程攻击的一种机制。启用此功能后，OSPF将发送TTL为255的数据包，并拒绝任何TTL小于配置阈值的数据包。默认情况下，一旦启用此功能，它将仅接受TTL为255的数据包。由于路由会将TTL减1，这意味着仅接受来自直接连接设备的OSPF数据包。
http://archive.apache.org/dist/lucene/solr/8.80/solr-8.8.0.tgz
为了封禁某些爬虫或者恶意用户对服务器的请求，我们需要建立一个动态的 IP 黑名单。对于黑名单之内的 IP ，拒绝提供服务。
领取专属 10元无门槛券
手把手带您无忧上云
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM
