Lupino

Haskell Scotty 网络编程指南 函数式 Web 开发精要 前言 在现代软件开发中，函数式编程正在重新定义我们构建应用程序的方式。Haskell 作为纯函数式编程语言的代表，其强大的类型系统

我已经使用 Python 很多年了，但用 MicroPython 来开发单片机是我最新的尝试。

天气渐渐的热了起来，要开风扇了。 每次开风扇都要到风扇前面，晚上休息的时候不方便。 又再玩 AI 小智硬件，于是就萌生了改造风扇的想法。

完美和拖延 程序员中的很多人都是完美主义者，在工作对自己的要求是一丝不苟，不能出一丝一毫的错误，交付给领导的技术方案连个错别字都不能有，线上也不能有bug，无论是主动或被动，很多人都有在追求完美主义。

今天在设计重启功能的时候，发现 arduino avr 板子没有软件 reset 的功能。 不过这个难不倒我，我记得以前为了防止arduino板子意外故障而使用的软件看门狗。 我们先导入 avr 看门狗的头文件。 在 setup 里初始化看门狗，默认将其禁用。 我们将看门狗设为…

Gasp 是我研发出来快速构建物联网设备的动态领域语言，它可以然后用更少的代码构建出更稳定更靠谱的物联网设备。 Gasp 是使用 haskell 研发，并使用 stack 作为构建工具。因此首先要安装 stack， 命令如下 build/app 就是我们编译后的代码，我们用 a…

使用 scotty 构建一个 echo server

HTM Engine example application: live NYC traffic anomaly detection.

在其他地方想要访问家里的 raspberry pi, 通常是要在路由器上设置端口转发，然后绑定个动态域名。万一这个路由器不是自己的，自己没有任何权限，这样子旧束手无策了。 不过也是有解决方案的，用 ssh 的端口转发 ssh -CfNgR remote-port:localhost:local-port user@remote。 hole 是另一种解决方案，通过 hole 你可以把 raspberry pi（其他机器也是可以的） 的任何端口转发到公网服务器上面去，这样子你就可以通过访问公网的 服务器来访问家里的服务了。