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). Playback Rate : Changes both tempo and pitch together as if a vinyl disc was played at different RPM rate. The SoundTouch library is intended for application developers writing sound processing tools that require tempo/pitch control functionality, or just for playing around with the sound effects. The SoundTouch library source kit includes also an example utility SoundStretch that uses SoundTouch library for processing .wav audio files from command-line interface. More information: SoundTouch library Features Contact Information Author contact information.

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. The Web Audio API is a high-level JavaScript API for processing and synthesizing audio in web applications. The goal of this API is to include capabilities found in modern game audio engines and some of the mixing, processing, and filtering tasks that are found in modern desktop audio production applications. What follows is a gentle introduction to using this powerful API. Getting started with the AudioContext An AudioContext is for managing and playing all sounds. A single instance of AudioContext can support multiple sound inputs and complex audio graphs, so we will only need one of these for each audio application we create. The following snippet creates an AudioContext: Loading sounds Playing sounds full source code Volume: 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. Readme.md at master from guileen/node-mongoskin - GitHub. Node.js and socket.io 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, socket.io 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 socket.io 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 node app.js load up in your browser GIT repo UPDATE: i’ve written up a multiroom chat tutorial here. 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. So in order to make Facebook integration quick and easy, I've wrapped a lot of under-the-hood code into a plugin called node-facebook. Facebook's developer tools are increasingly going into the direction of more Javascript on the client-side. Communication As you can see in this totally unnecessary diagram, most of the integration takes place on the client-side: Dependencies Note: For this article I've been using NodeJS version 0.1.31 and Express version 0.7.1 You need to install both NodeJS and the Express Web Framework. Second, you need to include Hashlib into your project and compile it. 1. 2. <! 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. This is an experiment I did to play around with Node.js and web sockets. Web socket server Using @miksago‘s node-websocket-server made it extremely easy to send and receive messages from a web socket. After including the node-websocket-server library and creating the server, I add some listeners to know when clients disconnect or send a message and make sure messages get sent to the other clients. I saved it as server.js, so starting the server is as simple as running node server.js. Receiving messages As you can see, this connects to the server we just started.

LearnBoost/socket.io-node - 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! What is Mongoose? Mongoose is a javascript library that makes working with MongoDB a breeze.

Why MongoDB? While looking into storage solutions we decided that using a NoSQL engine was the best fit for our needs. MongoDB We ended up choosing Mongo for a variety of reasons: commercial support fast Example. MongoDB hosting in the cloud. InMusic. 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

It is adapted with his permission. Adapted by Paul Brna and Tamsin Treasure-Jones. To report any problems, send mail to tamsin@cbl.leeds.ac.uk. Prolog is a logic language that is particularly suited to programs that involve symbolic or non-numeric computation. For this reason it is a frequently used language in Artificial Intelligence where manipulation of symbols and inference about them is a common task.

Prolog consists of a series of rules and facts. In this tutorial we will introduce some of the central concepts of Prolog under a series of topic headings. Topics. 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.

In a universe of types , one may have a family of types which assigns to each term a type . Or as . For then and. 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. nat : type. z : nat. s : nat -> nat. Here nat is a type, and z and s are constant terms. As a dependently-typed system, types can be indexed by terms, which allows the definition of more interesting type families (relations). The constant plus_succ defines the case for when the second argument is the successor of some other number N (see pattern matching). These simple examples do not display LF's higher-order features, nor any of its theorem checking capabilities.

Uses[edit] Twelf is used in several different ways. Logic programming[edit] Twelf signatures can be executed via a search procedure, so Twelf can be used as a logic programming language. Formalizing mathematics[edit] 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. So I installed a brand new Ubuntu 11.4 virtual machine and got started.

Installing Node.js $ sudo apt-get install python-software-properties $ sudo add-apt-repository ppa:jerome-etienne/neoip $ sudo apt-get update $ sudo apt-get install nodejs Installing npm.