lambdageek

View JSON Representation

I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.

• Name: Aleksey Kliger (λgeek)
• Location: Boston, MA
• Company: @Microsoft
• Kind: user
• Repositories count: 15
• Created at: 2022-11-02T23:08:56.536Z
• Updated at: 2023-03-11T11:45:41.881Z
• Last synced at: 2023-03-11T11:45:41.856Z

Sponsorships

Active Sponsorships

• tarsius

Past Sponsorships

View All

Sponsorship Breakdown by Kind

• User: 1