blog-ideas/2026/ideas/202608-how-do-MOE-LLM-models-work/how-do-MOE-LLM-models-work
blog-ideas/2026/ideas/202608-jeff-dean-google-trends-in-AI/1-jeff-dean-trends-in-AI-summary
blog-ideas/2026/ideas/202608-jeff-dean-google-trends-in-AI/2-jeff-dean-trends-in-AI-interpretation
blog-ideas/2026/ideas/202608-logical-vs-physical-architecture/2-preferred-mental-model
blog-ideas/2026/ideas/202608-logical-vs-physical-architecture/3-resources
blog-ideas/2026/ideas/202608-veritasium-success/1 Summary of Veritasium - why he still gets views
blog-ideas/2026/ideas/202608-veritasium-success/2 Concrete example of Veritasium formula
blog-ideas/2026/ideas/202608-veritasium-success/3 Veritasium skill
books/The Oxford Handbook of Philosophy of Mathematics and Logic (Shapiro, 2005)/summary_gpt5_std
study/interactive-theorem-proving/dr/intro/dr-lean4-intro-gemini-flash
study/interactive-theorem-proving/dr/intro/dr-lean4-intro-gpt5.5
study/interactive-theorem-proving/dr/intro/dr-lean4-intro-opus4.8
study/interactive-theorem-proving/dr/intro/prompts/deepresearch
summaries/202605/math-gowers.wordpress.com-2026-05-08-a-recent-experience-with-chatgpt-5-5-pro