汇集全部已收录博客的最新文章，点击标题前往原文阅读。
对于大多数刚刚入门函数式编程的同学来说，monad（单子、又叫单体）可能是这里面的一道坎。你可能对 map、flatMap 以及 filter 再熟悉不过，可是到了高阶的抽象层次上就又会变得一脸懵逼。其实每个人在学习的阶段都会经历这个过程，不过希望这篇文章能让你重新理解 monad 以及其他相关的概念。 Optional Swift 作为一门类型安全的强类型语言，它在编译阶段就会对你的数据类型进行比较多的检查。因此，在 Swift 中我们遇到了一种新的数据类型，叫做 Optional。它的定义如下： public enum Optional : ExpressibleByNilLiteral …
说 OAuth2.0 漏洞/这个协议不安全的人，把头伸过来下，砖头准备好了。 Black Hat 的有关 Pa […]
上个月，2016 杭州云栖大会召开，阿里云宣布云产品全线打折，刚好我的服务器 12 月到期，顺手就购入三年，真的很便宜。 本站一直用的万网虚机，记不清几年了，原来的技术方案是 PHP + MySql，新的服务器上，我准备部署 Node + MongoDB，也就引发了这篇文章所述的事情。 查看全文...
@import url('https://fonts.googleapis.com/css?family=Katibeh&display=swap'); .about-info { display: flex; justify-content: space-between; align-items: flex-start; } .about-info-left li { list-style-type: none; } .about-info-right { margin: .5em 1.25em; } .about-info-right img { width: 130px; } .abou…
My name is Jan Hünermann and I'm passionate about startups, technology and self-improving algorithms. Currently I'm a researcher at General Intuition, developing agents that can play video games and the real world. In my free time I like to tinker around with software engineering projects and train …
从前有兄弟两个，老大家里很富，老二家里很穷。有一天老二去找老大借钱，老大知道老二有花钱大手大脚的毛病，便提出了...
因为最近两三年的事情特别多，所以博客的更新较为滞后，也互访了一些以前的好友，要么是网站关停，要么是取消了我的友...
发这贴，主要是为了证明我还活着。 博客关了半年我都不知道，我的博客是托管在朋友的服务器上，一打听才知道朋友的公司早倒闭了，把自己电脑上的备份数据恢复了一下，发现我的备份数据没文件，只有数据库。 突然想起互联网档案馆这个网站（要翻墙），打开一看，我的数据都保存着呢，太感动了，真是个良心网站，十几年了，每天还孜孜不倦地帮互联网的几亿个网站做备份，赶紧把数据和图片一点一点都保存下来。博客终于恢复了原样。 这个博客建于2004，事实上，我2002年就开始写博客了，后来用了MovableType数据一直保存到现在。十二年了，虽然很少写，但这个博客见证了我的成长。博客能开到现在，完全是出于一种情怀。这几年…
Markdown 是一种轻量级标记语言。它允许人们使用易读易写的纯文本格式编写文档，然后转换成有效的XHTML(或者HTML)文档。这种语言吸收了很多在电子邮件中已有的纯文本标记的特性。掌握Markdown语法的基本语法，只需要十点就够了。Q: 有哪些网站可以用来写Markdown呢？A: Github、简书都支持Markdown，Github中可以一边写Markdown一边预览。Q: 有哪些Markdown编辑器呢？A: 近似全能的新兴编辑器Visual Studio Code、MarkdownPad都可以用来写Markdown，你可以用他们来进行练习。在Gist中，用Github账号登录以…
ContinuationContinuation 也是一个老生常谈的东西了，我们来回顾一下。首先我们看一下 TSPL4 中定义的表达式求值需要做的事： During the evaluation of a Scheme expression, the implementation must keep track of two things: (1) what to evaluate and (2) what to do with the value. Continuation 即为其中的(2)，即表达式被求值以后，接下来要对表达式做的计算。R5RS 中 continuation 的定义为： T…
从上次 Hackathon 回来之后，逛了一些朋友的博客（比如陈叔、小萌、BlueCocoa、执一、soruly），感觉到和这些 Full-Stack Developer 的差距还是挺大的。 对自己的评价可能就如图的感受： 跪在地上：我代码不精，封装无力，架构松散，Debug 迟缓，就我这种 lowbee 还能和各位 Dalao 同在一个群，感谢各位管理员。(;´༎ຶД༎ຶ`) 和各位大大交流后，自己也思考了一下这种感觉的来源，不出意外的发现是初中和高中荒废的六年。住校期间正好是 Web 发展最最最迅猛的时代，失去了对外的联系，失去了一切接触新鲜事物的机会。 不知道对这样的过去是应该悔恨还是喜…
从上次 Hackathon 回来之后，逛了一些朋友的博客（比如陈叔、小萌、BlueCocoa、执一、soruly），感觉到和这些 Full-Stack Developer 的差距还是挺大的。 对自己的评价可能就如图的感受： 跪在地上：我代码不精，封装无力，架构松散，Debug 迟缓，就我这种 lowbee 还能和各位 Dalao 同在一个群，感谢各位管理员。(;´༎ຶД༎ຶ`) 和各位大大交流后，自己也思考了一下这种感觉的来源，不出意外的发现是初中和高中荒废的六年。住校期间正好是 Web 发展最最最迅猛的时代，失去了对外的联系，失去了一切接触新鲜事物的机会。 不知道对这样的过去是应该悔恨还是喜…
Environments / 环境要求 macOS Sierra 10.12.1 (16B2657) Xcode 8.1 (8B62) 可以通过 https://developer.apple.com/ 获取更多配置环境信息。 Get Started / 上手实践 要实现 NSTouchBar，我们必须做下面三件事情： 继承 NSResponder 遵循 NSTouchBarProvider 协议 在 NSTouchBarProvider 协议中实现 makeTouchBar() 方法 我们都知道，NSViewController 是 NSResponder 的一个子类实现（如果对 NSRes…
用户的需求一开始是固定的，2个产品都可以满足用户的核心需求，但实际上，并不能有一个产品可以覆盖用户的全部核心需求，永远都会存在没有被满足的需求，这是产品竞争的起源。
Environments / 环境要求 macOS Sierra 10.12.1 (16B2657) Xcode 8.1 (8B62) 可以通过 https://developer.apple.com/ 获取更多配置环境信息。 Get Started / 上手实践 要实现 NSTouchBar，我们必须做下面三件事情： 继承 NSResponder 遵循 NSTouchBarProvider 协议 在 NSTouchBarProvider 协议中实现 makeTouchBar() 方法 我们都知道，NSViewController 是 NSResponder 的一个子类实现（如果对 NSRes…
系统性思维帮助梳理出事情之间的关联关系，结构思考力帮助归纳整理，对外表达，他们一个负责剖析求真，一个负责整理输出。
对于对伪类与伪元素的描述，可参见css2.1 Selectors： CSS introduces the concepts of pseudo-elements and pseudo-classes to permit formatting based on information that lies outside the document tree. 这直译过来就是：css引入伪类和伪元素概念是为了格式化文档树以外的信息。也就是说，伪类和伪元素是用来修饰不在文档树中的部分，比如，一句话中的第一个字母，或者是列表中的第一个元素。 Operate Pseudo-element Using Ja…
刚做移动端页面的时候，看到一些成熟的网页做淡入淡出的弹窗遮罩效果，都喜欢用css里transition、visibility和opacity这三个属性，通过改变他们的值，结合js增减class即可，非常方便。上周做的一个项目，开发找我报bug，说是一个界面出不来，我看了下就是这段代码。然后重新测试了一下，发现这段代码在iOS8、9、10都有问题，之前为什么都没发现？
前几天参加湾区同学技术沙龙组织的一次专门面向深度学习的 meetup。做了一些笔记如下。 这次活动的嘉宾包括 Google 的 Yonghui Wu (GNTM 系统一作)，Kai Chen (Google Brain 早期成员，经典 Word2Vec 论文共同作者），Yuan Li (Google Research TLM)，以及 Zhenghua Yu (VP, Bocom). 因为活动以问答形式展开，我也以问答形式记录。 Q1: 这几年深度学习方向有哪些很重要的突破? Yuan 首先谈到了视觉领域的一些突破。实际上我们都知道引爆这轮深度学习热潮的，就是 2012 年把第二名甩出十几个百分…
apt-get install python-pip libsodium-dev pip install shadowsocks创建配置文件/etc/shadowsocks.json{ ...
四月微山岛
最近一直在关注 OSDI 2016，发现了这篇关于分布式计算系统内存管理的论文：Yak: A High-Performance Big-Data-Friendly. Garbage Collector，感觉比较有趣，拿来总结总结~ Yak 是一个 JVM 平台上的针对大数据场景（分布式计算框架）设计、优化的 Garbage Collector。 背景在传统的基于分代模型的垃圾回收算法中，小对象首先被划分到 Young Generation（新生代）；如果对象经历过一定阈值的 GC 还会存活后，它就会被晋升至 Old Generation（老年代）；大对象可以直接进入老年代。 对于分布式计算框架…
阿宅终于又出门了！时隔三年零七个月，终于又一次去了远方。上次向东走去了期待已久的日本，这次则是莫名其妙向西去了只在历史书上听过的地方「祁连山」。 这大概是我人生第一次真正随心所欲的旅行，刚好一冲动辞了职，刚好某天下午待在家里没事做，刚好朋友推荐了稻草人旅行，就这么随随便便的报上了一条八天前往大西北的旅途。下完单后花了一个小时把前后需要的机票火车酒店订好，又在淘宝买了一个小米运动相机，就这么连八天旅途具体会去哪些地方都不知道，合上了笔记本，然后随随便便的出发了。 游记游记本来应该是要配图的，但是筛选照片实在太麻烦了，就纯文字写写，后面集中贴点图意思一下算了。 Day.1 稻草人的团都是不包来回的…
437天10488小时……然如恍惚从一个丑小鸭开始蜕变都说你像男孩子渐渐却有了小女孩的模样
不知道为什么就是非常执着于跑实景 大概每次去东京 台场都会是必修课了吧 跑归跑 拖延症拖了不知道多久一直没有好 … 继续阅读数码兽大冒险 tri 第一章 再会 圣地巡礼
本站启用SSL双证书已经有很久了，但前几天去SSL Labs上测试，发现只有B级了。。。 原因也很简单，使用的 […]
这是一款简洁的单栏的适合阅读的 Typecho 主题，适合放大段大段的文字、代码。因为考虑到一些阅读的舒适性的问题，所以栏宽设置的并不宽。
Beyond the Void https://byvoid.com/zht/travel/ - 旅行總結 2019年[2019年旅行總結](https://byvoid.com/blog/travel-summary-2019) 2018年[2018年旅行總結](https://byvoid.com/blog/travel-summary-2018) 2017年[2017年旅行總結](https://byvoid.com/blog/travel-summary-2017) 2016年[2016年旅行總結](https://byvoid.com/blog/travel-summary-2016…
本篇文章是对Spark RDD论文的总结，中间会穿插一些Spark的内部实现总结，对应Spark版本为2.0。 RDDMotivation传统的分布式计算框架(如MapReduce)在执行计算任务时，中间结果通常会存于磁盘中，这样带来的IO消耗是非常大的，尤其是对于各种机器学习算法，它们需要复用上次计算的结果进行迭代，如果每次结果都存到磁盘上再从磁盘读取，耗时会很大。因此Spark这篇论文提出了一种新的分布式数据抽象 —— RDD。 设计思想及特点Resilient Distributed Dataset(RDD)是Apache Spark中数据的核心抽象，它是一种只读的、分区的数据记录集合。…
关于最近做的一些事的记录。。。 其实是因为好久不更新了，强行更一篇。 1、添加了两个2048 2048（有特技 […]
线程模型概述Vert.x 的线程模型设计的非常巧妙。总的来说，Vert.x 中主要有两种线程：Event Loop 线程 和 Worker 线程。其中，Event Loop 线程结合了 Netty 的 EventLoop，用于处理事件。每一个 EventLoop 都与唯一的线程相绑定，这个线程就叫 Event Loop 线程。Event Loop 线程不能被阻塞，否则事件将无法被处理。 Worker 线程用于执行阻塞任务，这样既可以执行阻塞任务而又不阻塞 Event Loop 线程。 如果像 Node.js 一样只有单个 Event Loop 的话就不能充分利用多核 CPU 的性能了。为了充分…
从2010年到2012年这段时间，我正在非洲油田上工作，由于所在的国家比较特殊，我的工作作息制度是连续工作四周，之后连续休假四周。这也给了我大把的自由时间去旅行，但是毕竟能有这样作息制度的人还是极少数，所以这个期间我的旅行大多都是一个人，也在这个过程中摸索出了一些一个人独自旅行的经验，今天我就抛砖引玉，聊聊我一个...
词不达意。很多次看完动画都有提笔一写的冲动，最近的一次大概还是「结城友奈」。那时都选好了头图，甚至拟好了标题，却无法动笔。但是这次如果我不写，我根本无法称自己看完了一季 ef ；如果我不动笔，那么那部我眼中的 ef 便无处存在。 ef - a tale of memories. 本文来自 钉子の次元 - Dimpurr - an artist, designer and developer from China. ,原文地址 动画「ef – a tale of memories.」：把不想忘记的思念融进心愿 ……
PowerSet mathematical foundations full intersection 只要是对应元素集合的交集就行，不管是否有其它集合存在 expected size 用来预估大小，假定它们无关，通过比较预测数值和实际数值的大小关系判断over- or under-represented e(X) X的期望大小 deviation_raw(X) X的原始残差 deviation(X) 对于大的交集仍然存在偏差，因此需要归一化残差 visual classifying by degree 按照集合交叉的程度分类，并竖直排序，左边用标签标明 区域大小 1)初始所有宽度等宽并与最大…
九月的济南
久了不用，就会发现，以前会的东西都会忘记掉(或者是完全想不起来了)，不知道你们有没有遇到过这个情况 - -!这里只是对判断变量类型方法的一些记录，方便以后能够随时查看。typeof要判断变量类型，首先想到的就是typeof，但用了才知道，其结果完全不是理想中的:123456typeof {}; //"object"typeof []; //"object"typeof ""; //"string"typeof 0; //"number"typeof function(){};//"function"typeof true;//"boolean"由上面代码可以看出，数组也是对象，所以typeof…
最近学习了 Bullet Journal（子弹笔记，简称 BuJo），深深感觉它真的是数字时代让人有欲望重新拿起纸笔记录的一项伟大发明。这种笔记方式不仅简单明了，而且很有意思，可以适用于很多场景。我已将 Bullet Journal 全面应用于生活和工作中了。本文是我在学习使用 Bullet Journal 过程中的一些思考，以及我个人在实际使用过程中的一些改进，并不是一篇介绍文章或入门文章。不知道 Bullet Journal 是什么的同学请移步 官网，那里有要学习使用 Bullet Journal 所需要了解的一切。Bullet Journal 的三点精髓要义在我看来，Bullet Jou…
新学期开始了！是时候更新了！ 慵懒的假期和忙碌的小学期似乎没干什么的样子…… Project Danmaku 弹幕游戏开坑了！不过似乎仅仅完成了基础框架，还有很多内容需要做呢。 因为还没有美术和关卡设计，所以不方便放出来截图之类的东西…… 另外一个弹幕计划 感觉可以把之前给lab μ做的弹幕墙中的弹幕引擎抽出来做一个库，于是就有了这个项目。 虽说是可以用了，但是感觉还需要加很多东西才能算作库呢…… React这一套 React这个Web组件化的框架很不错，除了JSX的语法丑一点其他部分还是可以的。 什么时候来试一试好了。 听说和Redux配合效果更佳哟。 以撒的mod 听说以撒的下一个DLC会…
明天早上返校，所以大概没有那么多时间构思和修改。只是这次，我必须得这样仓促的开始，然后又仓促的结束，并回归到并不能用日复一日来形容的日常中 —— 这样的，我的高中和高三生活中了。 本文来自 钉子の次元 - Dimpurr - an artist, designer and developer from China. ,原文地址 euphoric field
其实这个坑已经挖了很久了…最早挖坑的时候主要是为了这个活动的自动签到，然而现在这个所谓永久活动也结束了…最早用 Go 实现了验证码的自动识别，这回跟着 dalao 用 python 重写了一遍，然后修改了下验证码的学习算法，让获得的样本更准确（现在验证码识别率居然近似到 100% 了）因为 python 的脚本改起来比较容易，如果有新活动的话加个配置就可以实现，目前主要签到的是陆海双雄的活动，等新活动出来加就是了研究了下傻逼空中网的接口，现在签到的时候会自动检测是否已签到用到了 PIL 来读取图片像素，然后用 requests 包发请求
引入大家都知道，Vert.x中的executeBlocking方法用于执行阻塞任务，并且有两种模式：有序执行和无序执行。下面我们来看两段代码： 1234567891011121314151617181920212223vertx.setPeriodic(1000, t -> { vertx.executeBlocking(future -> { try { Thread.sleep(200); } catch (InterruptedException e) { e.printStackTrace(); } System.out.println(Thread.currentThread().g…
RPC 是分布式系统中不可缺少的一部分。之前接触过几种 RPC 组件，这里就总结一下常见 RPC 模块的设计思想和实现。最后我们来设计一个可以方便进行 RPC 调用的 RPC 模块。 RPC 模块设计需要考虑的问题RPC 模块将网络通信的过程封装成了方法调用的过程。从使用者的角度来看，在调用端进行RPC调用，就像进行本地函数调用一样；而在背后，RPC 模块会将先调用端的函数名称、参数等调用信息序列化，其中序列化的方式有很多种，比如 Java 原生序列化、JSON、Protobuf 等。接着 RPC 模块会将序列化后的消息通过某种协议(如 TCP, AMQP 等)发送到被调用端，被调用端在收到消…
经常有一些开发者在 group 中问到，如何利用 Vert.x 进行 RPC 通信。其实，Vert.x 提供了一个组件 —— Vert.x Service Proxy，专门用于进行异步 RPC 通信（通过 Event Bus）。Vert.x Service Proxy 会自动生成代理类进行消息的包装与解码、发送与接收以及超时处理，可以为我们省掉不少代码。之前我在 Vert.x Blueprint 中已经详细讲解了 Vert.x Service Proxy 的使用，大家可以参考 Vert.x Kue 文档 中的相关部分。本篇文章中我们将探索一下通过 Vert.x Service Proxy 生成…
当我写这个主题theme的时候，我想在我的列表元素(list elements)上用CSS内容(CSS content)属性添加一些**向右双角引号(right-pointing double-angle quotation marks)(
常用导航 
随笔博客 
技术博客 
资讯博客 
百科博客 
攻略博客 
视图博客 
AI博客 
