
Enabling Technologies
Get flash to fully experience Pearltrees
SoundTouch Sound Processing Library
Before the HTML5 <audio> element, Flash or another plugin was required to break the silence of the web. While audio on the web no longer requires a plugin, the audio tag brings significant limitations for implementing sophisticated games and interactive applications. The Web Audio API is a high-level JavaScript API for processing and synthesizing audio in web applications.
HTML5 Rocks - Getting Started with Web Audio API
node.js and socket.io chat tutorial – ps: it's mike
Facebook Connect with Node
If you see extra mouse cursors moving around: don’t worry, they’re part of the demo. You can always disable them if you want. I’ve written a follow-up on this article, in which I improved a lot of the code.
Experimenting with Node.js
Mongoose
Add Update: Mongoose 1.0 has been released, and we recommend going to our dedicated website for the most up-to-date information and code At LearnBoost, we like to consider ourselves hackers. We look to implement the best technical solutions for our needs then tell people how we did it and hope they fork our code, contribute and make it even better. To make a kick-ass solution for schools , we needed a data store that was scalable, fast and able to keep up with constant iterations of features.A Short Tutorial on Prolog
In computer science and logic , a dependent type is a type that depends on a value. Dependent types play a central role in intuitionistic type theory and in the design of functional programming languages like ATS , Agda and Epigram . An example is the type of n -tuples of real numbers. This is a dependent type because the type depends on the value n . Deciding equality of dependent types in a program may require computations.
Dependent type
Twelf is an implementation of the logical framework LF . It is used for logic programming and for the formalization of programming language theory. [ edit ] Introduction At its simplest, a Twelf program (called a "signature") is a collection of declarations of type families and constants that inhabit those type families.
Twelf
var Functional ; Functional is the namespace for higher-order functions. Functional. install = function( except )
Functional Javascript
To celebrate my move to the Agile Consulting and Training division of Xebia I thought it would be very appropriate to start playing with some hip new technologies. From their homepages: Node.js : Evented I/O for V8 JavaScript. (A framework for building completely non-blocking servers in Javascript) NPM : A package manager for node. CoffeeScript : A little language that compiles into JavaScript Express : High performance, high class web development for Node.js Jade : Node Template Engine Redis : An open source, advanced key-value store

