background preloader

Enabling Technologies

Facebook Twitter

Documentation. New Technique Promises Much Faster Hard Drive Write Speeds. SoundTouch Sound Processing Library. About the SoundTouch library The SoundTouch Library Copyright © Olli Parviainen 2001-2014 SoundTouch is an open-source audio processing library for changing the Tempo, Pitch and Playback Rates of audio streams or audio files Tempo (time stretch): Changes the sound to play at faster or slower tempo than originally without affecting the sound pitch.

SoundTouch Sound Processing Library

Pitch (key) : Changes the sound pitch or key while keeping the original tempo (speed). Demos of jMediaelement - jme. Bfirsh/dynamicaudio.js - GitHub. Buzz, a Javascript HTML5 Audio library. Getting Started with Web Audio API. Before the HTML5 <audio> element, Flash or another plugin was required to break the silence of the web.

Getting Started with Web Audio API

While audio on the web no longer requires a plugin, the audio tag brings significant limitations for implementing sophisticated games and interactive applications. Facebook/facebook-php-sdk - GitHub. Exceptional VPS hosting - 6sync Virtualization. Soul Funk Boot - MongoDB Presentations - Using MongoDB with Node.js. Can I use jQuery with node.js. at master from guileen/node-mongoskin - GitHub. Node.js and chat tutorial – ps: it's mike.

I found that the ready availability of documentation and the eagerness of experienced individuals to help the newly adopting, throughout the node.js communities, allow for quicker learning and sharing of acquired skills i’ve created a very simple single-room chat client using node.js, and the express module UPDATE: long overdue, but you can now skip the following step and just install via the .msi or .pkg files and they include NPM – to begin, you must install node.js and npm along with their dependencies cd /pick_a_folder git clone cd node git checkout v0.4.12 #or latest stable version .

node.js and chat tutorial – ps: it's mike

/configure make make install #finish nodejs install curl | sh #install npm ok! Now, install the modules npm install -d let’s now create the server file, app.js now, let’s create the client file, index.html run the server. Facebook Connect with Node. Static Version A big part of building a new web application is repurposing common patterns, one such pattern is the ability for users to sign in and out.

Facebook Connect with Node

One way of solving this quickly is by using Facebook Connect. Background Unlike some APIs, the Facebook API is very Javascript friendly, but unfortunately it can be very time consuming to go through the maze of misdirected Facebook documentation. DracoBlue/node-facebook-client - GitHub. Socket.IO: the cross-browser WebSocket for realtime apps. God - A Process Monitoring Framework in Ruby. Experimenting with Node.js. If you see extra mouse cursors moving around: don’t worry, they’re part of the demo.

Experimenting with Node.js

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. Be sure to read that one too! If you’re using a browser that supports web sockets, you might see some extra mouse cursors moving around. These are actually other people also looking at this page right now, live, as we speak. LearnBoost/ - GitHub. 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. In this blog post, you will read about our thought process when choosing Mongo DB and also more about our technical infrastructure . The team is very proud to release Mongoose and we hope you like it! MongoDB hosting in the cloud. InMusic. This page is divided in four sections: Music software written in Python, Music software supporting Python, Music programming in Python, and a category of unsorted (may still fit in the above)


A Short Tutorial on Prolog. This document is an edited version of a Hypercard Stack written by Mike Brayshaw as part of Joint Research Council project ``The Construction and Evaluation of a Prolog Techniques Editor''.

A Short Tutorial on Prolog

Dependent type. Dependent types add complexity to a type system.

Dependent type

Deciding the equality of dependent types in a program may require computations. If arbitrary values are allowed in dependent types, then deciding type equality may involve deciding whether two arbitrary programs produce the same result; hence type checking may become undecidable. History[edit] Dependent types were created to deepen the connection between programming and logic. In 1934, Haskell Curry noticed that the types used in mathematic programming languages followed the same pattern as axioms in propositional logic.

Predicate logic is an extension of propositional logic, adding quantifiers. (Because of this and other work by Howard, propositions-as-types is known as the Curry-Howard correspondence.) Formal definition[edit] Dependent types can be, very loosely speaking, imagined to be similar to the type of an indexed family of sets. Twelf. Introduction[edit] At its simplest, a Twelf program (called a "signature") is a collection of declarations of type families and constants that inhabit those type families.


For example, the following is the standard definition of the natural numbers, with z standing for zero and s the successor operator. Functional Javascript. Internet Radio & Audio Streaming. Getting started with Node.js, npm, Coffeescript, Express, Jade and Redis. 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.

Getting started with Node.js, npm, Coffeescript, Express, Jade and Redis

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 JavaScriptExpress: High performance, high class web development for Node.jsJade: Node Template EngineRedis: An open source, advanced key-value store In this guide I will take very small steps so that you can verify that you are check whether you are still on track. The result is an extremely performant, scalable and lightweight alternative for web development.