resources

Index

Pages

• blog-ideas/2026/ideas/202608-veritasium-success/3 Veritasium skill.md → /blog-ideas/2026/ideas/202608-veritasium-success/3%20Veritasium%20skill.html

• index/index.md → /index/

• index/list_all.md → /index/list_all.html

• assets/css/style.scss → /assets/css/style.css

• blog-ideas/2026/ideas/202608-how-do-MOE-LLM-models-work/how-do-MOE-LLM-models-work.md → /blog-ideas/2026/ideas/202608-how-do-MOE-LLM-models-work/how-do-MOE-LLM-models-work.html

• blog-ideas/2026/ideas/202608-jeff-dean-google-trends-in-AI/1-jeff-dean-trends-in-AI-summary.md → /blog-ideas/2026/ideas/202608-jeff-dean-google-trends-in-AI/1-jeff-dean-trends-in-AI-summary.html

• blog-ideas/2026/ideas/202608-jeff-dean-google-trends-in-AI/2-jeff-dean-trends-in-AI-interpretation.md → /blog-ideas/2026/ideas/202608-jeff-dean-google-trends-in-AI/2-jeff-dean-trends-in-AI-interpretation.html

• blog-ideas/2026/ideas/202608-logical-vs-physical-architecture/1-architecture-terminology-reddit-summary.md → /blog-ideas/2026/ideas/202608-logical-vs-physical-architecture/1-architecture-terminology-reddit-summary.html

• blog-ideas/2026/ideas/202608-logical-vs-physical-architecture/2-preferred-mental-model.md → /blog-ideas/2026/ideas/202608-logical-vs-physical-architecture/2-preferred-mental-model.html

• blog-ideas/2026/ideas/202608-logical-vs-physical-architecture/3-resources.md → /blog-ideas/2026/ideas/202608-logical-vs-physical-architecture/3-resources.html

• blog-ideas/2026/ideas/202608-logical-vs-physical-architecture/4-blogpost-search-pipeline-logical-architecture.md → /blog-ideas/2026/ideas/202608-logical-vs-physical-architecture/4-blogpost-search-pipeline-logical-architecture.html

• blog-ideas/2026/ideas/202608-veritasium-success/1 Summary of Veritasium - why he still gets views.md → /blog-ideas/2026/ideas/202608-veritasium-success/1%20Summary%20of%20Veritasium%20-%20why%20he%20still%20gets%20views.html

• blog-ideas/2026/ideas/202608-veritasium-success/2 Concrete example of Veritasium formula.md → /blog-ideas/2026/ideas/202608-veritasium-success/2%20Concrete%20example%20of%20Veritasium%20formula.html

• blog-ideas/2026/wip/Red-teaming agentic LLMs/dr/DR - A Pragmatic Engineer’s Guide to Defending Agentic LLM Systems.md → /blog-ideas/2026/wip/Red-teaming%20agentic%20LLMs/dr/DR%20-%20A%20Pragmatic%20Engineer%E2%80%99s%20Guide%20to%20Defending%20Agentic%20LLM%20Systems.html

• blog-ideas/2026/wip/Red-teaming agentic LLMs/raw/blogpost.md → /blog-ideas/2026/wip/Red-teaming%20agentic%20LLMs/raw/blogpost.html

• blog-ideas/2026/wip/Red-teaming agentic LLMs/raw/outline.md → /blog-ideas/2026/wip/Red-teaming%20agentic%20LLMs/raw/outline.html

• blog-ideas/2026/wip/Red-teaming agentic LLMs/raw/publishing.md → /blog-ideas/2026/wip/Red-teaming%20agentic%20LLMs/raw/publishing.html

• blog-ideas/2026/wip/Red-teaming agentic LLMs/raw/references.md → /blog-ideas/2026/wip/Red-teaming%20agentic%20LLMs/raw/references.html

• blog-ideas/2026/wip/Red-teaming agentic LLMs/raw/repos.md → /blog-ideas/2026/wip/Red-teaming%20agentic%20LLMs/raw/repos.html

• books/The Oxford Handbook of Philosophy of Mathematics and Logic (Shapiro, 2005)/summary_gemini-2.5-flash.md → /books/The%20Oxford%20Handbook%20of%20Philosophy%20of%20Mathematics%20and%20Logic%20(Shapiro,%202005)/summary_gemini-2.5-flash.html

• books/The Oxford Handbook of Philosophy of Mathematics and Logic (Shapiro, 2005)/summary_gpt5_std.md → /books/The%20Oxford%20Handbook%20of%20Philosophy%20of%20Mathematics%20and%20Logic%20(Shapiro,%202005)/summary_gpt5_std.html

• deep-research/js-simulation/DR - Modern JavaScript Libraries for Browser Games, Graphics, Simulation, CAD_BIM and Scientific Visualis.md → /deep-research/js-simulation/DR%20-%20%20Modern%20JavaScript%20Libraries%20for%20Browser%20Games,%20Graphics,%20Simulation,%20CAD_BIM%20and%20Scientific%20Visualis.html

• ml/Agentic AI.md → /ml/Agentic%20AI.html

• ml/Data Attribution.md → /ml/Data%20Attribution.html

• ml/Deep Research.md → /ml/Deep%20Research.html

• ml/Foundational Models.md → /ml/Foundational%20Models.html

• ml/Free Energy Principle.md → /ml/Free%20Energy%20Principle.html

• ml/Geometric Deep Learning (GDL).md → /ml/Geometric%20Deep%20Learning%20(GDL).html

• ml/LLM Evaluation.md → /ml/LLM%20Evaluation.html

• ml/LLM Training.md → /ml/LLM%20Training.html

• ml/Prompt Optimisation.md → /ml/Prompt%20Optimisation.html

• ml/Representation Engineering.md → /ml/Representation%20Engineering.html

• ml/Search and IR.md → /ml/Search%20and%20IR.html

• ml/WIP AI Explainability.md → /ml/WIP%20AI%20Explainability.html

• ml/WIP LLM Inference.md → /ml/WIP%20LLM%20Inference.html

• ml/WIP Mechanistic Interpretability.md → /ml/WIP%20Mechanistic%20Interpretability.html

• ml/WIP Model Calibration.md → /ml/WIP%20Model%20Calibration.html

• ml/WIP Model Context Protocol.md → /ml/WIP%20Model%20Context%20Protocol.html

• ml/WIP Retrieval-Augmented Generation (RAG).md → /ml/WIP%20Retrieval-Augmented%20Generation%20(RAG).html

• refs/coding-assistants/CLAUDE_CODE.md → /refs/coding-assistants/CLAUDE_CODE.html

• refs/coding-assistants/CURSOR.md → /refs/coding-assistants/CURSOR.html

• refs/coding-assistants/GENERAL.md → /refs/coding-assistants/GENERAL.html

• refs/coding-assistants/HARNESS_ENGINEERING.md → /refs/coding-assistants/HARNESS_ENGINEERING.html

• refs/coding-assistants/OPENAI_CODEX.md → /refs/coding-assistants/OPENAI_CODEX.html

• refs/coding-assistants/SKILLS.md → /refs/coding-assistants/SKILLS.html

• refs/coding-assistants/SPEC_DRIVEN_DEV.md → /refs/coding-assistants/SPEC_DRIVEN_DEV.html

• refs/coding-assistants/USEFUL_PROMPTS.md → /refs/coding-assistants/USEFUL_PROMPTS.html

• study/LLM Study.md → /study/LLM%20Study.html

• study/interactive-theorem-proving/INTRO.md → /study/interactive-theorem-proving/INTRO.html

• study/interactive-theorem-proving/LEAN_RESOURCES.md → /study/interactive-theorem-proving/LEAN_RESOURCES.html

• study/interactive-theorem-proving/dr/intro/dr-lean4-intro-gemini-flash.md → /study/interactive-theorem-proving/dr/intro/dr-lean4-intro-gemini-flash.html

• study/interactive-theorem-proving/dr/intro/dr-lean4-intro-gpt5.5.md → /study/interactive-theorem-proving/dr/intro/dr-lean4-intro-gpt5.5.html

• study/interactive-theorem-proving/dr/intro/dr-lean4-intro-opus4.8.md → /study/interactive-theorem-proving/dr/intro/dr-lean4-intro-opus4.8.html

• study/interactive-theorem-proving/dr/intro/prompts/deepresearch.md → /study/interactive-theorem-proving/dr/intro/prompts/deepresearch.html

• summaries/202605/math-gowers.wordpress.com-2026-05-08-a-recent-experience-with-chatgpt-5-5-pro.md → /summaries/202605/math-gowers.wordpress.com-2026-05-08-a-recent-experience-with-chatgpt-5-5-pro.html

• README.md → /

Static files

• /README.md

• /blog-ideas/2026/ideas/202608-how-do-MOE-LLM-models-work/how-do-MOE-LLM-models-work.md

• /blog-ideas/2026/ideas/202608-jeff-dean-google-trends-in-AI/1-jeff-dean-trends-in-AI-summary.md

• /blog-ideas/2026/ideas/202608-jeff-dean-google-trends-in-AI/2-jeff-dean-trends-in-AI-interpretation.md

• /blog-ideas/2026/ideas/202608-logical-vs-physical-architecture/1-architecture-terminology-reddit-summary.md

• /blog-ideas/2026/ideas/202608-logical-vs-physical-architecture/2-preferred-mental-model.md

• /blog-ideas/2026/ideas/202608-logical-vs-physical-architecture/3-resources.md

• /blog-ideas/2026/ideas/202608-logical-vs-physical-architecture/4-blogpost-search-pipeline-logical-architecture.md

• /blog-ideas/2026/ideas/202608-veritasium-success/1 Summary of Veritasium - why he still gets views.md

• /blog-ideas/2026/ideas/202608-veritasium-success/2 Concrete example of Veritasium formula.md

• /blog-ideas/2026/wip/Red-teaming agentic LLMs/dr/DR - A Pragmatic Engineer’s Guide to Defending Agentic LLM Systems.md

• /blog-ideas/2026/wip/Red-teaming agentic LLMs/dr/DR - A Pragmatic Engineer’s Guide to Defending Agentic LLM Systems.pdf

• /blog-ideas/2026/wip/Red-teaming agentic LLMs/raw/blogpost.md

• /blog-ideas/2026/wip/Red-teaming agentic LLMs/raw/image2.png

• /blog-ideas/2026/wip/Red-teaming agentic LLMs/raw/image3.jpg

• /blog-ideas/2026/wip/Red-teaming agentic LLMs/raw/image4.jpg

• /blog-ideas/2026/wip/Red-teaming agentic LLMs/raw/outline.md

• /blog-ideas/2026/wip/Red-teaming agentic LLMs/raw/publishing.md

• /blog-ideas/2026/wip/Red-teaming agentic LLMs/raw/references.md

• /blog-ideas/2026/wip/Red-teaming agentic LLMs/raw/repos.md

• /books/The Oxford Handbook of Philosophy of Mathematics and Logic (Shapiro, 2005)/summary_gemini-2.5-flash.md

• /books/The Oxford Handbook of Philosophy of Mathematics and Logic (Shapiro, 2005)/summary_gpt5_std.md

• /books/The Oxford Handbook of Philosophy of Mathematics and Logic (Shapiro, 2005)/summary_prompt.txt

• /deep-research/js-simulation/DR - Modern JavaScript Libraries for Browser Games, Graphics, Simulation, CAD_BIM and Scientific Visualis.md

• /deep-research/js-simulation/DR - Modern JavaScript Libraries for Browser Games, Graphics, Simulation, CAD_BIM and Scientific Visualis.pdf

• /ml/Agentic AI.md

• /ml/Data Attribution.md

• /ml/Deep Research.md

• /ml/Foundational Models.md

• /ml/Free Energy Principle.md

• /ml/Geometric Deep Learning (GDL).md

• /ml/LLM Evaluation.md

• /ml/LLM Training.md

• /ml/Prompt Optimisation.md

• /ml/Representation Engineering.md

• /ml/Search and IR.md

• /ml/WIP AI Explainability.md

• /ml/WIP LLM Inference.md

• /ml/WIP Mechanistic Interpretability.md

• /ml/WIP Model Calibration.md

• /ml/WIP Model Context Protocol.md

• /ml/WIP Retrieval-Augmented Generation (RAG).md

• /refs/coding-assistants/CLAUDE_CODE.md

• /refs/coding-assistants/CURSOR.md

• /refs/coding-assistants/GENERAL.md

• /refs/coding-assistants/HARNESS_ENGINEERING.md

• /refs/coding-assistants/OPENAI_CODEX.md

• /refs/coding-assistants/SKILLS.md

• /refs/coding-assistants/SPEC_DRIVEN_DEV.md

• /refs/coding-assistants/USEFUL_PROMPTS.md

• /study/LLM Study.md

• /study/interactive-theorem-proving/INTRO.md

• /study/interactive-theorem-proving/LEAN_RESOURCES.md

• /study/interactive-theorem-proving/dr/intro/dr-lean4-intro-gemini-flash.md

• /study/interactive-theorem-proving/dr/intro/dr-lean4-intro-gpt5.5.md

• /study/interactive-theorem-proving/dr/intro/dr-lean4-intro-opus4.8.md

• /study/interactive-theorem-proving/dr/intro/prompts/deepresearch.md

• /summaries/202605/math-gowers.wordpress.com-2026-05-08-a-recent-experience-with-chatgpt-5-5-pro.md