2014

2014-02

真实感受 A/B testing,QQ企业邮箱某CERNET线路已经取消 AUTH LOGIN,某电信线路还能用。另外取消 AUTH PLAIN 前能不能通知一下,port 587 什么时候能支持,port 465 什么时候才不会在输出 banner 后卡死

2014-03

喜欢这类 cookbook 式的书 More C++ Idioms

还有两小时结束,前20名战队的分数变化曲线……我之后一定好好学R和数据可视化…… http://t.co/aGWzPfqeb1

2014-05

BCTF工作组记事 http://t.co/mX5noYiT1T #bctf

2014-06

工具推荐 Cgrep: a context-aware grep for source codes https://t.co/1Lzn68Y6xL Pandoc这类工具,Haskell确实比较适合,这方面还有很多机缘呢

把LeetCode做完了, https://t.co/zWqqQB4b2O

ISC'14 SCC参赛

德国旅行游记 http://t.co/pJzw4oCDpz

2014-07

学前端前打磨一下工具链,grunt,bower,npm,slim,coffee,sass,livereload https://t.co/m0OnccNzj0

2014-08

DEFCON 22 CTF参赛记 http://t.co/1cCQL2CTxa

Trend Micro Codinsanity 2014参赛记 http://t.co/dLDXIWICYU

二叉树遍历算法总结 http://t.co/I08HCd5YSU 整理了preorder、inorder、postorder递归版、模拟栈版,Morris preorder/inorder traversal和Lindstrom-Dwyer algorithm等

2014-10

https://t.co/SQgKH8W1m8 大一离散数学课没实现的东西……Prolog简版解释器: https://t.co/NLpjlGIeQT

备忘,Android微信数据导出 http://t.co/gAYNxRqHbC

2014-11

Ouroborus Program - quine-relay 分析 http://t.co/UQHZIV0UrM 今天又看了下quine,想通 quine 和 fixed-point combinator 的关联了

江苏信安竞赛初赛工作组记事 http://t.co/0QdpJF5thB

2014-12

收到 SIGINT 信号后 fork 出 gdb 调试自身 https://t.co/pNu9cobF0H

开坑开始写一ML字节码编译器Caml Featherweight介绍……代码齐备,只欠文档 http://t.co/SohZTVfQpL

ML编译器Caml Featherweight——设计 http://t.co/zBZHc51hX1

借助js_of_ocaml和emscripten把Caml Featherweight搬到浏览器客户端了…… http://t.co/7MLWgCVE1x

HackerRank Lambda Calculi - 9 说好的T恤在哪里……

http://t.co/JGnTdqCGmb 2014年总结——竞赛的一年