https://www.lessonly.cloud/posts/do_you_view_pure_math_as_a_retreat_from_reality.html 2026-08-02T13:20:25.701488 0.5 https://www.lessonly.cloud/posts/when_the_proof_checker_becomes_part_of_the_experiment_random_bits_of_knowledge.html 2026-08-02T13:20:25.701488 0.5 https://www.lessonly.cloud/posts/preparing_for_industry_in_the_age_of_ai.html 2026-08-02T13:20:25.697488 0.5 https://www.lessonly.cloud/history/02-08-2026.html 2026-08-02T13:20:25.705488 0.5 https://www.lessonly.cloud/posts/model_by_openai_discovers_6_more_soundess_bugs_in_the_lean_kernel.html 2026-08-02T13:20:25.701488 0.5