林洪炳的日常技术积累

我认为，编程分为五个境界

在形式逻辑学中，有一个很重要的思想，就是将一句话用字母和符号完整表示出来后，通过离散数学的运算规则列出真值表，如果表达式的真值中存在假即0时，就说明这句话的逻辑是错误的，推理是不成立的。结合离散数学和形式逻辑学的思想，可以将演绎推理实现于程序中，体验一下数学和逻辑学与代码融合的魅力。

进程作为操作系统基础，想要学好操作系统的理论知识，首先要掌握进程的概念。进程的理解可以抽象的思维来理解，也可以直接去挖掘 Linux 的源码来看看林纳斯大神是怎么用数据结构来描述进程的。对于大部分初学者而言，去看操作系统的源码几乎是不可能看懂的，所以也就只能通过抽象理解了。想当初我学习操作系统时尤其苦逼，看完了一整教材，仍然云里雾里。后来多看了几本书后，才发现我学习操作系统理论知识时过

2017年到了，大家都知道2016年是VR元年，那么去年有什么VR/AR新奇的产品进入了我们的视野，有哪些公司作为开拓者在探索者VR/AR领域，我们一起来总结一下。

如何你是经常写文章的人，学习Markdown来写文章是一件很聪明的事情。因为Markdown格式的文章非常的简洁，不存在各种颜色的字体、乱七八糟的样式和花里花俏的排版。Markdown就是纯粹的、清新的、只有黑和灰字体颜色的标记语言，使一篇文章变得有深度并带有极简美感且令人沉迷的艺术。在使用Markdown之前，首先要学习Markdown标记语言的基本语法。

突然我需要用flash做个动画，于是我简单学习了一下，发现很容易上手，但是在做动画期间有些问题并不像通常动画软件的解决方式，所以期间有些地方还是卡了一下进度，尤其是我需要做一张图片淡出效果的时候，居然调不了透明度，于是我在百度找了很久的解决方法，都只是说图片只有是元件的情况下才能调透明度，也许太简单，都只是简单带过。于是我只有找一些基础教程视频看了一遍，才忽然想到的解决方法，才发现解决方法如此简单。以下以flash CS6为例，将十分详细地告诉你在flash中如何设置图片的透明度。

数据库是程序员和非程序员的分水岭。

国内互联网发展得越来越快，网络广告的形式层出不穷，多少人为了设计一个精妙的广告想破了头，多少人对创意的网络广告感到惊喜。这篇文章主要讲的是我比较喜欢的一些新形式的网络广告。

体验Google中国开发者网站

《HTML5游戏开发的基本流程》 * 1. HTML5的简述 * 2. HTML5游戏开发所需的环境与工具 * 2.1. 开发环境 * 2.1.1. 浏览器 * 2.1.2. 开发语言 * 2.1.3. 开发平台 * 2.2. 开发工具 * 2.2.1. 代码编辑器 * 2.2.2. 版