POPL Accepted Carrot Cake

So good it will be accepted at POPL at your first submission.

Ingredients

Inductive kitchenequips : Type :=
  | Blender
  | Mixer
  | Caketin
  | Saucepan
  | Oven.
Definition dough :  Prop :=
  • 270g diced carrot
  • 170 ml vegetable oil (i.e. light tasting olive oil, sunflower oil)
  • 280g sugar
  • 2 large eggs
  • (optional) 1 extra egg white for extra cake fluffiness
  • 210g white flour
  • 1 tbsp baking powder
  • 1 pinch of salt
Definition topping :  Prop :=
  • 150g sugar
  • 1 cup of chocolate powder (i.e. Ovaltine [my fav], Nesquik) or cocoa powder if you prefer less sugary treats
  • 3 tsbp butter
  • 50ml milk (2% or 3%)

Preparation

Preheat your oven to 180C.

Dough

Add the diced carrots, eggs, (optional) egg white and sugar to the blender. Mix it until you obtain a uniform manifold. That usually takes 2-3 min.

Warning: If your blender is old, or if it’s one of those small unverified nutribullets, do not add the sugar. Keep the sugar for the next step.

In a large bowl, pour the mix, sieve the flour and add a pinch of salt. If you did not add the sugar previously, do it now. Using a mixer, mix everything until you obtain a homogeneous mix.

Lastly, add the baking powder and give it a final mix.

In a non-stick cake tin (mine has 21cm x 28cm), pour the mix and take it to the oven until the top is golden. It normally takes 45min.

Once it’s baked, remove the cake from the oven and let it cool down completely.

Pour all your frustration of universe polymorphism into the cake by creating several holes in its surface with a fork.

Topping

This cake receives a verified tasty chocolate topping.

In a sauce pan, add the butter, sugar, chocolate/cocoa powder and the milk. Using medium heat, mix all the ingredients. Do not stop the motion, otherwise the topping won’t be smooth. Mix it until you start seeing some heat bubbles on the sides or middle of the pan. Once they show up, count 1 minute, keep mixing, then turn off the heat.

Quickly pour the topping over the cake.

Let it cool down and enjoy the distinguished dish award.

Useful hints

You should know this by then, but you can verify the readiness of the cake by inserting a fork in the middle and observing if the fork comes out clean. If it does, the cake is probably ready.

Appendix, Theorems and Artifact

This cake is consumed for breakfast in South America. If you want a healthier version of it, do not add the chocolate topping. Sadder but healthier. Qed.

2025

Back to Top ↑

2022

Back to Top ↑

2021

Ad-hoc polymorphic chocolate ice cream

1 minute read

3 ingredients and strong arms, that is what you need (well, you can cheat with a mixer). This polymorphic reciPL is much cheaper than regular ice cream, and ...

You’ll mispronounce it: Bolinho de Chuva

1 minute read

The literal translation of this low-effort dish is “Rain cake”, but this is not a cake, it it does not rain (although, during the publication of this reciPL,...

Chicken Okra Low Effort

2 minute read

This reciPL becomes low-effort if you have a pressure cooker. This is not a common item in some countries in Europe or North America, but it drastically redu...

Unprovable Opéra

7 minute read

Shop the ingredients in advance. This reciPL is very hard, and very expensive. Be prepared for non-trivial proofs, and possibly unprovable lemmas.

Back to Top ↑