41554 blogs · [ { "id": "01a087a2-a372-73ce-bf5d-84af44aee73a", "title": "Your type checker may be wrong - an introduction to formal proof verification and the Curry-Howard Correspondence", "url": "http://max-amb.com/blog/your_type_checker_may_be_wrong/", "published_at": "2026-07-25T08:50:01+00:00" }, { "id": "01a087a2-a372-73ce-bf5d-84af44b4d335", "title": "Zero knowledge Tolstoyan art", "url": "http://max-amb.com/blog/zero_knowledge_tolstoyan_art/", "published_at": "2026-07-11T00:00:00+00:00" }, { "id": "01a087a2-a372-73ce-bf5d-84af4537a681", "title": "Some intuition behind the contrapositive", "url": "http://max-amb.com/blog/some_intuition_behind_the_contrapositive/", "published_at": "2026-06-27T00:00:00+00:00" }, { "id": "01a087a2-a372-73ce-bf5d-84af45d913c0", "title": "An introduction to Turing machines and computation", "url": "http://max-amb.com/blog/an_introduction_to_turing_machines_and_computation/", "published_at": "2026-04-04T00:00:00+00:00" }, { "id": "01a087a2-a372-73ce-bf5d-84af4617cb6d", "title": "Minimising the product of sums chosen from intervals", "url": "http://max-amb.com/blog/minimising_the_product_of_sums_chosen_from_intervals/", "published_at": "2025-09-06T23:00:00+00:00" }, { "id": "01a087a2-a372-73ce-bf5d-84af466372e1", "title": "The main components of the MLP", "url": "http://max-amb.com/blog/the_main_components_of_the_mlp/", "published_at": "2025-08-16T23:00:00+00:00" }, { "id": "01a087a2-a372-73ce-bf5d-84af467b9b76", "title": "The maths behind the MLP", "url": "http://max-amb.com/blog/the_maths_behind_the_mlp/", "published_at": "2025-08-13T00:00:00+00:00" }, { "id": "01a087a2-a372-73ce-bf5d-84af44a3f16d", "title": "~/about-me/", "url": "http://max-amb.com/about-me/", "published_at": null } ] posts Claim your blog

Blog · corpus.blog/blogs/max-amb.com/posts