欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
NetKernel
NetKernel's resource-oriented computing model makes it simple to construct powerful software. NetKernel's advanced infrastructure extends the core ideas behind Unix and REST. From Unix - compose functions and whole applications using a toolbox of services that work directly with resources. From REST - address everything with a logical URI address (resources, services and code) and find the immutable results cached, eliminating redundant computations. The result is a platform that supports rapid development of incredibly fast flexible applications.
NetKernel是一个软件系统，它将REST和Unix的基本属性组装成一个叫做面向资源计算（resource oriented computing，ROC）的强大的抽象集。面向资源计算的核心是将信息（资源）的逻辑请求与传递请求的物理机制（代码）相分离。与其他方式相比，使用ROC构建的应用已被证明是小巧的、简单的、灵活的，并且无需太多代码。
