Rado Kirov (@radokirov) 's Twitter Profile
Rado Kirov

@radokirov

Engineering at stripe. Recovering academic.

Do you want to have a VC chat with me - calendar.app.google/NQytR3Dd86rBou…

ID: 22594462

linkhttps://rkirov.github.io/ calendar_today03-03-2009 06:26:00

618 Tweet

1,1K Followers

870 Following

Rado Kirov (@radokirov) 's Twitter Profile Photo
Rado Kirov
@radokirov

23 days ago

This resonates with me but I haven’t written enough code in a practical programming language implementing system F to know for sure. I guess Haskell comes closest, but I am not sure how I feel about lazy eval. Here is an example in TS - why is only one of those allowed?

This resonates with me but I haven’t written enough code in a practical programming language implementing system F to know for sure. I guess Haskell comes closest, but I am not sure how I feel about lazy eval. Here is an example in TS - why is only one of those allowed?
Rado Kirov (@radokirov) 's Twitter Profile Photo
Rado Kirov
@radokirov

16 days ago

New blog post on my learning formal mathematics with Lean journey - rkirov.github.io/posts/lean3/