Pâté à la Valironrons

February 23, 2013

Here is a wonderful pâté recipe we have from our French friends. You need a meet grinder, but otherwise it’s not hard to make.

Ingredients (1 pound ~= 450g):

  • 1 pound of chicken liver (or of any other poultry)
  • 1/2 pound of bacon
  • 1/2 pound of boneless pork
  • 1 big bunch of parsley
  • 1 egg
  • 8g of salt (1/2 tablespoon)
  • and then, at wish: black pepper, garlic, mustard, coriander (cilantro), juniper, clove, pistachios,…
  • Preparation: Grind everything*, homogenize, and put in a rectangular baking dish. Cook in the oven in a bain-marie for about 1h:30min at 380F (~193C). Cool down before serving.

    [*] Grinding chicken liver works best if it’s slightly frozen, otherwise the process is a bit messy.

    Advertisements

All Your IFCException Are Belong To Oakland 2013

February 16, 2013

Our paper marrying reliable exception handling and sound fine-grained dynamic information flow control was accepted at the IEEE Symposium on Security & Privacy (Oakland 2013).

All Your IFCException Are Belong To Us. Cătălin Hriţcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, Greg Morrisett.


Learning/Teaching Coinduction with Coq

December 23, 2012

This semester Benjamin Pierce gave a course on Advanced Coq Martial Arts based on Adam Chlipala’s CPDT book. The course was very interactive, with the students giving most of the lectures and being in charge of creating the exercises. Since I wanted to know more about coinduction I taught the coinduction lectures and learned a lot in the process. One of the results of these lectures is a new set of materials for teaching coinduction in Coq:

These materials are based on Adam’s book chapter, Giménez and Castéran’s tutorial, and Xavier Leroy and Herve Grall’s development on coinductive operational semantics. I’ve tried my best to explain things better and to add good exercises.

Another result is a new Coq tactic that allows for aggressive automation of coinductive proofs. Most of the easy proofs now take the form coind using coind_principle; crush.

Update 2012-12-25:
Read the rest of this entry »


The German Ball Game

June 16, 2012

Source: Games to train and relax body and mind by Johann Christoph Friedrich GutsMuths, 1796
Translation by: Beate Brockmann
For further understanding and terminology check this out.

2. The German Ball Game

This game which has not yet been described anywhere merits very well a detailed description. It is not my goal to be entertaining in this endeavor – try just to understand these dry explanations, entertainment will be found in practicing.

Read the rest of this entry »


Nicuşor Dan reaprinde speranţa pentru Bucureşti

May 31, 2012

Nicuşor Dan pentru Bucureşti

May 3, 2012

Nicusor Dan


Clarke’s three laws

April 28, 2012
  • When a distinguished but elderly scientist states that something is possible, he is almost certainly right. When he states that something is impossible, he is very probably wrong.
  • The only way of discovering the limits of the possible is to venture a little way past them into the impossible.
  • Any sufficiently advanced technology is indistinguishable from magic.

Source: Wikpedia