Go, C++!!

mar. 18 d├ęcembre 2012 by shuba

I've recently read an interesting article which shows an example of concurrency implemented in 3 differenet languages, namely Go, Erlang and C++. While the Erlang and Go examples seemed clear and concise, the C++ one looks long and hard to understand. The reason behind this complexity is that C ...

read more

Debugging with DOT

jeu. 29 novembre 2012 by simon


I'm starting a PhD on first-order automated theorem proving, which is the reason I'm writing an experimental theorem prover in OCaml. Theorem provers are full of complicated algorithms (that I plan to write on later), and my usual techniques for debugging are twofold:

  1. Writing a lot of ...
read more

Frist post

jeu. 29 novembre 2012 by simon

Hi there, here is the first post on this blag! There will (or should, at least) be posts on technical subjects by several authors :

We expect to write on C++ programming, functional programming, logic, graphics, etc.


read more

And this...

ven. 12 octobre 2012 by shuba

... is how you were born

read more

The inside of a curve

sam. 12 mai 2012 by shuba

Hi, I am shuba, and I'll be using this blog to dicuss various computer graphics topics I find interesting. I might also disgress on C++, which is my main programming language.

For my first article, I'll try and answer a question that's not as simple as it ...

read more

Tail-recursive map in OCaml

lun. 12 mars 2012 by simon

The List.map function of the OCaml standard lib is not implemented tail-recursively. The current version (as of 4.00 on my computer) is

let rec map f = function
    [] -> []
  | a::l -> let r = f a in r :: map f l

It's pretty efficient on small lists, but blows up ...

read more