lambdageek
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
- Followers: 176
- Following: 31
- Total stars: 212
- Repositories count: 142
- Created at: 2022-11-02T23:08:56.536Z
- Updated at: 2025-03-24T05:11:31.690Z
- Last synced at: 2025-03-24T05:11:31.689Z
Active Sponsorships
View AllSponsorship Breakdown by Kind
- User: 1