Jesse Alama
@jalama@mathstodon.xyz
Joined: 09/13/2024
About Jesse Alama
Math and CS guy working on programming languages (mainly JavaScript) at Igalia. Learning Lean.
Lists
jalama has no public lists
Timeline
jalama has no activity yet
@jalama@mathstodon.xyz
Joined: 09/13/2024
Math and CS guy working on programming languages (mainly JavaScript) at Igalia. Learning Lean.
jalama has no public lists
jalama has no activity yet