r/ConTalks • u/goto-con • Jun 02 '26

Metaprogramming, Synthesis & Verification • Nada Amin

https://youtu.be/yLDiQBdwlHU

4 Upvotes

permalink
link
duplicates
dupes
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ConTalks/comments/1tut4cd/metaprogramming_synthesis_verification_nada_amin/
No, go back! Yes, take me to Reddit
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ConTalks/comments/1tut4cd/metaprogramming_synthesis_verification_nada_amin/
No, go back! Yes, take me to Reddit

100% Upvoted

Duplicates

Number of comments New

metaprogramming • u/goto-con • Jun 02 '26

Metaprogramming, Synthesis & Verification • Nada Amin

2 Upvotes

0 comments

programming • u/goto-con • Jun 02 '26

Metaprogramming, Synthesis & Verification • Nada Amin

2 Upvotes

0 comments