CoreOs : the introduction


What is CoreOS ? CoreOS is a Linux distribution designed to make large and scalable deployments, and simple to manage. It is derived from ChromeOS. CoreOS maintains a lightweight host system and uses docker containers for all applications. Hence, it provides process isolation and makes it easy to move applications from a cluster to another. One of my favorite features in CoreOS is etcd, fleet and systemd. etcd is a distributed key-value store that passes the configuration data between the nodes. It also offers service discovery, the applications can configure themselves using the shared data. fleet is there to manage […]

Continue Reading

Redis : the installation


How to install Redis To install a redis server on a linux (I am using a debian for this tutorial), open your terminal and type this command : sudo apt-get install redis-server It will load the dependencies and install them along with redis. After the installation, you will have a configuration file to edit : the redis.conf file. Configure redis Here are the parameters I recommend to customize. I am using vim but you can use any other text editor. vim /etc/redis.conf Leave the daemonize Customize the bind parameter with the network you want to access the server from. databases […]

Continue Reading

How to remove echo and reverb from an audio


Having reverb in a recording is very annoying, especially if you are recording a podcast. To eliminate the reverb from the record, we are going to use audacity. Let’s get started ! Open Audacity and then click “File” and “Open” and choose an audio file you wish to edit. Though Audacity handles OGG and MP3 files, it doesn’t let you see each channel of audio information. If you’ve saved an Audacity project file (.aud), open this, since each audio channel will be separate and you can identify the echo more easily. Look at each of the audio tracks, which appear […]

Continue Reading

How to ssh over http insing corkscrew


Hey everone ! I ran recently into a simple issue : I was behind a firewall and port 22 is closed (business restriction … and the security guy didn’t want to allow it for me 🙁 ) So I found a way around and I wanted to share with you. It’s name is corkscrew corkscrew is a simple tool to tunnel TCP connections through an HTTP proxy supporting the CONNECT method. It reads stdin and writes to stdout during the connection, just like netcat. It can be used for instance to connect to an SSH server running on a remote […]

Continue Reading

Infography : how to make a short movie


Hello everyone. I found a very inspiring infography on how to make a short movie. I found it very interesting and I wanted to share it with you. Here is the link to it. Inspired from:

Continue Reading

AI planning : model, search and plan


What is a conceptual model A theorical device to help formalize a problem we are facing. Help us to clarifiy some constraints of what we are trying to solve. We can prove sementical properties by using the model. Not good to develop the algorithm to solve the problem. How does it work ? We are using a state-transition system for build our model. Has 4 components : states : states in which the world can be. actions : the things the agent can take to modify the state of the world. events : actions not under the agent control but […]

Continue Reading

AI Planning : introduction


Notes from course from Edinburg University. What is AI planning ? Explicit deliberation process to reach a target. Need to : Choose actions Organize the actions Anticipate the outcome of the actions Examples : Helpdesk support Space program Planning for robots Non player characters Webservices workflows Main dish of this subjet : algorithms to solve AI problem, representation of a problem. What is planning ? A complicated and time consuming process. Must lead to a better result. Do it only if there is a benefit to it. When it is strictly necessary. To plan we need to think, explicitly => […]

Continue Reading

Setting up wifi auto connect


Disclaimer The authorship of this code is given to Ubuntu Help center. Finding your network interface When setting up your network you will need to know the network interface cards on your computer. The interface name of cards for different vendors may be different, which is why this step is needed. ls /sys/class/net # or ip addr This will list the interface names for all NICs on your computer. It will probably include eth0 (hardwired NIC), lo (loopback interface for the localhost), and something for your wireless card (like wifi0, or wlan0). Disable network managers and/or wicd Configuring your […]

Continue Reading
1 2 3 11