2017.02.21 :: Fuzzy knowledge and fuzzy logic connectives

2017.01.30 :: CMake project templates for C++11 and CUDA with google test/benchmark support

2017.01.27 :: Ten years on Linux

2016.07.05 :: Can AlphaGo beat Imperial?

2016.06.28 :: Data Scientists: This is not your grandmother's C++

2015.11.02 :: Scientific theories & machine learning

2015.07.13 :: A gentle introduction to statistical relational learning: maths, code, and examples

2015.07.13 :: A crash course in first-order logic

2015.04.05 :: Automated reasoning in F#, Scala, Haskell, C++, and Julia

2014.06.11 :: Knowledge representation and species interactions

2013.07.22 :: Scriptoria.info - Tracking science manuscripts under revision control systems

2013.07.05 :: Machine learning and deep transfer learning

2013.05.14 :: The case for open preprints in biology

2013.04.29 :: L'intuition des Intelligences Artificielles

2013.02.06 :: Evolution of a transposon in Daphnia hybrid genomes

2012.09.24 :: The repeatability of niche and neutral communities

2012.09.12 :: Wagner: a simple model to study speciation patterns

2012.08.22 :: The case for arXiv and a broader conception of peer-reviews

2012.06.27 :: A complex speciation-richness relationship in a simple neutral model

2012.03.27 :: A foot in the neutral trap

2012.01.01 :: How likely is speciation in neutral ecology?

2010.05.01 :: L'origine de la biodiversité

let world = "世界" in print $ "Hello " ++ world ++ "!"