HN
New
Show
Ask
Jobs
Built with Paraglide and Solid
en
pl
User: vzaliva
Created:
1435419449
Karma:
1491
Technologist. Researcher in programming languages and formal verification.
submissions
|
comments