https://ferhat.ai/1.0 https://ferhat.ai/posts/0.8 https://ferhat.ai/posts/tutorial-formal-methods.html0.8 https://ferhat.ai/news/0.7 https://ferhat.ai/news/icml-spotlight/0.9 https://ferhat.ai/news/host-tinyml-best-paper/0.7 https://ferhat.ai/news/bedrock-guardrails-ga/0.7 https://ferhat.ai/news/ches-2024-quantum/0.7 https://ferhat.ai/news/phd-defense/0.6 https://ferhat.ai/news/distinguished-teaching-award/0.6 https://ferhat.ai/ml_ai_notes.html0.6