Jesse Alama

Articles

• Towards a proof of Euler's polyhedron formula for Mathlib
• Notes on AI for Mathematics and Theoretical Computer Science
• Leaning In! 2025 from the organizer's point of view
• Announcing Leaning In! 2025, a workshop for Lean enthusiasts
• Announcing a polyfill for the TC39 decimal proposal
• Getting started with Lean 4, your next programming language
• The decimals around us: Cataloging support for decimal numbers
• Native support for decimal numbers in the Python programming language
• Announcing decimal128: JavaScript implementation of Decimal128
• Binary floats can let us down! When close enough isn't enough
• Use case for decimals in JavaScript
• Racketfest, the little Racket conference that could, is back!
• A comprehensive, authoritative FAQ on decimal arithmetic
• QuickJS already supports arbitrary-precision decimals
• Here's how to unbreak floating-point math in JavaScript

Code

I mostly work in Lean and Racket. Like most web developers, I also work with JavaScript and the various languages & tools found in the web space. (This site is made with Next.js.)

Some of my Racket work that I'm most proud of:

• laramie—HTML5 parser for Racket
• argo—JSON Schema adventures in Racket
• riposte—Scripting language for JSON-backed HTTP APIs

(A complete list of my Racket work is available here.)

Community

I like to organize conferences and workshops:

• Leaning In!, a workshop dedicated to Lean
• Racketfest, a celebration of Racket and language-oriented programming.

Writing

I've written a few books on Racket:

• Server: Racket—Practical Web Development with the Racket HTTP Server
• Racket Weekend
• Language-oriented Programming in Racket: A Cultural Anthropology

Links

Some of my presences:

• GitHub
  
• Bluesky (roast)
  
• arXiv
  
• Mathematics Genealogy
• ORCiD

Contact