Jesse Alama

Articles

• Towards Euler's polyhedron formula for mathlib
• Simons Institute: AI for Math
• Leaning In 2025
• Announcing Leaning In 2025
• Decimal proposal polyfill
• Getting started with Lean 4
• The decimals around us
• Decimal arithmetic in Python
• Announcing decimal128: JavaScript implementation of Decimal128
• The binary floats let us down
• Use cases for decimals in JavaScript
• Announcing Racketfest 2023
• 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