41554 blogs · [ { "id": "01a08795-b429-716a-82c2-8afb1938bed1", "title": "Exact algebraic numbers and number fields in Lean", "url": "https://kim-em.github.io/blog/2026-9-8-exact-algebraic-numbers-and-number-fields-in-lean/", "published_at": "2026-09-08T00:00:00+00:00" }, { "id": "01a08795-b429-716a-82c2-8afb198de545", "title": "Certified graph isomorphism in Lean", "url": "https://kim-em.github.io/blog/2026-9-5-certified-graph-isomorphism-in-lean/", "published_at": "2026-09-05T00:00:00+00:00" }, { "id": "01a08795-b429-716a-82c2-8afb19c1a36b", "title": "Announcing the Palomar Registry", "url": "https://kim-em.github.io/blog/2026-8-19-announcing-the-palomar-registry/", "published_at": "2026-08-19T00:00:00+00:00" }, { "id": "01a08795-b429-716a-82c2-8afb19fcd01f", "title": "Tau Ceti: ten theorems from the first month", "url": "https://kim-em.github.io/blog/2026-8-19-tau-ceti-ten-theorems-from-the-first-month/", "published_at": "2026-08-19T00:00:00+00:00" }, { "id": "01a08795-b429-716a-82c2-8afb1a481a3a", "title": "Certified integer polynomial factorization in Lean", "url": "https://kim-em.github.io/blog/2026-8-10-certified-integer-polynomial-factorization-in-lean/", "published_at": "2026-08-10T00:00:00+00:00" }, { "id": "01a08795-b429-716a-82c2-8afb1ac3b39d", "title": "Why Lean is faster than Rust", "url": "https://kim-em.github.io/blog/2026-7-24-why-lean-is-faster-than-rust/", "published_at": "2026-07-24T00:00:00+00:00" }, { "id": "01a08795-b429-716a-82c2-8afb1ad90a3e", "title": "Lattice basis reduction using the Hex Lean library", "url": "https://kim-em.github.io/blog/2026-7-7-lattice-basis-reduction-using-the-hex-lean-library/", "published_at": "2026-07-07T00:00:00+00:00" }, { "id": "01a08795-b429-716a-82c2-8afb1b497ae3", "title": "Verified linear programming", "url": "https://kim-em.github.io/blog/2026-6-14-verified-linear-programming/", "published_at": "2026-06-14T00:00:00+00:00" }, { "id": "01a08795-b429-716a-82c2-8afb1ba653ac", "title": "A sum of squares tactic", "url": "https://kim-em.github.io/blog/2026-5-13-a-sum-of-squares-tactic/", "published_at": "2026-05-13T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/kim-em.github.io/posts