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