Jesse Ala­ma

Ar­ti­cles

• An­nounc­ing a poly­fill for the TC39 dec­i­mal pro­pos­al
• Get­ting start­ed with Lean 4, your next pro­gram­ming lan­guage
• The dec­i­mals around us: Cat­a­loging sup­port for dec­i­mal num­bers
• Na­tive sup­port for dec­i­mal num­bers in the Python pro­gram­ming lan­guage
• An­nounc­ing dec­i­mal128: JavaScript im­ple­men­ta­tion of Dec­i­mal128
• Bi­na­ry floats can let us down! When close enough isn't enough
• Rack­et­fest, the lit­tle Rack­et con­fer­ence that could, is back!
• A com­pre­hen­sive, au­thor­i­ta­tive FAQ on dec­i­mal arith­metic
• Quick­JS al­ready sup­ports ar­bi­trary-pre­ci­sion dec­i­mals
• Here’s how to un­break float­ing-point math in JavaScript

Code

I most­ly work in Lean and Rack­et. Like most web de­vel­op­ers, I also work with JavaScript and the var­i­ous lan­guages & tools found in the web space. (This site is made with Pollen.)

Some of my Rack­et work that I’m most proud of:

• laramieRack­etpack­age—HTML5 pars­er for Rack­et
• argoRack­etpack­age—JSON Schema ad­ven­tures in Rack­et
• ri­posteRack­etpack­age—Script­ing lan­guage for JSON-backed HTTP APIs

(A com­plete list of my Rack­et work is avail­able here.)

Com­mu­ni­ty

I like to or­ga­nize con­fer­ences and work­shops:

• Lean­ing In!, a work­shop ded­i­cat­ed to Lean
• Rack­et­fest, a cel­e­bra­tion of Rack­et and lan­guage-ori­ent­ed pro­gram­ming.

Writ­ing

I’ve writ­ten a few books on Rack­et:

• Serv­er: Rack­et—Prac­ti­cal Web De­vel­op­ment with the Rack­et HTTP Serv­er
• Rack­et Week­end
• Lan­guage-ori­ent­ed Pro­gram­ming in Rack­et: A Cul­tur­al An­thro­pol­o­gy

Links

Some of my pres­ences:

• GitHub
  
• Bluesky (roast)
  
• arX­iv
  
• Math­e­mat­ics Ge­neal­o­gy
• OR­CiD

Con­tact