空白酱的蒟蒻心得

[瞎想]人工智能漫谈

发表于 2018-05-17 | 更新于 2018-10-31

Game begins;

阅读全文 »

Lambda初级简介 - 组合子演算

发表于 2018-05-16 | 更新于 2018-10-26 | 分类于数理逻辑

简单易懂的现代魔法

阅读全文 »

Lambda初级简介 - Y组合子

发表于 2018-05-14 | 更新于 2018-10-26 | 分类于数理逻辑

子又生孙，孙又生子，子子孙孙无穷匮也。

阅读全文 »

Lambda初级简介 - 逻辑运算

发表于 2018-05-12 | 更新于 2018-10-26 | 分类于数理逻辑

如果说计算机的血液是零与一，那么逻辑运算是她的心脏。

阅读全文 »

Lambda初级简介 - 邱奇数

发表于 2018-05-10 | 更新于 2018-10-26 | 分类于数理逻辑

鹅鹅鹅，曲项向天歌，白毛浮绿水，红掌拨清波。

阅读全文 »

文章内嵌JS解释器测试

发表于 2018-05-07 | 更新于 2018-10-26 | 分类于小型项目

Lambda初级简介 - λ演算基础

发表于 2018-05-06 | 更新于 2018-10-26 | 分类于数理逻辑

之所以和上一篇文章间隔的时间如此之长, 是因为我发现我没有资格介绍Lambda…遂重新学习

阅读全文 »

Lambda初级简介 - 图灵机

发表于 2018-04-30 | 更新于 2018-10-26 | 分类于数理逻辑

Lambda初级简介 - 图灵机

阅读全文 »

未完成Pixiv客户端代码摘抄

发表于 2018-04-29 | 更新于 2018-10-26 | 分类于小型项目

不能把我有限的人生浪费在无限的前端上面.

阅读全文 »

[ESP8266]空气检测器

发表于 2018-03-31 | 更新于 2018-10-31 | 分类于小型项目

Talk is cheap, show me the codes.

阅读全文 »

Shiroko

一个什么都写的博客, 由Shiroko (Oyami Koroto)倾情奉献~

8 分类

11 标签