jonathan
banner
jonathanmfung.com
jonathan
@jonathanmfung.com
I like research, programming, and the sciences 🖤 he/him (pfp is not me)

jonathanmfung.com
This paper on typing named and optional args defines a target calculus λ_iu and source calculus UAENA

i.cs.hku.hk/%7Ebruno/pap...
i.cs.hku.hk
March 4, 2025 at 1:47 AM
Reposted by jonathan
For me, writing is a form of thinking. It really helps clarify what's going on in my brain, because I have to like, explain it to write it down.

So, if you're a beginner and you want to write a blog post on something you're learning? Please do! It will help you, and everyone else.
February 4, 2025 at 4:56 PM