JohnReese Blog

近期关于对抗样本Paper的综述

重新认识Adversarial Example

最近MIT在对抗样本领域发了一篇Paper，从观点和自己的体会来看，有点“半里程碑”的味道了。所以以这篇Paper为基点，尝试讨论一下近期其它关于对抗样本的Paper背后的本质。论文名是《Adversarial Examples are not Bugs, they are Features》，发表在NIPS 2019上[1]。深度学习在图片分类领域火了好久了，但自Szegedy...

Posted by JohnReese on June 8, 2020

Java并发源码中的“巅峰”

AbstractQueuedSynchronizer, CAS

本文的目的是基于源码，尝试对比较重要的并发类的实现方式给出通俗的解读。一方面是因为源码的细节很多，给出源码而不能完全解释其中的每个点就没啥意思了；另一方面也是自身的水平不足。所以只给出易于理解的主体实现方式。基于JDK 8。首先，一些概念： (线程)同步: 即当有一个线程在对内存进行操作时，其他线程都不可以对这个内存地址进行操作，直到该线程完成操作， ...

Posted by JohnReese on May 28, 2020

Kick Start中比较有意思的题(下)

。。。好的ACMer。

近三年的题做的人相对地多了，所以网上的题解就比较好找了。所以例举的题都是个人觉得比较经典有意思的。特别是我感觉近两年的轮数和难度都增加了，有些题看解答都有些吃力，所以浏览地很慢。不过确实整体质量很高，几乎没有怪题，不会卡常数空间或时间。 2017 Round A Problem B. Patterns Overlap: 字符串匹配的“升级版”——一个*字符可以匹配0-4个字符，所...

Posted by JohnReese on March 3, 2020

Kick Start中比较有意思的题(上)

不想进Google的程序员不是。。。

听说Kick Start上的题质量很高，又是想进Google的笔试唯一渠道？不过其实也没啥特别的想法，就是想再提高下思维能力而已。官网上最早有记录的是13年，而且近几年的题目都有专门的官方解析，所以我就整理下自己能看懂且比较有意思的题目分享一下吧。总体的感觉难度在ACM银牌水平，CF/Atcoder有2000分左右应该是稳的，但很遗憾，我还是太菜，hh。另外题目整体偏长，有些考验英语阅读...

Posted by JohnReese on February 15, 2020

关于Safe DL的一些论文及想法

算是对自己挣扎半年多的一个梳理吧。

更早的一段时间关注的更多是有关于DNN的形式化验证。再具体一些，就是对抗样本的检测。这最早应该是源于[1]等人在2013年的发现，到现在为止，这篇论文在谷歌学术上已经有近4000的引用量了。了解DNN的朋友应该知道DNN是一个类似于指数级复杂度（我不知道这样表述是否准确）的函数。而对抗样本所表述的问题是对于这个函数输入的细微干扰可以导致函数输出的急剧变化。从数学的角度看这没什么问题，但联...

Posted by JohnReese on February 11, 2020

他TM到底谈了啥

如果你没看过《当我谈跑步时我谈些什么》的话。。。

这本书相对较短，村上春树在其中回顾了自己的跑者生涯。也是我阅读的第一本他写的书。很惭愧，在家赋闲是我阅读的主要动机。看完第一篇的时候我认为只是成名之后的捞钱之作——内容朴实真诚但只是记录，至多抒发情感，本质上没啥深度。但是第二篇的部分见解打动了我。全书看完后，自认为以下的摘录内容涵盖了这本书八九成的深度。若是小说，其作品的深度需要由大局览之。但这本书的内容，我觉得每个部分是有权重的。...

Posted by JohnReese on February 10, 2020

寒假看的那些片

聊聊窝在家看的一些片子

《叶问4：完结篇》 2008到2020，这个系列终于结束了。这一部，我愿称之为绝活，哈哈。虽然故事线都是为动作场面所服务的，但也基本做到了不拖沓，足够精炼，不会有“尿点”。而打戏的动作设计，氛围的烘托，节奏的掌握我觉得都很好。丹哥也60左右了，之后国内这种武术片可能也就越来越少了。所以我力荐叶问4。《平原上的...

Posted by JohnReese on February 5, 2020

Introduction To Latex

Latex的基础实用操作

Background 最近有机会用Latex写了一篇近似于论文格式的报告，算是熟悉了一些基础的语法。我想我遇到的问题都是比较实际的，就想记录下来，于己于人都是好的。首先有一些概要：因为我看了网上Latex的安装教程有点麻烦（自己太菜），就找了一个在线的网站:https://www.overleaf.com/。然后Latex有包（package）的概念，有些功能需要你在开头导入指定的...

Posted by JohnReese on January 8, 2020

LTL2Buchi

Based《On the Relationship between LTL Normal Forms and Buchi Automata》

项目总结这个链接https://www.bilibili.com/video/av81034357/是上传的程序演示视频。 1. 项目背景（需求分析）随着计算机的发展，各类工业系统广泛应用在各行各业，验证这些系统的正确性尤为重要，特别是一些关键领域如航天航空、轨道交通等，一旦出现错误可能造成非常严重的后果。模型检测是一种很重要的自动验证技术，它可以自动执行，并能在系统不满足性质时提...

Posted by JohnReese on December 28, 2019

Some naive thoughts on reinforcement learning

Mainly about Reward

Multi-armed Bandits[1] The Easiest model with the Easiest method. Overview You are faced repeatedly with a choice among k different options, or actions. After each choice you receive a numerical...

Posted by JohnReese on December 27, 2019

JohnReese's Blog