Week 17 - 2023
The weeknote for 4/24 - 4/30.
Math
Typed lambda calculus
- I've been learning about typed lambda calculus these days.
Job
Deno KV
- We released Deno KV this week. I mainly contributed to the dashboard for KV data.
Life
ESTA
- Our application to ESTA system has been approved. Now we can go Hawaii later May!