筆記與流年

An interesting blog on woman topics

Project Syndicate is an international association of 400 newspapers in 147 countries, devoted to the following objectives:

* bringing distinguished voices from across the world to local audiences everywhere;
* strengthening the independence of printed media in transition and developing countries;
* upgrading their journalistic, editorial, and business capacities.

穆旦有诗：“从历史的扭转的弹道里，／我是得到了二次的诞生。／无尽的阴谋：生产的痛楚是你们的，是你们教会了我鲁迅的杂文。”你们在培养人，你们教育出了人类家庭里的成员，你们也需要停下来，分享生活和思想的乐趣。现在我们一起停下来，就一些问题交流，这本身是一个双向的或说反思的过程。我想作为一个对战略发展、对教育启蒙有兴趣的人，跟你们交流可以生长出真正可以扩展的自由秩序。这种自由秩序可能就是我们的社会极度匮乏的德性、道义或说生命意义

A wiki for the Book Practical API Design

Ur is a programming language designed to introduce richer type system features into functional programming in the tradition of ML and Haskell. Ur/Web is Ur plus a special standard library and associated hints for parsing, type inference, and optimization.

In Turner's paper "Total Functional Programming", as seen on LtU here, on page 16 it says that in a total functional language it's impossible to write an interpreter for that language. I've seen this statement in other papers too. None of them I've seen have shown or made reference to a proof. Some mumble about the halting problem. Can anyone provide a link to a paper with a proof of this, or sketch a proof themselves?

a philosophy book

Intute is a free online service providing access to the very best web resources for education and research. All material is evaluated and selected by a network of subject specialists to create the Intute database.

The Process Virtual Machine does not define a process language. Instead it acknowledges some process language might be better suited for a certain situation then another and hence, there will be multiple process languages coexisting. The Process Virtual Machine will define a common model that can be shared between all the graph based execution languages. It also includes a strategy on how process constructs can be seen as software components. This will enable support for multiple process languages and also it will show much clearer how process technology fits right into software development projects.