davidk01 profile

Litany Against Software Dogma

david karapetyan・Apr 23

Reactions
1 min read
davidk01 profile

Cloud Management with Prolog

david karapetyan・Mar 17

chat
Reactions
3 min read
davidk01 profile

What, Why, and How of Formal Methods

david karapetyan・Mar 11

chat
Reactions
8 min read
davidk01 profile

Formal Methods Meetup in Bay Area

david karapetyan・Feb 21

Reactions
1 min read

Need more relevant posts?
Sign in to customize your feed:

davidk01 profile

Writing Multiple Drafts

david karapetyan・Feb 12

Reactions
1 min read
loading...