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