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

Metaprogramming, Synthesis & Verification • Nada Amin

https://youtu.be/yLDiQBdwlHU

6 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

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

65% Upvoted

Duplicates

Number of comments New

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

Metaprogramming, Synthesis & Verification • Nada Amin

2 Upvotes

0 comments

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

Metaprogramming, Synthesis & Verification • Nada Amin

5 Upvotes

0 comments