309 reputation
418
bio website xn--vod-0ma.blogspot.com
location Orsay, France
age 38
visits member for 3 years, 5 months
seen Jul 19 at 13:43

Everyday experience: - C++ - Python - C - C# - Xaml - Xml - Xslt - Xschema - Xpath - Regex - Sql - VB

Used to: - Win32 - Mfc - Com/Atl - Stl - Design Patterns - MsXml - Wpf - Html - Java - Soap - Postgresql - Sql Server

Practiced intensively: - C++11 - Http - Boost C++

Practicing: - Javascript - AngularJS - jQuery - Html5 - Css - Svg - Web Audio Api

Tried/Discovered/Culture: - C++/Cli - F# - Oz - Haskell - Perl - Prolog - Pict and Nomadic Pict

Interested in: - Design Patterns - Web Design - Lambda Calculus - Pi Calculus - Language design - Artificial Intelligence - Digital Signal Processing - Categorial logic - Test Driven Development


Jan
21
revised Is it possible to install Oracle Database Express on 32bit Ubuntu 12.10?
remove thanx
Jan
21
suggested suggested edit on Is it possible to install Oracle Database Express on 32bit Ubuntu 12.10?
Jan
13
revised Update manager notifications not getting in Kubuntu
correct spelling, punctuation and removed thanx
Jan
13
suggested suggested edit on Update manager notifications not getting in Kubuntu
Jan
12
suggested suggested edit on Is there any way to take my current setup and put it on a live disk, then install it to another machine?
Dec
6
accepted apt-get vs. aptitude .vs synaptic compatibility
Oct
2
comment apt-get vs. aptitude .vs synaptic compatibility
thx for the constructive argument. This is an explicit difference that you are pointing to.
Sep
30
accepted Apply transparency only to some windows with FluxBox
Sep
30
answered Apply transparency only to some windows with FluxBox
Sep
23
asked Apply transparency only to some windows with FluxBox
Sep
22
accepted New App doesn't appear in Unity dash
Sep
22
comment Is there a Pomodoro app available?
really nice tool ! this is the one I have chosen to use
Sep
22
asked New App doesn't appear in Unity dash
Sep
16
comment How do I enable Global Menus and fix HUD (after upgrading to 12.04 from 10.04)?
+1 It works immediately after log-out/log-in.
Sep
9
awarded  Tumbleweed
Sep
2
awarded  Editor
Mar
31
awarded  Popular Question
Feb
9
awarded  Yearling
Sep
9
awarded  Nice Question
Mar
28
awarded  Commentator