筆記與流年

On languages and security, very good article.

Short Form A Chu space is a transformable matrix whose rows transform forwards while its columns transform backwards. Chu spaces offer a uniform way of representing relational and topological structure simultaneously. This is because Chu spaces can represent relational structures via a generalization of topological spaces which allows them to represent topological structure at the same time using the same machinery.

A client API for Timetric

Lawvere theories and monads have been the two main category theoretic formulations of universal algebra, Lawvere theories arising in 1963 and the connection with monads being established a few years later. Monads, although mathematically the less direct and less malleable formulation, rapidly gained precedence. A generation later, the definition of monad began to appear extensively in theoretical computer science in order to model computational effects, without reference to universal algebra. But since then, the relevance of universal algebra to computational effects has been recognised, leading to renewed prominence of the notion of Lawvere theory, now in a computational setting. This development has formed a major part of Gordon Plotkin’s mature work, and we study its history here, in particular asking why Lawvere theories were eclipsed by monads in the 1960’s, and how the renewed interest in them in a computer science setting might develop in future.

Timetric's here to help you make sense of data. If you think about it, most of the numbers we come across every day are things like temperatures, prices, rates, volumes: numbers which vary over time. That's what Timetric focusses on: graphing, tracking and comparing the movements of data over time.

A survey result on OO concept

Swift is a new, principled approach to building web applications that are secure by construction. Web applications are hard to build because code and data need to be partitioned to make them responsive. They are also hard to build because code and data need to be partitioned for security. Currently there are no good methods for deciding when it is secure to move code and data to the client side.

Jif is a security-typed programming language that extends Java with support for information flow control and access control, enforced at both compile time and run time. The source code for the Jif compiler and run-time system is now available for download. Jif is written in Java and is built using the Polyglot extensible Java compiler framework.

The VMKit project is an implementation of a JVM and CLI virtual machine (.Net is an implementation of the CLI). It translates Java bytecode and MSIL in the LLVM IR and uses the LLVM framework for optimizations and just in time compilation. You can get and build the source today.

Parrot is a virtual machine designed to efficiently compile and execute bytecode for dynamic languages. Parrot currently hosts a variety of language implementations in various stages of completion, including Tcl, Javascript, Ruby, Lua, Scheme, PHP, Python, Perl 6, APL, and a .NET bytecode translator. Parrot is not about parrots, though we are rather fond of them for obvious reasons.

Our goal with AppScale is to provide a Platform-As-A-Service (PaaS) cloud infrastructure that enables users to not only deploy, test, debug, measure, and monitor their GAE applications prior to deployment on Google's proprietary resources, but also to facilitate investigation and extension of the PaaS implementation: services, runtime, interoperation with lower-level cloud fabric, etc.

a show case for factor to compile smalltalk

DataObjects.rb is an attempt to rewrite existing Ruby database drivers to conform to one, standard interface.

A scripting framework that replaces rake and sake

Buildout is a Python-based build system for creating, assembling and deploying applications from multiple parts, some of which may be non-Python-based. It lets you create a buildout configuration and reproduce the same software later.

The TEX Family in 2009

Two decades before the World Wide Web came on the scene, the PLATO system pioneered online forums and message boards, email, chat rooms, instant messaging, remote screen sharing, and multiplayer games, leading to the emergence of what was perhaps the world's first online community.

A 10-pages survey on Javascript frameworks

Jitr (pronounced "jitter") is a JUnit Integration Test Runner. It allows your web application integration tests to easily run against a lightweight web container in the same JVM as your tests.

Two large, open source software systems are analyzed from the vantage point of complex adaptive systems theory. For both systems, the full dependency graphs are constructed and their properties are shown to be consistent with the assumption of stochastic growth. In particular, the afferent links are distributed according to Zipf's law, while the efferent links are distributed lognormally. A determination of the global and local efficiencies of the directed dependency graphs, indicates both are locally efficient, but globally inefficient meaning neither one fulfills the Small-World criterion. Finally, a calculation of the eigenvector centrality shows that knowing the absolute number of afferent links alone is not sufficient to decide how important a class is to the system as a whole, rather the importance of the linking class plays a major role as well.

Cool book， it is worth reading!

PowerShell open source reimplementation for “others” (Mac, Linux, Solaris, etc…) and Windows (including Windows Mobile and Windows CE)

Amazon Elastic MapReduce is a web service that enables businesses, researchers, data analysts, and developers to easily and cost-effectively process vast amounts of data. It utilizes a hosted Hadoop framework running on the web-scale infrastructure of Amazon Elastic Compute Cloud (Amazon EC2) and Amazon Simple Storage Service (Amazon S3).

Have you ever wondered how the permanent generation fits into our generational system? Ever been curious about what's in the permanent generation. Are objects ever promoted into it? Ever promoted out? We'll you're not alone. Here are some of the answers.

Mahout's goal is to build scalable, Apache licensed machine learning libraries. Initially, we are interested in building out the ten machine learning libraries detailed in http://www.cs.stanford.edu/people/ang//papers/nips06-mapreducemulticore.pdf using Hadoop. While these algorithms are our initial focus, we welcome contributions of other machine learning approaches.

It's a poor workman who blames his tools…

Three Twitter developers, Steve Jenson, Alex Payne, and Robey Pointer, talk with Bill Venners about their use of Scala in production at Twitter.

Patch-Tag is a place to host darcs repositories online, for private project coordination, for sharing with the open source community, or even just for worry-free versioned backup of personal data.

Beyond the functionality already at hand, we are hard at work on collaboration features, tools for repo browsing and patch tracking, and other goodies.

Happstack is a great way to build web applications. Besides having a great feature set in its own right, it is probably the leading solution for implementing web apps in Haskell, my favorite language.

a refreshingly innovative web application server written in Haskell. Leveraging the MACID state system, Happstack offers robust and scalable data access without the headache of managing a traditional RDBMS such as MySQL.

波兰数学家、逻辑学家塔斯基（Alfred Tarski, 1902— ）1933年在《形式化语言中的真理概念》一文中提出了一个对于“真理”（Truth）的语义学定义。它深刻地影响了当时的逻辑经验主义和后来的分析哲学的意义理论，并且导致理论语义学的正式建立。本文试图简单地评介建立这个定义的前因、方式及其后果。