corpus.blog
56,966 blogs · [ { "id": "01a0878d-63d0-7006-8a8f-1217c839c544", "title": "Towards a proof of Euler's polyhedron formula for Mathlib", "url": "https://jessealama.net/articles/towards-euler-polyhedron-formula-for-mathlib/", "published_at": "2025-10-01T14:21:46+00:00" }, { "id": "01a0878d-63d0-7006-8a8f-1217c8957bf5", "title": "Notes on AI for Mathematics and Theoretical Computer Science", "url": "https://jessealama.net/articles/simons-ai-for-math/", "published_at": "2025-04-24T08:25:39+00:00" }, { "id": "01a0878d-63d0-7006-8a8f-1217c8b25844", "title": "Leaning In! 2025 from the organizer's point of view", "url": "https://jessealama.net/articles/leaning-in-2025/", "published_at": "2025-03-24T05:17:00+00:00" }, { "id": "01a0878d-63d0-7006-8a8f-1217c917f10f", "title": "Announcing Leaning In! 2025, a workshop for Lean enthusiasts", "url": "https://jessealama.net/articles/announcing-leaning-in-2025/", "published_at": "2025-01-18T06:20:59+00:00" }, { "id": "01a0878d-63d0-7006-8a8f-1217c9cd1cfe", "title": "Announcing a polyfill for the TC39 decimal proposal", "url": "https://jessealama.net/articles/decimal-proposal-polyfill/", "published_at": "2024-12-04T14:29:18+00:00" }, { "id": "01a0878d-63d0-7006-8a8f-1217c9cf4399", "title": "Getting started with Lean 4, your next programming language", "url": "https://jessealama.net/articles/getting-started-with-lean-4/", "published_at": "2024-04-04T13:35:38+00:00" }, { "id": "01a0878d-63d0-7006-8a8f-1217c9f30fd6", "title": "The decimals around us: Cataloging support for decimal numbers", "url": "https://jessealama.net/articles/the-decimals-around-us/", "published_at": "2023-10-31T09:13:02+00:00" }, { "id": "01a0878d-63d0-7006-8a8f-1217c9fef7db", "title": "Native support for decimal numbers in the Python programming language", "url": "https://jessealama.net/articles/decimal-arithmetic-in-python/", "published_at": "2023-10-30T15:14:05+00:00" }, { "id": "01a0878d-63d0-7006-8a8f-1217cac08cbb", "title": "Announcing decimal128: JavaScript implementation of Decimal128", "url": "https://jessealama.net/articles/announcing-decimal128js/", "published_at": "2023-04-28T06:35:42+00:00" }, { "id": "01a0878d-63d0-7006-8a8f-1217cad52421", "title": "Binary floats can let us down! When close enough isn't enough", "url": "https://jessealama.net/articles/the-binary-floats-let-us-down/", "published_at": "2023-04-28T06:35:33+00:00" }, { "id": "01a0878d-63d0-7006-8a8f-1217caec120c", "title": "Use case for decimals in JavaScript", "url": "https://jessealama.net/articles/use-cases-for-decimals-in-js/", "published_at": "2023-04-28T06:35:33+00:00" }, { "id": "01a0878d-63d0-7006-8a8f-1217cb05801f", "title": "Racketfest, the little Racket conference that could, is back!", "url": "https://jessealama.net/articles/announcing-racketfest-2023/", "published_at": "2022-12-01T12:21:56+00:00" }, { "id": "01a0878d-63d0-7006-8a8f-1217cbfc30b2", "title": "A comprehensive, authoritative FAQ on decimal arithmetic", "url": "https://jessealama.net/articles/faq-on-decimal-arithmetic/", "published_at": "2022-12-01T10:12:07+00:00" }, { "id": "01a0878d-63d0-7006-8a8f-1217ccae60c8", "title": "QuickJS already supports arbitrary-precision decimals", "url": "https://jessealama.net/articles/decimals-in-quickjs/", "published_at": "2022-11-15T20:38:07+00:00" }, { "id": "01a0878d-63d0-7006-8a8f-1217cd876a7d", "title": "Here's how to unbreak floating-point math in JavaScript", "url": "https://jessealama.net/articles/unbreaking-floating-point-math-in-js/", "published_at": "2022-11-15T20:38:07+00:00" } ] posts Claim your blog
Back to jessealama.net
Blog · corpus.blog/blogs/jessealama.net/posts

jessealama.net

jessealama.net

2025

Towards a proof of Euler's polyhedron formula for Mathliboriginal ↗
1 Oct 2025
Notes on AI for Mathematics and Theoretical Computer Scienceoriginal ↗
24 Apr 2025
Leaning In! 2025 from the organizer's point of vieworiginal ↗
24 Mar 2025
Announcing Leaning In! 2025, a workshop for Lean enthusiastsoriginal ↗
18 Jan 2025

2024

Announcing a polyfill for the TC39 decimal proposaloriginal ↗
4 Dec 2024
Getting started with Lean 4, your next programming languageoriginal ↗
4 Apr 2024

2023

The decimals around us: Cataloging support for decimal numbersoriginal ↗
31 Oct 2023
Native support for decimal numbers in the Python programming languageoriginal ↗
30 Oct 2023
Announcing decimal128: JavaScript implementation of Decimal128original ↗
28 Apr 2023
Binary floats can let us down! When close enough isn't enoughoriginal ↗
28 Apr 2023
Use case for decimals in JavaScriptoriginal ↗
28 Apr 2023

2022

Racketfest, the little Racket conference that could, is back!original ↗
1 Dec 2022
A comprehensive, authoritative FAQ on decimal arithmeticoriginal ↗
1 Dec 2022
QuickJS already supports arbitrary-precision decimalsoriginal ↗
15 Nov 2022
Here's how to unbreak floating-point math in JavaScriptoriginal ↗
15 Nov 2022