CMC Theory - Coconut Milk Cake

CMC Theory - Coconut Milk Cake

Very easy to prove, make it ASAP and submit to a local workshop.

Ingredients

Inductive kitchenequips : Type :=
  | Blender
  | Mixer
  | FlutedCakePan
  | Saucepan
  | Oven.

Note: A Fluted Cake Pan is a cake tray with a hole in the middle. Exactly like universe polymorphism hole. We can even prove their equivalence and the exercise is left to the reader.

My Cake pan has 22cm of diameter for reference.

let non_standard_cup = 200 (* in ml)

Definition dough :  Prop :=
  • 200 ml of coconut milk
  • 100 ml vegetable oil (i.e. light tasting olive oil, sunflower oil)
  • 1 cup (defined above) of sugar, add a bit more if you like sweets
  • 2 large eggs
  • 1.5 cup of white flour
  • 1 pinch of salt
  • 1 tsp of vanilla extract, or real vanilla if you have tenure
  • 1 tbsp baking powder

I do not like this cake with toppings, because it gets SO FLUFFY that it deserves to be appreciated as it is.

Preparation

Preheat your oven to 180C.

Dough

Add all the ingredients, except the baking powder, to the blender. Mix it until you obtain a uniform manifold. That usually takes 2-3 min.

Once it’s all unifor,, add the baking powder for a last quick mix.

Spray some oil into the flute cake pan, or if it’s non-stick, just pour the contents of the blender.

Take it to the oven until the top is light golden. It normally takes 45min-55min.

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

It’s ready to be consumed!

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.

It’s also easy to burn this cake, so do not let it overtime in the oven.

Appendix, Theorems and Artifact

All left to the reader.

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 ↑