———————————————
خوندن این پست‌های به‌ترتیب معرفی الزامی‌است:

"جنگ است میان هوش و فرمال" (عنوان این پست در سال ۲۰۲۲ انتخاب شده)
"یکبار واسه همیشه، فرمال متد یعنی چه؟"
"از نیوتن و تورینگ تا Cyber-physical Systems"
"تئوری علوم کامپیوتر در ۳ تِرک A و B و C"
"Most Successful Program Based on a Wrong Idea"
"برنامه‌نویسی با طعم شیرین اثبات" (اصلا شیرین نیست)
"کابوس بعد اثبات"
"معرفی منابع برای یادگیری Program به همراه Proof"
"منطق برای علوم کامپیوتر"
"صلح است میان هوش و فرمال" (عنوان پست در سال ۲۰۲۶ انتخاب شده)
"فرمال کاربردی"