Monthly Archives: June 2013

LP: Simplex Draft

[This blog was moved here] Everybody solves some optimization problems – the airlines schedule flights, companies manage production facilities, salesman still looks for traveling options… When you need to achieve the best outcome minimizing/maximizing a linear cost functions you meet linear ...

F* Challenge or The Tale of Tails

[This blog was moved here] F* is a verification-oriented programming language developed at Microsoft Research. If you already know F#, or OCaml, or Haskell, or another language from ML family, you’ll find it familiar. Resources F* project home Rise4Fun – try it online/go ...